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

Module : aon_timer_reg_top
SCORELINECONDTOGGLEFSMBRANCHASSERT
99.52 100.00 98.08 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.52 100.00 98.08 100.00 100.00



Module Instance : tb.dut.u_reg

Instance :
SCORELINECONDTOGGLEFSMBRANCHASSERT
99.52 100.00 98.08 100.00 100.00


Instance's subtree :
SCORELINECONDTOGGLEFSMBRANCHASSERT
98.96 99.80 95.72 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
ALWAYS7344100.00
CONT_ASSIGN8211100.00
CONT_ASSIGN9411100.00
CONT_ASSIGN9511100.00
CONT_ASSIGN12311100.00
CONT_ASSIGN12411100.00
ALWAYS17733100.00
CONT_ASSIGN20611100.00
ALWAYS21622100.00
CONT_ASSIGN24411100.00
ALWAYS25744100.00
CONT_ASSIGN28711100.00
ALWAYS29933100.00
CONT_ASSIGN32811100.00
ALWAYS33922100.00
CONT_ASSIGN36711100.00
ALWAYS37822100.00
CONT_ASSIGN40611100.00
ALWAYS41944100.00
CONT_ASSIGN44911100.00
ALWAYS46244100.00
CONT_ASSIGN49211100.00
CONT_ASSIGN49911100.00
CONT_ASSIGN51311100.00
CONT_ASSIGN60211100.00
CONT_ASSIGN66111100.00
CONT_ASSIGN72011100.00
CONT_ASSIGN75111100.00
CONT_ASSIGN78111100.00
CONT_ASSIGN86811100.00
CONT_ASSIGN88311100.00
CONT_ASSIGN89911100.00
CONT_ASSIGN90411100.00
ALWAYS9351313100.00
CONT_ASSIGN95011100.00
ALWAYS95411100.00
CONT_ASSIGN97011100.00
CONT_ASSIGN97211100.00
CONT_ASSIGN97311100.00
CONT_ASSIGN97611100.00
CONT_ASSIGN97811100.00
CONT_ASSIGN98011100.00
CONT_ASSIGN98211100.00
CONT_ASSIGN98311100.00
CONT_ASSIGN98611100.00
CONT_ASSIGN98811100.00
CONT_ASSIGN99011100.00
CONT_ASSIGN99211100.00
CONT_ASSIGN99411100.00
CONT_ASSIGN99611100.00
CONT_ASSIGN99711100.00
CONT_ASSIGN99911100.00
CONT_ASSIGN100111100.00
CONT_ASSIGN100211100.00
ALWAYS10071313100.00
ALWAYS10241616100.00
CONT_ASSIGN108011100.00
ALWAYS10821010100.00
CONT_ASSIGN112111100.00
CONT_ASSIGN112211100.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
73 1 1
74 1 1
75 1 1
76 1 1
MISSING_ELSE
82 1 1
94 1 1
95 1 1
123 1 1
124 1 1
177 1 1
178 1 1
179 1 1
206 1 1
216 1 1
217 1 1
244 1 1
257 1 1
258 1 1
259 1 1
260 1 1
287 1 1
299 1 1
300 1 1
301 1 1
328 1 1
339 1 1
340 1 1
367 1 1
378 1 1
379 1 1
406 1 1
419 1 1
420 1 1
421 1 1
422 1 1
449 1 1
462 1 1
463 1 1
464 1 1
465 1 1
492 1 1
499 1 1
513 1 1
602 1 1
661 1 1
720 1 1
751 1 1
781 1 1
868 1 1
883 1 1
899 1 1
904 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
945 1 1
946 1 1
947 1 1
950 1 1
954 1 1
970 1 1
972 1 1
973 1 1
976 1 1
978 1 1
980 1 1
982 1 1
983 1 1
986 1 1
988 1 1
990 1 1
992 1 1
994 1 1
996 1 1
997 1 1
999 1 1
1001 1 1
1002 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
1017 1 1
1018 1 1
1019 1 1
1024 1 1
1025 1 1
1027 1 1
1031 1 1
1034 1 1
1037 1 1
1040 1 1
1044 1 1
1047 1 1
1050 1 1
1053 1 1
1056 1 1
1057 1 1
1061 1 1
1062 1 1
1066 1 1
1080 1 1
1082 1 1
1083 1 1
1085 1 1
1088 1 1
1091 1 1
1094 1 1
1097 1 1
1100 1 1
1103 1 1
1106 1 1
1121 1 1
1122 1 1


