dashboard | hierarchy | modlist | groups | tests | asserts

Module Instance : tb.dut.top_earlgrey.u_pinmux_aon.u_reg.u_wkup_detector_en_0_cdc

Instance :
SCORELINECONDTOGGLEFSMBRANCHASSERT
98.08 100.00 92.31 100.00 100.00


Instance's subtree :
SCORELINECONDTOGGLEFSMBRANCHASSERT
99.22 100.00 96.88 100.00 100.00


Parent :
SCORELINECONDTOGGLEFSMBRANCHASSERTNAME
99.23 99.72 97.22 100.00 100.00 u_reg


Subtrees :
NAMESCORELINECONDTOGGLEFSMBRANCHASSERT
u_arb 100.00 100.00 100.00 100.00 100.00
u_src_to_dst_req 100.00 100.00 100.00 100.00 100.00


Module Instance : tb.dut.top_earlgrey.u_pinmux_aon.u_reg.u_wkup_detector_en_1_cdc

Instance :
SCORELINECONDTOGGLEFSMBRANCHASSERT
93.88 90.91 84.62 100.00 100.00


Instance's subtree :
SCORELINECONDTOGGLEFSMBRANCHASSERT
95.38 94.00 87.50 100.00 100.00


Parent :
SCORELINECONDTOGGLEFSMBRANCHASSERTNAME
99.23 99.72 97.22 100.00 100.00 u_reg


Subtrees :
NAMESCORELINECONDTOGGLEFSMBRANCHASSERT
u_arb 93.79 93.33 81.82 100.00 100.00
u_src_to_dst_req 100.00 100.00 100.00 100.00 100.00


Module Instance : tb.dut.top_earlgrey.u_pinmux_aon.u_reg.u_wkup_detector_en_2_cdc

Instance :
SCORELINECONDTOGGLEFSMBRANCHASSERT
93.88 90.91 84.62 100.00 100.00


Instance's subtree :
SCORELINECONDTOGGLEFSMBRANCHASSERT
95.38 94.00 87.50 100.00 100.00


Parent :
SCORELINECONDTOGGLEFSMBRANCHASSERTNAME
99.23 99.72 97.22 100.00 100.00 u_reg


Subtrees :
NAMESCORELINECONDTOGGLEFSMBRANCHASSERT
u_arb 93.79 93.33 81.82 100.00 100.00
u_src_to_dst_req 100.00 100.00 100.00 100.00 100.00


Module Instance : tb.dut.top_earlgrey.u_pinmux_aon.u_reg.u_wkup_detector_en_3_cdc

Instance :
SCORELINECONDTOGGLEFSMBRANCHASSERT
98.08 100.00 92.31 100.00 100.00


Instance's subtree :
SCORELINECONDTOGGLEFSMBRANCHASSERT
99.22 100.00 96.88 100.00 100.00


Parent :
SCORELINECONDTOGGLEFSMBRANCHASSERTNAME
99.23 99.72 97.22 100.00 100.00 u_reg


Subtrees :
NAMESCORELINECONDTOGGLEFSMBRANCHASSERT
u_arb 100.00 100.00 100.00 100.00 100.00
u_src_to_dst_req 100.00 100.00 100.00 100.00 100.00


Module Instance : tb.dut.top_earlgrey.u_pinmux_aon.u_reg.u_wkup_detector_en_4_cdc

Instance :
SCORELINECONDTOGGLEFSMBRANCHASSERT
93.88 90.91 84.62 100.00 100.00


Instance's subtree :
SCORELINECONDTOGGLEFSMBRANCHASSERT
95.38 94.00 87.50 100.00 100.00


Parent :
SCORELINECONDTOGGLEFSMBRANCHASSERTNAME
99.23 99.72 97.22 100.00 100.00 u_reg


Subtrees :
NAMESCORELINECONDTOGGLEFSMBRANCHASSERT
u_arb 93.79 93.33 81.82 100.00 100.00
u_src_to_dst_req 100.00 100.00 100.00 100.00 100.00


Module Instance : tb.dut.top_earlgrey.u_pinmux_aon.u_reg.u_wkup_detector_en_5_cdc

Instance :
SCORELINECONDTOGGLEFSMBRANCHASSERT
98.08 100.00 92.31 100.00 100.00


Instance's subtree :
SCORELINECONDTOGGLEFSMBRANCHASSERT
99.22 100.00 96.88 100.00 100.00


Parent :
SCORELINECONDTOGGLEFSMBRANCHASSERTNAME
99.23 99.72 97.22 100.00 100.00 u_reg


Subtrees :
NAMESCORELINECONDTOGGLEFSMBRANCHASSERT
u_arb 100.00 100.00 100.00 100.00 100.00
u_src_to_dst_req 100.00 100.00 100.00 100.00 100.00


Module Instance : tb.dut.top_earlgrey.u_pinmux_aon.u_reg.u_wkup_detector_en_6_cdc

Instance :
SCORELINECONDTOGGLEFSMBRANCHASSERT
93.88 90.91 84.62 100.00 100.00


Instance's subtree :
SCORELINECONDTOGGLEFSMBRANCHASSERT
95.38 94.00 87.50 100.00 100.00


Parent :
SCORELINECONDTOGGLEFSMBRANCHASSERTNAME
99.23 99.72 97.22 100.00 100.00 u_reg


Subtrees :
NAMESCORELINECONDTOGGLEFSMBRANCHASSERT
u_arb 93.79 93.33 81.82 100.00 100.00
u_src_to_dst_req 100.00 100.00 100.00 100.00 100.00


Module Instance : tb.dut.top_earlgrey.u_pinmux_aon.u_reg.u_wkup_detector_en_7_cdc

Instance :
SCORELINECONDTOGGLEFSMBRANCHASSERT
93.88 90.91 84.62 100.00 100.00


Instance's subtree :
SCORELINECONDTOGGLEFSMBRANCHASSERT
95.38 94.00 87.50 100.00 100.00


Parent :
SCORELINECONDTOGGLEFSMBRANCHASSERTNAME
99.23 99.72 97.22 100.00 100.00 u_reg


Subtrees :
NAMESCORELINECONDTOGGLEFSMBRANCHASSERT
u_arb 93.79 93.33 81.82 100.00 100.00
u_src_to_dst_req 100.00 100.00 100.00 100.00 100.00


Module Instance : tb.dut.top_earlgrey.u_pinmux_aon.u_reg.u_wkup_detector_0_cdc

Instance :
SCORELINECONDTOGGLEFSMBRANCHASSERT
97.73 100.00 90.91 100.00 100.00


Instance's subtree :
SCORELINECONDTOGGLEFSMBRANCHASSERT
99.17 100.00 96.67 100.00 100.00


Parent :
SCORELINECONDTOGGLEFSMBRANCHASSERTNAME
99.23 99.72 97.22 100.00 100.00 u_reg


Subtrees :
NAMESCORELINECONDTOGGLEFSMBRANCHASSERT
u_arb 100.00 100.00 100.00 100.00 100.00
u_src_to_dst_req 100.00 100.00 100.00 100.00 100.00


Module Instance : tb.dut.top_earlgrey.u_pinmux_aon.u_reg.u_wkup_detector_1_cdc

Instance :
SCORELINECONDTOGGLEFSMBRANCHASSERT
97.73 100.00 90.91 100.00 100.00


Instance's subtree :
SCORELINECONDTOGGLEFSMBRANCHASSERT
99.17 100.00 96.67 100.00 100.00


Parent :
SCORELINECONDTOGGLEFSMBRANCHASSERTNAME
99.23 99.72 97.22 100.00 100.00 u_reg


Subtrees :
NAMESCORELINECONDTOGGLEFSMBRANCHASSERT
u_arb 100.00 100.00 100.00 100.00 100.00
u_src_to_dst_req 100.00 100.00 100.00 100.00 100.00


Module Instance : tb.dut.top_earlgrey.u_pinmux_aon.u_reg.u_wkup_detector_2_cdc

Instance :
SCORELINECONDTOGGLEFSMBRANCHASSERT
97.73 100.00 90.91 100.00 100.00


Instance's subtree :
SCORELINECONDTOGGLEFSMBRANCHASSERT
99.17 100.00 96.67 100.00 100.00


Parent :
SCORELINECONDTOGGLEFSMBRANCHASSERTNAME
99.23 99.72 97.22 100.00 100.00 u_reg


Subtrees :
NAMESCORELINECONDTOGGLEFSMBRANCHASSERT
u_arb 100.00 100.00 100.00 100.00 100.00
u_src_to_dst_req 100.00 100.00 100.00 100.00 100.00


Module Instance : tb.dut.top_earlgrey.u_pinmux_aon.u_reg.u_wkup_detector_3_cdc

Instance :
SCORELINECONDTOGGLEFSMBRANCHASSERT
97.73 100.00 90.91 100.00 100.00


Instance's subtree :
SCORELINECONDTOGGLEFSMBRANCHASSERT
99.17 100.00 96.67 100.00 100.00


Parent :
SCORELINECONDTOGGLEFSMBRANCHASSERTNAME
99.23 99.72 97.22 100.00 100.00 u_reg


Subtrees :
NAMESCORELINECONDTOGGLEFSMBRANCHASSERT
u_arb 100.00 100.00 100.00 100.00 100.00
u_src_to_dst_req 100.00 100.00 100.00 100.00 100.00


Module Instance : tb.dut.top_earlgrey.u_pinmux_aon.u_reg.u_wkup_detector_4_cdc

Instance :
SCORELINECONDTOGGLEFSMBRANCHASSERT
97.73 100.00 90.91 100.00 100.00


Instance's subtree :
SCORELINECONDTOGGLEFSMBRANCHASSERT
99.17 100.00 96.67 100.00 100.00


Parent :
SCORELINECONDTOGGLEFSMBRANCHASSERTNAME
99.23 99.72 97.22 100.00 100.00 u_reg


Subtrees :
NAMESCORELINECONDTOGGLEFSMBRANCHASSERT
u_arb 100.00 100.00 100.00 100.00 100.00
u_src_to_dst_req 100.00 100.00 100.00 100.00 100.00


Module Instance : tb.dut.top_earlgrey.u_pinmux_aon.u_reg.u_wkup_detector_5_cdc

Instance :
SCORELINECONDTOGGLEFSMBRANCHASSERT
97.73 100.00 90.91 100.00 100.00


Instance's subtree :
SCORELINECONDTOGGLEFSMBRANCHASSERT
99.17 100.00 96.67 100.00 100.00


Parent :
SCORELINECONDTOGGLEFSMBRANCHASSERTNAME
99.23 99.72 97.22 100.00 100.00 u_reg


Subtrees :
NAMESCORELINECONDTOGGLEFSMBRANCHASSERT
u_arb 100.00 100.00 100.00 100.00 100.00
u_src_to_dst_req 100.00 100.00 100.00 100.00 100.00


Module Instance : tb.dut.top_earlgrey.u_pinmux_aon.u_reg.u_wkup_detector_6_cdc

Instance :
SCORELINECONDTOGGLEFSMBRANCHASSERT
97.73 100.00 90.91 100.00 100.00


Instance's subtree :
SCORELINECONDTOGGLEFSMBRANCHASSERT
99.17 100.00 96.67 100.00 100.00


Parent :
SCORELINECONDTOGGLEFSMBRANCHASSERTNAME
99.23 99.72 97.22 100.00 100.00 u_reg


Subtrees :
NAMESCORELINECONDTOGGLEFSMBRANCHASSERT
u_arb 100.00 100.00 100.00 100.00 100.00
u_src_to_dst_req 100.00 100.00 100.00 100.00 100.00


Module Instance : tb.dut.top_earlgrey.u_pinmux_aon.u_reg.u_wkup_detector_7_cdc

Instance :
SCORELINECONDTOGGLEFSMBRANCHASSERT
97.73 100.00 90.91 100.00 100.00


Instance's subtree :
SCORELINECONDTOGGLEFSMBRANCHASSERT
99.17 100.00 96.67 100.00 100.00


Parent :
SCORELINECONDTOGGLEFSMBRANCHASSERTNAME
99.23 99.72 97.22 100.00 100.00 u_reg


Subtrees :
NAMESCORELINECONDTOGGLEFSMBRANCHASSERT
u_arb 100.00 100.00 100.00 100.00 100.00
u_src_to_dst_req 100.00 100.00 100.00 100.00 100.00


Module Instance : tb.dut.top_earlgrey.u_pinmux_aon.u_reg.u_wkup_detector_cnt_th_0_cdc

Instance :
SCORELINECONDTOGGLEFSMBRANCHASSERT
97.73 100.00 90.91 100.00 100.00


Instance's subtree :
SCORELINECONDTOGGLEFSMBRANCHASSERT
99.17 100.00 96.67 100.00 100.00


Parent :
SCORELINECONDTOGGLEFSMBRANCHASSERTNAME
99.23 99.72 97.22 100.00 100.00 u_reg


Subtrees :
NAMESCORELINECONDTOGGLEFSMBRANCHASSERT
u_arb 100.00 100.00 100.00 100.00 100.00
u_src_to_dst_req 100.00 100.00 100.00 100.00 100.00


Module Instance : tb.dut.top_earlgrey.u_pinmux_aon.u_reg.u_wkup_detector_cnt_th_1_cdc

Instance :
SCORELINECONDTOGGLEFSMBRANCHASSERT
97.73 100.00 90.91 100.00 100.00


Instance's subtree :
SCORELINECONDTOGGLEFSMBRANCHASSERT
99.17 100.00 96.67 100.00 100.00


Parent :
SCORELINECONDTOGGLEFSMBRANCHASSERTNAME
99.23 99.72 97.22 100.00 100.00 u_reg


Subtrees :
NAMESCORELINECONDTOGGLEFSMBRANCHASSERT
u_arb 100.00 100.00 100.00 100.00 100.00
u_src_to_dst_req 100.00 100.00 100.00 100.00 100.00

