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



Module Instance : tb.dut.u_reg.u_io_meas_ctrl_en_cdc

Instance :
SCORELINECONDTOGGLEFSMBRANCHASSERT
96.43 100.00 85.71 100.00 100.00


Instance's subtree :
SCORELINECONDTOGGLEFSMBRANCHASSERT
89.66 96.24 80.88 91.53 90.00


Parent :
SCORELINECONDTOGGLEFSMBRANCHASSERTNAME
99.91 100.00 99.65 100.00 100.00 u_reg


Subtrees :
NAMESCORELINECONDTOGGLEFSMBRANCHASSERT
u_arb 83.59 94.90 76.09 88.37 75.00
u_src_to_dst_req 100.00 100.00 100.00 100.00 100.00



Module Instance : tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc

Instance :
SCORELINECONDTOGGLEFSMBRANCHASSERT
96.43 100.00 85.71 100.00 100.00


Instance's subtree :
SCORELINECONDTOGGLEFSMBRANCHASSERT
89.66 96.24 80.88 91.53 90.00


Parent :
SCORELINECONDTOGGLEFSMBRANCHASSERTNAME
99.91 100.00 99.65 100.00 100.00 u_reg


Subtrees :
NAMESCORELINECONDTOGGLEFSMBRANCHASSERT
u_arb 83.59 94.90 76.09 88.37 75.00
u_src_to_dst_req 100.00 100.00 100.00 100.00 100.00



Module Instance : tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc

Instance :
SCORELINECONDTOGGLEFSMBRANCHASSERT
96.43 100.00 85.71 100.00 100.00


Instance's subtree :
SCORELINECONDTOGGLEFSMBRANCHASSERT
92.36 97.74 86.76 94.92 90.00


Parent :
SCORELINECONDTOGGLEFSMBRANCHASSERTNAME
99.91 100.00 99.65 100.00 100.00 u_reg


Subtrees :
NAMESCORELINECONDTOGGLEFSMBRANCHASSERT
u_arb 87.44 96.94 84.78 93.02 75.00
u_src_to_dst_req 100.00 100.00 100.00 100.00 100.00



Module Instance : tb.dut.u_reg.u_main_meas_ctrl_en_cdc

Instance :
SCORELINECONDTOGGLEFSMBRANCHASSERT
96.43 100.00 85.71 100.00 100.00


Instance's subtree :
SCORELINECONDTOGGLEFSMBRANCHASSERT
89.66 96.24 80.88 91.53 90.00


Parent :
SCORELINECONDTOGGLEFSMBRANCHASSERTNAME
99.91 100.00 99.65 100.00 100.00 u_reg


Subtrees :
NAMESCORELINECONDTOGGLEFSMBRANCHASSERT
u_arb 83.59 94.90 76.09 88.37 75.00
u_src_to_dst_req 100.00 100.00 100.00 100.00 100.00



Module Instance : tb.dut.u_reg.u_usb_meas_ctrl_en_cdc

Instance :
SCORELINECONDTOGGLEFSMBRANCHASSERT
96.43 100.00 85.71 100.00 100.00


Instance's subtree :
SCORELINECONDTOGGLEFSMBRANCHASSERT
89.66 96.24 80.88 91.53 90.00


Parent :
SCORELINECONDTOGGLEFSMBRANCHASSERTNAME
99.91 100.00 99.65 100.00 100.00 u_reg


Subtrees :
NAMESCORELINECONDTOGGLEFSMBRANCHASSERT
u_arb 83.59 94.90 76.09 88.37 75.00
u_src_to_dst_req 100.00 100.00 100.00 100.00 100.00



Module Instance : tb.dut.u_reg.u_io_meas_ctrl_shadowed_cdc

Instance :
SCORELINECONDTOGGLEFSMBRANCHASSERT
97.92 100.00 91.67 100.00 100.00


Instance's subtree :
SCORELINECONDTOGGLEFSMBRANCHASSERT
98.39 100.00 93.55 100.00 100.00


Parent :
SCORELINECONDTOGGLEFSMBRANCHASSERTNAME
99.91 100.00 99.65 100.00 100.00 u_reg


Subtrees :
NAMESCORELINECONDTOGGLEFSMBRANCHASSERT
u_arb 97.73 100.00 90.91 100.00 100.00
u_src_to_dst_req 100.00 100.00 100.00 100.00 100.00



Module Instance : tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_cdc

Instance :
SCORELINECONDTOGGLEFSMBRANCHASSERT
97.92 100.00 91.67 100.00 100.00


Instance's subtree :
SCORELINECONDTOGGLEFSMBRANCHASSERT
98.39 100.00 93.55 100.00 100.00


Parent :
SCORELINECONDTOGGLEFSMBRANCHASSERTNAME
99.91 100.00 99.65 100.00 100.00 u_reg


Subtrees :
NAMESCORELINECONDTOGGLEFSMBRANCHASSERT
u_arb 97.73 100.00 90.91 100.00 100.00
u_src_to_dst_req 100.00 100.00 100.00 100.00 100.00



Module Instance : tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_cdc

Instance :
SCORELINECONDTOGGLEFSMBRANCHASSERT
97.92 100.00 91.67 100.00 100.00


Instance's subtree :
SCORELINECONDTOGGLEFSMBRANCHASSERT
98.39 100.00 93.55 100.00 100.00


Parent :
SCORELINECONDTOGGLEFSMBRANCHASSERTNAME
99.91 100.00 99.65 100.00 100.00 u_reg


Subtrees :
NAMESCORELINECONDTOGGLEFSMBRANCHASSERT
u_arb 97.73 100.00 90.91 100.00 100.00
u_src_to_dst_req 100.00 100.00 100.00 100.00 100.00



Module Instance : tb.dut.u_reg.u_main_meas_ctrl_shadowed_cdc

Instance :
SCORELINECONDTOGGLEFSMBRANCHASSERT
97.92 100.00 91.67 100.00 100.00


Instance's subtree :
SCORELINECONDTOGGLEFSMBRANCHASSERT
98.39 100.00 93.55 100.00 100.00


