Module Definition
dashboard | hierarchy | modlist | groups | tests | asserts

Module : aon_timer_reg_top
SCORELINECONDTOGGLEFSMBRANCHASSERT
99.51 100.00 98.05 100.00 100.00

Source File(s) :
/workspace/default/sim-vcs/../src/lowrisc_ip_aon_timer_0.1/rtl/aon_timer_reg_top.sv

Module self-instances :
NAMESCORELINECONDTOGGLEFSMBRANCHASSERT
tb.dut.u_reg 99.51 100.00 98.05 100.00 100.00



Module Instance : tb.dut.u_reg

Instance :
SCORELINECONDTOGGLEFSMBRANCHASSERT
99.51 100.00 98.05 100.00 100.00


Instance's subtree :
SCORELINECONDTOGGLEFSMBRANCHASSERT
98.96 99.80 95.71 100.00 99.30 100.00


Parent :
SCORELINECONDTOGGLEFSMBRANCHASSERTNAME
93.33 100.00 66.67 100.00 100.00 100.00 dut


Subtrees :
NAMESCORELINECONDTOGGLEFSMBRANCHASSERT
u_alert_test 100.00 100.00
u_chk 100.00 100.00 100.00 100.00
u_intr_state_wdog_timer_bark 100.00 100.00 100.00 100.00
u_intr_state_wkup_timer_expired 100.00 100.00 100.00 100.00
u_intr_test_wdog_timer_bark 100.00 100.00
u_intr_test_wkup_timer_expired 100.00 100.00
u_prim_reg_we_check 100.00 100.00 100.00
u_reg_if 98.69 97.14 97.62 100.00 100.00
u_rsp_intg_gen 100.00 100.00 100.00
u_wdog_bark_thold 100.00 100.00 100.00 100.00
u_wdog_bark_thold_cdc 99.17 100.00 96.67 100.00 100.00
u_wdog_bite_thold 100.00 100.00 100.00 100.00
u_wdog_bite_thold_cdc 99.17 100.00 96.67 100.00 100.00
u_wdog_count 100.00 100.00 100.00 100.00
u_wdog_count_cdc 97.11 100.00 90.14 98.31 100.00
u_wdog_ctrl_cdc 99.17 100.00 96.67 100.00 100.00
u_wdog_ctrl_enable 100.00 100.00 100.00 100.00
u_wdog_ctrl_pause_in_sleep 100.00 100.00 100.00 100.00
u_wdog_regwen 100.00 100.00 100.00 100.00
u_wkup_cause 100.00 100.00 100.00 100.00
u_wkup_cause_cdc 97.18 100.00 90.41 98.31 100.00
u_wkup_count 100.00 100.00 100.00 100.00
u_wkup_count_cdc 97.11 100.00 90.14 98.31 100.00
u_wkup_ctrl_cdc 99.17 100.00 96.67 100.00 100.00
u_wkup_ctrl_enable 100.00 100.00 100.00 100.00
u_wkup_ctrl_prescaler 100.00 100.00 100.00 100.00
u_wkup_thold 100.00 100.00 100.00 100.00
u_wkup_thold_cdc 99.17 100.00 96.67 100.00 100.00