Go back
Module Instances:
tb.dut.top_earlgrey.u_pinmux_aon.u_reg.u_wkup_detector_en_0_cdc
tb.dut.top_earlgrey.u_pinmux_aon.u_reg.u_wkup_detector_en_1_cdc
tb.dut.top_earlgrey.u_pinmux_aon.u_reg.u_wkup_detector_en_2_cdc
tb.dut.top_earlgrey.u_pinmux_aon.u_reg.u_wkup_detector_en_3_cdc
tb.dut.top_earlgrey.u_pinmux_aon.u_reg.u_wkup_detector_en_4_cdc
tb.dut.top_earlgrey.u_pinmux_aon.u_reg.u_wkup_detector_en_5_cdc
tb.dut.top_earlgrey.u_pinmux_aon.u_reg.u_wkup_detector_en_6_cdc
tb.dut.top_earlgrey.u_pinmux_aon.u_reg.u_wkup_detector_en_7_cdc
tb.dut.top_earlgrey.u_pinmux_aon.u_reg.u_wkup_detector_0_cdc
tb.dut.top_earlgrey.u_pinmux_aon.u_reg.u_wkup_detector_1_cdc
tb.dut.top_earlgrey.u_pinmux_aon.u_reg.u_wkup_detector_2_cdc
tb.dut.top_earlgrey.u_pinmux_aon.u_reg.u_wkup_detector_3_cdc
tb.dut.top_earlgrey.u_pinmux_aon.u_reg.u_wkup_detector_4_cdc
tb.dut.top_earlgrey.u_pinmux_aon.u_reg.u_wkup_detector_5_cdc
tb.dut.top_earlgrey.u_pinmux_aon.u_reg.u_wkup_detector_6_cdc
tb.dut.top_earlgrey.u_pinmux_aon.u_reg.u_wkup_detector_7_cdc
tb.dut.top_earlgrey.u_pinmux_aon.u_reg.u_wkup_detector_cnt_th_0_cdc
tb.dut.top_earlgrey.u_pinmux_aon.u_reg.u_wkup_detector_cnt_th_1_cdc
Line Coverage for Instance : tb.dut.top_earlgrey.u_pinmux_aon.u_reg.u_wkup_detector_en_0_cdc
Line No.TotalCoveredPercent
TOTAL2222100.00
CONT_ASSIGN6511100.00
ALWAYS7166100.00
CONT_ASSIGN8511100.00
CONT_ASSIGN10911100.00
ALWAYS11599100.00
CONT_ASSIGN15011100.00
CONT_ASSIGN15511100.00
CONT_ASSIGN15611100.00
CONT_ASSIGN20011100.00
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_prim_subreg_0/rtl/prim_reg_cdc.sv' or '../src/lowrisc_prim_subreg_0/rtl/prim_reg_cdc.sv' was not found, so annotated line coverage report could not be generated.
Line No.CoveredStatements
65 1 1
71 1 1
72 1 1
73 1 1
74 1 1
75 1 1
76 1 1
MISSING_ELSE
85 1 1
109 1 1
115 1 1
116 1 1
117 1 1
118 1 1
123 1 1
124 1 1
125 1 1
134 1 1
135 1 1
MISSING_ELSE
150 1 1
155 1 1
156 1 1
200 1 1


Cond Coverage for Instance : tb.dut.top_earlgrey.u_pinmux_aon.u_reg.u_wkup_detector_en_0_cdc
TotalCoveredPercent
Conditions131292.31
Logical131292.31
Non-Logical00
Event00

 LINE       65
 EXPRESSION (src_we_i | src_re_i)
             ----1---   ----2---
-1--2-StatusTests
00CoveredT4,T5,T6
01Unreachable
10CoveredT1,T10,T11

 LINE       109
 EXPRESSION (src_busy_q & ((!src_ack)))
             -----1----   ------2-----
-1--2-StatusTests
01CoveredT4,T5,T6
10CoveredT1,T10,T11
11CoveredT1,T10,T11

 LINE       123
 EXPRESSION (src_wd_i & BitMask)
             ----1---   ---2---
-1--2-StatusTests
0-CoveredT1,T10,T11
1-CoveredT10,T11,T12

 LINE       125
 EXPRESSION ((src_busy_q && src_ack) || (src_update && ((!busy))))
             -----------1-----------    ------------2------------
-1--2-StatusTests
00CoveredT4,T5,T6
01Unreachable
10CoveredT1,T10,T11

 LINE       125
 SUB-EXPRESSION (src_busy_q && src_ack)
                 -----1----    ---2---
-1--2-StatusTests
01Not Covered
10CoveredT1,T10,T11
11CoveredT1,T10,T11

 LINE       125
 SUB-EXPRESSION (src_update && ((!busy)))
                 -----1----    ----2----
-1--2-StatusTests
01CoveredT4,T5,T6
10Unreachable
11Unreachable

Branch Coverage for Instance : tb.dut.top_earlgrey.u_pinmux_aon.u_reg.u_wkup_detector_en_0_cdc
Line No.TotalCoveredPercent
Branches 8 8 100.00
IF 71 4 4 100.00
IF 115 4 4 100.00

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

LineNo. Expression -1-: 71 if ((!rst_src_ni)) -2-: 73 if (src_req) -3-: 75 if (src_ack)

Branches:
-1--2--3-StatusTests
1 - - Covered T4,T5,T6
0 1 - Covered T1,T10,T11
0 0 1 Covered T1,T10,T11
0 0 0 Covered T4,T5,T6


LineNo. Expression -1-: 115 if ((!rst_src_ni)) -2-: 118 if (src_req) -3-: 125 if (((src_busy_q && src_ack) || (src_update && (!busy))))

Branches:
-1--2--3-StatusTests
1 - - Covered T4,T5,T6
0 1 - Covered T1,T10,T11
0 0 1 Covered T1,T10,T11
0 0 0 Covered T4,T5,T6


Assert Coverage for Instance : tb.dut.top_earlgrey.u_pinmux_aon.u_reg.u_wkup_detector_en_0_cdc
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
BusySrcReqChk_A 133466218 109876 0 0
DstReqKnown_A 1634416 1425039 0 0
SrcAckBusyChk_A 133466218 273 0 0
SrcBusyKnown_A 133466218 132711560 0 0


BusySrcReqChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 133466218 109876 0 0
T1 411499 465 0 0
T10 0 802 0 0
T11 0 900 0 0
T12 0 913 0 0
T13 0 904 0 0
T14 0 682 0 0
T113 50405 0 0 0
T118 392434 0 0 0
T139 0 799 0 0
T208 100340 0 0 0
T325 23601 0 0 0
T351 37812 0 0 0
T352 65830 0 0 0
T353 606878 0 0 0
T354 39570 0 0 0
T355 24735 0 0 0
T372 0 275 0 0
T373 0 354 0 0
T374 0 710 0 0

DstReqKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1634416 1425039 0 0
T4 448 274 0 0
T5 690 456 0 0
T6 583 410 0 0
T18 1799 1318 0 0
T19 966 791 0 0
T20 8422 8126 0 0
T80 564 390 0 0
T81 362 190 0 0
T82 1955 1782 0 0
T83 1043 869 0 0

SrcAckBusyChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 133466218 273 0 0
T1 411499 1 0 0
T10 0 2 0 0
T11 0 2 0 0
T12 0 2 0 0
T13 0 2 0 0
T14 0 2 0 0
T113 50405 0 0 0
T118 392434 0 0 0
T139 0 2 0 0
T208 100340 0 0 0
T325 23601 0 0 0
T351 37812 0 0 0
T352 65830 0 0 0
T353 606878 0 0 0
T354 39570 0 0 0
T355 24735 0 0 0
T372 0 1 0 0
T373 0 1 0 0
T374 0 2 0 0

SrcBusyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 133466218 132711560 0 0
T4 26476 25967 0 0
T5 51191 50288 0 0
T6 41858 41325 0 0
T18 112345 109307 0 0
T19 60426 59981 0 0
T20 957760 956028 0 0
T80 45908 45159 0 0
T81 18562 17961 0 0
T82 183473 183020 0 0
T83 64420 63952 0 0

Line Coverage for Instance : tb.dut.top_earlgrey.u_pinmux_aon.u_reg.u_wkup_detector_en_1_cdc
Line No.TotalCoveredPercent
TOTAL222090.91
CONT_ASSIGN6511100.00
ALWAYS7166100.00
CONT_ASSIGN8511100.00
CONT_ASSIGN10911100.00
ALWAYS11599100.00
CONT_ASSIGN15011100.00
CONT_ASSIGN155100.00
CONT_ASSIGN156100.00
CONT_ASSIGN20011100.00
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_prim_subreg_0/rtl/prim_reg_cdc.sv' or '../src/lowrisc_prim_subreg_0/rtl/prim_reg_cdc.sv' was not found, so annotated line coverage report could not be generated.
Line No.CoveredStatements
65 1 1
71 1 1
72 1 1
73 1 1
74 1 1
75 1 1
76 1 1
MISSING_ELSE
85 1 1
109 1 1
115 1 1
116 1 1
117 1 1
118 1 1
123 1 1
124 1 1
125 1 1
134 1 1
135 1 1
MISSING_ELSE
150 1 1
155 0 1
156 0 1
200 1 1


Cond Coverage for Instance : tb.dut.top_earlgrey.u_pinmux_aon.u_reg.u_wkup_detector_en_1_cdc
TotalCoveredPercent
Conditions131184.62
Logical131184.62
Non-Logical00
Event00

 LINE       65
 EXPRESSION (src_we_i | src_re_i)
             ----1---   ----2---
-1--2-StatusTests
00CoveredT4,T5,T6
01Unreachable
10CoveredT1,T372,T374

 LINE       109
 EXPRESSION (src_busy_q & ((!src_ack)))
             -----1----   ------2-----
-1--2-StatusTests
01CoveredT4,T5,T6
10CoveredT1,T372,T374
11CoveredT1,T372,T374

 LINE       123
 EXPRESSION (src_wd_i & BitMask)
             ----1---   ---2---
-1--2-StatusTests
0-CoveredT1,T372,T374
1-Not Covered

 LINE       125
 EXPRESSION ((src_busy_q && src_ack) || (src_update && ((!busy))))
             -----------1-----------    ------------2------------
-1--2-StatusTests
00CoveredT4,T5,T6
01Unreachable
10CoveredT1,T372,T374

 LINE       125
 SUB-EXPRESSION (src_busy_q && src_ack)
                 -----1----    ---2---
-1--2-StatusTests
01Not Covered
10CoveredT1,T372,T374
11CoveredT1,T372,T374

 LINE       125
 SUB-EXPRESSION (src_update && ((!busy)))
                 -----1----    ----2----
-1--2-StatusTests
01CoveredT4,T5,T6
10Unreachable
11Unreachable

Branch Coverage for Instance : tb.dut.top_earlgrey.u_pinmux_aon.u_reg.u_wkup_detector_en_1_cdc
Line No.TotalCoveredPercent
Branches 8 8 100.00
IF 71 4 4 100.00
IF 115 4 4 100.00

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

LineNo. Expression -1-: 71 if ((!rst_src_ni)) -2-: 73 if (src_req) -3-: 75 if (src_ack)

Branches:
-1--2--3-StatusTests
1 - - Covered T4,T5,T6
0 1 - Covered T1,T372,T374
0 0 1 Covered T1,T372,T374
0 0 0 Covered T4,T5,T6


LineNo. Expression -1-: 115 if ((!rst_src_ni)) -2-: 118 if (src_req) -3-: 125 if (((src_busy_q && src_ack) || (src_update && (!busy))))

Branches:
-1--2--3-StatusTests
1 - - Covered T4,T5,T6
0 1 - Covered T1,T372,T374
0 0 1 Covered T1,T372,T374
0 0 0 Covered T4,T5,T6


Assert Coverage for Instance : tb.dut.top_earlgrey.u_pinmux_aon.u_reg.u_wkup_detector_en_1_cdc
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
BusySrcReqChk_A 133466218 107374 0 0
DstReqKnown_A 1634416 1425039 0 0
SrcAckBusyChk_A 133466218 266 0 0
SrcBusyKnown_A 133466218 132711560 0 0


BusySrcReqChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 133466218 107374 0 0
T1 411499 416 0 0
T113 50405 0 0 0
T118 392434 0 0 0
T139 0 759 0 0
T140 0 695 0 0
T141 0 692 0 0
T208 100340 0 0 0
T325 23601 0 0 0
T351 37812 0 0 0
T352 65830 0 0 0
T353 606878 0 0 0
T354 39570 0 0 0
T355 24735 0 0 0
T369 0 3235 0 0
T371 0 1566 0 0
T372 0 351 0 0
T373 0 337 0 0
T374 0 791 0 0
T375 0 2636 0 0

DstReqKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1634416 1425039 0 0
T4 448 274 0 0
T5 690 456 0 0
T6 583 410 0 0
T18 1799 1318 0 0
T19 966 791 0 0
T20 8422 8126 0 0
T80 564 390 0 0
T81 362 190 0 0
T82 1955 1782 0 0
T83 1043 869 0 0

SrcAckBusyChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 133466218 266 0 0
T1 411499 1 0 0
T113 50405 0 0 0
T118 392434 0 0 0
T139 0 2 0 0
T140 0 2 0 0
T141 0 2 0 0
T208 100340 0 0 0
T325 23601 0 0 0
T351 37812 0 0 0
T352 65830 0 0 0
T353 606878 0 0 0
T354 39570 0 0 0
T355 24735 0 0 0
T369 0 8 0 0
T371 0 4 0 0
T372 0 1 0 0
T373 0 1 0 0
T374 0 2 0 0
T375 0 6 0 0

SrcBusyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 133466218 132711560 0 0
T4 26476 25967 0 0
T5 51191 50288 0 0
T6 41858 41325 0 0
T18 112345 109307 0 0
T19 60426 59981 0 0
T20 957760 956028 0 0
T80 45908 45159 0 0
T81 18562 17961 0 0
T82 183473 183020 0 0
T83 64420 63952 0 0

Line Coverage for Instance : tb.dut.top_earlgrey.u_pinmux_aon.u_reg.u_wkup_detector_en_2_cdc
Line No.TotalCoveredPercent
TOTAL222090.91
CONT_ASSIGN6511100.00
ALWAYS7166100.00
CONT_ASSIGN8511100.00
CONT_ASSIGN10911100.00
ALWAYS11599100.00
CONT_ASSIGN15011100.00
CONT_ASSIGN155100.00
CONT_ASSIGN156100.00
CONT_ASSIGN20011100.00
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_prim_subreg_0/rtl/prim_reg_cdc.sv' or '../src/lowrisc_prim_subreg_0/rtl/prim_reg_cdc.sv' was not found, so annotated line coverage report could not be generated.
Line No.CoveredStatements
65 1 1
71 1 1
72 1 1
73 1 1
74 1 1
75 1 1
76 1 1
MISSING_ELSE
85 1 1
109 1 1
115 1 1
116 1 1
117 1 1
118 1 1
123 1 1
124 1 1
125 1 1
134 1 1
135 1 1
MISSING_ELSE
150 1 1
155 0 1
156 0 1
200 1 1


Cond Coverage for Instance : tb.dut.top_earlgrey.u_pinmux_aon.u_reg.u_wkup_detector_en_2_cdc
TotalCoveredPercent
Conditions131184.62
Logical131184.62
Non-Logical00
Event00

 LINE       65
 EXPRESSION (src_we_i | src_re_i)
             ----1---   ----2---
-1--2-StatusTests
00CoveredT4,T5,T6
01Unreachable
10CoveredT1,T372,T403

 LINE       109
 EXPRESSION (src_busy_q & ((!src_ack)))
             -----1----   ------2-----
-1--2-StatusTests
01CoveredT4,T5,T6
10CoveredT1,T372,T374
11CoveredT1,T372,T374

 LINE       123
 EXPRESSION (src_wd_i & BitMask)
             ----1---   ---2---
-1--2-StatusTests
0-CoveredT1,T372,T374
1-Not Covered

 LINE       125
 EXPRESSION ((src_busy_q && src_ack) || (src_update && ((!busy))))
             -----------1-----------    ------------2------------
-1--2-StatusTests
00CoveredT4,T5,T6
01Unreachable
10CoveredT1,T372,T374

 LINE       125
 SUB-EXPRESSION (src_busy_q && src_ack)
                 -----1----    ---2---
-1--2-StatusTests
01Not Covered
10CoveredT1,T372,T374
11CoveredT1,T372,T374

 LINE       125
 SUB-EXPRESSION (src_update && ((!busy)))
                 -----1----    ----2----
