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
00CoveredT5,T6,T7
01CoveredT4,T19,T3
10CoveredT1,T4,T2

 LINE       109
 EXPRESSION (src_busy_q & ((!src_ack)))
             -----1----   ------2-----
-1--2-StatusTests
01CoveredT5,T6,T7
10CoveredT1,T4,T2
11CoveredT1,T4,T2

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

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

 LINE       125
 SUB-EXPRESSION (src_update && ((!busy)))
                 -----1----    ----2----
-1--2-StatusTests
01CoveredT5,T6,T7
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 T5,T6,T7
0 1 - Covered T1,T4,T2
0 0 1 Covered T1,T4,T2
0 0 0 Covered T5,T6,T7


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


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 1720811570 1541029 0 0
DstReqKnown_A 2147483647 2147483647 0 0
SrcAckBusyChk_A 1720811570 293921 0 0
SrcBusyKnown_A 1720811570 1693546100 0 0


BusySrcReqChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1720811570 1541029 0 0
T1 2151010 3141 0 0
T2 2120660 3070 0 0
T3 0 7794 0 0
T4 416490 1488 0 0
T9 0 1859 0 0
T10 0 16381 0 0
T11 0 1191 0 0
T12 0 40898 0 0
T16 13580 0 0 0
T17 35010 0 0 0
T18 7870 0 0 0
T19 385910 1788 0 0
T20 14350 0 0 0
T21 15670 0 0 0
T22 23360 0 0 0
T23 0 1795 0 0

DstReqKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 2147483647 2147483647 0 0
T1 1415904 1414586 0 0
T2 1340122 1338994 0 0
T4 251030 17016 0 0
T5 24478 23940 0 0
T6 11434 10166 0 0
T7 8866 7548 0 0
T16 19382 18612 0 0
T17 88376 87288 0 0
T18 20616 19686 0 0
T19 440188 63210 0 0

SrcAckBusyChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1720811570 293921 0 0
T1 2151010 380 0 0
T2 2120660 360 0 0
T3 0 2400 0 0
T4 416490 168 0 0
T9 0 220 0 0
T10 0 1980 0 0
T11 0 140 0 0
T12 0 4880 0 0
T16 13580 0 0 0
T17 35010 0 0 0
T18 7870 0 0 0
T19 385910 347 0 0
T20 14350 0 0 0
T21 15670 0 0 0
T22 23360 0 0 0
T23 0 519 0 0

SrcBusyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1720811570 1693546100 0 0
T1 2151010 2148700 0 0
T2 2120660 2118690 0 0
T4 416490 25860 0 0
T5 9290 9060 0 0
T6 17790 15550 0 0
T7 15350 12940 0 0
T16 13580 12960 0 0
T17 35010 34520 0 0
T18 7870 7470 0 0
T19 385910 50120 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
00CoveredT5,T6,T7
01Unreachable
10CoveredT1,T4,T2

 LINE       109
 EXPRESSION (src_busy_q & ((!src_ack)))
             -----1----   ------2-----
-1--2-StatusTests
01CoveredT5,T6,T7
10CoveredT1,T4,T2
11CoveredT1,T4,T2

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

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

 LINE       125
 SUB-EXPRESSION (src_update && ((!busy)))
                 -----1----    ----2----
-1--2-StatusTests
01CoveredT5,T6,T7
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 T5,T6,T7
0 1 - Covered T1,T4,T2
0 0 1 Covered T1,T4,T2
0 0 0 Covered T5,T6,T7


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


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 172081157 95884 0 0
DstReqKnown_A 484923783 480407111 0 0
SrcAckBusyChk_A 172081157 26509 0 0
SrcBusyKnown_A 172081157 169354610 0 0


BusySrcReqChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 172081157 95884 0 0
T1 215101 224 0 0
T2 212066 186 0 0
T3 0 589 0 0
T4 41649 74 0 0
T9 0 114 0 0
T10 0 1004 0 0
T11 0 72 0 0
T12 0 2887 0 0
T16 1358 0 0 0
T17 3501 0 0 0
T18 787 0 0 0
T19 38591 87 0 0
T20 1435 0 0 0
T21 1567 0 0 0
T22 2336 0 0 0
T23 0 93 0 0

DstReqKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 484923783 480407111 0 0
T1 215101 214870 0 0
T2 203578 203388 0 0
T4 41649 2586 0 0
T5 3719 3625 0 0
T6 1725 1508 0 0
T7 1380 1149 0 0
T16 2962 2827 0 0
T17 13448 13259 0 0
T18 3153 2990 0 0
T19 74094 9600 0 0

SrcAckBusyChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 172081157 26509 0 0
T1 215101 38 0 0
T2 212066 36 0 0
T3 0 237 0 0
T4 41649 12 0 0
T9 0 22 0 0
T10 0 198 0 0
T11 0 14 0 0
T12 0 482 0 0
T16 1358 0 0 0
T17 3501 0 0 0
T18 787 0 0 0
T19 38591 24 0 0
T20 1435 0 0 0
T21 1567 0 0 0
T22 2336 0 0 0
T23 0 36 0 0

SrcBusyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 172081157 169354610 0 0
T1 215101 214870 0 0
T2 212066 211869 0 0
T4 41649 2586 0 0
T5 929 906 0 0
T6 1779 1555 0 0
T7 1535 1294 0 0
T16 1358 1296 0 0
T17 3501 3452 0 0
T18 787 747 0 0
T19 38591 5012 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
00CoveredT5,T6,T7
01Unreachable
10CoveredT1,T4,T2

 LINE       109
 EXPRESSION (src_busy_q & ((!src_ack)))
             -----1----   ------2-----
-1--2-StatusTests
01CoveredT5,T6,T7
10CoveredT1,T4,T2
11CoveredT1,T4,T2

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

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

 LINE       125
 SUB-EXPRESSION (src_update && ((!busy)))
                 -----1----    ----2----
-1--2-StatusTests
01CoveredT5,T6,T7
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 T5,T6,T7
0 1 - Covered T1,T4,T2
0 0 1 Covered T1,T4,T2
0 0 0 Covered T5,T6,T7


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


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 172081157 138621 0 0
DstReqKnown_A 241607447 240469950 0 0
SrcAckBusyChk_A 172081157 26509 0 0
SrcBusyKnown_A 172081157 169354610 0 0


BusySrcReqChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 172081157 138621 0 0
T1 215101 320 0 0
T2 212066 300 0 0
T3 0 797 0 0
T4 41649 104 0 0
T9 0 179 0 0
T10 0 1605 0 0
T11 0 113 0 0
T12 0 4124 0 0
T16 1358 0 0 0
T17 3501 0 0 0
T18 787 0 0 0
T19 38591 121 0 0
T20 1435 0 0 0
T21 1567 0 0 0
T22 2336 0 0 0
T23 0 129 0 0

DstReqKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 241607447 240469950 0 0
T1 107483 107435 0 0
T2 101749 101694 0 0
T4 13103 1295 0 0
T5 1858 1837 0 0
T6 889 834 0 0
T7 623 575 0 0
T16 1441 1413 0 0
T17 6671 6630 0 0
T18 1530 1495 0 0
T19 21178 4803 0 0

SrcAckBusyChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 172081157 26509 0 0
T1 215101 38 0 0
T2 212066 36 0 0
T3 0 237 0 0
T4 41649 12 0 0
T9 0 22 0 0
T10 0 198 0 0
T11 0 14 0 0
T12 0 482 0 0
T16 1358 0 0 0
T17 3501 0 0 0
T18 787 0 0 0
T19 38591 24 0 0
T20 1435 0 0 0
T21 1567 0 0 0
T22 2336 0 0 0
T23 0 36 0 0

SrcBusyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 172081157 169354610 0 0
T1 215101 214870 0 0
T2 212066 211869 0 0
T4 41649 2586 0 0
T5 929 906 0 0
T6 1779 1555 0 0
T7 1535 1294 0 0
T16 1358 1296 0 0
T17 3501 3452 0 0
T18 787 747 0 0
T19 38591 5012 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
00CoveredT5,T6,T7
01Unreachable
10CoveredT1,T4,T2

 LINE       109
 EXPRESSION (src_busy_q & ((!src_ack)))
             -----1----   ------2-----