Since this is the module's only instance, the coverage report is the same as for the module.
Line Coverage for Module : aon_timer_reg_top
Line No.TotalCoveredPercent
TOTAL127127100.00
ALWAYS7044100.00
CONT_ASSIGN7911100.00
CONT_ASSIGN9111100.00
CONT_ASSIGN9211100.00
CONT_ASSIGN12011100.00
CONT_ASSIGN12111100.00
ALWAYS17433100.00
CONT_ASSIGN20311100.00
ALWAYS21322100.00
CONT_ASSIGN24111100.00
ALWAYS25444100.00
CONT_ASSIGN28411100.00
ALWAYS29633100.00
CONT_ASSIGN32511100.00
ALWAYS33622100.00
CONT_ASSIGN36411100.00
ALWAYS37522100.00
CONT_ASSIGN40311100.00
ALWAYS41644100.00
CONT_ASSIGN44611100.00
ALWAYS45944100.00
CONT_ASSIGN48911100.00
CONT_ASSIGN49611100.00
CONT_ASSIGN51011100.00
CONT_ASSIGN59911100.00
CONT_ASSIGN65811100.00
CONT_ASSIGN71711100.00
CONT_ASSIGN74811100.00
CONT_ASSIGN77811100.00
CONT_ASSIGN86511100.00
CONT_ASSIGN88011100.00
CONT_ASSIGN89611100.00
CONT_ASSIGN90111100.00
ALWAYS9321313100.00
CONT_ASSIGN94711100.00
ALWAYS95111100.00
CONT_ASSIGN96711100.00
CONT_ASSIGN96911100.00
CONT_ASSIGN97011100.00
CONT_ASSIGN97311100.00
CONT_ASSIGN97511100.00
CONT_ASSIGN97711100.00
CONT_ASSIGN97911100.00
CONT_ASSIGN98011100.00
CONT_ASSIGN98311100.00
CONT_ASSIGN98511100.00
CONT_ASSIGN98711100.00
CONT_ASSIGN98911100.00
CONT_ASSIGN99111100.00
CONT_ASSIGN99311100.00
CONT_ASSIGN99411100.00
CONT_ASSIGN99611100.00
CONT_ASSIGN99811100.00
CONT_ASSIGN99911100.00
ALWAYS10041313100.00
ALWAYS10211616100.00
CONT_ASSIGN107711100.00
ALWAYS10791010100.00
CONT_ASSIGN111811100.00
CONT_ASSIGN111911100.00
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_ip_aon_timer_0.1/rtl/aon_timer_reg_top.sv' or '../src/lowrisc_ip_aon_timer_0.1/rtl/aon_timer_reg_top.sv' was not found, so annotated line coverage report could not be generated.
Line No.CoveredStatements
70 1 1
71 1 1
72 1 1
73 1 1
MISSING_ELSE
79 1 1
91 1 1
92 1 1
120 1 1
121 1 1
174 1 1
175 1 1
176 1 1
203 1 1
213 1 1
214 1 1
241 1 1
254 1 1
255 1 1
256 1 1
257 1 1
284 1 1
296 1 1
297 1 1
298 1 1
325 1 1
336 1 1
337 1 1
364 1 1
375 1 1
376 1 1
403 1 1
416 1 1
417 1 1
418 1 1
419 1 1
446 1 1
459 1 1
460 1 1
461 1 1
462 1 1
489 1 1
496 1 1
510 1 1
599 1 1
658 1 1
717 1 1
748 1 1
778 1 1
865 1 1
880 1 1
896 1 1
901 1 1
932 1 1
933 1 1
934 1 1
935 1 1
936 1 1
937 1 1
938 1 1
939 1 1
940 1 1
941 1 1
942 1 1
943 1 1
944 1 1
947 1 1
951 1 1
967 1 1
969 1 1
970 1 1
973 1 1
975 1 1
977 1 1
979 1 1
980 1 1
983 1 1
985 1 1
987 1 1
989 1 1
991 1 1
993 1 1
994 1 1
996 1 1
998 1 1
999 1 1
1004 1 1
1005 1 1
1006 1 1
1007 1 1
1008 1 1
1009 1 1
1010 1 1
1011 1 1
1012 1 1
1013 1 1
1014 1 1
1015 1 1
1016 1 1
1021 1 1
1022 1 1
1024 1 1
1028 1 1
1031 1 1
1034 1 1
1037 1 1
1041 1 1
1044 1 1
1047 1 1
1050 1 1
1053 1 1
1054 1 1
1058 1 1
1059 1 1
1063 1 1
1077 1 1
1079 1 1
1080 1 1
1082 1 1
1085 1 1
1088 1 1
1091 1 1
1094 1 1
1097 1 1
1100 1 1
1103 1 1
1118 1 1
1119 1 1


Cond Coverage for Module : aon_timer_reg_top
TotalCoveredPercent
Conditions15415198.05
Logical15415198.05
Non-Logical00
Event00

 LINE       60
 EXPRESSION (reg_we && ((!addrmiss)))
             ---1--    ------2------