Cond Coverage for Module : aon_timer_reg_top
TotalCoveredPercent
Conditions15615398.08
Logical15615398.08
Non-Logical00
Event00

 LINE       63
 EXPRESSION (reg_we && ((!addrmiss)))
             ---1--    ------2------
-1--2-StatusTests
01CoveredT1,T2,T7
10CoveredT1,T13,T14
11CoveredT1,T2,T7

 LINE       75
 EXPRESSION (intg_err || reg_we_err)
             ----1---    -----2----
-1--2-StatusTests
00CoveredT1,T2,T7
01CoveredT30,T32,T33
10CoveredT1,T8,T4

 LINE       82
 EXPRESSION (err_q | intg_err | reg_we_err)
             --1--   ----2---   -----3----
-1--2--3-StatusTests
000CoveredT1,T2,T7
001CoveredT30,T32,T33
010CoveredT1,T8,T4
100CoveredT1,T8,T4

 LINE       124
 EXPRESSION ((devmode_i & addrmiss) | wr_err | intg_err)
             -----------1----------   ---2--   ----3---
-1--2--3-StatusTests
000CoveredT1,T2,T7
001CoveredT1,T8,T4
010CoveredT13,T14,T23
100CoveredT13,T14,T23

 LINE       124
 SUB-EXPRESSION (devmode_i & addrmiss)
                 ----1----   ----2---
-1--2-StatusTests
01Unreachable
10CoveredT1,T2,T7
11CoveredT1,T13,T14

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

 LINE       720
 EXPRESSION (aon_wdog_bark_thold_we & aon_wdog_bark_thold_regwen)
             -----------1----------   -------------2------------
-1--2-StatusTests
01Not Covered
10CoveredT1,T2,T12
11CoveredT1,T12,T3

 LINE       751
 EXPRESSION (aon_wdog_bite_thold_we & aon_wdog_bite_thold_regwen)
             -----------1----------   -------------2------------
-1--2-StatusTests
01Not Covered
10CoveredT1,T2,T12
11CoveredT1,T12,T3

 LINE       936
 EXPRESSION (reg_addr == aon_timer_reg_pkg::AON_TIMER_ALERT_TEST_OFFSET)
            ------------------------------1-----------------------------
-1-StatusTests
0CoveredT1,T2,T7
1CoveredT1,T2,T7

 LINE       937
 EXPRESSION (reg_addr == aon_timer_reg_pkg::AON_TIMER_WKUP_CTRL_OFFSET)
            -----------------------------1-----------------------------
-1-StatusTests
0CoveredT1,T2,T7
1CoveredT1,T2,T7

 LINE       938
 EXPRESSION (reg_addr == aon_timer_reg_pkg::AON_TIMER_WKUP_THOLD_OFFSET)
            ------------------------------1-----------------------------
-1-StatusTests
0CoveredT1,T2,T7
1CoveredT1,T2,T7

 LINE       939
 EXPRESSION (reg_addr == aon_timer_reg_pkg::AON_TIMER_WKUP_COUNT_OFFSET)
            ------------------------------1-----------------------------
-1-StatusTests
0CoveredT1,T2,T7
1CoveredT1,T2,T7

 LINE       940
 EXPRESSION (reg_addr == aon_timer_reg_pkg::AON_TIMER_WDOG_REGWEN_OFFSET)
            ------------------------------1------------------------------
-1-StatusTests
0CoveredT1,T2,T7
1CoveredT1,T2,T7

 LINE       941
 EXPRESSION (reg_addr == aon_timer_reg_pkg::AON_TIMER_WDOG_CTRL_OFFSET)
            -----------------------------1-----------------------------
-1-StatusTests
0CoveredT1,T2,T7
1CoveredT1,T2,T7

 LINE       942
 EXPRESSION (reg_addr == aon_timer_reg_pkg::AON_TIMER_WDOG_BARK_THOLD_OFFSET)
            --------------------------------1--------------------------------