-1--2-StatusTests
01CoveredT4,T5,T6
10Unreachable
11Unreachable

Branch Coverage for Instance : tb.dut.top_earlgrey.u_pinmux_aon.u_reg.u_wkup_detector_en_2_cdc
Line No.TotalCoveredPercent
Branches 8 8 100.00
IF 71 4 4 100.00
IF 115 4 4 100.00

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

LineNo. Expression -1-: 71 if ((!rst_src_ni)) -2-: 73 if (src_req) -3-: 75 if (src_ack)

Branches:
-1--2--3-StatusTests
1 - - Covered T4,T5,T6
0 1 - Covered T1,T372,T374
0 0 1 Covered T1,T372,T374
0 0 0 Covered T4,T5,T6


LineNo. Expression -1-: 115 if ((!rst_src_ni)) -2-: 118 if (src_req) -3-: 125 if (((src_busy_q && src_ack) || (src_update && (!busy))))

Branches:
-1--2--3-StatusTests
1 - - Covered T4,T5,T6
0 1 - Covered T1,T372,T374
0 0 1 Covered T1,T372,T374
0 0 0 Covered T4,T5,T6


Assert Coverage for Instance : tb.dut.top_earlgrey.u_pinmux_aon.u_reg.u_wkup_detector_en_2_cdc
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
BusySrcReqChk_A 133466218 100282 0 0
DstReqKnown_A 1634416 1425039 0 0
SrcAckBusyChk_A 133466218 251 0 0
SrcBusyKnown_A 133466218 132711560 0 0


BusySrcReqChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 133466218 100282 0 0
T1 411499 451 0 0
T113 50405 0 0 0
T118 392434 0 0 0
T139 0 678 0 0
T140 0 764 0 0
T141 0 4784 0 0
T208 100340 0 0 0
T325 23601 0 0 0
T351 37812 0 0 0
T352 65830 0 0 0
T353 606878 0 0 0
T354 39570 0 0 0
T355 24735 0 0 0
T369 0 4412 0 0
T371 0 448 0 0
T372 0 308 0 0
T373 0 277 0 0
T374 0 718 0 0
T375 0 2184 0 0

DstReqKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1634416 1425039 0 0
T4 448 274 0 0
T5 690 456 0 0
T6 583 410 0 0
T18 1799 1318 0 0
T19 966 791 0 0
T20 8422 8126 0 0
T80 564 390 0 0
T81 362 190 0 0
T82 1955 1782 0 0
T83 1043 869 0 0

SrcAckBusyChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 133466218 251 0 0
T1 411499 1 0 0
T113 50405 0 0 0
T118 392434 0 0 0
T139 0 2 0 0
T140 0 2 0 0
T141 0 12 0 0
T208 100340 0 0 0
T325 23601 0 0 0
T351 37812 0 0 0
T352 65830 0 0 0
T353 606878 0 0 0
T354 39570 0 0 0
T355 24735 0 0 0
T369 0 11 0 0
T371 0 1 0 0
T372 0 1 0 0
T373 0 1 0 0
T374 0 2 0 0
T375 0 5 0 0

SrcBusyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 133466218 132711560 0 0
T4 26476 25967 0 0
T5 51191 50288 0 0
T6 41858 41325 0 0
T18 112345 109307 0 0
T19 60426 59981 0 0
T20 957760 956028 0 0
T80 45908 45159 0 0
T81 18562 17961 0 0
T82 183473 183020 0 0
T83 64420 63952 0 0

Line Coverage for Instance : tb.dut.top_earlgrey.u_pinmux_aon.u_reg.u_wkup_detector_en_3_cdc
Line No.TotalCoveredPercent
TOTAL2222100.00
CONT_ASSIGN6511100.00
ALWAYS7166100.00
CONT_ASSIGN8511100.00
CONT_ASSIGN10911100.00
ALWAYS11599100.00
CONT_ASSIGN15011100.00
CONT_ASSIGN15511100.00
CONT_ASSIGN15611100.00
CONT_ASSIGN20011100.00
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_prim_subreg_0/rtl/prim_reg_cdc.sv' or '../src/lowrisc_prim_subreg_0/rtl/prim_reg_cdc.sv' was not found, so annotated line coverage report could not be generated.
Line No.CoveredStatements
65 1 1
71 1 1
72 1 1
73 1 1
74 1 1
75 1 1
76 1 1
MISSING_ELSE
85 1 1
109 1 1
115 1 1
116 1 1
117 1 1
118 1 1
123 1 1
124 1 1
125 1 1
134 1 1
135 1 1
MISSING_ELSE
150 1 1
155 1 1
156 1 1
200 1 1


Cond Coverage for Instance : tb.dut.top_earlgrey.u_pinmux_aon.u_reg.u_wkup_detector_en_3_cdc
TotalCoveredPercent
Conditions131292.31
Logical131292.31
Non-Logical00
Event00

 LINE       65
 EXPRESSION (src_we_i | src_re_i)
             ----1---   ----2---
-1--2-StatusTests
00CoveredT4,T5,T6
01Unreachable
10CoveredT1,T9,T404

 LINE       109
 EXPRESSION (src_busy_q & ((!src_ack)))
             -----1----   ------2-----
-1--2-StatusTests
01CoveredT4,T5,T6
10CoveredT1,T9,T372
11CoveredT1,T9,T372

 LINE       123
 EXPRESSION (src_wd_i & BitMask)
             ----1---   ---2---
-1--2-StatusTests
0-CoveredT1,T9,T372
1-CoveredT9

 LINE       125
 EXPRESSION ((src_busy_q && src_ack) || (src_update && ((!busy))))
             -----------1-----------    ------------2------------
-1--2-StatusTests
00CoveredT4,T5,T6
01Unreachable
10CoveredT1,T9,T372

 LINE       125
 SUB-EXPRESSION (src_busy_q && src_ack)
                 -----1----    ---2---
-1--2-StatusTests
01Not Covered
10CoveredT1,T9,T372
11CoveredT1,T9,T372

 LINE       125
 SUB-EXPRESSION (src_update && ((!busy)))
                 -----1----    ----2----
-1--2-StatusTests
01CoveredT4,T5,T6
10Unreachable
11Unreachable

Branch Coverage for Instance : tb.dut.top_earlgrey.u_pinmux_aon.u_reg.u_wkup_detector_en_3_cdc
Line No.TotalCoveredPercent
Branches 8 8 100.00
IF 71 4 4 100.00
IF 115 4 4 100.00

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

LineNo. Expression -1-: 71 if ((!rst_src_ni)) -2-: 73 if (src_req) -3-: 75 if (src_ack)

Branches:
-1--2--3-StatusTests
1 - - Covered T4,T5,T6
0 1 - Covered T1,T9,T372
0 0 1 Covered T1,T9,T372
0 0 0 Covered T4,T5,T6


LineNo. Expression -1-: 115 if ((!rst_src_ni)) -2-: 118 if (src_req) -3-: 125 if (((src_busy_q && src_ack) || (src_update && (!busy))))

Branches:
-1--2--3-StatusTests
1 - - Covered T4,T5,T6
0 1 - Covered T1,T9,T372
0 0 1 Covered T1,T9,T372
0 0 0 Covered T4,T5,T6


Assert Coverage for Instance : tb.dut.top_earlgrey.u_pinmux_aon.u_reg.u_wkup_detector_en_3_cdc
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
BusySrcReqChk_A 133466218 103648 0 0
DstReqKnown_A 1634416 1425039 0 0
SrcAckBusyChk_A 133466218 258 0 0
SrcBusyKnown_A 133466218 132711560 0 0


BusySrcReqChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 133466218 103648 0 0
T1 411499 408 0 0
T9 0 999 0 0
T113 50405 0 0 0
T118 392434 0 0 0
T139 0 755 0 0
T140 0 728 0 0
T141 0 1534 0 0
T208 100340 0 0 0
T325 23601 0 0 0
T351 37812 0 0 0
T352 65830 0 0 0
T353 606878 0 0 0
T354 39570 0 0 0
T355 24735 0 0 0
T371 0 471 0 0
T372 0 257 0 0
T373 0 317 0 0
T374 0 736 0 0
T375 0 5175 0 0

DstReqKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1634416 1425039 0 0
T4 448 274 0 0
T5 690 456 0 0
T6 583 410 0 0
T18 1799 1318 0 0
T19 966 791 0 0
T20 8422 8126 0 0
T80 564 390 0 0
T81 362 190 0 0
T82 1955 1782 0 0
T83 1043 869 0 0

SrcAckBusyChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 133466218 258 0 0
T1 411499 1 0 0
T9 0 2 0 0
T113 50405 0 0 0
T118 392434 0 0 0
T139 0 2 0 0
T140 0 2 0 0
T141 0 4 0 0
T208 100340 0 0 0
T325 23601 0 0 0
T351 37812 0 0 0
T352 65830 0 0 0
T353 606878 0 0 0
T354 39570 0 0 0
T355 24735 0 0 0
T371 0 1 0 0
T372 0 1 0 0
T373 0 1 0 0
T374 0 2 0 0
T375 0 12 0 0

SrcBusyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 133466218 132711560 0 0
T4 26476 25967 0 0
T5 51191 50288 0 0
T6 41858 41325 0 0
T18 112345 109307 0 0
T19 60426 59981 0 0
T20 957760 956028 0 0
T80 45908 45159 0 0
T81 18562 17961 0 0
T82 183473 183020 0 0
T83 64420 63952 0 0

Line Coverage for Instance : tb.dut.top_earlgrey.u_pinmux_aon.u_reg.u_wkup_detector_en_4_cdc
Line No.TotalCoveredPercent
TOTAL222090.91
CONT_ASSIGN6511100.00
ALWAYS7166100.00
CONT_ASSIGN8511100.00
CONT_ASSIGN10911100.00
ALWAYS11599100.00
CONT_ASSIGN15011100.00
CONT_ASSIGN155100.00
CONT_ASSIGN156100.00
CONT_ASSIGN20011100.00
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_prim_subreg_0/rtl/prim_reg_cdc.sv' or '../src/lowrisc_prim_subreg_0/rtl/prim_reg_cdc.sv' was not found, so annotated line coverage report could not be generated.
Line No.CoveredStatements
65 1 1
71 1 1
72 1 1
73 1 1
74 1 1
75 1 1
76 1 1
MISSING_ELSE
85 1 1
109 1 1
115 1 1
116 1 1
117 1 1
118 1 1
123 1 1
124 1 1
125 1 1
134 1 1
135 1 1
MISSING_ELSE
150 1 1
155 0 1
156 0 1
200 1 1


Cond Coverage for Instance : tb.dut.top_earlgrey.u_pinmux_aon.u_reg.u_wkup_detector_en_4_cdc
TotalCoveredPercent
Conditions131184.62
Logical131184.62
Non-Logical00
Event00

 LINE       65
 EXPRESSION (src_we_i | src_re_i)
             ----1---   ----2---
-1--2-StatusTests
00CoveredT4,T5,T6
01Unreachable
10CoveredT1,T405,T406

 LINE       109
 EXPRESSION (src_busy_q & ((!src_ack)))
             -----1----   ------2-----
-1--2-StatusTests
01CoveredT4,T5,T6
10CoveredT1,T372,T374
11CoveredT1,T372,T374

 LINE       123
 EXPRESSION (src_wd_i & BitMask)
             ----1---   ---2---
-1--2-StatusTests
0-CoveredT1,T372,T374
1-Not Covered

 LINE       125
 EXPRESSION ((src_busy_q && src_ack) || (src_update && ((!busy))))
             -----------1-----------    ------------2------------
-1--2-StatusTests
00CoveredT4,T5,T6
01Unreachable
10CoveredT1,T372,T374

 LINE       125
 SUB-EXPRESSION (src_busy_q && src_ack)
                 -----1----    ---2---
-1--2-StatusTests
01Not Covered
10CoveredT1,T372,T374
11CoveredT1,T372,T374

 LINE       125
 SUB-EXPRESSION (src_update && ((!busy)))
                 -----1----    ----2----
-1--2-StatusTests
01CoveredT4,T5,T6
10Unreachable
11Unreachable

Branch Coverage for Instance : tb.dut.top_earlgrey.u_pinmux_aon.u_reg.u_wkup_detector_en_4_cdc
Line No.TotalCoveredPercent
Branches 8 8 100.00
IF 71 4 4 100.00
IF 115 4 4 100.00

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

LineNo. Expression -1-: 71 if ((!rst_src_ni)) -2-: 73 if (src_req) -3-: 75 if (src_ack)

Branches:
-1--2--3-StatusTests
1 - - Covered T4,T5,T6
0 1 - Covered T1,T372,T374
0 0 1 Covered T1,T372,T374
0 0 0 Covered T4,T5,T6


LineNo. Expression -1-: 115 if ((!rst_src_ni)) -2-: 118 if (src_req) -3-: 125 if (((src_busy_q && src_ack) || (src_update && (!busy))))

Branches:
-1--2--3-StatusTests
1 - - Covered T4,T5,T6
0 1 - Covered T1,T372,T374
0 0 1 Covered T1,T372,T374
0 0 0 Covered T4,T5,T6


Assert Coverage for Instance : tb.dut.top_earlgrey.u_pinmux_aon.u_reg.u_wkup_detector_en_4_cdc
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
BusySrcReqChk_A 133466218 109328 0 0
DstReqKnown_A 1634416 1425039 0 0
SrcAckBusyChk_A 133466218 272 0 0
SrcBusyKnown_A 133466218 132711560 0 0


BusySrcReqChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 133466218 109328 0 0
T1 411499 402 0 0
T113 50405 0 0 0
T118 392434 0 0 0
T139 0 783 0 0
T140 0 765 0 0
T141 0 682 0 0
T208 100340 0 0 0
T325 23601 0 0 0
T351 37812 0 0 0
T352 65830 0 0 0
T353 606878 0 0 0
T354 39570 0 0 0
T355 24735 0 0 0
T369 0 3924 0 0
T371 0 2575 0 0
T372 0 288 0 0
T373 0 295 0 0
T374 0 677 0 0
T375 0 3046 0 0

DstReqKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1634416 1425039 0 0
T4 448 274 0 0
T5 690 456 0 0
T6 583 410 0 0
T18 1799 1318 0 0
T19 966 791 0 0
T20 8422 8126 0 0
T80 564 390 0 0
T81 362 190 0 0
T82 1955 1782 0 0
T83 1043 869 0 0

SrcAckBusyChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 133466218 272 0 0
T1 411499 1 0 0
T113 50405 0 0 0
T118 392434 0 0 0
T139 0 2 0 0
T140 0 2 0 0
T141 0 2 0 0
T208 100340 0 0 0
T325 23601 0 0 0
T351 37812 0 0 0
T352 65830 0 0 0
T353 606878 0 0 0
T354 39570 0 0 0
T355 24735 0 0 0
T369 0 10 0 0
T371 0 6 0 0
T372 0 1 0 0
T373 0 1 0 0
T374 0 2 0 0
T375 0 7 0 0

SrcBusyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 133466218 132711560 0 0
T4 26476 25967 0 0
T5 51191 50288 0 0
T6 41858 41325 0 0
T18 112345 109307 0 0
T19 60426 59981 0 0
T20 957760 956028 0 0
T80 45908 45159 0 0
T81 18562 17961 0 0
T82 183473 183020 0 0
T83 64420 63952 0 0