-1--2-StatusTests
01CoveredT1,T5,T6
10CoveredT3,T50,T52
11CoveredT1,T5,T6

 LINE       72
 EXPRESSION (intg_err || reg_we_err)
             ----1---    -----2----
-1--2-StatusTests
00CoveredT1,T5,T6
01CoveredT29,T30,T31
10CoveredT3,T8,T10

 LINE       79
 EXPRESSION (err_q | intg_err | reg_we_err)
             --1--   ----2---   -----3----
-1--2--3-StatusTests
000CoveredT1,T5,T6
001CoveredT29,T30,T31
010CoveredT3,T8,T10
100CoveredT3,T8,T10

 LINE       121
 EXPRESSION (addrmiss | wr_err | intg_err)
             ----1---   ---2--   ----3---
-1--2--3-StatusTests
000CoveredT1,T5,T6
001CoveredT3,T8,T10
010CoveredT50,T52,T13
100CoveredT50,T52,T13

 LINE       658
 EXPRESSION (aon_wdog_ctrl_we & aon_wdog_ctrl_regwen)
             --------1-------   ----------2---------
-1--2-StatusTests
01Not Covered
10CoveredT1,T6,T3
11CoveredT1,T6,T2

 LINE       717
 EXPRESSION (aon_wdog_bark_thold_we & aon_wdog_bark_thold_regwen)
             -----------1----------   -------------2------------
-1--2-StatusTests
01Not Covered
10CoveredT1,T6,T2
11CoveredT1,T6,T2

 LINE       748
 EXPRESSION (aon_wdog_bite_thold_we & aon_wdog_bite_thold_regwen)
             -----------1----------   -------------2------------
-1--2-StatusTests
01Not Covered
10CoveredT1,T6,T2
11CoveredT1,T6,T2

 LINE       933
 EXPRESSION (reg_addr == aon_timer_reg_pkg::AON_TIMER_ALERT_TEST_OFFSET)
            ------------------------------1-----------------------------
-1-StatusTests
0CoveredT1,T5,T6
1CoveredT1,T5,T6

 LINE       934
 EXPRESSION (reg_addr == aon_timer_reg_pkg::AON_TIMER_WKUP_CTRL_OFFSET)
            -----------------------------1-----------------------------
-1-StatusTests
0CoveredT1,T5,T6
1CoveredT1,T5,T6

 LINE       935
 EXPRESSION (reg_addr == aon_timer_reg_pkg::AON_TIMER_WKUP_THOLD_OFFSET)
            ------------------------------1-----------------------------
-1-StatusTests
0CoveredT1,T5,T6
1CoveredT1,T5,T6

 LINE       936
 EXPRESSION (reg_addr == aon_timer_reg_pkg::AON_TIMER_WKUP_COUNT_OFFSET)
            ------------------------------1-----------------------------
-1-StatusTests
0CoveredT1,T5,T6
1CoveredT1,T5,T14

 LINE       937
 EXPRESSION (reg_addr == aon_timer_reg_pkg::AON_TIMER_WDOG_REGWEN_OFFSET)
            ------------------------------1------------------------------
-1-StatusTests
0CoveredT1,T5,T6
1CoveredT1,T5,T6

 LINE       938
 EXPRESSION (reg_addr == aon_timer_reg_pkg::AON_TIMER_WDOG_CTRL_OFFSET)
            -----------------------------1-----------------------------
-1-StatusTests
0CoveredT1,T5,T6
1CoveredT1,T5,T6

 LINE       939
 EXPRESSION (reg_addr == aon_timer_reg_pkg::AON_TIMER_WDOG_BARK_THOLD_OFFSET)
            --------------------------------1--------------------------------
-1-StatusTests
0CoveredT1,T5,T6
1CoveredT1,T5,T6

 LINE       940
 EXPRESSION (reg_addr == aon_timer_reg_pkg::AON_TIMER_WDOG_BITE_THOLD_OFFSET)
            --------------------------------1--------------------------------
-1-StatusTests
0CoveredT1,T5,T6
1CoveredT1,T5,T6

 LINE       941
 EXPRESSION (reg_addr == aon_timer_reg_pkg::AON_TIMER_WDOG_COUNT_OFFSET)
            ------------------------------1-----------------------------