Parent :
SCORELINECONDTOGGLEFSMBRANCHASSERTNAME
99.91 100.00 99.65 100.00 100.00 u_reg


Subtrees :
NAMESCORELINECONDTOGGLEFSMBRANCHASSERT
u_arb 97.73 100.00 90.91 100.00 100.00
u_src_to_dst_req 100.00 100.00 100.00 100.00 100.00



Module Instance : tb.dut.u_reg.u_usb_meas_ctrl_shadowed_cdc

Instance :
SCORELINECONDTOGGLEFSMBRANCHASSERT
97.92 100.00 91.67 100.00 100.00


Instance's subtree :
SCORELINECONDTOGGLEFSMBRANCHASSERT
98.39 100.00 93.55 100.00 100.00


Parent :
SCORELINECONDTOGGLEFSMBRANCHASSERTNAME
99.91 100.00 99.65 100.00 100.00 u_reg


Subtrees :
NAMESCORELINECONDTOGGLEFSMBRANCHASSERT
u_arb 97.73 100.00 90.91 100.00 100.00
u_src_to_dst_req 100.00 100.00 100.00 100.00 100.00

Line Coverage for Module : prim_reg_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 Module : prim_reg_cdc
TotalCoveredPercent
Conditions151386.67
Logical151386.67
Non-Logical00
Event00

 LINE       65
 EXPRESSION (src_we_i | src_re_i)
             ----1---   ----2---
-1--2-StatusTests
00CoveredT6,T7,T8
01CoveredT4,T34,T12
10CoveredT5,T1,T2

 LINE       109
 EXPRESSION (src_busy_q & ((!src_ack)))
             -----1----   ------2-----
-1--2-StatusTests
01CoveredT6,T7,T8
10CoveredT5,T1,T2
11CoveredT5,T1,T2

 LINE       125
 EXPRESSION ((src_busy_q && src_ack) || (src_update && ((!busy))))
             -----------1-----------    ------------2------------
-1--2-StatusTests
00CoveredT6,T7,T8
01CoveredT1,T2,T3
10CoveredT5,T1,T2

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

 LINE       125
 SUB-EXPRESSION (src_update && ((!busy)))
                 -----1----    ----2----
-1--2-StatusTests
01CoveredT6,T7,T8
10Not Covered
11CoveredT1,T2,T3

Branch Coverage for Module : prim_reg_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 T6,T7,T8
0 1 - Covered T5,T1,T2
0 0 1 Covered T5,T1,T2
0 0 0 Covered T6,T7,T8


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 T6,T7,T8
0 1 - Covered T5,T1,T2
0 0 1 Covered T5,T1,T2
0 0 0 Covered T6,T7,T8


Assert Coverage for Module : prim_reg_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 1533035260 1394504 0 0
DstReqKnown_A 2147483647 2147483647 0 0
SrcAckBusyChk_A 1533035260 275291 0 0
SrcBusyKnown_A 1533035260 1509244710 0 0


BusySrcReqChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1533035260 1394504 0 0
T1 161670 834 0 0
T2 2476990 3421 0 0
T3 0 1462 0 0
T4 0 803 0 0
T5 368880 461 0 0
T11 0 466 0 0
T12 0 9424 0 0
T13 0 1985 0 0
T14 0 1858 0 0
T18 284050 0 0 0
T19 8940 0 0 0
T20 18370 0 0 0
T21 12800 0 0 0
T22 13950 0 0 0
T23 25610 0 0 0
T34 0 739 0 0
T35 19850 0 0 0

DstReqKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 2147483647 2147483647 0 0
T5 197508 196948 0 0
T6 15554 14520 0 0
T7 102612 101934 0 0
T8 8876 7978 0 0
T26 18868 17968 0 0
T27 11800 10842 0 0
T28 20668 19942 0 0
T29 24730 23374 0 0
T30 23118 22582 0 0
T31 10822 9914 0 0

SrcAckBusyChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1533035260 275291 0 0
T1 161670 320 0 0
T2 2476990 420 0 0
T3 0 400 0 0
T4 0 115 0 0
T5 368880 60 0 0
T11 0 180 0 0
T12 0 2545 0 0
T13 0 240 0 0
T14 0 340 0 0
T18 284050 0 0 0
T19 8940 0 0 0
T20 18370 0 0 0
T21 12800 0 0 0
T22 13950 0 0 0
T23 25610 0 0 0
T34 0 146 0 0
T35 19850 0 0 0

SrcBusyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1533035260 1509244710 0 0
T5 368880 367930 0 0
T6 12820 11940 0 0
T7 14470 14370 0 0
T8 14440 12910 0 0
T26 14390 13650 0 0
T27 18670 16860 0 0
T28 9460 9050 0 0
T29 10540 9890 0 0
T30 21070 20500 0 0
T31 17200 15510 0 0

Line Coverage for Instance : tb.dut.u_reg.u_io_meas_ctrl_en_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.u_reg.u_io_meas_ctrl_en_cdc
TotalCoveredPercent
Conditions141285.71
Logical141285.71
Non-Logical00
Event00

 LINE       65
 EXPRESSION (src_we_i | src_re_i)
             ----1---   ----2---
-1--2-StatusTests
00CoveredT6,T7,T8
01Unreachable
10CoveredT5,T1,T2

 LINE       109
 EXPRESSION (src_busy_q & ((!src_ack)))
             -----1----   ------2-----
-1--2-StatusTests
01CoveredT6,T7,T8
10CoveredT5,T1,T2
11CoveredT5,T1,T2

 LINE       125
 EXPRESSION ((src_busy_q && src_ack) || (src_update && ((!busy))))
             -----------1-----------    ------------2------------
-1--2-StatusTests
00CoveredT6,T7,T8
01CoveredT1,T2,T3
10CoveredT5,T1,T2

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

 LINE       125
 SUB-EXPRESSION (src_update && ((!busy)))
                 -----1----    ----2----
-1--2-StatusTests
01CoveredT6,T7,T8
10Not Covered
11CoveredT1,T2,T3