Line Coverage for Instance : tb.dut.top_earlgrey.u_pinmux_aon.u_reg.u_wkup_detector_en_5_cdc
Line No.TotalCoveredPercent
TOTAL2222100.00
CONT_ASSIGN6511100.00
ALWAYS7166100.00
CONT_ASSIGN8511100.00
CONT_ASSIGN10911100.00
ALWAYS11599100.00
CONT_ASSIGN15011100.00
CONT_ASSIGN15511100.00
CONT_ASSIGN15611100.00
CONT_ASSIGN20011100.00
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_prim_subreg_0/rtl/prim_reg_cdc.sv' or '../src/lowrisc_prim_subreg_0/rtl/prim_reg_cdc.sv' was not found, so annotated line coverage report could not be generated.
Line No.CoveredStatements
65 1 1
71 1 1
72 1 1
73 1 1
74 1 1
75 1 1
76 1 1
MISSING_ELSE
85 1 1
109 1 1
115 1 1
116 1 1
117 1 1
118 1 1
123 1 1
124 1 1
125 1 1
134 1 1
135 1 1
MISSING_ELSE
150 1 1
155 1 1
156 1 1
200 1 1


Cond Coverage for Instance : tb.dut.top_earlgrey.u_pinmux_aon.u_reg.u_wkup_detector_en_5_cdc
TotalCoveredPercent
Conditions131292.31
Logical131292.31
Non-Logical00
Event00

 LINE       65
 EXPRESSION (src_we_i | src_re_i)
             ----1---   ----2---
-1--2-StatusTests
00CoveredT4,T5,T6
01Unreachable
10CoveredT1,T2,T3

 LINE       109
 EXPRESSION (src_busy_q & ((!src_ack)))
             -----1----   ------2-----
-1--2-StatusTests
01CoveredT4,T5,T6
10CoveredT1,T2,T3
11CoveredT1,T2,T3

 LINE       123
 EXPRESSION (src_wd_i & BitMask)
             ----1---   ---2---
-1--2-StatusTests
0-CoveredT1,T2,T3
1-CoveredT2,T3,T15

 LINE       125
 EXPRESSION ((src_busy_q && src_ack) || (src_update && ((!busy))))
             -----------1-----------    ------------2------------
-1--2-StatusTests
00CoveredT4,T5,T6
01Unreachable
10CoveredT1,T2,T3

 LINE       125
 SUB-EXPRESSION (src_busy_q && src_ack)
                 -----1----    ---2---
-1--2-StatusTests
01Not Covered
10CoveredT1,T2,T3
11CoveredT1,T2,T3

 LINE       125
 SUB-EXPRESSION (src_update && ((!busy)))
                 -----1----    ----2----
-1--2-StatusTests
01CoveredT4,T5,T6
10Unreachable
11Unreachable

Branch Coverage for Instance : tb.dut.top_earlgrey.u_pinmux_aon.u_reg.u_wkup_detector_en_5_cdc
Line No.TotalCoveredPercent
Branches 8 8 100.00
IF 71 4 4 100.00
IF 115 4 4 100.00

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

LineNo. Expression -1-: 71 if ((!rst_src_ni)) -2-: 73 if (src_req) -3-: 75 if (src_ack)

Branches:
-1--2--3-StatusTests
1 - - Covered T4,T5,T6
0 1 - Covered T1,T2,T3
0 0 1 Covered T1,T2,T3
0 0 0 Covered T4,T5,T6


LineNo. Expression -1-: 115 if ((!rst_src_ni)) -2-: 118 if (src_req) -3-: 125 if (((src_busy_q && src_ack) || (src_update && (!busy))))

Branches:
-1--2--3-StatusTests
1 - - Covered T4,T5,T6
0 1 - Covered T1,T2,T3
0 0 1 Covered T1,T2,T3
0 0 0 Covered T4,T5,T6


Assert Coverage for Instance : tb.dut.top_earlgrey.u_pinmux_aon.u_reg.u_wkup_detector_en_5_cdc
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
BusySrcReqChk_A 133466218 113548 0 0
DstReqKnown_A 1634416 1425039 0 0
SrcAckBusyChk_A 133466218 284 0 0
SrcBusyKnown_A 133466218 132711560 0 0


BusySrcReqChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 133466218 113548 0 0
T1 411499 477 0 0
T2 0 777 0 0
T3 0 779 0 0
T15 0 839 0 0
T16 0 1428 0 0
T17 0 1672 0 0
T113 50405 0 0 0
T118 392434 0 0 0
T208 100340 0 0 0
T325 23601 0 0 0
T351 37812 0 0 0
T352 65830 0 0 0
T353 606878 0 0 0
T354 39570 0 0 0
T355 24735 0 0 0
T372 0 347 0 0
T374 0 704 0 0
T402 0 1668 0 0
T407 0 759 0 0

DstReqKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1634416 1425039 0 0
T4 448 274 0 0
T5 690 456 0 0
T6 583 410 0 0
T18 1799 1318 0 0
T19 966 791 0 0
T20 8422 8126 0 0
T80 564 390 0 0
T81 362 190 0 0
T82 1955 1782 0 0
T83 1043 869 0 0

SrcAckBusyChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 133466218 284 0 0
T1 411499 1 0 0
T2 0 2 0 0
T3 0 2 0 0
T15 0 2 0 0
T16 0 4 0 0
T17 0 4 0 0
T113 50405 0 0 0
T118 392434 0 0 0
T208 100340 0 0 0
T325 23601 0 0 0
T351 37812 0 0 0
T352 65830 0 0 0
T353 606878 0 0 0
T354 39570 0 0 0
T355 24735 0 0 0
T372 0 1 0 0
T374 0 2 0 0
T402 0 4 0 0
T407 0 2 0 0

SrcBusyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 133466218 132711560 0 0
T4 26476 25967 0 0
T5 51191 50288 0 0
T6 41858 41325 0 0
T18 112345 109307 0 0
T19 60426 59981 0 0
T20 957760 956028 0 0
T80 45908 45159 0 0
T81 18562 17961 0 0
T82 183473 183020 0 0
T83 64420 63952 0 0

Line Coverage for Instance : tb.dut.top_earlgrey.u_pinmux_aon.u_reg.u_wkup_detector_en_6_cdc
Line No.TotalCoveredPercent
TOTAL222090.91
CONT_ASSIGN6511100.00
ALWAYS7166100.00
CONT_ASSIGN8511100.00
CONT_ASSIGN10911100.00
ALWAYS11599100.00
CONT_ASSIGN15011100.00
CONT_ASSIGN155100.00
CONT_ASSIGN156100.00
CONT_ASSIGN20011100.00
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_prim_subreg_0/rtl/prim_reg_cdc.sv' or '../src/lowrisc_prim_subreg_0/rtl/prim_reg_cdc.sv' was not found, so annotated line coverage report could not be generated.
Line No.CoveredStatements
65 1 1
71 1 1
72 1 1
73 1 1
74 1 1
75 1 1
76 1 1
MISSING_ELSE
85 1 1
109 1 1
115 1 1
116 1 1
117 1 1
118 1 1
123 1 1
124 1 1
125 1 1
134 1 1
135 1 1
MISSING_ELSE
150 1 1
155 0 1
156 0 1
200 1 1


Cond Coverage for Instance : tb.dut.top_earlgrey.u_pinmux_aon.u_reg.u_wkup_detector_en_6_cdc
TotalCoveredPercent
Conditions131184.62
Logical131184.62
Non-Logical00
Event00

 LINE       65
 EXPRESSION (src_we_i | src_re_i)
             ----1---   ----2---
-1--2-StatusTests
00CoveredT4,T5,T6
01Unreachable
10CoveredT1,T372,T408

 LINE       109
 EXPRESSION (src_busy_q & ((!src_ack)))
             -----1----   ------2-----
-1--2-StatusTests
01CoveredT4,T5,T6
10CoveredT1,T372,T374
11CoveredT1,T372,T374

 LINE       123
 EXPRESSION (src_wd_i & BitMask)
             ----1---   ---2---
-1--2-StatusTests
0-CoveredT1,T372,T374
1-Not Covered

 LINE       125
 EXPRESSION ((src_busy_q && src_ack) || (src_update && ((!busy))))
             -----------1-----------    ------------2------------
-1--2-StatusTests
00CoveredT4,T5,T6
01Unreachable
10CoveredT1,T372,T374

 LINE       125
 SUB-EXPRESSION (src_busy_q && src_ack)
                 -----1----    ---2---
-1--2-StatusTests
01Not Covered
10CoveredT1,T372,T374
11CoveredT1,T372,T374

 LINE       125
 SUB-EXPRESSION (src_update && ((!busy)))
                 -----1----    ----2----
-1--2-StatusTests
01CoveredT4,T5,T6
10Unreachable
11Unreachable

Branch Coverage for Instance : tb.dut.top_earlgrey.u_pinmux_aon.u_reg.u_wkup_detector_en_6_cdc
Line No.TotalCoveredPercent
Branches 8 8 100.00
IF 71 4 4 100.00
IF 115 4 4 100.00

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

LineNo. Expression -1-: 71 if ((!rst_src_ni)) -2-: 73 if (src_req) -3-: 75 if (src_ack)

Branches:
-1--2--3-StatusTests
1 - - Covered T4,T5,T6
0 1 - Covered T1,T372,T374
0 0 1 Covered T1,T372,T374
0 0 0 Covered T4,T5,T6


LineNo. Expression -1-: 115 if ((!rst_src_ni)) -2-: 118 if (src_req) -3-: 125 if (((src_busy_q && src_ack) || (src_update && (!busy))))

Branches:
-1--2--3-StatusTests
1 - - Covered T4,T5,T6
0 1 - Covered T1,T372,T374
0 0 1 Covered T1,T372,T374
0 0 0 Covered T4,T5,T6


Assert Coverage for Instance : tb.dut.top_earlgrey.u_pinmux_aon.u_reg.u_wkup_detector_en_6_cdc
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
BusySrcReqChk_A 133466218 104264 0 0
DstReqKnown_A 1634416 1425039 0 0
SrcAckBusyChk_A 133466218 260 0 0
SrcBusyKnown_A 133466218 132711560 0 0


BusySrcReqChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 133466218 104264 0 0
T1 411499 375 0 0
T113 50405 0 0 0
T118 392434 0 0 0
T139 0 800 0 0
T140 0 616 0 0
T141 0 4417 0 0
T208 100340 0 0 0
T325 23601 0 0 0
T351 37812 0 0 0
T352 65830 0 0 0
T353 606878 0 0 0
T354 39570 0 0 0
T355 24735 0 0 0
T369 0 5854 0 0
T371 0 3084 0 0
T372 0 297 0 0
T373 0 313 0 0
T374 0 675 0 0
T375 0 3881 0 0

DstReqKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1634416 1425039 0 0
T4 448 274 0 0
T5 690 456 0 0
T6 583 410 0 0
T18 1799 1318 0 0
T19 966 791 0 0
T20 8422 8126 0 0
T80 564 390 0 0
T81 362 190 0 0
T82 1955 1782 0 0
T83 1043 869 0 0

SrcAckBusyChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 133466218 260 0 0
T1 411499 1 0 0
T113 50405 0 0 0
T118 392434 0 0 0
T139 0 2 0 0
T140 0 2 0 0
T141 0 11 0 0
T208 100340 0 0 0
T325 23601 0 0 0
T351 37812 0 0 0
T352 65830 0 0 0
T353 606878 0 0 0
T354 39570 0 0 0
T355 24735 0 0 0
T369 0 14 0 0
T371 0 7 0 0
T372 0 1 0 0
T373 0 1 0 0
T374 0 2 0 0
T375 0 9 0 0

SrcBusyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 133466218 132711560 0 0
T4 26476 25967 0 0
T5 51191 50288 0 0
T6 41858 41325 0 0
T18 112345 109307 0 0
T19 60426 59981 0 0
T20 957760 956028 0 0
T80 45908 45159 0 0
T81 18562 17961 0 0
T82 183473 183020 0 0
T83 64420 63952 0 0

Line Coverage for Instance : tb.dut.top_earlgrey.u_pinmux_aon.u_reg.u_wkup_detector_en_7_cdc
Line No.TotalCoveredPercent
TOTAL222090.91
CONT_ASSIGN6511100.00
ALWAYS7166100.00
CONT_ASSIGN8511100.00
CONT_ASSIGN10911100.00
ALWAYS11599100.00
CONT_ASSIGN15011100.00
CONT_ASSIGN155100.00
CONT_ASSIGN156100.00
CONT_ASSIGN20011100.00
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_prim_subreg_0/rtl/prim_reg_cdc.sv' or '../src/lowrisc_prim_subreg_0/rtl/prim_reg_cdc.sv' was not found, so annotated line coverage report could not be generated.
Line No.CoveredStatements
65 1 1
71 1 1
72 1 1
73 1 1
74 1 1
75 1 1
76 1 1
MISSING_ELSE
85 1 1
109 1 1
115 1 1
116 1 1
117 1 1
118 1 1
123 1 1
124 1 1
125 1 1
134 1 1
135 1 1
MISSING_ELSE
150 1 1
155 0 1
156 0 1
200 1 1


Cond Coverage for Instance : tb.dut.top_earlgrey.u_pinmux_aon.u_reg.u_wkup_detector_en_7_cdc
TotalCoveredPercent
Conditions131184.62
Logical131184.62
Non-Logical00
Event00

 LINE       65
 EXPRESSION (src_we_i | src_re_i)
             ----1---   ----2---
-1--2-StatusTests
00CoveredT4,T5,T6
01Unreachable
10CoveredT1,T372,T374

 LINE       109
 EXPRESSION (src_busy_q & ((!src_ack)))
             -----1----   ------2-----
-1--2-StatusTests
01CoveredT4,T5,T6
10CoveredT1,T372,T374
11CoveredT1,T372,T374

 LINE       123
 EXPRESSION (src_wd_i & BitMask)
             ----1---   ---2---
-1--2-StatusTests
0-CoveredT1,T372,T374
1-Not Covered

 LINE       125
 EXPRESSION ((src_busy_q && src_ack) || (src_update && ((!busy))))
             -----------1-----------    ------------2------------
-1--2-StatusTests
00CoveredT4,T5,T6
01Unreachable
10CoveredT1,T372,T374

 LINE       125
 SUB-EXPRESSION (src_busy_q && src_ack)
                 -----1----    ---2---
-1--2-StatusTests
01Not Covered
10CoveredT1,T372,T374
11CoveredT1,T372,T374

 LINE       125
 SUB-EXPRESSION (src_update && ((!busy)))
                 -----1----    ----2----
-1--2-StatusTests
01CoveredT4,T5,T6
10Unreachable
11Unreachable

Branch Coverage for Instance : tb.dut.top_earlgrey.u_pinmux_aon.u_reg.u_wkup_detector_en_7_cdc
Line No.TotalCoveredPercent
Branches 8 8 100.00
IF 71 4 4 100.00
IF 115 4 4 100.00

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

LineNo. Expression -1-: 71 if ((!rst_src_ni)) -2-: 73 if (src_req) -3-: 75 if (src_ack)