-1-StatusTests
0CoveredT1,T2,T7
1CoveredT1,T2,T7

 LINE       943
 EXPRESSION (reg_addr == aon_timer_reg_pkg::AON_TIMER_WDOG_BITE_THOLD_OFFSET)
            --------------------------------1--------------------------------
-1-StatusTests
0CoveredT1,T2,T7
1CoveredT1,T2,T7

 LINE       944
 EXPRESSION (reg_addr == aon_timer_reg_pkg::AON_TIMER_WDOG_COUNT_OFFSET)
            ------------------------------1-----------------------------
-1-StatusTests
0CoveredT1,T2,T7
1CoveredT1,T2,T7

 LINE       945
 EXPRESSION (reg_addr == aon_timer_reg_pkg::AON_TIMER_INTR_STATE_OFFSET)
            ------------------------------1-----------------------------
-1-StatusTests
0CoveredT1,T2,T7
1CoveredT1,T2,T7

 LINE       946
 EXPRESSION (reg_addr == aon_timer_reg_pkg::AON_TIMER_INTR_TEST_OFFSET)
            -----------------------------1-----------------------------
-1-StatusTests
0CoveredT1,T2,T7
1CoveredT1,T2,T7

 LINE       947
 EXPRESSION (reg_addr == aon_timer_reg_pkg::AON_TIMER_WKUP_CAUSE_OFFSET)
            ------------------------------1-----------------------------