Branch Coverage for Instance : tb.dut.u_reg.u_io_meas_ctrl_en_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 T6,T7,T8
0 1 - Covered T5,T1,T2
0 0 1 Covered T5,T1,T2
0 0 0 Covered T6,T7,T8


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 T6,T7,T8
0 1 - Covered T5,T1,T2
0 0 1 Covered T5,T1,T2
0 0 0 Covered T6,T7,T8


Assert Coverage for Instance : tb.dut.u_reg.u_io_meas_ctrl_en_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 153303526 85711 0 0
DstReqKnown_A 432854207 428416899 0 0
SrcAckBusyChk_A 153303526 24554 0 0
SrcBusyKnown_A 153303526 150924471 0 0


BusySrcReqChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 153303526 85711 0 0
T1 16167 79 0 0
T2 247699 211 0 0
T3 0 111 0 0
T4 0 38 0 0
T5 36888 29 0 0
T11 0 43 0 0
T12 0 694 0 0
T13 0 125 0 0
T14 0 128 0 0
T18 28405 0 0 0
T19 894 0 0 0
T20 1837 0 0 0
T21 1280 0 0 0
T22 1395 0 0 0
T23 2561 0 0 0
T34 0 35 0 0
T35 1985 0 0 0

DstReqKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 432854207 428416899 0 0
T5 24614 24520 0 0
T6 2368 2205 0 0
T7 15438 15317 0 0
T8 1366 1218 0 0
T26 2878 2729 0 0
T27 1810 1634 0 0
T28 3132 2998 0 0
T29 3746 3516 0 0
T30 3486 3393 0 0
T31 1651 1489 0 0

SrcAckBusyChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 153303526 24554 0 0
T1 16167 32 0 0
T2 247699 42 0 0
T3 0 40 0 0
T4 0 8 0 0
T5 36888 6 0 0
T11 0 18 0 0
T12 0 252 0 0
T13 0 24 0 0
T14 0 34 0 0
T18 28405 0 0 0
T19 894 0 0 0
T20 1837 0 0 0
T21 1280 0 0 0
T22 1395 0 0 0
T23 2561 0 0 0
T34 0 10 0 0
T35 1985 0 0 0

SrcBusyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 153303526 150924471 0 0
T5 36888 36793 0 0
T6 1282 1194 0 0
T7 1447 1437 0 0
T8 1444 1291 0 0
T26 1439 1365 0 0
T27 1867 1686 0 0
T28 946 905 0 0
T29 1054 989 0 0
T30 2107 2050 0 0
T31 1720 1551 0 0

Line Coverage for Instance : tb.dut.u_reg.u_io_div2_meas_ctrl_en_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.u_reg.u_io_div2_meas_ctrl_en_cdc
TotalCoveredPercent
Conditions141285.71
Logical141285.71
Non-Logical00
Event00

 LINE       65
 EXPRESSION (src_we_i | src_re_i)
             ----1---   ----2---
-1--2-StatusTests
00CoveredT6,T7,T8
01Unreachable
10CoveredT5,T1,T2

 LINE       109
 EXPRESSION (src_busy_q & ((!src_ack)))
             -----1----   ------2-----
-1--2-StatusTests
01CoveredT6,T7,T8
10CoveredT5,T1,T2
11CoveredT5,T1,T2

 LINE       125
 EXPRESSION ((src_busy_q && src_ack) || (src_update && ((!busy))))
             -----------1-----------    ------------2------------
-1--2-StatusTests
00CoveredT6,T7,T8
01CoveredT1,T2,T3
10CoveredT5,T1,T2

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

 LINE       125
 SUB-EXPRESSION (src_update && ((!busy)))
                 -----1----    ----2----
-1--2-StatusTests
01CoveredT6,T7,T8
10Not Covered
11CoveredT1,T2,T3

Branch Coverage for Instance : tb.dut.u_reg.u_io_div2_meas_ctrl_en_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 T6,T7,T8
0 1 - Covered T5,T1,T2
0 0 1 Covered T5,T1,T2
0 0 0 Covered T6,T7,T8


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 T6,T7,T8
0 1 - Covered T5,T1,T2
0 0 1 Covered T5,T1,T2
0 0 0 Covered T6,T7,T8


Assert Coverage for Instance : tb.dut.u_reg.u_io_div2_meas_ctrl_en_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 153303526 123807 0 0
DstReqKnown_A 215619810 214524288 0 0
SrcAckBusyChk_A 153303526 24554 0 0
SrcBusyKnown_A 153303526 150924471 0 0


BusySrcReqChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 153303526 123807 0 0
T1 16167 79 0 0
T2 247699 331 0 0
T3 0 151 0 0
T4 0 53 0 0
T5 36888 47 0 0
T11 0 43 0 0
T12 0 946 0 0
T13 0 198 0 0
T14 0 185 0 0
T18 28405 0 0 0
T19 894 0 0 0
T20 1837 0 0 0
T21 1280 0 0 0
T22 1395 0 0 0
T23 2561 0 0 0
T34 0 50 0 0
T35 1985 0 0 0

DstReqKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 215619810 214524288 0 0
T5 12288 12260 0 0
T6 1172 1103 0 0
T7 8044 8023 0 0
T8 657 609 0 0
T26 1413 1365 0 0
T27 866 845 0 0
T28 1582 1568 0 0
T29 1895 1833 0 0
T30 1799 1778 0 0
T31 809 781 0 0

SrcAckBusyChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 153303526 24554 0 0
T1 16167 32 0 0
T2 247699 42 0 0
T3 0 40 0 0
T4 0 8 0 0
T5 36888 6 0 0
T11 0 18 0 0
T12 0 252 0 0
T13 0 24 0 0
T14 0 34 0 0
T18 28405 0 0 0
T19 894 0 0 0
T20 1837 0 0 0
T21 1280 0 0 0
T22 1395 0 0 0
T23 2561 0 0 0
T34 0 10 0 0
T35 1985 0 0 0

SrcBusyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 153303526 150924471 0 0
T5 36888 36793 0 0
T6 1282 1194 0 0
T7 1447 1437 0 0
T8 1444 1291 0 0
T26 1439 1365 0 0
T27 1867 1686 0 0
T28 946 905 0 0
T29 1054 989 0 0
T30 2107 2050 0 0
T31 1720 1551 0 0

Line Coverage for Instance : tb.dut.u_reg.u_io_div4_meas_ctrl_en_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.u_reg.u_io_div4_meas_ctrl_en_cdc
TotalCoveredPercent
Conditions141285.71
Logical141285.71
Non-Logical00
Event00

 LINE       65
 EXPRESSION (src_we_i | src_re_i)
             ----1---   ----2---
-1--2-StatusTests
00CoveredT6,T7,T8
01Unreachable
10CoveredT5,T1,T2

 LINE       109
 EXPRESSION (src_busy_q & ((!src_ack)))
             -----1----   ------2-----
-1--2-StatusTests
01CoveredT6,T7,T8
10CoveredT5,T1,T2
11CoveredT5,T1,T2

 LINE       125
 EXPRESSION ((src_busy_q && src_ack) || (src_update && ((!busy))))
             -----------1-----------    ------------2------------
-1--2-StatusTests
00CoveredT6,T7,T8
01CoveredT1,T2,T3
10CoveredT5,T1,T2

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

 LINE       125
 SUB-EXPRESSION (src_update && ((!busy)))
                 -----1----    ----2----
-1--2-StatusTests
01CoveredT6,T7,T8
10Not Covered
11CoveredT1,T2,T3

Branch Coverage for Instance : tb.dut.u_reg.u_io_div4_meas_ctrl_en_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 T6,T7,T8
0 1 - Covered T5,T1,T2
0 0 1 Covered T5,T1,T2
0 0 0 Covered T6,T7,T8


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 T6,T7,T8
0 1 - Covered T5,T1,T2
0 0 1 Covered T5,T1,T2
0 0 0 Covered T6,T7,T8


Assert Coverage for Instance : tb.dut.u_reg.u_io_div4_meas_ctrl_en_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 153303526 197668 0 0
DstReqKnown_A 107809269 107261609 0 0
SrcAckBusyChk_A 153303526 24554 0 0
SrcBusyKnown_A 153303526 150924471 0 0


BusySrcReqChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 153303526 197668 0 0
T1 16167 96 0 0
T2 247699 596 0 0
T3 0 221 0 0
T4 0 96 0 0
T5 36888 84 0 0
T11 0 61 0 0
T12 0 1388 0 0
T13 0 355 0 0
T14 0 304 0 0
T18 28405 0 0 0
T19 894 0 0 0
T20 1837 0 0 0
T21 1280 0 0 0
T22 1395 0 0 0
T23 2561 0 0 0
T34 0 80 0 0
T35 1985 0 0 0

DstReqKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 107809269 107261609 0 0
T5 6144 6130 0 0
T6 586 551 0 0
T7 4022 4012 0 0
T8 329 305 0 0
T26 706 682 0 0
T27 433 423 0 0
T28 790 783 0 0
T29 948 917 0 0
T30 899 889 0 0
T31 405 391 0 0

SrcAckBusyChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 153303526 24554 0 0
T1 16167 32 0 0
T2 247699 42 0 0
T3 0 40 0 0
T4 0 8 0 0
T5 36888 6 0 0
T11 0 18 0 0
T12 0 252 0 0
T13 0 24 0 0
T14 0 34 0 0
T18 28405 0 0 0
T19 894 0 0 0
T20 1837 0 0 0
T21 1280 0 0 0
T22 1395 0 0 0
T23 2561 0 0 0
T34 0 10 0 0
T35 1985 0 0 0

SrcBusyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 153303526 150924471 0 0
T5 36888 36793 0 0
T6 1282 1194 0 0
T7 1447 1437 0 0
T8 1444 1291 0 0
T26 1439 1365 0 0
T27 1867 1686 0 0
T28 946 905 0 0
T29 1054 989 0 0
T30 2107 2050 0 0
T31 1720 1551 0 0

Line Coverage for Instance : tb.dut.u_reg.u_main_meas_ctrl_en_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.u_reg.u_main_meas_ctrl_en_cdc
TotalCoveredPercent
Conditions141285.71
Logical141285.71
Non-Logical00
Event00

 LINE       65
 EXPRESSION (src_we_i | src_re_i)
             ----1---   ----2---
-1--2-StatusTests
00CoveredT6,T7,T8
01Unreachable
10CoveredT5,T1,T2

 LINE       109
 EXPRESSION (src_busy_q & ((!src_ack)))
             -----1----   ------2-----
-1--2-StatusTests
01CoveredT6,T7,T8
10CoveredT5,T1,T2
11CoveredT5,T1,T2

 LINE       125
 EXPRESSION ((src_busy_q && src_ack) || (src_update && ((!busy))))
             -----------1-----------    ------------2------------
-1--2-StatusTests
00CoveredT6,T7,T8
01CoveredT1,T2,T3
10CoveredT5,T1,T2

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

 LINE       125
 SUB-EXPRESSION (src_update && ((!busy)))
                 -----1----    ----2----
-1--2-StatusTests
01CoveredT6,T7,T8
10Not Covered
11CoveredT1,T2,T3

Branch Coverage for Instance : tb.dut.u_reg.u_main_meas_ctrl_en_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 T6,T7,T8
0 1 - Covered T5,T1,T2
0 0 1 Covered T5,T1,T2
0 0 0 Covered T6,T7,T8


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 T6,T7,T8
0 1 - Covered T5,T1,T2
0 0 1 Covered T5,T1,T2
0 0 0 Covered T6,T7,T8


Assert Coverage for Instance : tb.dut.u_reg.u_main_meas_ctrl_en_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 153303526 85843 0 0
DstReqKnown_A 461463260 456741832 0 0
SrcAckBusyChk_A 153303526 24554 0 0
SrcBusyKnown_A 153303526 150924471 0 0


BusySrcReqChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 153303526 85843 0 0
T1 16167 79 0 0
T2 247699 246 0 0
T3 0 107 0 0
T4 0 35 0 0
T5 36888 28 0 0
T11 0 43 0 0
T12 0 686 0 0
T13 0 121 0 0
T14 0 125 0 0
T18 28405 0 0 0
T19 894 0 0 0
T20 1837 0 0 0
T21 1280 0 0 0
T22 1395 0 0 0
T23 2561 0 0 0
T34 0 35 0 0
T35 1985 0 0 0

DstReqKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 461463260 456741832 0 0
T5 37641 37543 0 0
T6 2467 2298 0 0
T7 16082 15956 0 0
T8 1407 1252 0 0
T26 2998 2843 0 0
T27 1886 1702 0 0
T28 3263 3123 0 0
T29 3903 3663 0 0
T30 3632 3534 0 0
T31 1720 1551 0 0

SrcAckBusyChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 153303526 24554 0 0
T1 16167 32 0 0
T2 247699 42 0 0
T3 0 40 0 0
T4 0 8 0 0
T5 36888 6 0 0
T11 0 18 0 0
T12 0 252 0 0
T13 0 24 0 0
T14 0 34 0 0
T18 28405 0 0 0
T19 894 0 0 0
T20 1837 0 0 0
T21 1280 0 0 0
T22 1395 0 0 0
T23 2561 0 0 0
T34 0 10 0 0
T35 1985 0 0 0

SrcBusyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 153303526 150924471 0 0
T5 36888 36793 0 0
T6 1282 1194 0 0
T7 1447 1437 0 0
T8 1444 1291 0 0
T26 1439 1365 0 0
T27 1867 1686 0 0
T28 946 905 0 0
T29 1054 989 0 0
T30 2107 2050 0 0
T31 1720 1551 0 0

Line Coverage for Instance : tb.dut.u_reg.u_usb_meas_ctrl_en_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.u_reg.u_usb_meas_ctrl_en_cdc
TotalCoveredPercent
Conditions141285.71
Logical141285.71
Non-Logical00
Event00

 LINE       65
 EXPRESSION (src_we_i | src_re_i)
             ----1---   ----2---
-1--2-StatusTests
00CoveredT6,T7,T8
01Unreachable
10CoveredT5,T1,T2

 LINE       109
 EXPRESSION (src_busy_q & ((!src_ack)))
             -----1----   ------2-----
-1--2-StatusTests
01CoveredT6,T7,T8
10CoveredT5,T1,T2
11CoveredT5,T1,T2

 LINE       125
 EXPRESSION ((src_busy_q && src_ack) || (src_update && ((!busy))))
             -----------1-----------    ------------2------------
-1--2-StatusTests
00CoveredT6,T7,T8
01CoveredT1,T2,T3
10CoveredT5,T1,T2

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

 LINE       125
 SUB-EXPRESSION (src_update && ((!busy)))
                 -----1----    ----2----
-1--2-StatusTests
01CoveredT6,T7,T8
10Not Covered
11CoveredT1,T2,T3

Branch Coverage for Instance : tb.dut.u_reg.u_usb_meas_ctrl_en_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 T6,T7,T8
0 1 - Covered T5,T1,T2
0 0 1 Covered T5,T1,T2
0 0 0 Covered T6,T7,T8


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 T6,T7,T8
0 1 - Covered T5,T1,T2
0 0 1 Covered T5,T1,T2
0 0 0 Covered T6,T7,T8


Assert Coverage for Instance : tb.dut.u_reg.u_usb_meas_ctrl_en_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 153303526 122255 0 0
DstReqKnown_A 221638800 219372535 0 0
SrcAckBusyChk_A 153303526 24099 0 0
SrcBusyKnown_A 153303526 150924471 0 0


BusySrcReqChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 153303526 122255 0 0
T1 16167 79 0 0
T2 247699 336 0 0
T3 0 146 0 0
T4 0 41 0 0
T5 36888 45 0 0
T11 0 43 0 0
T12 0 947 0 0
T13 0 199 0 0
T14 0 185 0 0
T18 28405 0 0 0
T19 894 0 0 0
T20 1837 0 0 0
T21 1280 0 0 0
T22 1395 0 0 0
T23 2561 0 0 0
T34 0 41 0 0
T35 1985 0 0 0

DstReqKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 221638800 219372535 0 0
T5 18067 18021 0 0
T6 1184 1103 0 0
T7 7720 7659 0 0
T8 679 605 0 0
T26 1439 1365 0 0
T27 905 817 0 0
T28 1567 1499 0 0
T29 1873 1758 0 0
T30 1743 1697 0 0
T31 826 745 0 0

SrcAckBusyChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 153303526 24099 0 0
T1 16167 32 0 0
T2 247699 42 0 0
T3 0 40 0 0
T4 0 4 0 0
T5 36888 6 0 0
T11 0 18 0 0
T12 0 252 0 0
T13 0 24 0 0
T14 0 34 0 0
T18 28405 0 0 0
T19 894 0 0 0
T20 1837 0 0 0
T21 1280 0 0 0
T22 1395 0 0 0
T23 2561 0 0 0
T34 0 6 0 0
T35 1985 0 0 0

SrcBusyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 153303526 150924471 0 0
T5 36888 36793 0 0
T6 1282 1194 0 0
T7 1447 1437 0 0
T8 1444 1291 0 0
T26 1439 1365 0 0
T27 1867 1686 0 0
T28 946 905 0 0
T29 1054 989 0 0
T30 2107 2050 0 0
T31 1720 1551 0 0

Line Coverage for Instance : tb.dut.u_reg.u_io_meas_ctrl_shadowed_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.u_reg.u_io_meas_ctrl_shadowed_cdc
TotalCoveredPercent
Conditions121191.67
Logical121191.67
Non-Logical00
Event00

 LINE       65
 EXPRESSION (src_we_i | src_re_i)
             ----1---   ----2---