Branches:
-1--2--3-StatusTests
1 - - Covered T4,T5,T6
0 1 - Covered T1,T372,T374
0 0 1 Covered T1,T372,T374
0 0 0 Covered T4,T5,T6


LineNo. Expression -1-: 115 if ((!rst_src_ni)) -2-: 118 if (src_req) -3-: 125 if (((src_busy_q && src_ack) || (src_update && (!busy))))

Branches:
-1--2--3-StatusTests
1 - - Covered T4,T5,T6
0 1 - Covered T1,T372,T374
0 0 1 Covered T1,T372,T374
0 0 0 Covered T4,T5,T6


Assert Coverage for Instance : tb.dut.top_earlgrey.u_pinmux_aon.u_reg.u_wkup_detector_en_7_cdc
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
BusySrcReqChk_A 133466218 111089 0 0
DstReqKnown_A 1634416 1425039 0 0
SrcAckBusyChk_A 133466218 277 0 0
SrcBusyKnown_A 133466218 132711560 0 0


BusySrcReqChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 133466218 111089 0 0
T1 411499 454 0 0
T113 50405 0 0 0
T118 392434 0 0 0
T139 0 745 0 0
T140 0 805 0 0
T141 0 1137 0 0
T208 100340 0 0 0
T325 23601 0 0 0
T351 37812 0 0 0
T352 65830 0 0 0
T353 606878 0 0 0
T354 39570 0 0 0
T355 24735 0 0 0
T369 0 3278 0 0
T371 0 4363 0 0
T372 0 276 0 0
T373 0 261 0 0
T374 0 764 0 0
T375 0 4288 0 0

DstReqKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1634416 1425039 0 0
T4 448 274 0 0
T5 690 456 0 0
T6 583 410 0 0
T18 1799 1318 0 0
T19 966 791 0 0
T20 8422 8126 0 0
T80 564 390 0 0
T81 362 190 0 0
T82 1955 1782 0 0
T83 1043 869 0 0

SrcAckBusyChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 133466218 277 0 0
T1 411499 1 0 0
T113 50405 0 0 0
T118 392434 0 0 0
T139 0 2 0 0
T140 0 2 0 0
T141 0 3 0 0
T208 100340 0 0 0
T325 23601 0 0 0
T351 37812 0 0 0
T352 65830 0 0 0
T353 606878 0 0 0
T354 39570 0 0 0
T355 24735 0 0 0
T369 0 8 0 0
T371 0 10 0 0
T372 0 1 0 0
T373 0 1 0 0
T374 0 2 0 0
T375 0 10 0 0

SrcBusyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 133466218 132711560 0 0
T4 26476 25967 0 0
T5 51191 50288 0 0
T6 41858 41325 0 0
T18 112345 109307 0 0
T19 60426 59981 0 0
T20 957760 956028 0 0
T80 45908 45159 0 0
T81 18562 17961 0 0
T82 183473 183020 0 0
T83 64420 63952 0 0

Line Coverage for Instance : tb.dut.top_earlgrey.u_pinmux_aon.u_reg.u_wkup_detector_0_cdc
Line No.TotalCoveredPercent
TOTAL2222100.00
CONT_ASSIGN6511100.00
ALWAYS7166100.00
CONT_ASSIGN8511100.00
CONT_ASSIGN10911100.00
ALWAYS11599100.00
CONT_ASSIGN15011100.00
CONT_ASSIGN15511100.00
CONT_ASSIGN15611100.00
CONT_ASSIGN20011100.00
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_prim_subreg_0/rtl/prim_reg_cdc.sv' or '../src/lowrisc_prim_subreg_0/rtl/prim_reg_cdc.sv' was not found, so annotated line coverage report could not be generated.
Line No.CoveredStatements
65 1 1
71 1 1
72 1 1
73 1 1
74 1 1
75 1 1
76 1 1
MISSING_ELSE
85 1 1
109 1 1
115 1 1
116 1 1
117 1 1
118 1 1
123 1 1
124 1 1
125 1 1
134 1 1
135 1 1
MISSING_ELSE
150 1 1
155 1 1
156 1 1
200 1 1


Cond Coverage for Instance : tb.dut.top_earlgrey.u_pinmux_aon.u_reg.u_wkup_detector_0_cdc
TotalCoveredPercent
Conditions111090.91
Logical111090.91
Non-Logical00
Event00

 LINE       65
 EXPRESSION (src_we_i | src_re_i)
             ----1---   ----2---
-1--2-StatusTests
00CoveredT4,T5,T6
01Unreachable
10CoveredT1,T10,T11

 LINE       109
 EXPRESSION (src_busy_q & ((!src_ack)))
             -----1----   ------2-----
-1--2-StatusTests
01CoveredT4,T5,T6
10CoveredT1,T10,T11
11CoveredT1,T10,T11

 LINE       125
 EXPRESSION ((src_busy_q && src_ack) || (src_update && ((!busy))))
             -----------1-----------    ------------2------------
-1--2-StatusTests
00CoveredT4,T5,T6
01Unreachable
10CoveredT1,T10,T11

 LINE       125
 SUB-EXPRESSION (src_busy_q && src_ack)
                 -----1----    ---2---
-1--2-StatusTests
01Not Covered
10CoveredT1,T10,T11
11CoveredT1,T10,T11

 LINE       125
 SUB-EXPRESSION (src_update && ((!busy)))
                 -----1----    ----2----
-1--2-StatusTests
01CoveredT4,T5,T6
10Unreachable
11Unreachable

Branch Coverage for Instance : tb.dut.top_earlgrey.u_pinmux_aon.u_reg.u_wkup_detector_0_cdc
Line No.TotalCoveredPercent
Branches 8 8 100.00
IF 71 4 4 100.00
IF 115 4 4 100.00

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

LineNo. Expression -1-: 71 if ((!rst_src_ni)) -2-: 73 if (src_req) -3-: 75 if (src_ack)

Branches:
-1--2--3-StatusTests
1 - - Covered T4,T5,T6
0 1 - Covered T1,T10,T11
0 0 1 Covered T1,T10,T11
0 0 0 Covered T4,T5,T6


LineNo. Expression -1-: 115 if ((!rst_src_ni)) -2-: 118 if (src_req) -3-: 125 if (((src_busy_q && src_ack) || (src_update && (!busy))))

Branches:
-1--2--3-StatusTests
1 - - Covered T4,T5,T6
0 1 - Covered T1,T10,T11
0 0 1 Covered T1,T10,T11
0 0 0 Covered T4,T5,T6


Assert Coverage for Instance : tb.dut.top_earlgrey.u_pinmux_aon.u_reg.u_wkup_detector_0_cdc
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
BusySrcReqChk_A 133466218 107667 0 0
DstReqKnown_A 1634416 1425039 0 0
SrcAckBusyChk_A 133466218 269 0 0
SrcBusyKnown_A 133466218 132711560 0 0


BusySrcReqChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 133466218 107667 0 0
T1 411499 385 0 0
T10 0 256 0 0
T11 0 475 0 0
T12 0 417 0 0
T13 0 409 0 0
T14 0 306 0 0
T113 50405 0 0 0
T118 392434 0 0 0
T139 0 677 0 0
T208 100340 0 0 0
T325 23601 0 0 0
T351 37812 0 0 0
T352 65830 0 0 0
T353 606878 0 0 0
T354 39570 0 0 0
T355 24735 0 0 0
T372 0 281 0 0
T373 0 245 0 0
T374 0 721 0 0

DstReqKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1634416 1425039 0 0
T4 448 274 0 0
T5 690 456 0 0
T6 583 410 0 0
T18 1799 1318 0 0
T19 966 791 0 0
T20 8422 8126 0 0
T80 564 390 0 0
T81 362 190 0 0
T82 1955 1782 0 0
T83 1043 869 0 0

SrcAckBusyChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 133466218 269 0 0
T1 411499 1 0 0
T10 0 1 0 0
T11 0 1 0 0
T12 0 1 0 0
T13 0 1 0 0
T14 0 1 0 0
T113 50405 0 0 0
T118 392434 0 0 0
T139 0 2 0 0
T208 100340 0 0 0
T325 23601 0 0 0
T351 37812 0 0 0
T352 65830 0 0 0
T353 606878 0 0 0
T354 39570 0 0 0
T355 24735 0 0 0
T372 0 1 0 0
T373 0 1 0 0
T374 0 2 0 0

SrcBusyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 133466218 132711560 0 0
T4 26476 25967 0 0
T5 51191 50288 0 0
T6 41858 41325 0 0
T18 112345 109307 0 0
T19 60426 59981 0 0
T20 957760 956028 0 0
T80 45908 45159 0 0
T81 18562 17961 0 0
T82 183473 183020 0 0
T83 64420 63952 0 0

Line Coverage for Instance : tb.dut.top_earlgrey.u_pinmux_aon.u_reg.u_wkup_detector_1_cdc
Line No.TotalCoveredPercent
TOTAL2222100.00
CONT_ASSIGN6511100.00
ALWAYS7166100.00
CONT_ASSIGN8511100.00
CONT_ASSIGN10911100.00
ALWAYS11599100.00
CONT_ASSIGN15011100.00
CONT_ASSIGN15511100.00
CONT_ASSIGN15611100.00
CONT_ASSIGN20011100.00
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_prim_subreg_0/rtl/prim_reg_cdc.sv' or '../src/lowrisc_prim_subreg_0/rtl/prim_reg_cdc.sv' was not found, so annotated line coverage report could not be generated.
Line No.CoveredStatements
65 1 1
71 1 1
72 1 1
73 1 1
74 1 1
75 1 1
76 1 1
MISSING_ELSE
85 1 1
109 1 1
115 1 1
116 1 1
117 1 1
118 1 1
123 1 1
124 1 1
125 1 1
134 1 1
135 1 1
MISSING_ELSE
150 1 1
155 1 1
156 1 1
200 1 1


Cond Coverage for Instance : tb.dut.top_earlgrey.u_pinmux_aon.u_reg.u_wkup_detector_1_cdc
TotalCoveredPercent
Conditions111090.91
Logical111090.91
Non-Logical00
Event00

 LINE       65
 EXPRESSION (src_we_i | src_re_i)
             ----1---   ----2---
-1--2-StatusTests
00CoveredT4,T5,T6
01Unreachable
10CoveredT1,T372,T409

 LINE       109
 EXPRESSION (src_busy_q & ((!src_ack)))
             -----1----   ------2-----
-1--2-StatusTests
01CoveredT4,T5,T6
10CoveredT1,T372,T374
11CoveredT1,T372,T374

 LINE       125
 EXPRESSION ((src_busy_q && src_ack) || (src_update && ((!busy))))
             -----------1-----------    ------------2------------
-1--2-StatusTests
00CoveredT4,T5,T6
01Unreachable
10CoveredT1,T372,T374

 LINE       125
 SUB-EXPRESSION (src_busy_q && src_ack)
                 -----1----    ---2---
-1--2-StatusTests
01Not Covered
10CoveredT1,T372,T374
11CoveredT1,T372,T374

 LINE       125
 SUB-EXPRESSION (src_update && ((!busy)))
                 -----1----    ----2----
-1--2-StatusTests
01CoveredT4,T5,T6
10Unreachable
11Unreachable

Branch Coverage for Instance : tb.dut.top_earlgrey.u_pinmux_aon.u_reg.u_wkup_detector_1_cdc
Line No.TotalCoveredPercent
Branches 8 8 100.00
IF 71 4 4 100.00
IF 115 4 4 100.00

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

LineNo. Expression -1-: 71 if ((!rst_src_ni)) -2-: 73 if (src_req) -3-: 75 if (src_ack)

Branches:
-1--2--3-StatusTests
1 - - Covered T4,T5,T6
0 1 - Covered T1,T372,T374
0 0 1 Covered T1,T372,T374
0 0 0 Covered T4,T5,T6


LineNo. Expression -1-: 115 if ((!rst_src_ni)) -2-: 118 if (src_req) -3-: 125 if (((src_busy_q && src_ack) || (src_update && (!busy))))

Branches:
-1--2--3-StatusTests
1 - - Covered T4,T5,T6
0 1 - Covered T1,T372,T374
0 0 1 Covered T1,T372,T374
0 0 0 Covered T4,T5,T6


Assert Coverage for Instance : tb.dut.top_earlgrey.u_pinmux_aon.u_reg.u_wkup_detector_1_cdc
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
BusySrcReqChk_A 133466218 94481 0 0
DstReqKnown_A 1634416 1425039 0 0
SrcAckBusyChk_A 133466218 239 0 0
SrcBusyKnown_A 133466218 132711560 0 0


BusySrcReqChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 133466218 94481 0 0
T1 411499 439 0 0
T113 50405 0 0 0
T118 392434 0 0 0
T139 0 797 0 0
T140 0 693 0 0
T141 0 678 0 0
T208 100340 0 0 0
T325 23601 0 0 0
T351 37812 0 0 0
T352 65830 0 0 0
T353 606878 0 0 0
T354 39570 0 0 0
T355 24735 0 0 0
T369 0 2372 0 0
T371 0 850 0 0
T372 0 257 0 0
T373 0 264 0 0
T374 0 728 0 0
T375 0 784 0 0

DstReqKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1634416 1425039 0 0
T4 448 274 0 0
T5 690 456 0 0
T6 583 410 0 0
T18 1799 1318 0 0
T19 966 791 0 0
T20 8422 8126 0 0
T80 564 390 0 0
T81 362 190 0 0
T82 1955 1782 0 0
T83 1043 869 0 0

SrcAckBusyChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 133466218 239 0 0
T1 411499 1 0 0
T113 50405 0 0 0
T118 392434 0 0 0
T139 0 2 0 0
T140 0 2 0 0
T141 0 2 0 0
T208 100340 0 0 0
T325 23601 0 0 0
T351 37812 0 0 0
T352 65830 0 0 0
T353 606878 0 0 0
T354 39570 0 0 0
T355 24735 0 0 0
T369 0 6 0 0
T371 0 2 0 0
T372 0 1 0 0
T373 0 1 0 0
T374 0 2 0 0
T375 0 2 0 0

SrcBusyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 133466218 132711560 0 0
T4 26476 25967 0 0
T5 51191 50288 0 0
T6 41858 41325 0 0
T18 112345 109307 0 0
T19 60426 59981 0 0
T20 957760 956028 0 0
T80 45908 45159 0 0
T81 18562 17961 0 0
T82 183473 183020 0 0
T83 64420 63952 0 0

Line Coverage for Instance : tb.dut.top_earlgrey.u_pinmux_aon.u_reg.u_wkup_detector_2_cdc
Line No.TotalCoveredPercent
TOTAL2222100.00
CONT_ASSIGN6511100.00
ALWAYS7166100.00
CONT_ASSIGN8511100.00
CONT_ASSIGN10911100.00
ALWAYS11599100.00
CONT_ASSIGN15011100.00
CONT_ASSIGN15511100.00
CONT_ASSIGN15611100.00
CONT_ASSIGN20011100.00
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_prim_subreg_0/rtl/prim_reg_cdc.sv' or '../src/lowrisc_prim_subreg_0/rtl/prim_reg_cdc.sv' was not found, so annotated line coverage report could not be generated.
Line No.CoveredStatements
65 1 1
71 1 1
72 1 1
73 1 1
74 1 1
75 1 1
76 1 1
MISSING_ELSE
85 1 1
109 1 1
115 1 1
116 1 1
117 1 1
118 1 1
123 1 1
124 1 1
125 1 1
134 1 1
135 1 1
MISSING_ELSE
150 1 1
155 1 1
156 1 1
200 1 1