-1-StatusTests
0CoveredT1,T2,T7
1CoveredT1,T2,T7

 LINE       950
 EXPRESSION ((reg_re || reg_we) ? ((~|addr_hit)) : 1'b0)
             ---------1--------
-1-StatusTests
0CoveredT1,T2,T7
1CoveredT1,T2,T7

 LINE       950
 SUB-EXPRESSION (reg_re || reg_we)
                 ---1--    ---2--
-1--2-StatusTests
00CoveredT1,T2,T7
01CoveredT1,T2,T7
10CoveredT1,T2,T7

 LINE       954
 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,T2,T7
10CoveredT1,T2,T7
11CoveredT1,T13,T14

 LINE       954
 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,T2,T7
000000000001CoveredT1,T2,T13
000000000010CoveredT1,T2,T12
000000000100CoveredT1,T2,T7
000000001000CoveredT1,T2,T13
000000010000CoveredT1,T2,T12
000000100000CoveredT1,T2,T12
000001000000CoveredT1,T2,T12
000010000000CoveredT1,T2,T12
000100000000CoveredT1,T2,T13
001000000000CoveredT1,T2,T12
010000000000CoveredT1,T2,T12
100000000000CoveredT1,T2,T7

 LINE       954
 SUB-EXPRESSION (addr_hit[0] & ((|(4'b1 & (~reg_be)))))
                 -----1-----   -----------2-----------
-1--2-StatusTests
01CoveredT1,T2,T7
10CoveredT1,T2,T7
11CoveredT1,T2,T7

 LINE       954
 SUB-EXPRESSION (addr_hit[1] & ((|(4'b0011 & (~reg_be)))))
                 -----1-----   -------------2------------
-1--2-StatusTests
01CoveredT1,T2,T7
10CoveredT1,T2,T7
11CoveredT1,T2,T12

 LINE       954
 SUB-EXPRESSION (addr_hit[2] & ((|(4'b1111 & (~reg_be)))))
                 -----1-----   -------------2------------
-1--2-StatusTests
01CoveredT1,T2,T7
10CoveredT1,T2,T7
11CoveredT1,T2,T12

 LINE       954
 SUB-EXPRESSION (addr_hit[3] & ((|(4'b1111 & (~reg_be)))))
                 -----1-----   -------------2------------
-1--2-StatusTests
01CoveredT1,T2,T7
10CoveredT1,T2,T7
11CoveredT1,T2,T13

 LINE       954
 SUB-EXPRESSION (addr_hit[4] & ((|(4'b1 & (~reg_be)))))
                 -----1-----   -----------2-----------
-1--2-StatusTests
01CoveredT1,T2,T7
10CoveredT1,T2,T7
11CoveredT1,T2,T12

 LINE       954
 SUB-EXPRESSION (addr_hit[5] & ((|(4'b1 & (~reg_be)))))
                 -----1-----   -----------2-----------
-1--2-StatusTests
01CoveredT1,T2,T7
10CoveredT1,T2,T7
11CoveredT1,T2,T12

 LINE       954
 SUB-EXPRESSION (addr_hit[6] & ((|(4'b1111 & (~reg_be)))))
                 -----1-----   -------------2------------
-1--2-StatusTests
01CoveredT1,T2,T7
10CoveredT1,T2,T7
11CoveredT1,T2,T12

 LINE       954
 SUB-EXPRESSION (addr_hit[7] & ((|(4'b1111 & (~reg_be)))))
                 -----1-----   -------------2------------
-1--2-StatusTests
01CoveredT1,T2,T7
10CoveredT1,T2,T7
11CoveredT1,T2,T12

 LINE       954
 SUB-EXPRESSION (addr_hit[8] & ((|(4'b1111 & (~reg_be)))))
                 -----1-----   -------------2------------
-1--2-StatusTests
01CoveredT1,T2,T7
10CoveredT1,T2,T7
11CoveredT1,T2,T13

 LINE       954
 SUB-EXPRESSION (addr_hit[9] & ((|(4'b1 & (~reg_be)))))
                 -----1-----   -----------2-----------
-1--2-StatusTests
01CoveredT1,T2,T7
10CoveredT1,T2,T7
11CoveredT1,T2,T7

 LINE       954
 SUB-EXPRESSION (addr_hit[10] & ((|(4'b1 & (~reg_be)))))
                 ------1-----   -----------2-----------
-1--2-StatusTests
01CoveredT1,T2,T7
10CoveredT1,T2,T7
11CoveredT1,T2,T12

 LINE       954
 SUB-EXPRESSION (addr_hit[11] & ((|(4'b1 & (~reg_be)))))
                 ------1-----   -----------2-----------
-1--2-StatusTests
01CoveredT1,T2,T7
10CoveredT1,T2,T7
11CoveredT1,T2,T13

 LINE       970
 EXPRESSION (addr_hit[0] & reg_we & ((!reg_error)))
             -----1-----   ---2--   -------3------
-1--2--3-StatusTests
011CoveredT1,T2,T7
101CoveredT1,T2,T7
110CoveredT1,T13,T8
111CoveredT1,T2,T7

 LINE       973
 EXPRESSION (addr_hit[1] & reg_we & ((!reg_error)))
             -----1-----   ---2--   -------3------
-1--2--3-StatusTests
011CoveredT1,T2,T7
101CoveredT1,T2,T7
110CoveredT13,T8,T23
111CoveredT1,T2,T7

 LINE       976
 EXPRESSION (addr_hit[2] & reg_we & ((!reg_error)))
             -----1-----   ---2--   -------3------
-1--2--3-StatusTests
011CoveredT1,T2,T7
101CoveredT1,T2,T7
110CoveredT13,T23,T48
111CoveredT1,T2,T7

 LINE       978
 EXPRESSION (addr_hit[3] & reg_we & ((!reg_error)))
             -----1-----   ---2--   -------3------
-1--2--3-StatusTests
011CoveredT1,T2,T7
101CoveredT1,T2,T7
110CoveredT13,T14,T8
111CoveredT1,T2,T7

 LINE       980
 EXPRESSION (addr_hit[4] & reg_we & ((!reg_error)))
             -----1-----   ---2--   -------3------
-1--2--3-StatusTests
011CoveredT1,T2,T7
101CoveredT1,T2,T7
110CoveredT13,T23,T48
111CoveredT1,T2,T7

 LINE       983
 EXPRESSION (addr_hit[5] & reg_we & ((!reg_error)))
             -----1-----   ---2--   -------3------
-1--2--3-StatusTests
011CoveredT1,T2,T7
101CoveredT1,T2,T7
110CoveredT1,T13,T23
111CoveredT1,T2,T7

 LINE       986
 EXPRESSION (addr_hit[6] & reg_we & ((!reg_error)))
             -----1-----   ---2--   -------3------
-1--2--3-StatusTests
011CoveredT1,T2,T7
101CoveredT1,T2,T7
110CoveredT1,T13,T45
111CoveredT1,T2,T7

 LINE       988
 EXPRESSION (addr_hit[7] & reg_we & ((!reg_error)))
             -----1-----   ---2--   -------3------
-1--2--3-StatusTests
011CoveredT1,T2,T7
101CoveredT1,T2,T7
110CoveredT13,T48,T45
111CoveredT1,T2,T7

 LINE       990
 EXPRESSION (addr_hit[8] & reg_we & ((!reg_error)))
             -----1-----   ---2--   -------3------
-1--2--3-StatusTests
011CoveredT1,T2,T7
101CoveredT1,T2,T7
110CoveredT13,T14,T48
111CoveredT1,T2,T7

 LINE       992
 EXPRESSION (addr_hit[9] & reg_we & ((!reg_error)))
             -----1-----   ---2--   -------3------
-1--2--3-StatusTests
011CoveredT1,T2,T7
101CoveredT1,T2,T7
110CoveredT13,T48,T17
111CoveredT1,T2,T7

 LINE       997
 EXPRESSION (addr_hit[10] & reg_we & ((!reg_error)))
             ------1-----   ---2--   -------3------
-1--2--3-StatusTests
011CoveredT1,T2,T7
101CoveredT1,T2,T7
110CoveredT13,T23,T45
111CoveredT1,T2,T7

 LINE       1002
 EXPRESSION (addr_hit[11] & reg_we & ((!reg_error)))
             ------1-----   ---2--   -------3------
-1--2--3-StatusTests
011CoveredT1,T2,T7
101CoveredT1,T2,T7
110CoveredT13,T23,T9
111CoveredT1,T2,T7

 LINE       1080
 EXPRESSION (reg_busy_sel | shadow_busy)
             ------1-----   -----2-----
-1--2-StatusTests
00CoveredT1,T2,T7
01Unreachable
10CoveredT1,T2,T7

Branch Coverage for Module : aon_timer_reg_top
Line No.TotalCoveredPercent
Branches 27 27 100.00
TERNARY 950 2 2 100.00
IF 73 3 3 100.00
CASE 1025 13 13 100.00
CASE 1083 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-: 950 ((reg_re || reg_we)) ?

Branches:
-1-StatusTests
1 Covered T1,T2,T7
0 Covered T1,T2,T7


LineNo. Expression -1-: 73 if ((!rst_ni)) -2-: 75 if ((intg_err || reg_we_err))

Branches:
-1--2-StatusTests
1 - Covered T1,T2,T7
0 1 Covered T1,T8,T4
0 0 Covered T1,T2,T7


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

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


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

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


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 647140168 396428 0 0
reAfterRv 647140168 396425 0 0
rePulse 647140168 96910 0 0
wePulse 647140168 299515 0 0


en2addrHit
NameAttemptsReal SuccessesFailuresIncomplete
Total 647140168 396428 0 0
T1 806686 410 0 0
T2 202196 218 0 0
T3 52702 46 0 0
T4 44464 195 0 0
T7 46540 25 0 0
T8 399742 438 0 0
T12 280411 991 0 0
T13 17676 37 0 0
T14 25653 20 0 0
T15 7255 12 0 0

reAfterRv
NameAttemptsReal SuccessesFailuresIncomplete
Total 647140168 396425 0 0
T1 806686 410 0 0
T2 202196 218 0 0
T3 52702 46 0 0
T4 44464 195 0 0
T7 46540 25 0 0
T8 399742 438 0 0
T12 280411 991 0 0
T13 17676 37 0 0
T14 25653 20 0 0
T15 7255 12 0 0

rePulse
NameAttemptsReal SuccessesFailuresIncomplete
Total 647140168 96910 0 0
T1 806686 166 0 0
T2 202196 88 0 0
T3 52702 22 0 0
T4 44464 75 0 0
T7 46540 13 0 0
T8 399742 194 0 0
T12 280411 464 0 0
T13 17676 11 0 0
T14 25653 11 0 0
T15 7255 6 0 0

wePulse
NameAttemptsReal SuccessesFailuresIncomplete
Total 647140168 299515 0 0
T1 806686 244 0 0
T2 202196 130 0 0
T3 52702 24 0 0
T4 44464 120 0 0
T7 46540 12 0 0
T8 399742 244 0 0
T12 280411 527 0 0
T13 17676 26 0 0
T14 25653 9 0 0
T15 7255 6 0 0

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