-1--2-StatusTests
00CoveredT6,T7,T8
01CoveredT4,T34,T12
10CoveredT5,T1,T2

 LINE       109
 EXPRESSION (src_busy_q & ((!src_ack)))
             -----1----   ------2-----
-1--2-StatusTests
01CoveredT6,T7,T8
10CoveredT5,T1,T2
11CoveredT5,T1,T2

 LINE       125
 EXPRESSION ((src_busy_q && src_ack) || (src_update && ((!busy))))
             -----------1-----------    ------------2------------
-1--2-StatusTests
00CoveredT6,T7,T8
01Unreachable
10CoveredT5,T1,T2

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

 LINE       125
 SUB-EXPRESSION (src_update && ((!busy)))
                 -----1----    ----2----
-1--2-StatusTests
01CoveredT6,T7,T8
10Unreachable
11Unreachable

Branch Coverage for Instance : tb.dut.u_reg.u_io_meas_ctrl_shadowed_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 T6,T7,T8
0 1 - Covered T5,T1,T2
0 0 1 Covered T5,T1,T2
0 0 0 Covered T6,T7,T8


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 T6,T7,T8
0 1 - Covered T5,T1,T2
0 0 1 Covered T5,T1,T2
0 0 0 Covered T6,T7,T8


Assert Coverage for Instance : tb.dut.u_reg.u_io_meas_ctrl_shadowed_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 153303526 108436 0 0
DstReqKnown_A 432854207 428416899 0 0
SrcAckBusyChk_A 153303526 30703 0 0
SrcBusyKnown_A 153303526 150924471 0 0


BusySrcReqChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 153303526 108436 0 0
T1 16167 81 0 0
T2 247699 208 0 0
T3 0 109 0 0
T4 0 68 0 0
T5 36888 28 0 0
T11 0 43 0 0
T12 0 712 0 0
T13 0 122 0 0
T14 0 128 0 0
T18 28405 0 0 0
T19 894 0 0 0
T20 1837 0 0 0
T21 1280 0 0 0
T22 1395 0 0 0
T23 2561 0 0 0
T34 0 71 0 0
T35 1985 0 0 0

DstReqKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 432854207 428416899 0 0
T5 24614 24520 0 0
T6 2368 2205 0 0
T7 15438 15317 0 0
T8 1366 1218 0 0
T26 2878 2729 0 0
T27 1810 1634 0 0
T28 3132 2998 0 0
T29 3746 3516 0 0
T30 3486 3393 0 0
T31 1651 1489 0 0

SrcAckBusyChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 153303526 30703 0 0
T1 16167 32 0 0
T2 247699 42 0 0
T3 0 40 0 0
T4 0 16 0 0
T5 36888 6 0 0
T11 0 18 0 0
T12 0 257 0 0
T13 0 24 0 0
T14 0 34 0 0
T18 28405 0 0 0
T19 894 0 0 0
T20 1837 0 0 0
T21 1280 0 0 0
T22 1395 0 0 0
T23 2561 0 0 0
T34 0 20 0 0
T35 1985 0 0 0

SrcBusyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 153303526 150924471 0 0
T5 36888 36793 0 0
T6 1282 1194 0 0
T7 1447 1437 0 0
T8 1444 1291 0 0
T26 1439 1365 0 0
T27 1867 1686 0 0
T28 946 905 0 0
T29 1054 989 0 0
T30 2107 2050 0 0
T31 1720 1551 0 0

Line Coverage for Instance : tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_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.u_reg.u_io_div2_meas_ctrl_shadowed_cdc
TotalCoveredPercent
Conditions121191.67
Logical121191.67
Non-Logical00
Event00

 LINE       65
 EXPRESSION (src_we_i | src_re_i)
             ----1---   ----2---
-1--2-StatusTests
00CoveredT6,T7,T8
01CoveredT4,T34,T12
10CoveredT5,T1,T2

 LINE       109
 EXPRESSION (src_busy_q & ((!src_ack)))
             -----1----   ------2-----
-1--2-StatusTests
01CoveredT6,T7,T8
10CoveredT5,T1,T2
11CoveredT5,T1,T2

 LINE       125
 EXPRESSION ((src_busy_q && src_ack) || (src_update && ((!busy))))
             -----------1-----------    ------------2------------
-1--2-StatusTests
00CoveredT6,T7,T8
01Unreachable
10CoveredT5,T1,T2

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

 LINE       125
 SUB-EXPRESSION (src_update && ((!busy)))
                 -----1----    ----2----
-1--2-StatusTests
01CoveredT6,T7,T8
10Unreachable
11Unreachable

Branch Coverage for Instance : tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_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 T6,T7,T8
0 1 - Covered T5,T1,T2
0 0 1 Covered T5,T1,T2
0 0 0 Covered T6,T7,T8


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 T6,T7,T8
0 1 - Covered T5,T1,T2
0 0 1 Covered T5,T1,T2
0 0 0 Covered T6,T7,T8


Assert Coverage for Instance : tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_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 153303526 156145 0 0
DstReqKnown_A 215619810 214524288 0 0
SrcAckBusyChk_A 153303526 30626 0 0
SrcBusyKnown_A 153303526 150924471 0 0


BusySrcReqChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 153303526 156145 0 0
T1 16167 81 0 0
T2 247699 338 0 0
T3 0 147 0 0
T4 0 112 0 0
T5 36888 49 0 0
T11 0 43 0 0
T12 0 969 0 0
T13 0 198 0 0
T14 0 186 0 0
T18 28405 0 0 0
T19 894 0 0 0
T20 1837 0 0 0
T21 1280 0 0 0
T22 1395 0 0 0
T23 2561 0 0 0
T34 0 99 0 0
T35 1985 0 0 0

DstReqKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 215619810 214524288 0 0
T5 12288 12260 0 0
T6 1172 1103 0 0
T7 8044 8023 0 0
T8 657 609 0 0
T26 1413 1365 0 0
T27 866 845 0 0
T28 1582 1568 0 0
T29 1895 1833 0 0
T30 1799 1778 0 0
T31 809 781 0 0

SrcAckBusyChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 153303526 30626 0 0
T1 16167 32 0 0
T2 247699 42 0 0
T3 0 40 0 0
T4 0 16 0 0
T5 36888 6 0 0
T11 0 18 0 0
T12 0 257 0 0
T13 0 24 0 0
T14 0 34 0 0
T18 28405 0 0 0
T19 894 0 0 0
T20 1837 0 0 0
T21 1280 0 0 0
T22 1395 0 0 0
T23 2561 0 0 0
T34 0 20 0 0
T35 1985 0 0 0

SrcBusyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 153303526 150924471 0 0
T5 36888 36793 0 0
T6 1282 1194 0 0
T7 1447 1437 0 0
T8 1444 1291 0 0
T26 1439 1365 0 0
T27 1867 1686 0 0
T28 946 905 0 0
T29 1054 989 0 0
T30 2107 2050 0 0
T31 1720 1551 0 0

Line Coverage for Instance : tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_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.u_reg.u_io_div4_meas_ctrl_shadowed_cdc
TotalCoveredPercent
Conditions121191.67
Logical121191.67
Non-Logical00
Event00

 LINE       65
 EXPRESSION (src_we_i | src_re_i)
             ----1---   ----2---
-1--2-StatusTests
00CoveredT6,T7,T8
01CoveredT4,T34,T12
10CoveredT5,T1,T2

 LINE       109
 EXPRESSION (src_busy_q & ((!src_ack)))
             -----1----   ------2-----
-1--2-StatusTests
01CoveredT6,T7,T8
10CoveredT5,T1,T2
11CoveredT5,T1,T2

 LINE       125
 EXPRESSION ((src_busy_q && src_ack) || (src_update && ((!busy))))
             -----------1-----------    ------------2------------
-1--2-StatusTests
00CoveredT6,T7,T8
01Unreachable
10CoveredT5,T1,T2

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

 LINE       125
 SUB-EXPRESSION (src_update && ((!busy)))
                 -----1----    ----2----
-1--2-StatusTests
01CoveredT6,T7,T8
10Unreachable
11Unreachable

Branch Coverage for Instance : tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_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 T6,T7,T8
0 1 - Covered T5,T1,T2
0 0 1 Covered T5,T1,T2
0 0 0 Covered T6,T7,T8


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 T6,T7,T8
0 1 - Covered T5,T1,T2
0 0 1 Covered T5,T1,T2
0 0 0 Covered T6,T7,T8


Assert Coverage for Instance : tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_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 153303526 251138 0 0
DstReqKnown_A 107809269 107261609 0 0
SrcAckBusyChk_A 153303526 30635 0 0
SrcBusyKnown_A 153303526 150924471 0 0


BusySrcReqChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 153303526 251138 0 0
T1 16167 98 0 0
T2 247699 583 0 0
T3 0 216 0 0
T4 0 187 0 0
T5 36888 77 0 0
T11 0 61 0 0
T12 0 1411 0 0
T13 0 349 0 0
T14 0 306 0 0
T18 28405 0 0 0
T19 894 0 0 0
T20 1837 0 0 0
T21 1280 0 0 0
T22 1395 0 0 0
T23 2561 0 0 0
T34 0 160 0 0
T35 1985 0 0 0

DstReqKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 107809269 107261609 0 0
T5 6144 6130 0 0
T6 586 551 0 0
T7 4022 4012 0 0
T8 329 305 0 0
T26 706 682 0 0
T27 433 423 0 0
T28 790 783 0 0
T29 948 917 0 0
T30 899 889 0 0
T31 405 391 0 0

SrcAckBusyChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 153303526 30635 0 0
T1 16167 32 0 0
T2 247699 42 0 0
T3 0 40 0 0
T4 0 16 0 0
T5 36888 6 0 0
T11 0 18 0 0
T12 0 257 0 0
T13 0 24 0 0
T14 0 34 0 0
T18 28405 0 0 0
T19 894 0 0 0
T20 1837 0 0 0
T21 1280 0 0 0
T22 1395 0 0 0
T23 2561 0 0 0
T34 0 20 0 0
T35 1985 0 0 0

SrcBusyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 153303526 150924471 0 0
T5 36888 36793 0 0
T6 1282 1194 0 0
T7 1447 1437 0 0
T8 1444 1291 0 0
T26 1439 1365 0 0
T27 1867 1686 0 0
T28 946 905 0 0
T29 1054 989 0 0
T30 2107 2050 0 0
T31 1720 1551 0 0

Line Coverage for Instance : tb.dut.u_reg.u_main_meas_ctrl_shadowed_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.u_reg.u_main_meas_ctrl_shadowed_cdc
TotalCoveredPercent
Conditions121191.67
Logical121191.67
Non-Logical00
Event00

 LINE       65
 EXPRESSION (src_we_i | src_re_i)
             ----1---   ----2---
-1--2-StatusTests
00CoveredT6,T7,T8
01CoveredT4,T34,T12
10CoveredT5,T1,T2

 LINE       109
 EXPRESSION (src_busy_q & ((!src_ack)))
             -----1----   ------2-----
-1--2-StatusTests
01CoveredT6,T7,T8
10CoveredT5,T1,T2
11CoveredT5,T1,T2

 LINE       125
 EXPRESSION ((src_busy_q && src_ack) || (src_update && ((!busy))))
             -----------1-----------    ------------2------------
-1--2-StatusTests
00CoveredT6,T7,T8
01Unreachable
10CoveredT5,T1,T2

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

 LINE       125
 SUB-EXPRESSION (src_update && ((!busy)))
                 -----1----    ----2----
-1--2-StatusTests
01CoveredT6,T7,T8
10Unreachable
11Unreachable

Branch Coverage for Instance : tb.dut.u_reg.u_main_meas_ctrl_shadowed_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 T6,T7,T8
0 1 - Covered T5,T1,T2
0 0 1 Covered T5,T1,T2
0 0 0 Covered T6,T7,T8


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 T6,T7,T8
0 1 - Covered T5,T1,T2
0 0 1 Covered T5,T1,T2
0 0 0 Covered T6,T7,T8