Cond Coverage for Instance : tb.dut.top_earlgrey.u_pinmux_aon.u_reg.u_wkup_detector_2_cdc
TotalCoveredPercent
Conditions111090.91
Logical111090.91
Non-Logical00
Event00

 LINE       65
 EXPRESSION (src_we_i | src_re_i)
             ----1---   ----2---
-1--2-StatusTests
00CoveredT4,T5,T6
01Unreachable
10CoveredT1,T410,T372

 LINE       109
 EXPRESSION (src_busy_q & ((!src_ack)))
             -----1----   ------2-----
-1--2-StatusTests
01CoveredT4,T5,T6
10CoveredT1,T372,T374
11CoveredT1,T372,T374

 LINE       125
 EXPRESSION ((src_busy_q && src_ack) || (src_update && ((!busy))))
             -----------1-----------    ------------2------------
-1--2-StatusTests
00CoveredT4,T5,T6
01Unreachable
10CoveredT1,T372,T374

 LINE       125
 SUB-EXPRESSION (src_busy_q && src_ack)
                 -----1----    ---2---
-1--2-StatusTests
01Not Covered
10CoveredT1,T372,T374
11CoveredT1,T372,T374

 LINE       125
 SUB-EXPRESSION (src_update && ((!busy)))
                 -----1----    ----2----
-1--2-StatusTests
01CoveredT4,T5,T6
10Unreachable
11Unreachable

Branch Coverage for Instance : tb.dut.top_earlgrey.u_pinmux_aon.u_reg.u_wkup_detector_2_cdc
Line No.TotalCoveredPercent
Branches 8 8 100.00
IF 71 4 4 100.00
IF 115 4 4 100.00

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

LineNo. Expression -1-: 71 if ((!rst_src_ni)) -2-: 73 if (src_req) -3-: 75 if (src_ack)

Branches:
-1--2--3-StatusTests
1 - - Covered T4,T5,T6
0 1 - Covered T1,T372,T374
0 0 1 Covered T1,T372,T374
0 0 0 Covered T4,T5,T6


LineNo. Expression -1-: 115 if ((!rst_src_ni)) -2-: 118 if (src_req) -3-: 125 if (((src_busy_q && src_ack) || (src_update && (!busy))))

Branches:
-1--2--3-StatusTests
1 - - Covered T4,T5,T6
0 1 - Covered T1,T372,T374
0 0 1 Covered T1,T372,T374
0 0 0 Covered T4,T5,T6


Assert Coverage for Instance : tb.dut.top_earlgrey.u_pinmux_aon.u_reg.u_wkup_detector_2_cdc
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
BusySrcReqChk_A 133466218 104797 0 0
DstReqKnown_A 1634416 1425039 0 0
SrcAckBusyChk_A 133466218 262 0 0
SrcBusyKnown_A 133466218 132711560 0 0


BusySrcReqChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 133466218 104797 0 0
T1 411499 404 0 0
T113 50405 0 0 0
T118 392434 0 0 0
T139 0 798 0 0
T140 0 746 0 0
T141 0 4396 0 0
T208 100340 0 0 0
T325 23601 0 0 0
T351 37812 0 0 0
T352 65830 0 0 0
T353 606878 0 0 0
T354 39570 0 0 0
T355 24735 0 0 0
T369 0 4062 0 0
T371 0 891 0 0
T372 0 358 0 0
T373 0 292 0 0
T374 0 696 0 0
T375 0 3033 0 0

DstReqKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1634416 1425039 0 0
T4 448 274 0 0
T5 690 456 0 0
T6 583 410 0 0
T18 1799 1318 0 0
T19 966 791 0 0
T20 8422 8126 0 0
T80 564 390 0 0
T81 362 190 0 0
T82 1955 1782 0 0
T83 1043 869 0 0

SrcAckBusyChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 133466218 262 0 0
T1 411499 1 0 0
T113 50405 0 0 0
T118 392434 0 0 0
T139 0 2 0 0
T140 0 2 0 0
T141 0 11 0 0
T208 100340 0 0 0
T325 23601 0 0 0
T351 37812 0 0 0
T352 65830 0 0 0
T353 606878 0 0 0
T354 39570 0 0 0
T355 24735 0 0 0
T369 0 10 0 0
T371 0 2 0 0
T372 0 1 0 0
T373 0 1 0 0
T374 0 2 0 0
T375 0 7 0 0

SrcBusyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 133466218 132711560 0 0
T4 26476 25967 0 0
T5 51191 50288 0 0
T6 41858 41325 0 0
T18 112345 109307 0 0
T19 60426 59981 0 0
T20 957760 956028 0 0
T80 45908 45159 0 0
T81 18562 17961 0 0
T82 183473 183020 0 0
T83 64420 63952 0 0

Line Coverage for Instance : tb.dut.top_earlgrey.u_pinmux_aon.u_reg.u_wkup_detector_3_cdc
Line No.TotalCoveredPercent
TOTAL2222100.00
CONT_ASSIGN6511100.00
ALWAYS7166100.00
CONT_ASSIGN8511100.00
CONT_ASSIGN10911100.00
ALWAYS11599100.00
CONT_ASSIGN15011100.00
CONT_ASSIGN15511100.00
CONT_ASSIGN15611100.00
CONT_ASSIGN20011100.00
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_prim_subreg_0/rtl/prim_reg_cdc.sv' or '../src/lowrisc_prim_subreg_0/rtl/prim_reg_cdc.sv' was not found, so annotated line coverage report could not be generated.
Line No.CoveredStatements
65 1 1
71 1 1
72 1 1
73 1 1
74 1 1
75 1 1
76 1 1
MISSING_ELSE
85 1 1
109 1 1
115 1 1
116 1 1
117 1 1
118 1 1
123 1 1
124 1 1
125 1 1
134 1 1
135 1 1
MISSING_ELSE
150 1 1
155 1 1
156 1 1
200 1 1


Cond Coverage for Instance : tb.dut.top_earlgrey.u_pinmux_aon.u_reg.u_wkup_detector_3_cdc
TotalCoveredPercent
Conditions111090.91
Logical111090.91
Non-Logical00
Event00

 LINE       65
 EXPRESSION (src_we_i | src_re_i)
             ----1---   ----2---
-1--2-StatusTests
00CoveredT4,T5,T6
01Unreachable
10CoveredT1,T9,T372

 LINE       109
 EXPRESSION (src_busy_q & ((!src_ack)))
             -----1----   ------2-----
-1--2-StatusTests
01CoveredT4,T5,T6
10CoveredT1,T9,T372
11CoveredT1,T9,T372

 LINE       125
 EXPRESSION ((src_busy_q && src_ack) || (src_update && ((!busy))))
             -----------1-----------    ------------2------------
-1--2-StatusTests
00CoveredT4,T5,T6
01Unreachable
10CoveredT1,T9,T372

 LINE       125
 SUB-EXPRESSION (src_busy_q && src_ack)
                 -----1----    ---2---
-1--2-StatusTests
01Not Covered
10CoveredT1,T9,T372
11CoveredT1,T9,T372

 LINE       125
 SUB-EXPRESSION (src_update && ((!busy)))
                 -----1----    ----2----
-1--2-StatusTests
01CoveredT4,T5,T6
10Unreachable
11Unreachable

Branch Coverage for Instance : tb.dut.top_earlgrey.u_pinmux_aon.u_reg.u_wkup_detector_3_cdc
Line No.TotalCoveredPercent
Branches 8 8 100.00
IF 71 4 4 100.00
IF 115 4 4 100.00

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

LineNo. Expression -1-: 71 if ((!rst_src_ni)) -2-: 73 if (src_req) -3-: 75 if (src_ack)

Branches:
-1--2--3-StatusTests
1 - - Covered T4,T5,T6
0 1 - Covered T1,T9,T372
0 0 1 Covered T1,T9,T372
0 0 0 Covered T4,T5,T6


LineNo. Expression -1-: 115 if ((!rst_src_ni)) -2-: 118 if (src_req) -3-: 125 if (((src_busy_q && src_ack) || (src_update && (!busy))))

Branches:
-1--2--3-StatusTests
1 - - Covered T4,T5,T6
0 1 - Covered T1,T9,T372
0 0 1 Covered T1,T9,T372
0 0 0 Covered T4,T5,T6


Assert Coverage for Instance : tb.dut.top_earlgrey.u_pinmux_aon.u_reg.u_wkup_detector_3_cdc
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
BusySrcReqChk_A 133466218 102728 0 0
DstReqKnown_A 1634416 1425039 0 0
SrcAckBusyChk_A 133466218 258 0 0
SrcBusyKnown_A 133466218 132711560 0 0


BusySrcReqChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 133466218 102728 0 0
T1 411499 466 0 0
T9 0 455 0 0
T113 50405 0 0 0
T118 392434 0 0 0
T139 0 694 0 0
T140 0 738 0 0
T141 0 1110 0 0
T208 100340 0 0 0
T325 23601 0 0 0
T351 37812 0 0 0
T352 65830 0 0 0
T353 606878 0 0 0
T354 39570 0 0 0
T355 24735 0 0 0
T371 0 2132 0 0
T372 0 271 0 0
T373 0 256 0 0
T374 0 673 0 0
T375 0 1739 0 0

DstReqKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1634416 1425039 0 0
T4 448 274 0 0
T5 690 456 0 0
T6 583 410 0 0
T18 1799 1318 0 0
T19 966 791 0 0
T20 8422 8126 0 0
T80 564 390 0 0
T81 362 190 0 0
T82 1955 1782 0 0
T83 1043 869 0 0

SrcAckBusyChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 133466218 258 0 0
T1 411499 1 0 0
T9 0 1 0 0
T113 50405 0 0 0
T118 392434 0 0 0
T139 0 2 0 0
T140 0 2 0 0
T141 0 3 0 0
T208 100340 0 0 0
T325 23601 0 0 0
T351 37812 0 0 0
T352 65830 0 0 0
T353 606878 0 0 0
T354 39570 0 0 0
T355 24735 0 0 0
T371 0 5 0 0
T372 0 1 0 0
T373 0 1 0 0
T374 0 2 0 0
T375 0 4 0 0

SrcBusyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 133466218 132711560 0 0
T4 26476 25967 0 0
T5 51191 50288 0 0
T6 41858 41325 0 0
T18 112345 109307 0 0
T19 60426 59981 0 0
T20 957760 956028 0 0
T80 45908 45159 0 0
T81 18562 17961 0 0
T82 183473 183020 0 0
T83 64420 63952 0 0

Line Coverage for Instance : tb.dut.top_earlgrey.u_pinmux_aon.u_reg.u_wkup_detector_4_cdc
Line No.TotalCoveredPercent
TOTAL2222100.00
CONT_ASSIGN6511100.00
ALWAYS7166100.00
CONT_ASSIGN8511100.00
CONT_ASSIGN10911100.00
ALWAYS11599100.00
CONT_ASSIGN15011100.00
CONT_ASSIGN15511100.00
CONT_ASSIGN15611100.00
CONT_ASSIGN20011100.00
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_prim_subreg_0/rtl/prim_reg_cdc.sv' or '../src/lowrisc_prim_subreg_0/rtl/prim_reg_cdc.sv' was not found, so annotated line coverage report could not be generated.
Line No.CoveredStatements
65 1 1
71 1 1
72 1 1
73 1 1
74 1 1
75 1 1
76 1 1
MISSING_ELSE
85 1 1
109 1 1
115 1 1
116 1 1
117 1 1
118 1 1
123 1 1
124 1 1
125 1 1
134 1 1
135 1 1
MISSING_ELSE
150 1 1
155 1 1
156 1 1
200 1 1


Cond Coverage for Instance : tb.dut.top_earlgrey.u_pinmux_aon.u_reg.u_wkup_detector_4_cdc
TotalCoveredPercent
Conditions111090.91
Logical111090.91
Non-Logical00
Event00

 LINE       65
 EXPRESSION (src_we_i | src_re_i)
             ----1---   ----2---
-1--2-StatusTests
00CoveredT4,T5,T6
01Unreachable
10CoveredT1,T372,T374

 LINE       109
 EXPRESSION (src_busy_q & ((!src_ack)))
             -----1----   ------2-----
-1--2-StatusTests
01CoveredT4,T5,T6
10CoveredT1,T372,T374
11CoveredT1,T372,T374

 LINE       125
 EXPRESSION ((src_busy_q && src_ack) || (src_update && ((!busy))))
             -----------1-----------    ------------2------------
-1--2-StatusTests
00CoveredT4,T5,T6
01Unreachable
10CoveredT1,T372,T374

 LINE       125
 SUB-EXPRESSION (src_busy_q && src_ack)
                 -----1----    ---2---
-1--2-StatusTests
01Not Covered
10CoveredT1,T372,T374
11CoveredT1,T372,T374

 LINE       125
 SUB-EXPRESSION (src_update && ((!busy)))
                 -----1----    ----2----
-1--2-StatusTests
01CoveredT4,T5,T6
10Unreachable
11Unreachable

Branch Coverage for Instance : tb.dut.top_earlgrey.u_pinmux_aon.u_reg.u_wkup_detector_4_cdc
Line No.TotalCoveredPercent
Branches 8 8 100.00
IF 71 4 4 100.00
IF 115 4 4 100.00

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

LineNo. Expression -1-: 71 if ((!rst_src_ni)) -2-: 73 if (src_req) -3-: 75 if (src_ack)

Branches:
-1--2--3-StatusTests
1 - - Covered T4,T5,T6
0 1 - Covered T1,T372,T374
0 0 1 Covered T1,T372,T374
0 0 0 Covered T4,T5,T6


LineNo. Expression -1-: 115 if ((!rst_src_ni)) -2-: 118 if (src_req) -3-: 125 if (((src_busy_q && src_ack) || (src_update && (!busy))))

Branches:
-1--2--3-StatusTests
1 - - Covered T4,T5,T6
0 1 - Covered T1,T372,T374
0 0 1 Covered T1,T372,T374
0 0 0 Covered T4,T5,T6


Assert Coverage for Instance : tb.dut.top_earlgrey.u_pinmux_aon.u_reg.u_wkup_detector_4_cdc
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
BusySrcReqChk_A 133466218 104014 0 0
DstReqKnown_A 1634416 1425039 0 0
SrcAckBusyChk_A 133466218 261 0 0
SrcBusyKnown_A 133466218 132711560 0 0


BusySrcReqChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 133466218 104014 0 0
T1 411499 473 0 0
T113 50405 0 0 0
T118 392434 0 0 0
T139 0 752 0 0
T140 0 757 0 0
T141 0 2379 0 0
T208 100340 0 0 0
T325 23601 0 0 0
T351 37812 0 0 0
T352 65830 0 0 0
T353 606878 0 0 0
T354 39570 0 0 0
T355 24735 0 0 0
T369 0 6725 0 0
T371 0 2056 0 0
T372 0 267 0 0
T373 0 262 0 0
T374 0 710 0 0
T375 0 1216 0 0

DstReqKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1634416 1425039 0 0
T4 448 274 0 0
T5 690 456 0 0
T6 583 410 0 0
T18 1799 1318 0 0
T19 966 791 0 0
T20 8422 8126 0 0
T80 564 390 0 0
T81 362 190 0 0
T82 1955 1782 0 0
T83 1043 869 0 0

SrcAckBusyChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 133466218 261 0 0
T1 411499 1 0 0
T113 50405 0 0 0
T118 392434 0 0 0
T139 0 2 0 0
T140 0 2 0 0
T141 0 6 0 0
T208 100340 0 0 0
T325 23601 0 0 0
T351 37812 0 0 0
T352 65830 0 0 0
T353 606878 0 0 0
T354 39570 0 0 0
T355 24735 0 0 0
T369 0 16 0 0
T371 0 5 0 0
T372 0 1 0 0
T373 0 1 0 0
T374 0 2 0 0
T375 0 3 0 0

SrcBusyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 133466218 132711560 0 0
T4 26476 25967 0 0
T5 51191 50288 0 0
T6 41858 41325 0 0
T18 112345 109307 0 0
T19 60426 59981 0 0
T20 957760 956028 0 0
T80 45908 45159 0 0
T81 18562 17961 0 0
T82 183473 183020 0 0
T83 64420 63952 0 0

Line Coverage for Instance : tb.dut.top_earlgrey.u_pinmux_aon.u_reg.u_wkup_detector_5_cdc
Line No.TotalCoveredPercent
TOTAL2222100.00
CONT_ASSIGN6511100.00
ALWAYS7166100.00
CONT_ASSIGN8511100.00
CONT_ASSIGN10911100.00
ALWAYS11599100.00
CONT_ASSIGN15011100.00
CONT_ASSIGN15511100.00
CONT_ASSIGN15611100.00
CONT_ASSIGN20011100.00
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_prim_subreg_0/rtl/prim_reg_cdc.sv' or '../src/lowrisc_prim_subreg_0/rtl/prim_reg_cdc.sv' was not found, so annotated line coverage report could not be generated.
Line No.CoveredStatements
65 1 1
71 1 1
72 1 1
73 1 1
74 1 1
75 1 1
76 1 1
MISSING_ELSE
85 1 1
109 1 1
115 1 1
116 1 1
117 1 1
118 1 1
123 1 1
124 1 1
125 1 1
134 1 1
135 1 1
MISSING_ELSE
150 1 1
155 1 1
156 1 1
200 1 1


Cond Coverage for Instance : tb.dut.top_earlgrey.u_pinmux_aon.u_reg.u_wkup_detector_5_cdc
TotalCoveredPercent
Conditions111090.91
Logical111090.91
Non-Logical00
Event00

 LINE       65
 EXPRESSION (src_we_i | src_re_i)
             ----1---   ----2---
-1--2-StatusTests
00CoveredT4,T5,T6
01Unreachable
10CoveredT1,T2,T3

 LINE       109
 EXPRESSION (src_busy_q & ((!src_ack)))
             -----1----   ------2-----
-1--2-StatusTests
01CoveredT4,T5,T6
10CoveredT1,T2,T3
11CoveredT1,T2,T3

 LINE       125
 EXPRESSION ((src_busy_q && src_ack) || (src_update && ((!busy))))
             -----------1-----------    ------------2------------
-1--2-StatusTests
00CoveredT4,T5,T6
01Unreachable
10CoveredT1,T2,T3

 LINE       125
 SUB-EXPRESSION (src_busy_q && src_ack)
                 -----1----    ---2---
-1--2-StatusTests
01Not Covered
10CoveredT1,T2,T3
11CoveredT1,T2,T3

 LINE       125
 SUB-EXPRESSION (src_update && ((!busy)))
                 -----1----    ----2----
-1--2-StatusTests
01CoveredT4,T5,T6
10Unreachable
11Unreachable

Branch Coverage for Instance : tb.dut.top_earlgrey.u_pinmux_aon.u_reg.u_wkup_detector_5_cdc
Line No.TotalCoveredPercent
Branches 8 8 100.00
IF 71 4 4 100.00
IF 115 4 4 100.00

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

LineNo. Expression -1-: 71 if ((!rst_src_ni)) -2-: 73 if (src_req) -3-: 75 if (src_ack)

Branches:
-1--2--3-StatusTests
1 - - Covered T4,T5,T6
0 1 - Covered T1,T2,T3
0 0 1 Covered T1,T2,T3
0 0 0 Covered T4,T5,T6


LineNo. Expression -1-: 115 if ((!rst_src_ni)) -2-: 118 if (src_req) -3-: 125 if (((src_busy_q && src_ack) || (src_update && (!busy))))

Branches:
-1--2--3-StatusTests
1 - - Covered T4,T5,T6
0 1 - Covered T1,T2,T3
0 0 1 Covered T1,T2,T3
0 0 0 Covered T4,T5,T6


Assert Coverage for Instance : tb.dut.top_earlgrey.u_pinmux_aon.u_reg.u_wkup_detector_5_cdc
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
BusySrcReqChk_A 133466218 116919 0 0
DstReqKnown_A 1634416 1425039 0 0
SrcAckBusyChk_A 133466218 294 0 0
SrcBusyKnown_A 133466218 132711560 0 0


BusySrcReqChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 133466218 116919 0 0
T1 411499 429 0 0
T2 0 402 0 0
T3 0 406 0 0
T15 0 342 0 0
T16 0 682 0 0
T17 0 804 0 0
T113 50405 0 0 0
T118 392434 0 0 0
T208 100340 0 0 0
T325 23601 0 0 0
T351 37812 0 0 0
T352 65830 0 0 0
T353 606878 0 0 0
T354 39570 0 0 0
T355 24735 0 0 0
T372 0 264 0 0
T374 0 680 0 0
T402 0 682 0 0
T407 0 262 0 0

DstReqKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1634416 1425039 0 0
T4 448 274 0 0
T5 690 456 0 0
T6 583 410 0 0
T18 1799 1318 0 0
T19 966 791 0 0
T20 8422 8126 0 0
T80 564 390 0 0
T81 362 190 0 0
T82 1955 1782 0 0
T83 1043 869 0 0

SrcAckBusyChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 133466218 294 0 0
T1 411499 1 0 0
T2 0 1 0 0
T3 0 1 0 0
T15 0 1 0 0
T16 0 2 0 0
T17 0 2 0 0
T113 50405 0 0 0
T118 392434 0 0 0
T208 100340 0 0 0
T325 23601 0 0 0
T351 37812 0 0 0
T352 65830 0 0 0
T353 606878 0 0 0
T354 39570 0 0 0
T355 24735 0 0 0
T372 0 1 0 0
T374 0 2 0 0
T402 0 2 0 0
T407 0 1 0 0

SrcBusyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 133466218 132711560 0 0
T4 26476 25967 0 0
T5 51191 50288 0 0
T6 41858 41325 0 0
T18 112345 109307 0 0
T19 60426 59981 0 0
T20 957760 956028 0 0
T80 45908 45159 0 0
T81 18562 17961 0 0
T82 183473 183020 0 0
T83 64420 63952 0 0

Line Coverage for Instance : tb.dut.top_earlgrey.u_pinmux_aon.u_reg.u_wkup_detector_6_cdc
Line No.TotalCoveredPercent
TOTAL2222100.00
CONT_ASSIGN6511100.00
ALWAYS7166100.00
CONT_ASSIGN8511100.00
CONT_ASSIGN10911100.00
ALWAYS11599100.00
CONT_ASSIGN15011100.00
CONT_ASSIGN15511100.00
CONT_ASSIGN15611100.00
CONT_ASSIGN20011100.00
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_prim_subreg_0/rtl/prim_reg_cdc.sv' or '../src/lowrisc_prim_subreg_0/rtl/prim_reg_cdc.sv' was not found, so annotated line coverage report could not be generated.
Line No.CoveredStatements
65 1 1
71 1 1
72 1 1
73 1 1
74 1 1
75 1 1
76 1 1
MISSING_ELSE
85 1 1
109 1 1
115 1 1
116 1 1
117 1 1
118 1 1
123 1 1
124 1 1
125 1 1
134 1 1
135 1 1
MISSING_ELSE
150 1 1
155 1 1
156 1 1
200 1 1


Cond Coverage for Instance : tb.dut.top_earlgrey.u_pinmux_aon.u_reg.u_wkup_detector_6_cdc
TotalCoveredPercent
Conditions111090.91
Logical111090.91
Non-Logical00
Event00

 LINE       65
 EXPRESSION (src_we_i | src_re_i)
             ----1---   ----2---
-1--2-StatusTests
00CoveredT4,T5,T6
01Unreachable
10CoveredT1,T372,T411

 LINE       109
 EXPRESSION (src_busy_q & ((!src_ack)))
             -----1----   ------2-----
-1--2-StatusTests
01CoveredT4,T5,T6
10CoveredT1,T372,T374
11CoveredT1,T372,T374

 LINE       125
 EXPRESSION ((src_busy_q && src_ack) || (src_update && ((!busy))))
             -----------1-----------    ------------2------------
-1--2-StatusTests
00CoveredT4,T5,T6
01Unreachable
10CoveredT1,T372,T374

 LINE       125
 SUB-EXPRESSION (src_busy_q && src_ack)
                 -----1----    ---2---
-1--2-StatusTests
01Not Covered
10CoveredT1,T372,T374
11CoveredT1,T372,T374

 LINE       125
 SUB-EXPRESSION (src_update && ((!busy)))
                 -----1----    ----2----
-1--2-StatusTests
01CoveredT4,T5,T6
10Unreachable
11Unreachable

Branch Coverage for Instance : tb.dut.top_earlgrey.u_pinmux_aon.u_reg.u_wkup_detector_6_cdc
Line No.TotalCoveredPercent
Branches 8 8 100.00
IF 71 4 4 100.00
IF 115 4 4 100.00

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

LineNo. Expression -1-: 71 if ((!rst_src_ni)) -2-: 73 if (src_req) -3-: 75 if (src_ack)

Branches:
-1--2--3-StatusTests
1 - - Covered T4,T5,T6
0 1 - Covered T1,T372,T374
0 0 1 Covered T1,T372,T374
0 0 0 Covered T4,T5,T6


LineNo. Expression -1-: 115 if ((!rst_src_ni)) -2-: 118 if (src_req) -3-: 125 if (((src_busy_q && src_ack) || (src_update && (!busy))))

Branches:
-1--2--3-StatusTests
1 - - Covered T4,T5,T6
0 1 - Covered T1,T372,T374
0 0 1 Covered T1,T372,T374
0 0 0 Covered T4,T5,T6


Assert Coverage for Instance : tb.dut.top_earlgrey.u_pinmux_aon.u_reg.u_wkup_detector_6_cdc
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
BusySrcReqChk_A 133466218 109772 0 0
DstReqKnown_A 1634416 1425039 0 0
SrcAckBusyChk_A 133466218 274 0 0
SrcBusyKnown_A 133466218 132711560 0 0


BusySrcReqChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 133466218 109772 0 0
T1 411499 421 0 0
T113 50405 0 0 0
T118 392434 0 0 0
T139 0 760 0 0
T140 0 667 0 0
T141 0 1932 0 0
T208 100340 0 0 0
T325 23601 0 0 0
T351 37812 0 0 0
T352 65830 0 0 0
T353 606878 0 0 0
T354 39570 0 0 0
T355 24735 0 0 0
T369 0 2418 0 0
T371 0 4317 0 0
T372 0 350 0 0
T373 0 350 0 0
T374 0 776 0 0
T375 0 3529 0 0

DstReqKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1634416 1425039 0 0
T4 448 274 0 0
T5 690 456 0 0
T6 583 410 0 0
T18 1799 1318 0 0
T19 966 791 0 0
T20 8422 8126 0 0
T80 564 390 0 0
T81 362 190 0 0
T82 1955 1782 0 0
T83 1043 869 0 0

SrcAckBusyChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 133466218 274 0 0
T1 411499 1 0 0
T113 50405 0 0 0
T118 392434 0 0 0
T139 0 2 0 0
T140 0 2 0 0
T141 0 5 0 0
T208 100340 0 0 0
T325 23601 0 0 0
T351 37812 0 0 0
T352 65830 0 0 0
T353 606878 0 0 0
T354 39570 0 0 0
T355 24735 0 0 0
T369 0 6 0 0
T371 0 10 0 0
T372 0 1 0 0
T373 0 1 0 0
T374 0 2 0 0
T375 0 8 0 0

SrcBusyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 133466218 132711560 0 0
T4 26476 25967 0 0
T5 51191 50288 0 0
T6 41858 41325 0 0
T18 112345 109307 0 0
T19 60426 59981 0 0
T20 957760 956028 0 0
T80 45908 45159 0 0
T81 18562 17961 0 0
T82 183473 183020 0 0
T83 64420 63952 0 0

Line Coverage for Instance : tb.dut.top_earlgrey.u_pinmux_aon.u_reg.u_wkup_detector_7_cdc
Line No.TotalCoveredPercent
TOTAL2222100.00
CONT_ASSIGN6511100.00
ALWAYS7166100.00
CONT_ASSIGN8511100.00
CONT_ASSIGN10911100.00
ALWAYS11599100.00
CONT_ASSIGN15011100.00
CONT_ASSIGN15511100.00
CONT_ASSIGN15611100.00
CONT_ASSIGN20011100.00
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_prim_subreg_0/rtl/prim_reg_cdc.sv' or '../src/lowrisc_prim_subreg_0/rtl/prim_reg_cdc.sv' was not found, so annotated line coverage report could not be generated.
Line No.CoveredStatements
65 1 1
71 1 1
72 1 1
73 1 1
74 1 1
75 1 1
76 1 1
MISSING_ELSE
85 1 1
109 1 1
115 1 1
116 1 1
117 1 1
118 1 1
123 1 1
124 1 1
125 1 1
134 1 1
135 1 1
MISSING_ELSE
150 1 1
155 1 1
156 1 1
200 1 1


Cond Coverage for Instance : tb.dut.top_earlgrey.u_pinmux_aon.u_reg.u_wkup_detector_7_cdc
TotalCoveredPercent
Conditions111090.91
Logical111090.91
Non-Logical00
Event00

 LINE       65
 EXPRESSION (src_we_i | src_re_i)
             ----1---   ----2---
-1--2-StatusTests
00CoveredT4,T5,T6
01Unreachable
10CoveredT1,T372,T412

 LINE       109
 EXPRESSION (src_busy_q & ((!src_ack)))
             -----1----   ------2-----
-1--2-StatusTests
01CoveredT4,T5,T6
10CoveredT1,T372,T374
11CoveredT1,T372,T374

 LINE       125
 EXPRESSION ((src_busy_q && src_ack) || (src_update && ((!busy))))
             -----------1-----------    ------------2------------
-1--2-StatusTests
00CoveredT4,T5,T6
01Unreachable
10CoveredT1,T372,T374

 LINE       125
 SUB-EXPRESSION (src_busy_q && src_ack)
                 -----1----    ---2---