-1--2-StatusTests
01CoveredT5,T6,T7
10CoveredT1,T4,T2
11CoveredT1,T4,T2

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

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

 LINE       125
 SUB-EXPRESSION (src_update && ((!busy)))
                 -----1----    ----2----
-1--2-StatusTests
01CoveredT5,T6,T7
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 T5,T6,T7
0 1 - Covered T1,T4,T2
0 0 1 Covered T1,T4,T2
0 0 0 Covered T5,T6,T7


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


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 172081157 222282 0 0
DstReqKnown_A 120803144 120234462 0 0
SrcAckBusyChk_A 172081157 26509 0 0
SrcBusyKnown_A 172081157 169354610 0 0


BusySrcReqChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 172081157 222282 0 0
T1 215101 541 0 0
T2 212066 525 0 0
T3 0 1084 0 0
T4 41649 173 0 0
T9 0 312 0 0
T10 0 2819 0 0
T11 0 205 0 0
T12 0 6925 0 0
T16 1358 0 0 0
T17 3501 0 0 0
T18 787 0 0 0
T19 38591 201 0 0
T20 1435 0 0 0
T21 1567 0 0 0
T22 2336 0 0 0
T23 0 186 0 0

DstReqKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 120803144 120234462 0 0
T1 53742 53718 0 0
T2 50875 50847 0 0
T4 6551 647 0 0
T5 929 919 0 0
T6 444 416 0 0
T7 311 287 0 0
T16 721 707 0 0
T17 3335 3314 0 0
T18 765 748 0 0
T19 10589 2401 0 0

SrcAckBusyChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 172081157 26509 0 0
T1 215101 38 0 0
T2 212066 36 0 0
T3 0 237 0 0
T4 41649 12 0 0
T9 0 22 0 0
T10 0 198 0 0
T11 0 14 0 0
T12 0 482 0 0
T16 1358 0 0 0
T17 3501 0 0 0
T18 787 0 0 0
T19 38591 24 0 0
T20 1435 0 0 0
T21 1567 0 0 0
T22 2336 0 0 0
T23 0 36 0 0

SrcBusyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 172081157 169354610 0 0
T1 215101 214870 0 0
T2 212066 211869 0 0
T4 41649 2586 0 0
T5 929 906 0 0
T6 1779 1555 0 0
T7 1535 1294 0 0
T16 1358 1296 0 0
T17 3501 3452 0 0
T18 787 747 0 0
T19 38591 5012 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
00CoveredT5,T6,T7
01Unreachable
10CoveredT1,T4,T2

 LINE       109
 EXPRESSION (src_busy_q & ((!src_ack)))
             -----1----   ------2-----
-1--2-StatusTests
01CoveredT5,T6,T7
10CoveredT1,T4,T2
11CoveredT1,T4,T2

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

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

 LINE       125
 SUB-EXPRESSION (src_update && ((!busy)))
                 -----1----    ----2----
-1--2-StatusTests
01CoveredT5,T6,T7
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 T5,T6,T7
0 1 - Covered T1,T4,T2
0 0 1 Covered T1,T4,T2
0 0 0 Covered T5,T6,T7


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


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 172081157 94507 0 0
DstReqKnown_A 517331750 512588991 0 0
SrcAckBusyChk_A 172081157 26509 0 0
SrcBusyKnown_A 172081157 169354610 0 0


BusySrcReqChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 172081157 94507 0 0
T1 215101 184 0 0
T2 212066 218 0 0
T3 0 589 0 0
T4 41649 61 0 0
T9 0 134 0 0
T10 0 1171 0 0
T11 0 84 0 0
T12 0 2359 0 0
T16 1358 0 0 0
T17 3501 0 0 0
T18 787 0 0 0
T19 38591 83 0 0
T20 1435 0 0 0
T21 1567 0 0 0
T22 2336 0 0 0
T23 0 93 0 0

DstReqKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 517331750 512588991 0 0
T1 224071 223830 0 0
T2 212066 211869 0 0
T4 43387 2689 0 0
T5 3874 3776 0 0
T6 1797 1571 0 0
T7 1422 1181 0 0
T16 3086 2945 0 0
T17 14009 13811 0 0
T18 3284 3115 0 0
T19 77184 10001 0 0

SrcAckBusyChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 172081157 26509 0 0
T1 215101 38 0 0
T2 212066 36 0 0
T3 0 237 0 0
T4 41649 12 0 0
T9 0 22 0 0
T10 0 198 0 0
T11 0 14 0 0
T12 0 482 0 0
T16 1358 0 0 0
T17 3501 0 0 0
T18 787 0 0 0
T19 38591 24 0 0
T20 1435 0 0 0
T21 1567 0 0 0
T22 2336 0 0 0
T23 0 36 0 0

SrcBusyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 172081157 169354610 0 0
T1 215101 214870 0 0
T2 212066 211869 0 0
T4 41649 2586 0 0
T5 929 906 0 0
T6 1779 1555 0 0
T7 1535 1294 0 0
T16 1358 1296 0 0
T17 3501 3452 0 0
T18 787 747 0 0
T19 38591 5012 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
00CoveredT5,T6,T7
01Unreachable
10CoveredT1,T4,T2

 LINE       109
 EXPRESSION (src_busy_q & ((!src_ack)))
             -----1----   ------2-----
-1--2-StatusTests
01CoveredT5,T6,T7
10CoveredT1,T4,T2
11CoveredT1,T4,T2

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

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

 LINE       125
 SUB-EXPRESSION (src_update && ((!busy)))
                 -----1----    ----2----
-1--2-StatusTests
01CoveredT5,T6,T7
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 T5,T6,T7
0 1 - Covered T1,T4,T2
0 0 1 Covered T1,T4,T2
0 0 0 Covered T5,T6,T7


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


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 172081157 135780 0 0
DstReqKnown_A 248159240 245892627 0 0
SrcAckBusyChk_A 172081157 26020 0 0
SrcBusyKnown_A 172081157 169354610 0 0


BusySrcReqChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 172081157 135780 0 0
T1 215101 298 0 0
T2 212066 307 0 0
T3 0 793 0 0
T4 41649 53 0 0
T9 0 189 0 0
T10 0 1611 0 0
T11 0 116 0 0
T12 0 3861 0 0
T16 1358 0 0 0
T17 3501 0 0 0
T18 787 0 0 0
T19 38591 73 0 0
T20 1435 0 0 0
T21 1567 0 0 0
T22 2336 0 0 0
T23 0 84 0 0

DstReqKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 248159240 245892627 0 0
T1 107555 107440 0 0
T2 101793 101699 0 0
T4 20825 1291 0 0
T5 1859 1813 0 0
T6 862 754 0 0
T7 697 582 0 0
T16 1481 1414 0 0
T17 6725 6630 0 0
T18 1576 1495 0 0
T19 37049 4800 0 0

SrcAckBusyChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 172081157 26020 0 0
T1 215101 38 0 0
T2 212066 36 0 0
T3 0 237 0 0
T4 41649 6 0 0
T9 0 22 0 0
T10 0 198 0 0
T11 0 14 0 0
T12 0 482 0 0
T16 1358 0 0 0
T17 3501 0 0 0
T18 787 0 0 0
T19 38591 12 0 0
T20 1435 0 0 0
T21 1567 0 0 0
T22 2336 0 0 0
T23 0 18 0 0

SrcBusyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 172081157 169354610 0 0
T1 215101 214870 0 0
T2 212066 211869 0 0
T4 41649 2586 0 0
T5 929 906 0 0
T6 1779 1555 0 0
T7 1535 1294 0 0
T16 1358 1296 0 0
T17 3501 3452 0 0
T18 787 747 0 0
T19 38591 5012 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
00CoveredT5,T6,T7
01CoveredT4,T19,T3
10CoveredT1,T4,T2

 LINE       109
 EXPRESSION (src_busy_q & ((!src_ack)))
             -----1----   ------2-----
-1--2-StatusTests
01CoveredT5,T6,T7
10CoveredT1,T4,T2
11CoveredT1,T4,T2

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

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

 LINE       125
 SUB-EXPRESSION (src_update && ((!busy)))
                 -----1----    ----2----
-1--2-StatusTests
01CoveredT5,T6,T7
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 T5,T6,T7
0 1 - Covered T1,T4,T2
0 0 1 Covered T1,T4,T2
0 0 0 Covered T5,T6,T7


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


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 172081157 117670 0 0
DstReqKnown_A 484923783 480407111 0 0
SrcAckBusyChk_A 172081157 32270 0 0
SrcBusyKnown_A 172081157 169354610 0 0


BusySrcReqChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 172081157 117670 0 0
T1 215101 224 0 0
T2 212066 188 0 0
T3 0 603 0 0
T4 41649 150 0 0
T9 0 114 0 0
T10 0 1000 0 0
T11 0 75 0 0
T12 0 2960 0 0
T16 1358 0 0 0
T17 3501 0 0 0
T18 787 0 0 0
T19 38591 170 0 0
T20 1435 0 0 0
T21 1567 0 0 0
T22 2336 0 0 0
T23 0 178 0 0

DstReqKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 484923783 480407111 0 0
T1 215101 214870 0 0
T2 203578 203388 0 0
T4 41649 2586 0 0
T5 3719 3625 0 0
T6 1725 1508 0 0
T7 1380 1149 0 0
T16 2962 2827 0 0
T17 13448 13259 0 0
T18 3153 2990 0 0
T19 74094 9600 0 0

SrcAckBusyChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 172081157 32270 0 0
T1 215101 38 0 0
T2 212066 36 0 0
T3 0 243 0 0
T4 41649 24 0 0
T9 0 22 0 0
T10 0 198 0 0
T11 0 14 0 0
T12 0 494 0 0
T16 1358 0 0 0
T17 3501 0 0 0
T18 787 0 0 0
T19 38591 48 0 0
T20 1435 0 0 0
T21 1567 0 0 0
T22 2336 0 0 0
T23 0 72 0 0

SrcBusyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 172081157 169354610 0 0
T1 215101 214870 0 0
T2 212066 211869 0 0
T4 41649 2586 0 0
T5 929 906 0 0
T6 1779 1555 0 0
T7 1535 1294 0 0
T16 1358 1296 0 0
T17 3501 3452 0 0
T18 787 747 0 0
T19 38591 5012 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
00CoveredT5,T6,T7
01CoveredT4,T19,T3
10CoveredT1,T4,T2

 LINE       109
 EXPRESSION (src_busy_q & ((!src_ack)))
             -----1----   ------2-----
-1--2-StatusTests
01CoveredT5,T6,T7
10CoveredT1,T4,T2
11CoveredT1,T4,T2

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

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

 LINE       125
 SUB-EXPRESSION (src_update && ((!busy)))
                 -----1----    ----2----
-1--2-StatusTests
01CoveredT5,T6,T7
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 T5,T6,T7
0 1 - Covered T1,T4,T2
0 0 1 Covered T1,T4,T2
0 0 0 Covered T5,T6,T7


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


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 172081157 171805 0 0
DstReqKnown_A 241607447 240469950 0 0
SrcAckBusyChk_A 172081157 32460 0 0
SrcBusyKnown_A 172081157 169354610 0 0


BusySrcReqChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 172081157 171805 0 0
T1 215101 318 0 0
T2 212066 302 0 0
T3 0 797 0 0
T4 41649 210 0 0
T9 0 179 0 0
T10 0 1601 0 0
T11 0 118 0 0
T12 0 4188 0 0
T16 1358 0 0 0
T17 3501 0 0 0
T18 787 0 0 0
T19 38591 245 0 0
T20 1435 0 0 0
T21 1567 0 0 0
T22 2336 0 0 0
T23 0 250 0 0

DstReqKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 241607447 240469950 0 0
T1 107483 107435 0 0
T2 101749 101694 0 0
T4 13103 1295 0 0
T5 1858 1837 0 0
T6 889 834 0 0
T7 623 575 0 0
T16 1441 1413 0 0
T17 6671 6630 0 0
T18 1530 1495 0 0
T19 21178 4803 0 0

SrcAckBusyChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 172081157 32460 0 0
T1 215101 38 0 0
T2 212066 36 0 0
T3 0 243 0 0
T4 41649 24 0 0
T9 0 22 0 0
T10 0 198 0 0
T11 0 14 0 0
T12 0 494 0 0
T16 1358 0 0 0
T17 3501 0 0 0
T18 787 0 0 0
T19 38591 48 0 0
T20 1435 0 0 0
T21 1567 0 0 0
T22 2336 0 0 0
T23 0 72 0 0

SrcBusyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 172081157 169354610 0 0
T1 215101 214870 0 0
T2 212066 211869 0 0
T4 41649 2586 0 0
T5 929 906 0 0
T6 1779 1555 0 0
T7 1535 1294 0 0
T16 1358 1296 0 0
T17 3501 3452 0 0
T18 787 747 0 0
T19 38591 5012 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
00CoveredT5,T6,T7
01CoveredT4,T19,T3
10CoveredT1,T4,T2

 LINE       109
 EXPRESSION (src_busy_q & ((!src_ack)))
             -----1----   ------2-----
-1--2-StatusTests
01CoveredT5,T6,T7
10CoveredT1,T4,T2
11CoveredT1,T4,T2

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

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

 LINE       125
 SUB-EXPRESSION (src_update && ((!busy)))
                 -----1----    ----2----
-1--2-StatusTests
01CoveredT5,T6,T7
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 T5,T6,T7
0 1 - Covered T1,T4,T2
0 0 1 Covered T1,T4,T2
0 0 0 Covered T5,T6,T7


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


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 172081157 276476 0 0
DstReqKnown_A 120803144 120234462 0 0
SrcAckBusyChk_A 172081157 32400 0 0
SrcBusyKnown_A 172081157 169354610 0 0


BusySrcReqChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 172081157 276476 0 0
T1 215101 554 0 0
T2 212066 528 0 0
T3 0 1128 0 0
T4 41649 370 0 0
T9 0 324 0 0
T10 0 2802 0 0
T11 0 205 0 0
T12 0 7233 0 0
T16 1358 0 0 0
T17 3501 0 0 0
T18 787 0 0 0
T19 38591 394 0 0
T20 1435 0 0 0
T21 1567 0 0 0
T22 2336 0 0 0
T23 0 356 0 0

DstReqKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 120803144 120234462 0 0
T1 53742 53718 0 0
T2 50875 50847 0 0
T4 6551 647 0 0
T5 929 919 0 0
T6 444 416 0 0
T7 311 287 0 0
T16 721 707 0 0
T17 3335 3314 0 0
T18 765 748 0 0
T19 10589 2401 0 0

SrcAckBusyChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 172081157 32400 0 0
T1 215101 38 0 0
T2 212066 36 0 0
T3 0 243 0 0
T4 41649 24 0 0
T9 0 22 0 0
T10 0 198 0 0
T11 0 14 0 0
T12 0 494 0 0
T16 1358 0 0 0
T17 3501 0 0 0
T18 787 0 0 0
T19 38591 48 0 0
T20 1435 0 0 0
T21 1567 0 0 0
T22 2336 0 0 0
T23 0 72 0 0

SrcBusyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 172081157 169354610 0 0
T1 215101 214870 0 0
T2 212066 211869 0 0
T4 41649 2586 0 0
T5 929 906 0 0
T6 1779 1555 0 0
T7 1535 1294 0 0
T16 1358 1296 0 0
T17 3501 3452 0 0
T18 787 747 0 0
T19 38591 5012 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
00CoveredT5,T6,T7
01CoveredT4,T19,T3
10CoveredT1,T4,T2

 LINE       109
 EXPRESSION (src_busy_q & ((!src_ack)))
             -----1----   ------2-----
-1--2-StatusTests
01CoveredT5,T6,T7
10CoveredT1,T4,T2
11CoveredT1,T4,T2

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

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

 LINE       125
 SUB-EXPRESSION (src_update && ((!busy)))
                 -----1----    ----2----
-1--2-StatusTests
01CoveredT5,T6,T7
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 T5,T6,T7
0 1 - Covered T1,T4,T2
0 0 1 Covered T1,T4,T2
0 0 0 Covered T5,T6,T7


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


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 172081157 117247 0 0
DstReqKnown_A 517331750 512588991 0 0
SrcAckBusyChk_A 172081157 32512 0 0
SrcBusyKnown_A 172081157 169354610 0 0


BusySrcReqChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 172081157 117247 0 0
T1 215101 181 0 0
T2 212066 218 0 0
T3 0 603 0 0
T4 41649 125 0 0
T9 0 132 0 0
T10 0 1168 0 0
T11 0 84 0 0
T12 0 2413 0 0
T16 1358 0 0 0
T17 3501 0 0 0
T18 787 0 0 0
T19 38591 168 0 0
T20 1435 0 0 0
T21 1567 0 0 0
T22 2336 0 0 0
T23 0 178 0 0

DstReqKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 517331750 512588991 0 0
T1 224071 223830 0 0
T2 212066 211869 0 0
T4 43387 2689 0 0
T5 3874 3776 0 0
T6 1797 1571 0 0
T7 1422 1181 0 0
T16 3086 2945 0 0
T17 14009 13811 0 0
T18 3284 3115 0 0
T19 77184 10001 0 0

SrcAckBusyChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 172081157 32512 0 0
T1 215101 38 0 0
T2 212066 36 0 0
T3 0 243 0 0
T4 41649 24 0 0
T9 0 22 0 0
T10 0 198 0 0
T11 0 14 0 0
T12 0 494 0 0
T16 1358 0 0 0
T17 3501 0 0 0
T18 787 0 0 0
T19 38591 48 0 0
T20 1435 0 0 0
T21 1567 0 0 0
T22 2336 0 0 0
T23 0 72 0 0

SrcBusyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 172081157 169354610 0 0
T1 215101 214870 0 0
T2 212066 211869 0 0
T4 41649 2586 0 0
T5 929 906 0 0
T6 1779 1555 0 0
T7 1535 1294 0 0
T16 1358 1296 0 0
T17 3501 3452 0 0
T18 787 747 0 0
T19 38591 5012 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
00CoveredT5,T6,T7
01CoveredT4,T19,T3
10CoveredT1,T4,T2

 LINE       109
 EXPRESSION (src_busy_q & ((!src_ack)))
             -----1----   ------2-----
-1--2-StatusTests
01CoveredT5,T6,T7
10CoveredT1,T4,T2
11CoveredT1,T4,T2

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

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

 LINE       125
 SUB-EXPRESSION (src_update && ((!busy)))
                 -----1----    ----2----
-1--2-StatusTests
01CoveredT5,T6,T7
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 T5,T6,T7
0 1 - Covered T1,T4,T2
0 0 1 Covered T1,T4,T2
0 0 0 Covered T5,T6,T7


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


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 172081157 170757 0 0
DstReqKnown_A 248159240 245892627 0 0
SrcAckBusyChk_A 172081157 32223 0 0
SrcBusyKnown_A 172081157 169354610 0 0


BusySrcReqChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 172081157 170757 0 0
T1 215101 297 0 0
T2 212066 298 0 0
T3 0 811 0 0
T4 41649 168 0 0
T9 0 182 0 0
T10 0 1600 0 0
T11 0 119 0 0
T12 0 3948 0 0
T16 1358 0 0 0
T17 3501 0 0 0
T18 787 0 0 0
T19 38591 246 0 0
T20 1435 0 0 0
T21 1567 0 0 0
T22 2336 0 0 0
T23 0 248 0 0

DstReqKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 248159240 245892627 0 0
T1 107555 107440 0 0
T2 101793 101699 0 0
T4 20825 1291 0 0
T5 1859 1813 0 0
T6 862 754 0 0
T7 697 582 0 0
T16 1481 1414 0 0
T17 6725 6630 0 0
T18 1576 1495 0 0
T19 37049 4800 0 0

SrcAckBusyChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 172081157 32223 0 0
T1 215101 38 0 0
T2 212066 36 0 0
T3 0 243 0 0
T4 41649 18 0 0
T9 0 22 0 0
T10 0 198 0 0
T11 0 14 0 0
T12 0 494 0 0
T16 1358 0 0 0
T17 3501 0 0 0
T18 787 0 0 0
T19 38591 47 0 0
T20 1435 0 0 0
T21 1567 0 0 0
T22 2336 0 0 0
T23 0 69 0 0

SrcBusyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 172081157 169354610 0 0
T1 215101 214870 0 0
T2 212066 211869 0 0
T4 41649 2586 0 0
T5 929 906 0 0
T6 1779 1555 0 0
T7 1535 1294 0 0
T16 1358 1296 0 0
T17 3501 3452 0 0
T18 787 747 0 0
T19 38591 5012 0 0

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