-1-StatusTests
0CoveredT1,T5,T6
1CoveredT1,T5,T15

 LINE       942
 EXPRESSION (reg_addr == aon_timer_reg_pkg::AON_TIMER_INTR_STATE_OFFSET)
            ------------------------------1-----------------------------
-1-StatusTests
0CoveredT1,T5,T6
1CoveredT1,T5,T6

 LINE       943
 EXPRESSION (reg_addr == aon_timer_reg_pkg::AON_TIMER_INTR_TEST_OFFSET)
            -----------------------------1-----------------------------
-1-StatusTests
0CoveredT1,T5,T6
1CoveredT1,T5,T6

 LINE       944
 EXPRESSION (reg_addr == aon_timer_reg_pkg::AON_TIMER_WKUP_CAUSE_OFFSET)
            ------------------------------1-----------------------------
-1-StatusTests
0CoveredT1,T5,T6
1CoveredT1,T5,T15

 LINE       947
 EXPRESSION ((reg_re || reg_we) ? ((~|addr_hit)) : 1'b0)
             ---------1--------
-1-StatusTests
0CoveredT1,T5,T6
1CoveredT1,T5,T6

 LINE       947
 SUB-EXPRESSION (reg_re || reg_we)
                 ---1--    ---2--
-1--2-StatusTests
00CoveredT1,T5,T6
01CoveredT1,T5,T6
10CoveredT1,T5,T6

 LINE       951
 EXPRESSION 
 Number  Term
      1  reg_we & 
      2  ((addr_hit[0] & ((|(4'b1 & (~reg_be))))) | (addr_hit[1] & ((|(4'b0011 & (~reg_be))))) | (addr_hit[2] & ((|(4'b1111 & (~reg_be))))) | (addr_hit[3] & ((|(4'b1111 & (~reg_be))))) | (addr_hit[4] & ((|(4'b1 & (~reg_be))))) | (addr_hit[5] & ((|(4'b1 & (~reg_be))))) | (addr_hit[6] & ((|(4'b1111 & (~reg_be))))) | (addr_hit[7] & ((|(4'b1111 & (~reg_be))))) | (addr_hit[8] & ((|(4'b1111 & (~reg_be))))) | (addr_hit[9] & ((|(4'b1 & (~reg_be))))) | (addr_hit[10] & ((|(4'b1 & (~reg_be))))) | (addr_hit[11] & ((|(4'b1 & (~reg_be)))))))