-1--2-StatusTests
01Not Covered
10CoveredT1,T372,T374
11CoveredT1,T372,T374

 LINE       125
 SUB-EXPRESSION (src_update && ((!busy)))
                 -----1----    ----2----
-1--2-StatusTests
01CoveredT4,T5,T6
10Unreachable
11Unreachable

Branch Coverage for Instance : tb.dut.top_earlgrey.u_pinmux_aon.u_reg.u_wkup_detector_7_cdc
Line No.TotalCoveredPercent
Branches 8 8 100.00
IF 71 4 4 100.00
IF 115 4 4 100.00

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

LineNo. Expression -1-: 71 if ((!rst_src_ni)) -2-: 73 if (src_req) -3-: 75 if (src_ack)

Branches:
-1--2--3-StatusTests
1 - - Covered T4,T5,T6
0 1 - Covered T1,T372,T374
0 0 1 Covered T1,T372,T374
0 0 0 Covered T4,T5,T6


LineNo. Expression -1-: 115 if ((!rst_src_ni)) -2-: 118 if (src_req) -3-: 125 if (((src_busy_q && src_ack) || (src_update && (!busy))))

Branches:
-1--2--3-StatusTests
1 - - Covered T4,T5,T6
0 1 - Covered T1,T372,T374
0 0 1 Covered T1,T372,T374
0 0 0 Covered T4,T5,T6


Assert Coverage for Instance : tb.dut.top_earlgrey.u_pinmux_aon.u_reg.u_wkup_detector_7_cdc
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
BusySrcReqChk_A 133466218 114239 0 0
DstReqKnown_A 1634416 1425039 0 0
SrcAckBusyChk_A 133466218 286 0 0
SrcBusyKnown_A 133466218 132711560 0 0


BusySrcReqChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 133466218 114239 0 0
T1 411499 371 0 0
T113 50405 0 0 0
T118 392434 0 0 0
T139 0 668 0 0
T140 0 725 0 0
T141 0 1163 0 0
T208 100340 0 0 0
T325 23601 0 0 0
T351 37812 0 0 0
T352 65830 0 0 0
T353 606878 0 0 0
T354 39570 0 0 0
T355 24735 0 0 0
T369 0 4092 0 0
T371 0 3466 0 0
T372 0 323 0 0
T373 0 305 0 0
T374 0 702 0 0
T375 0 3055 0 0

DstReqKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1634416 1425039 0 0
T4 448 274 0 0
T5 690 456 0 0
T6 583 410 0 0
T18 1799 1318 0 0
T19 966 791 0 0
T20 8422 8126 0 0
T80 564 390 0 0
T81 362 190 0 0
T82 1955 1782 0 0
T83 1043 869 0 0

SrcAckBusyChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 133466218 286 0 0
T1 411499 1 0 0
T113 50405 0 0 0
T118 392434 0 0 0
T139 0 2 0 0
T140 0 2 0 0
T141 0 3 0 0
T208 100340 0 0 0
T325 23601 0 0 0
T351 37812 0 0 0
T352 65830 0 0 0
T353 606878 0 0 0
T354 39570 0 0 0
T355 24735 0 0 0
T369 0 10 0 0
T371 0 8 0 0
T372 0 1 0 0
T373 0 1 0 0
T374 0 2 0 0
T375 0 7 0 0

SrcBusyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 133466218 132711560 0 0
T4 26476 25967 0 0
T5 51191 50288 0 0
T6 41858 41325 0 0
T18 112345 109307 0 0
T19 60426 59981 0 0
T20 957760 956028 0 0
T80 45908 45159 0 0
T81 18562 17961 0 0
T82 183473 183020 0 0
T83 64420 63952 0 0

Line Coverage for Instance : tb.dut.top_earlgrey.u_pinmux_aon.u_reg.u_wkup_detector_cnt_th_0_cdc
Line No.TotalCoveredPercent
TOTAL2222100.00
CONT_ASSIGN6511100.00
ALWAYS7166100.00
CONT_ASSIGN8511100.00
CONT_ASSIGN10911100.00
ALWAYS11599100.00
CONT_ASSIGN15011100.00
CONT_ASSIGN15511100.00
CONT_ASSIGN15611100.00
CONT_ASSIGN20011100.00
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_prim_subreg_0/rtl/prim_reg_cdc.sv' or '../src/lowrisc_prim_subreg_0/rtl/prim_reg_cdc.sv' was not found, so annotated line coverage report could not be generated.
Line No.CoveredStatements
65 1 1
71 1 1
72 1 1
73 1 1
74 1 1
75 1 1
76 1 1
MISSING_ELSE
85 1 1
109 1 1
115 1 1
116 1 1
117 1 1
118 1 1
123 1 1
124 1 1
125 1 1
134 1 1
135 1 1
MISSING_ELSE
150 1 1
155 1 1
156 1 1
200 1 1


Cond Coverage for Instance : tb.dut.top_earlgrey.u_pinmux_aon.u_reg.u_wkup_detector_cnt_th_0_cdc
TotalCoveredPercent
Conditions111090.91
Logical111090.91
Non-Logical00
Event00

 LINE       65
 EXPRESSION (src_we_i | src_re_i)
             ----1---   ----2---
-1--2-StatusTests
00CoveredT4,T5,T6
01Unreachable
10CoveredT1,T372,T374

 LINE       109
 EXPRESSION (src_busy_q & ((!src_ack)))
             -----1----   ------2-----
-1--2-StatusTests
01CoveredT4,T5,T6
10CoveredT1,T372,T374
11CoveredT1,T372,T374

 LINE       125
 EXPRESSION ((src_busy_q && src_ack) || (src_update && ((!busy))))
             -----------1-----------    ------------2------------
-1--2-StatusTests
00CoveredT4,T5,T6
01Unreachable
10CoveredT1,T372,T374

 LINE       125
 SUB-EXPRESSION (src_busy_q && src_ack)
                 -----1----    ---2---
-1--2-StatusTests
01Not Covered
10CoveredT1,T372,T374
11CoveredT1,T372,T374

 LINE       125
 SUB-EXPRESSION (src_update && ((!busy)))
                 -----1----    ----2----
-1--2-StatusTests
01CoveredT4,T5,T6
10Unreachable
11Unreachable

Branch Coverage for Instance : tb.dut.top_earlgrey.u_pinmux_aon.u_reg.u_wkup_detector_cnt_th_0_cdc
Line No.TotalCoveredPercent
Branches 8 8 100.00
IF 71 4 4 100.00
IF 115 4 4 100.00

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

LineNo. Expression -1-: 71 if ((!rst_src_ni)) -2-: 73 if (src_req) -3-: 75 if (src_ack)

Branches:
-1--2--3-StatusTests
1 - - Covered T4,T5,T6
0 1 - Covered T1,T372,T374
0 0 1 Covered T1,T372,T374
0 0 0 Covered T4,T5,T6


LineNo. Expression -1-: 115 if ((!rst_src_ni)) -2-: 118 if (src_req) -3-: 125 if (((src_busy_q && src_ack) || (src_update && (!busy))))

Branches:
-1--2--3-StatusTests
1 - - Covered T4,T5,T6
0 1 - Covered T1,T372,T374
0 0 1 Covered T1,T372,T374
0 0 0 Covered T4,T5,T6


Assert Coverage for Instance : tb.dut.top_earlgrey.u_pinmux_aon.u_reg.u_wkup_detector_cnt_th_0_cdc
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
BusySrcReqChk_A 133466218 118685 0 0
DstReqKnown_A 1634416 1425039 0 0
SrcAckBusyChk_A 133466218 296 0 0
SrcBusyKnown_A 133466218 132711560 0 0


BusySrcReqChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 133466218 118685 0 0
T1 411499 417 0 0
T113 50405 0 0 0
T118 392434 0 0 0
T139 0 711 0 0
T140 0 753 0 0
T141 0 1979 0 0
T208 100340 0 0 0
T325 23601 0 0 0
T351 37812 0 0 0
T352 65830 0 0 0
T353 606878 0 0 0
T354 39570 0 0 0
T355 24735 0 0 0
T369 0 4887 0 0
T371 0 1291 0 0
T372 0 264 0 0
T373 0 293 0 0
T374 0 707 0 0
T375 0 5142 0 0

DstReqKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1634416 1425039 0 0
T4 448 274 0 0
T5 690 456 0 0
T6 583 410 0 0
T18 1799 1318 0 0
T19 966 791 0 0
T20 8422 8126 0 0
T80 564 390 0 0
T81 362 190 0 0
T82 1955 1782 0 0
T83 1043 869 0 0

SrcAckBusyChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 133466218 296 0 0
T1 411499 1 0 0
T113 50405 0 0 0
T118 392434 0 0 0
T139 0 2 0 0
T140 0 2 0 0
T141 0 5 0 0
T208 100340 0 0 0
T325 23601 0 0 0
T351 37812 0 0 0
T352 65830 0 0 0
T353 606878 0 0 0
T354 39570 0 0 0
T355 24735 0 0 0
T369 0 12 0 0
T371 0 3 0 0
T372 0 1 0 0
T373 0 1 0 0
T374 0 2 0 0
T375 0 12 0 0

SrcBusyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 133466218 132711560 0 0
T4 26476 25967 0 0
T5 51191 50288 0 0
T6 41858 41325 0 0
T18 112345 109307 0 0
T19 60426 59981 0 0
T20 957760 956028 0 0
T80 45908 45159 0 0
T81 18562 17961 0 0
T82 183473 183020 0 0
T83 64420 63952 0 0

Line Coverage for Instance : tb.dut.top_earlgrey.u_pinmux_aon.u_reg.u_wkup_detector_cnt_th_1_cdc
Line No.TotalCoveredPercent
TOTAL2222100.00
CONT_ASSIGN6511100.00
ALWAYS7166100.00
CONT_ASSIGN8511100.00
CONT_ASSIGN10911100.00
ALWAYS11599100.00
CONT_ASSIGN15011100.00
CONT_ASSIGN15511100.00
CONT_ASSIGN15611100.00
CONT_ASSIGN20011100.00
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_prim_subreg_0/rtl/prim_reg_cdc.sv' or '../src/lowrisc_prim_subreg_0/rtl/prim_reg_cdc.sv' was not found, so annotated line coverage report could not be generated.
Line No.CoveredStatements
65 1 1
71 1 1
72 1 1
73 1 1
74 1 1
75 1 1
76 1 1
MISSING_ELSE
85 1 1
109 1 1
115 1 1
116 1 1
117 1 1
118 1 1
123 1 1
124 1 1
125 1 1
134 1 1
135 1 1
MISSING_ELSE
150 1 1
155 1 1
156 1 1
200 1 1


Cond Coverage for Instance : tb.dut.top_earlgrey.u_pinmux_aon.u_reg.u_wkup_detector_cnt_th_1_cdc
TotalCoveredPercent
Conditions111090.91
Logical111090.91
Non-Logical00
Event00

 LINE       65
 EXPRESSION (src_we_i | src_re_i)
             ----1---   ----2---
-1--2-StatusTests
00CoveredT4,T5,T6
01Unreachable
10CoveredT1,T7,T8

 LINE       109
 EXPRESSION (src_busy_q & ((!src_ack)))
             -----1----   ------2-----
-1--2-StatusTests
01CoveredT4,T5,T6
10CoveredT1,T7,T8
11CoveredT1,T7,T8

 LINE       125
 EXPRESSION ((src_busy_q && src_ack) || (src_update && ((!busy))))
             -----------1-----------    ------------2------------
-1--2-StatusTests
00CoveredT4,T5,T6
01Unreachable
10CoveredT1,T7,T8

 LINE       125
 SUB-EXPRESSION (src_busy_q && src_ack)
                 -----1----    ---2---
-1--2-StatusTests
01Not Covered
10CoveredT1,T7,T8
11CoveredT1,T7,T8

 LINE       125
 SUB-EXPRESSION (src_update && ((!busy)))
                 -----1----    ----2----
-1--2-StatusTests
01CoveredT4,T5,T6
10Unreachable
11Unreachable

Branch Coverage for Instance : tb.dut.top_earlgrey.u_pinmux_aon.u_reg.u_wkup_detector_cnt_th_1_cdc
Line No.TotalCoveredPercent
Branches 8 8 100.00
IF 71 4 4 100.00
IF 115 4 4 100.00

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

LineNo. Expression -1-: 71 if ((!rst_src_ni)) -2-: 73 if (src_req) -3-: 75 if (src_ack)

Branches:
-1--2--3-StatusTests
1 - - Covered T4,T5,T6
0 1 - Covered T1,T7,T8
0 0 1 Covered T1,T7,T8
0 0 0 Covered T4,T5,T6


LineNo. Expression -1-: 115 if ((!rst_src_ni)) -2-: 118 if (src_req) -3-: 125 if (((src_busy_q && src_ack) || (src_update && (!busy))))

Branches:
-1--2--3-StatusTests
1 - - Covered T4,T5,T6
0 1 - Covered T1,T7,T8
0 0 1 Covered T1,T7,T8
0 0 0 Covered T4,T5,T6


Assert Coverage for Instance : tb.dut.top_earlgrey.u_pinmux_aon.u_reg.u_wkup_detector_cnt_th_1_cdc
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
BusySrcReqChk_A 133466218 100221 0 0
DstReqKnown_A 1634416 1425039 0 0
SrcAckBusyChk_A 133466218 252 0 0
SrcBusyKnown_A 133466218 132711560 0 0


BusySrcReqChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 133466218 100221 0 0
T1 411499 379 0 0
T7 0 338 0 0
T8 0 292 0 0
T113 50405 0 0 0
T118 392434 0 0 0
T139 0 818 0 0
T140 0 797 0 0
T141 0 1938 0 0
T208 100340 0 0 0
T325 23601 0 0 0
T351 37812 0 0 0
T352 65830 0 0 0
T353 606878 0 0 0
T354 39570 0 0 0
T355 24735 0 0 0
T372 0 289 0 0
T373 0 287 0 0
T374 0 670 0 0
T413 0 279 0 0

DstReqKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1634416 1425039 0 0
T4 448 274 0 0
T5 690 456 0 0
T6 583 410 0 0
T18 1799 1318 0 0
T19 966 791 0 0
T20 8422 8126 0 0
T80 564 390 0 0
T81 362 190 0 0
T82 1955 1782 0 0
T83 1043 869 0 0

SrcAckBusyChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 133466218 252 0 0
T1 411499 1 0 0
T7 0 1 0 0
T8 0 1 0 0
T113 50405 0 0 0
T118 392434 0 0 0
T139 0 2 0 0
T140 0 2 0 0
T141 0 5 0 0
T208 100340 0 0 0
T325 23601 0 0 0
T351 37812 0 0 0
T352 65830 0 0 0
T353 606878 0 0 0
T354 39570 0 0 0
T355 24735 0 0 0
T372 0 1 0 0
T373 0 1 0 0
T374 0 2 0 0
T413 0 1 0 0

SrcBusyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 133466218 132711560 0 0
T4 26476 25967 0 0
T5 51191 50288 0 0
T6 41858 41325 0 0
T18 112345 109307 0 0
T19 60426 59981 0 0
T20 957760 956028 0 0
T80 45908 45159 0 0
T81 18562 17961 0 0
T82 183473 183020 0 0
T83 64420 63952 0 0

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