Assert Coverage for Instance : tb.dut.u_reg.u_main_meas_ctrl_shadowed_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 153303526 107514 0 0
DstReqKnown_A 461463260 456741832 0 0
SrcAckBusyChk_A 153303526 30544 0 0
SrcBusyKnown_A 153303526 150924471 0 0


BusySrcReqChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 153303526 107514 0 0
T1 16167 81 0 0
T2 247699 244 0 0
T3 0 108 0 0
T4 0 66 0 0
T5 36888 28 0 0
T11 0 43 0 0
T12 0 704 0 0
T13 0 122 0 0
T14 0 126 0 0
T18 28405 0 0 0
T19 894 0 0 0
T20 1837 0 0 0
T21 1280 0 0 0
T22 1395 0 0 0
T23 2561 0 0 0
T34 0 69 0 0
T35 1985 0 0 0

DstReqKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 461463260 456741832 0 0
T5 37641 37543 0 0
T6 2467 2298 0 0
T7 16082 15956 0 0
T8 1407 1252 0 0
T26 2998 2843 0 0
T27 1886 1702 0 0
T28 3263 3123 0 0
T29 3903 3663 0 0
T30 3632 3534 0 0
T31 1720 1551 0 0

SrcAckBusyChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 153303526 30544 0 0
T1 16167 32 0 0
T2 247699 42 0 0
T3 0 40 0 0
T4 0 16 0 0
T5 36888 6 0 0
T11 0 18 0 0
T12 0 257 0 0
T13 0 24 0 0
T14 0 34 0 0
T18 28405 0 0 0
T19 894 0 0 0
T20 1837 0 0 0
T21 1280 0 0 0
T22 1395 0 0 0
T23 2561 0 0 0
T34 0 20 0 0
T35 1985 0 0 0

SrcBusyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 153303526 150924471 0 0
T5 36888 36793 0 0
T6 1282 1194 0 0
T7 1447 1437 0 0
T8 1444 1291 0 0
T26 1439 1365 0 0
T27 1867 1686 0 0
T28 946 905 0 0
T29 1054 989 0 0
T30 2107 2050 0 0
T31 1720 1551 0 0

Line Coverage for Instance : tb.dut.u_reg.u_usb_meas_ctrl_shadowed_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.u_reg.u_usb_meas_ctrl_shadowed_cdc
TotalCoveredPercent
Conditions121191.67
Logical121191.67
Non-Logical00
Event00

 LINE       65
 EXPRESSION (src_we_i | src_re_i)
             ----1---   ----2---
-1--2-StatusTests
00CoveredT6,T7,T8
01CoveredT4,T34,T12
10CoveredT5,T1,T2

 LINE       109
 EXPRESSION (src_busy_q & ((!src_ack)))
             -----1----   ------2-----
-1--2-StatusTests
01CoveredT6,T7,T8
10CoveredT5,T1,T2
11CoveredT5,T1,T2

 LINE       125
 EXPRESSION ((src_busy_q && src_ack) || (src_update && ((!busy))))
             -----------1-----------    ------------2------------
-1--2-StatusTests
00CoveredT6,T7,T8
01Unreachable
10CoveredT5,T1,T2

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

 LINE       125
 SUB-EXPRESSION (src_update && ((!busy)))
                 -----1----    ----2----
-1--2-StatusTests
01CoveredT6,T7,T8
10Unreachable
11Unreachable

Branch Coverage for Instance : tb.dut.u_reg.u_usb_meas_ctrl_shadowed_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 T6,T7,T8
0 1 - Covered T5,T1,T2
0 0 1 Covered T5,T1,T2
0 0 0 Covered T6,T7,T8


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 T6,T7,T8
0 1 - Covered T5,T1,T2
0 0 1 Covered T5,T1,T2
0 0 0 Covered T6,T7,T8


Assert Coverage for Instance : tb.dut.u_reg.u_usb_meas_ctrl_shadowed_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 153303526 155987 0 0
DstReqKnown_A 221638800 219372535 0 0
SrcAckBusyChk_A 153303526 30468 0 0
SrcBusyKnown_A 153303526 150924471 0 0


BusySrcReqChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 153303526 155987 0 0
T1 16167 81 0 0
T2 247699 328 0 0
T3 0 146 0 0
T4 0 107 0 0
T5 36888 46 0 0
T11 0 43 0 0
T12 0 967 0 0
T13 0 196 0 0
T14 0 185 0 0
T18 28405 0 0 0
T19 894 0 0 0
T20 1837 0 0 0
T21 1280 0 0 0
T22 1395 0 0 0
T23 2561 0 0 0
T34 0 99 0 0
T35 1985 0 0 0

DstReqKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 221638800 219372535 0 0
T5 18067 18021 0 0
T6 1184 1103 0 0
T7 7720 7659 0 0
T8 679 605 0 0
T26 1439 1365 0 0
T27 905 817 0 0
T28 1567 1499 0 0
T29 1873 1758 0 0
T30 1743 1697 0 0
T31 826 745 0 0

SrcAckBusyChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 153303526 30468 0 0
T1 16167 32 0 0
T2 247699 42 0 0
T3 0 40 0 0
T4 0 15 0 0
T5 36888 6 0 0
T11 0 18 0 0
T12 0 257 0 0
T13 0 24 0 0
T14 0 34 0 0
T18 28405 0 0 0
T19 894 0 0 0
T20 1837 0 0 0
T21 1280 0 0 0
T22 1395 0 0 0
T23 2561 0 0 0
T34 0 20 0 0
T35 1985 0 0 0

SrcBusyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 153303526 150924471 0 0
T5 36888 36793 0 0
T6 1282 1194 0 0
T7 1447 1437 0 0
T8 1444 1291 0 0
T26 1439 1365 0 0
T27 1867 1686 0 0
T28 946 905 0 0
T29 1054 989 0 0
T30 2107 2050 0 0
T31 1720 1551 0 0

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