-1--2-StatusTests
01CoveredT1,T5,T6
10CoveredT1,T5,T6
11CoveredT3,T8,T50

 LINE       951
 SUB-EXPRESSION 
 Number  Term
      1  (addr_hit[0] & ((|(4'b1 & (~reg_be))))) | 
      2  (addr_hit[1] & ((|(4'b0011 & (~reg_be))))) | 
      3  (addr_hit[2] & ((|(4'b1111 & (~reg_be))))) | 
      4  (addr_hit[3] & ((|(4'b1111 & (~reg_be))))) | 
      5  (addr_hit[4] & ((|(4'b1 & (~reg_be))))) | 
      6  (addr_hit[5] & ((|(4'b1 & (~reg_be))))) | 
      7  (addr_hit[6] & ((|(4'b1111 & (~reg_be))))) | 
      8  (addr_hit[7] & ((|(4'b1111 & (~reg_be))))) | 
      9  (addr_hit[8] & ((|(4'b1111 & (~reg_be))))) | 
     10  (addr_hit[9] & ((|(4'b1 & (~reg_be))))) | 
     11  (addr_hit[10] & ((|(4'b1 & (~reg_be))))) | 
     12  (addr_hit[11] & ((|(4'b1 & (~reg_be))))))
-1--2--3--4--5--6--7--8--9--10--11--12-StatusTests
000000000000CoveredT1,T5,T6
000000000001CoveredT3,T43,T45
000000000010CoveredT6,T14,T15
000000000100CoveredT1,T6,T14
000000001000CoveredT15,T17,T3
000000010000CoveredT5,T6,T2
000000100000CoveredT5,T6,T18
000001000000CoveredT6,T14,T2
000010000000CoveredT5,T6,T14
000100000000CoveredT14,T15,T17
001000000000CoveredT5,T6,T14
010000000000CoveredT6,T14,T2
100000000000CoveredT6,T14,T15

 LINE       951
 SUB-EXPRESSION (addr_hit[0] & ((|(4'b1 & (~reg_be)))))
                 -----1-----   -----------2-----------
-1--2-StatusTests
01CoveredT1,T5,T6
10CoveredT1,T5,T6
11CoveredT6,T14,T15

 LINE       951
 SUB-EXPRESSION (addr_hit[1] & ((|(4'b0011 & (~reg_be)))))
                 -----1-----   -------------2------------
-1--2-StatusTests
01CoveredT1,T5,T6
10CoveredT1,T5,T6
11CoveredT6,T14,T2

 LINE       951
 SUB-EXPRESSION (addr_hit[2] & ((|(4'b1111 & (~reg_be)))))
                 -----1-----   -------------2------------
-1--2-StatusTests
01CoveredT1,T5,T6
10CoveredT1,T5,T6
11CoveredT5,T6,T14

 LINE       951
 SUB-EXPRESSION (addr_hit[3] & ((|(4'b1111 & (~reg_be)))))
                 -----1-----   -------------2------------
-1--2-StatusTests
01CoveredT1,T5,T6
10CoveredT1,T5,T15
11CoveredT14,T15,T17

 LINE       951
 SUB-EXPRESSION (addr_hit[4] & ((|(4'b1 & (~reg_be)))))
                 -----1-----   -----------2-----------
-1--2-StatusTests
01CoveredT1,T5,T6
10CoveredT1,T5,T6
11CoveredT5,T6,T14

 LINE       951
 SUB-EXPRESSION (addr_hit[5] & ((|(4'b1 & (~reg_be)))))
                 -----1-----   -----------2-----------
-1--2-StatusTests
01CoveredT1,T5,T6
10CoveredT1,T5,T6
11CoveredT6,T14,T2

 LINE       951
 SUB-EXPRESSION (addr_hit[6] & ((|(4'b1111 & (~reg_be)))))
                 -----1-----   -------------2------------
-1--2-StatusTests
01CoveredT1,T5,T6
10CoveredT1,T5,T6
11CoveredT5,T6,T18

 LINE       951
 SUB-EXPRESSION (addr_hit[7] & ((|(4'b1111 & (~reg_be)))))
                 -----1-----   -------------2------------
-1--2-StatusTests
01CoveredT1,T5,T6
10CoveredT1,T5,T6
11CoveredT5,T6,T2

 LINE       951
 SUB-EXPRESSION (addr_hit[8] & ((|(4'b1111 & (~reg_be)))))
                 -----1-----   -------------2------------
-1--2-StatusTests
01CoveredT1,T5,T6
10CoveredT1,T5,T2
11CoveredT15,T17,T3

 LINE       951
 SUB-EXPRESSION (addr_hit[9] & ((|(4'b1 & (~reg_be)))))
                 -----1-----   -----------2-----------
-1--2-StatusTests
01CoveredT5,T6,T14
10CoveredT1,T5,T6
11CoveredT1,T6,T14

 LINE       951
 SUB-EXPRESSION (addr_hit[10] & ((|(4'b1 & (~reg_be)))))
                 ------1-----   -----------2-----------
-1--2-StatusTests
01CoveredT1,T5,T6
10CoveredT1,T5,T6
11CoveredT6,T14,T15

 LINE       951
 SUB-EXPRESSION (addr_hit[11] & ((|(4'b1 & (~reg_be)))))
                 ------1-----   -----------2-----------
-1--2-StatusTests
01CoveredT1,T5,T6
10CoveredT1,T5,T15
11CoveredT3,T43,T45

 LINE       967
 EXPRESSION (addr_hit[0] & reg_we & ((!reg_error)))
             -----1-----   ---2--   -------3------
-1--2--3-StatusTests
011CoveredT1,T5,T6
101CoveredT1,T5,T6
110CoveredT50,T52,T13
111CoveredT1,T5,T6

 LINE       970
 EXPRESSION (addr_hit[1] & reg_we & ((!reg_error)))
             -----1-----   ---2--   -------3------
-1--2--3-StatusTests
011CoveredT1,T5,T6
101CoveredT1,T5,T6
110CoveredT52,T13,T19
111CoveredT1,T5,T6

 LINE       973
 EXPRESSION (addr_hit[2] & reg_we & ((!reg_error)))
             -----1-----   ---2--   -------3------
-1--2--3-StatusTests
011CoveredT1,T5,T6
101CoveredT1,T5,T6
110CoveredT3,T50,T52
111CoveredT1,T5,T6

 LINE       975
 EXPRESSION (addr_hit[3] & reg_we & ((!reg_error)))
             -----1-----   ---2--   -------3------
-1--2--3-StatusTests
011CoveredT1,T5,T6
101CoveredT1,T5,T14
110CoveredT3,T8,T50
111CoveredT1,T5,T2

 LINE       977
 EXPRESSION (addr_hit[4] & reg_we & ((!reg_error)))
             -----1-----   ---2--   -------3------
-1--2--3-StatusTests
011CoveredT1,T5,T6
101CoveredT1,T5,T6
110CoveredT3,T13,T19
111CoveredT1,T5,T6

 LINE       980
 EXPRESSION (addr_hit[5] & reg_we & ((!reg_error)))
             -----1-----   ---2--   -------3------
-1--2--3-StatusTests
011CoveredT1,T5,T6
101CoveredT1,T5,T6
110CoveredT50,T52,T13
111CoveredT1,T5,T6

 LINE       983
 EXPRESSION (addr_hit[6] & reg_we & ((!reg_error)))
             -----1-----   ---2--   -------3------
-1--2--3-StatusTests
011CoveredT1,T5,T6
101CoveredT1,T5,T6
110CoveredT50,T13,T19
111CoveredT1,T5,T6

 LINE       985
 EXPRESSION (addr_hit[7] & reg_we & ((!reg_error)))
             -----1-----   ---2--   -------3------
-1--2--3-StatusTests
011CoveredT1,T5,T6
101CoveredT1,T5,T6
110CoveredT50,T13,T19
111CoveredT1,T5,T6

 LINE       987
 EXPRESSION (addr_hit[8] & reg_we & ((!reg_error)))
             -----1-----   ---2--   -------3------
-1--2--3-StatusTests
011CoveredT1,T5,T6
101CoveredT1,T5,T15
110CoveredT13,T19,T27
111CoveredT1,T5,T2

 LINE       989
 EXPRESSION (addr_hit[9] & reg_we & ((!reg_error)))
             -----1-----   ---2--   -------3------
-1--2--3-StatusTests
011CoveredT1,T5,T6
101CoveredT1,T5,T6
110CoveredT3,T13,T19
111CoveredT1,T5,T6

 LINE       994
 EXPRESSION (addr_hit[10] & reg_we & ((!reg_error)))
             ------1-----   ---2--   -------3------
-1--2--3-StatusTests
011CoveredT1,T5,T6
101CoveredT1,T5,T6
110CoveredT3,T50,T13
111CoveredT1,T5,T6

 LINE       999
 EXPRESSION (addr_hit[11] & reg_we & ((!reg_error)))
             ------1-----   ---2--   -------3------
-1--2--3-StatusTests
011CoveredT1,T5,T6
101CoveredT1,T5,T15
110CoveredT50,T52,T13
111CoveredT1,T5,T2

 LINE       1077
 EXPRESSION (reg_busy_sel | shadow_busy)
             ------1-----   -----2-----
-1--2-StatusTests
00CoveredT1,T5,T6
01Unreachable
10CoveredT1,T5,T6

Branch Coverage for Module : aon_timer_reg_top
Line No.TotalCoveredPercent
Branches 27 27 100.00
TERNARY 947 2 2 100.00
IF 70 3 3 100.00
CASE 1022 13 13 100.00
CASE 1080 9 9 100.00

WARNING: The source file /workspace/default/sim-vcs/../src/lowrisc_ip_aon_timer_0.1/rtl/aon_timer_reg_top.sv' or '../src/lowrisc_ip_aon_timer_0.1/rtl/aon_timer_reg_top.sv was not found/opened, so annotated branch coverage report could not be generated.

LineNo. Expression -1-: 947 ((reg_re || reg_we)) ?

Branches:
-1-StatusTests
1 Covered T1,T5,T6
0 Covered T1,T5,T6


LineNo. Expression -1-: 70 if ((!rst_ni)) -2-: 72 if ((intg_err || reg_we_err))

Branches:
-1--2-StatusTests
1 - Covered T1,T5,T6
0 1 Covered T3,T8,T10
0 0 Covered T1,T5,T6


LineNo. Expression -1-: 1022 case (1'b1)

Branches:
-1-StatusTests
addr_hit[0] Covered T1,T5,T6
addr_hit[1] Covered T1,T5,T6
addr_hit[2] Covered T1,T5,T6
addr_hit[3] Covered T1,T5,T6
addr_hit[4] Covered T1,T5,T6
addr_hit[5] Covered T1,T5,T6
addr_hit[6] Covered T1,T5,T6
addr_hit[7] Covered T1,T5,T6
addr_hit[8] Covered T1,T5,T6
addr_hit[9] Covered T1,T5,T6
addr_hit[10] Covered T1,T5,T6
addr_hit[11] Covered T1,T5,T6
default Covered T1,T5,T6


LineNo. Expression -1-: 1080 case (1'b1)

Branches:
-1-StatusTests
addr_hit[1] Covered T1,T5,T6
addr_hit[2] Covered T1,T5,T6
addr_hit[3] Covered T1,T5,T6
addr_hit[5] Covered T1,T5,T6
addr_hit[6] Covered T1,T5,T6
addr_hit[7] Covered T1,T5,T6
addr_hit[8] Covered T1,T5,T6
addr_hit[11] Covered T1,T5,T6
default Covered T1,T5,T6


Assert Coverage for Module : aon_timer_reg_top
TotalAttemptedPercentSucceeded/MatchedPercent
Assertions 4 4 100.00 4 100.00
Cover properties 0 0 0
Cover sequences 0 0 0
Total 4 4 100.00 4 100.00




Assertion Details

NameAttemptsReal SuccessesFailuresIncomplete
en2addrHit 820728413 444710 0 0
reAfterRv 820728413 444709 0 0
rePulse 820728413 108761 0 0
wePulse 820728413 335948 0 0


en2addrHit
NameAttemptsReal SuccessesFailuresIncomplete
Total 820728413 444710 0 0
T1 49793 209 0 0
T2 23799 46 0 0
T3 264769 409 0 0
T5 31395 25 0 0
T6 765458 1556 0 0
T14 7313 10 0 0
T15 39582 12 0 0
T16 7005 20 0 0
T17 49447 46 0 0
T18 10634 20 0 0

reAfterRv
NameAttemptsReal SuccessesFailuresIncomplete
Total 820728413 444709 0 0
T1 49793 209 0 0
T2 23799 46 0 0
T3 264769 409 0 0
T5 31395 25 0 0
T6 765458 1556 0 0
T14 7313 10 0 0
T15 39582 12 0 0
T16 7005 20 0 0
T17 49447 46 0 0
T18 10634 20 0 0

rePulse
NameAttemptsReal SuccessesFailuresIncomplete
Total 820728413 108761 0 0
T1 49793 81 0 0
T2 23799 21 0 0
T3 264769 172 0 0
T5 31395 13 0 0
T6 765458 749 0 0
T14 7313 5 0 0
T15 39582 6 0 0
T16 7005 10 0 0
T17 49447 23 0 0
T18 10634 10 0 0

wePulse
NameAttemptsReal SuccessesFailuresIncomplete
Total 820728413 335948 0 0
T1 49793 128 0 0
T2 23799 25 0 0
T3 264769 237 0 0
T5 31395 12 0 0
T6 765458 807 0 0
T14 7313 5 0 0
T15 39582 6 0 0
T16 7005 10 0 0
T17 49447 23 0 0
T18 10634 10 0 0

0% 10% 20% 30% 40% 50% 60% 70% 80% 90% 100%