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
00CoveredT1,T6,T7
01CoveredT1,T4,T2
10CoveredT1,T4,T5

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

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

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

 LINE       125
 SUB-EXPRESSION (src_update && ((!busy)))
                 -----1----    ----2----
-1--2-StatusTests
01CoveredT1,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 T1,T6,T7
0 1 - Covered T1,T4,T5
0 0 1 Covered T1,T4,T5
0 0 0 Covered T1,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 T1,T6,T7
0 1 - Covered T1,T4,T5
0 0 1 Covered T1,T4,T5
0 0 0 Covered T1,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 1513793850 1304689 0 0
DstReqKnown_A 2147483647 2147483647 0 0
SrcAckBusyChk_A 1513793850 277591 0 0
SrcBusyKnown_A 1513793850 1489041740 0 0


BusySrcReqChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1513793850 1304689 0 0
T1 5346960 22349 0 0
T2 2393180 15092 0 0
T3 0 14272 0 0
T4 775210 2858 0 0
T5 935800 1603 0 0
T6 21240 0 0 0
T7 23450 0 0 0
T10 0 17506 0 0
T11 0 21388 0 0
T17 17150 0 0 0
T18 13130 0 0 0
T19 15490 0 0 0
T20 8470 0 0 0
T21 0 724 0 0
T22 0 2376 0 0
T23 0 991 0 0

DstReqKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 2147483647 2147483647 0 0
T1 2437556 2435844 0 0
T2 2893812 2883788 0 0
T4 445076 38410 0 0
T5 1049650 1048820 0 0
T6 57968 57240 0 0
T7 15452 14042 0 0
T17 10070 8732 0 0
T18 8260 7770 0 0
T19 9708 8370 0 0
T20 41118 40466 0 0

SrcAckBusyChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1513793850 277591 0 0
T1 5346960 6710 0 0
T2 2393180 2950 0 0
T3 0 4205 0 0
T4 775210 342 0 0
T5 935800 320 0 0
T6 21240 0 0 0
T7 23450 0 0 0
T10 0 3440 0 0
T11 0 2680 0 0
T17 17150 0 0 0
T18 13130 0 0 0
T19 15490 0 0 0
T20 8470 0 0 0
T21 0 85 0 0
T22 0 280 0 0
T23 0 180 0 0

SrcBusyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1513793850 1489041740 0 0
T1 5346960 5342180 0 0
T2 2393180 2382410 0 0
T4 775210 60170 0 0
T5 935800 935130 0 0
T6 21240 20900 0 0
T7 23450 20950 0 0
T17 17150 14750 0 0
T18 13130 12300 0 0
T19 15490 13110 0 0
T20 8470 8330 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
00CoveredT1,T6,T7
01Unreachable
10CoveredT1,T4,T5

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

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

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

 LINE       125
 SUB-EXPRESSION (src_update && ((!busy)))
                 -----1----    ----2----
-1--2-StatusTests
01CoveredT1,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 T1,T6,T7
0 1 - Covered T1,T4,T5
0 0 1 Covered T1,T4,T5
0 0 0 Covered T1,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 T1,T6,T7
0 1 - Covered T1,T4,T5
0 0 1 Covered T1,T4,T5
0 0 0 Covered T1,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 151379385 82213 0 0
DstReqKnown_A 459466602 455041681 0 0
SrcAckBusyChk_A 151379385 24926 0 0
SrcBusyKnown_A 151379385 148904174 0 0


BusySrcReqChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 151379385 82213 0 0
T1 534696 1652 0 0
T2 239318 1042 0 0
T3 0 1036 0 0
T4 77521 124 0 0
T5 93580 109 0 0
T6 2124 0 0 0
T7 2345 0 0 0
T10 0 1220 0 0
T11 0 1326 0 0
T17 1715 0 0 0
T18 1313 0 0 0
T19 1549 0 0 0
T20 847 0 0 0
T21 0 30 0 0
T22 0 144 0 0
T23 0 66 0 0

DstReqKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 459466602 455041681 0 0
T1 219137 218937 0 0
T2 429532 428032 0 0
T4 75169 5833 0 0
T5 146833 146698 0 0
T6 8498 8363 0 0
T7 2297 2052 0 0
T17 1557 1326 0 0
T18 1260 1180 0 0
T19 1502 1271 0 0
T20 6255 6147 0 0

SrcAckBusyChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 151379385 24926 0 0
T1 534696 666 0 0
T2 239318 291 0 0
T3 0 415 0 0
T4 77521 24 0 0
T5 93580 32 0 0
T6 2124 0 0 0
T7 2345 0 0 0
T10 0 341 0 0
T11 0 265 0 0
T17 1715 0 0 0
T18 1313 0 0 0
T19 1549 0 0 0
T20 847 0 0 0
T21 0 6 0 0
T22 0 28 0 0
T23 0 18 0 0

SrcBusyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 151379385 148904174 0 0
T1 534696 534218 0 0
T2 239318 238241 0 0
T4 77521 6017 0 0
T5 93580 93513 0 0
T6 2124 2090 0 0
T7 2345 2095 0 0
T17 1715 1475 0 0
T18 1313 1230 0 0
T19 1549 1311 0 0
T20 847 833 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
00CoveredT1,T6,T7
01Unreachable
10CoveredT1,T4,T5

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

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

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

 LINE       125
 SUB-EXPRESSION (src_update && ((!busy)))
                 -----1----    ----2----
-1--2-StatusTests
01CoveredT1,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 T1,T6,T7
0 1 - Covered T1,T4,T5
0 0 1 Covered T1,T4,T5
0 0 0 Covered T1,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 T1,T6,T7
0 1 - Covered T1,T4,T5
0 0 1 Covered T1,T4,T5
0 0 0 Covered T1,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 151379385 116972 0 0
DstReqKnown_A 228902074 227805708 0 0
SrcAckBusyChk_A 151379385 24926 0 0
SrcBusyKnown_A 151379385 148904174 0 0


BusySrcReqChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 151379385 116972 0 0
T1 534696 2291 0 0
T2 239318 1493 0 0
T3 0 1451 0 0
T4 77521 200 0 0
T5 93580 154 0 0
T6 2124 0 0 0
T7 2345 0 0 0
T10 0 1740 0 0
T11 0 2117 0 0
T17 1715 0 0 0
T18 1313 0 0 0
T19 1549 0 0 0
T20 847 0 0 0
T21 0 49 0 0
T22 0 230 0 0
T23 0 96 0 0

DstReqKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 228902074 227805708 0 0
T1 109631 109573 0 0
T2 214473 214127 0 0
T4 20987 2918 0 0
T5 73397 73349 0 0
T6 4924 4910 0 0
T7 1260 1205 0 0
T17 718 663 0 0
T18 618 590 0 0
T19 691 636 0 0
T20 3108 3073 0 0

SrcAckBusyChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 151379385 24926 0 0
T1 534696 666 0 0
T2 239318 291 0 0
T3 0 415 0 0
T4 77521 24 0 0
T5 93580 32 0 0
T6 2124 0 0 0
T7 2345 0 0 0
T10 0 341 0 0
T11 0 265 0 0
T17 1715 0 0 0
T18 1313 0 0 0
T19 1549 0 0 0
T20 847 0 0 0
T21 0 6 0 0
T22 0 28 0 0
T23 0 18 0 0

SrcBusyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 151379385 148904174 0 0
T1 534696 534218 0 0
T2 239318 238241 0 0
T4 77521 6017 0 0
T5 93580 93513 0 0
T6 2124 2090 0 0
T7 2345 2095 0 0
T17 1715 1475 0 0
T18 1313 1230 0 0
T19 1549 1311 0 0
T20 847 833 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
00CoveredT1,T6,T7
01Unreachable
10CoveredT1,T4,T5

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

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

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

 LINE       125
 SUB-EXPRESSION (src_update && ((!busy)))
                 -----1----    ----2----
-1--2-StatusTests
01CoveredT1,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 T1,T6,T7
0 1 - Covered T1,T4,T5
0 0 1 Covered T1,T4,T5
0 0 0 Covered T1,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 T1,T6,T7
0 1 - Covered T1,T4,T5
0 0 1 Covered T1,T4,T5
0 0 0 Covered T1,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 151379385 182477 0 0
DstReqKnown_A 114450406 113902334 0 0
SrcAckBusyChk_A 151379385 24926 0 0
SrcBusyKnown_A 151379385 148904174 0 0


BusySrcReqChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 151379385 182477 0 0
T1 534696 3225 0 0
T2 239318 2389 0 0
T3 0 2073 0 0
T4 77521 336 0 0
T5 93580 248 0 0
T6 2124 0 0 0
T7 2345 0 0 0
T10 0 2777 0 0
T11 0 3695 0 0
T17 1715 0 0 0
T18 1313 0 0 0
T19 1549 0 0 0
T20 847 0 0 0
T21 0 85 0 0
T22 0 406 0 0
T23 0 151 0 0

DstReqKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 114450406 113902334 0 0
T1 548158 547868 0 0
T2 107236 107063 0 0
T4 10494 1460 0 0
T5 36699 36675 0 0
T6 2460 2453 0 0
T7 629 601 0 0
T17 359 331 0 0
T18 309 295 0 0
T19 345 317 0 0
T20 1554 1537 0 0

SrcAckBusyChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 151379385 24926 0 0
T1 534696 666 0 0
T2 239318 291 0 0
T3 0 415 0 0
T4 77521 24 0 0
T5 93580 32 0 0
T6 2124 0 0 0
T7 2345 0 0 0
T10 0 341 0 0
T11 0 265 0 0
T17 1715 0 0 0
T18 1313 0 0 0
T19 1549 0 0 0
T20 847 0 0 0
T21 0 6 0 0
T22 0 28 0 0
T23 0 18 0 0

SrcBusyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 151379385 148904174 0 0
T1 534696 534218 0 0
T2 239318 238241 0 0
T4 77521 6017 0 0
T5 93580 93513 0 0
T6 2124 2090 0 0
T7 2345 2095 0 0
T17 1715 1475 0 0
T18 1313 1230 0 0
T19 1549 1311 0 0
T20 847 833 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
00CoveredT1,T6,T7
01Unreachable
10CoveredT1,T4,T5

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

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

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

 LINE       125
 SUB-EXPRESSION (src_update && ((!busy)))
                 -----1----    ----2----
-1--2-StatusTests
01CoveredT1,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 T1,T6,T7
0 1 - Covered T1,T4,T5
0 0 1 Covered T1,T4,T5
0 0 0 Covered T1,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 T1,T6,T7
0 1 - Covered T1,T4,T5
0 0 1 Covered T1,T4,T5
0 0 0 Covered T1,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 151379385 80429 0 0
DstReqKnown_A 489667687 485023528 0 0
SrcAckBusyChk_A 151379385 24926 0 0
SrcBusyKnown_A 151379385 148904174 0 0


BusySrcReqChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 151379385 80429 0 0
T1 534696 1652 0 0
T2 239318 1019 0 0
T3 0 1036 0 0
T4 77521 122 0 0
T5 93580 108 0 0
T6 2124 0 0 0
T7 2345 0 0 0
T10 0 1194 0 0
T11 0 1309 0 0
T17 1715 0 0 0
T18 1313 0 0 0
T19 1549 0 0 0
T20 847 0 0 0
T21 0 36 0 0
T22 0 170 0 0
T23 0 66 0 0

DstReqKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 489667687 485023528 0 0
T1 231155 230947 0 0
T2 470236 468276 0 0
T4 78303 6077 0 0
T5 182956 182815 0 0
T6 8853 8712 0 0
T7 2392 2137 0 0
T17 1613 1373 0 0
T18 1313 1230 0 0
T19 1565 1325 0 0
T20 6515 6403 0 0

SrcAckBusyChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 151379385 24926 0 0
T1 534696 666 0 0
T2 239318 291 0 0
T3 0 415 0 0
T4 77521 24 0 0
T5 93580 32 0 0
T6 2124 0 0 0
T7 2345 0 0 0
T10 0 341 0 0
T11 0 265 0 0
T17 1715 0 0 0
T18 1313 0 0 0
T19 1549 0 0 0
T20 847 0 0 0
T21 0 6 0 0
T22 0 28 0 0
T23 0 18 0 0

SrcBusyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 151379385 148904174 0 0
T1 534696 534218 0 0
T2 239318 238241 0 0
T4 77521 6017 0 0
T5 93580 93513 0 0
T6 2124 2090 0 0
T7 2345 2095 0 0
T17 1715 1475 0 0
T18 1313 1230 0 0
T19 1549 1311 0 0
T20 847 833 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
00CoveredT1,T6,T7
01Unreachable
10CoveredT1,T4,T5

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

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

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

 LINE       125
 SUB-EXPRESSION (src_update && ((!busy)))
                 -----1----    ----2----
-1--2-StatusTests
01CoveredT1,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 T1,T6,T7
0 1 - Covered T1,T4,T5
0 0 1 Covered T1,T4,T5
0 0 0 Covered T1,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 T1,T6,T7
0 1 - Covered T1,T4,T5
0 0 1 Covered T1,T4,T5
0 0 0 Covered T1,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 151379385 114048 0 0
DstReqKnown_A 235039008 232794885 0 0
SrcAckBusyChk_A 151379385 24431 0 0
SrcBusyKnown_A 151379385 148904174 0 0


BusySrcReqChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 151379385 114048 0 0
T1 534696 2287 0 0
T2 239318 1490 0 0
T3 0 1451 0 0
T4 77521 113 0 0
T5 93580 186 0 0
T6 2124 0 0 0
T7 2345 0 0 0
T10 0 1746 0 0
T11 0 2125 0 0
T17 1715 0 0 0
T18 1313 0 0 0
T19 1549 0 0 0
T20 847 0 0 0
T21 0 28 0 0
T22 0 242 0 0
T23 0 114 0 0

DstReqKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 235039008 232794885 0 0
T1 110697 110597 0 0
T2 225429 224396 0 0
T4 37585 2917 0 0
T5 84940 84873 0 0
T6 4249 4182 0 0
T7 1148 1026 0 0
T17 788 673 0 0
T18 630 590 0 0
T19 751 636 0 0
T20 3127 3073 0 0

SrcAckBusyChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 151379385 24431 0 0
T1 534696 666 0 0
T2 239318 291 0 0
T3 0 415 0 0
T4 77521 12 0 0
T5 93580 32 0 0
T6 2124 0 0 0
T7 2345 0 0 0
T10 0 341 0 0
T11 0 265 0 0
T17 1715 0 0 0
T18 1313 0 0 0
T19 1549 0 0 0
T20 847 0 0 0
T21 0 3 0 0
T22 0 28 0 0
T23 0 18 0 0

SrcBusyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 151379385 148904174 0 0
T1 534696 534218 0 0
T2 239318 238241 0 0
T4 77521 6017 0 0
T5 93580 93513 0 0
T6 2124 2090 0 0
T7 2345 2095 0 0
T17 1715 1475 0 0
T18 1313 1230 0 0
T19 1549 1311 0 0
T20 847 833 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
00CoveredT1,T6,T7
01CoveredT1,T4,T2
10CoveredT1,T4,T5

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

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

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

 LINE       125
 SUB-EXPRESSION (src_update && ((!busy)))
                 -----1----    ----2----
-1--2-StatusTests
01CoveredT1,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 T1,T6,T7
0 1 - Covered T1,T4,T5
0 0 1 Covered T1,T4,T5
0 0 0 Covered T1,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 T1,T6,T7
0 1 - Covered T1,T4,T5
0 0 1 Covered T1,T4,T5
0 0 0 Covered T1,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 151379385 103198 0 0
DstReqKnown_A 459466602 455041681 0 0
SrcAckBusyChk_A 151379385 30682 0 0
SrcBusyKnown_A 151379385 148904174 0 0


BusySrcReqChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 151379385 103198 0 0
T1 534696 1672 0 0
T2 239318 1062 0 0
T3 0 1062 0 0
T4 77521 246 0 0
T5 93580 109 0 0
T6 2124 0 0 0
T7 2345 0 0 0
T10 0 1230 0 0
T11 0 1357 0 0
T17 1715 0 0 0
T18 1313 0 0 0
T19 1549 0 0 0
T20 847 0 0 0
T21 0 61 0 0
T22 0 146 0 0
T23 0 66 0 0

DstReqKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 459466602 455041681 0 0
T1 219137 218937 0 0
T2 429532 428032 0 0
T4 75169 5833 0 0
T5 146833 146698 0 0
T6 8498 8363 0 0
T7 2297 2052 0 0
T17 1557 1326 0 0
T18 1260 1180 0 0
T19 1502 1271 0 0
T20 6255 6147 0 0

SrcAckBusyChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 151379385 30682 0 0
T1 534696 676 0 0
T2 239318 299 0 0
T3 0 426 0 0
T4 77521 48 0 0
T5 93580 32 0 0
T6 2124 0 0 0
T7 2345 0 0 0
T10 0 347 0 0
T11 0 271 0 0
T17 1715 0 0 0
T18 1313 0 0 0
T19 1549 0 0 0
T20 847 0 0 0
T21 0 12 0 0
T22 0 28 0 0
T23 0 18 0 0

SrcBusyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 151379385 148904174 0 0
T1 534696 534218 0 0
T2 239318 238241 0 0
T4 77521 6017 0 0
T5 93580 93513 0 0
T6 2124 2090 0 0
T7 2345 2095 0 0
T17 1715 1475 0 0
T18 1313 1230 0 0
T19 1549 1311 0 0
T20 847 833 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
00CoveredT1,T6,T7
01CoveredT1,T4,T2
10CoveredT1,T4,T5

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

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

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

 LINE       125
 SUB-EXPRESSION (src_update && ((!busy)))
                 -----1----    ----2----
-1--2-StatusTests
01CoveredT1,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 T1,T6,T7
0 1 - Covered T1,T4,T5
0 0 1 Covered T1,T4,T5
0 0 0 Covered T1,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 T1,T6,T7
0 1 - Covered T1,T4,T5
0 0 1 Covered T1,T4,T5
0 0 0 Covered T1,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 151379385 147009 0 0
DstReqKnown_A 228902074 227805708 0 0
SrcAckBusyChk_A 151379385 30766 0 0
SrcBusyKnown_A 151379385 148904174 0 0


BusySrcReqChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 151379385 147009 0 0
T1 534696 2322 0 0
T2 239318 1537 0 0
T3 0 1488 0 0
T4 77521 389 0 0
T5 93580 154 0 0
T6 2124 0 0 0
T7 2345 0 0 0
T10 0 1764 0 0
T11 0 2166 0 0
T17 1715 0 0 0
T18 1313 0 0 0
T19 1549 0 0 0
T20 847 0 0 0
T21 0 100 0 0
T22 0 235 0 0
T23 0 96 0 0

DstReqKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 228902074 227805708 0 0
T1 109631 109573 0 0
T2 214473 214127 0 0
T4 20987 2918 0 0
T5 73397 73349 0 0
T6 4924 4910 0 0
T7 1260 1205 0 0
T17 718 663 0 0
T18 618 590 0 0
T19 691 636 0 0
T20 3108 3073 0 0

SrcAckBusyChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 151379385 30766 0 0
T1 534696 676 0 0
T2 239318 299 0 0
T3 0 426 0 0
T4 77521 48 0 0
T5 93580 32 0 0
T6 2124 0 0 0
T7 2345 0 0 0
T10 0 347 0 0
T11 0 271 0 0
T17 1715 0 0 0
T18 1313 0 0 0
T19 1549 0 0 0
T20 847 0 0 0
T21 0 12 0 0
T22 0 28 0 0
T23 0 18 0 0

SrcBusyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 151379385 148904174 0 0
T1 534696 534218 0 0
T2 239318 238241 0 0
T4 77521 6017 0 0
T5 93580 93513 0 0
T6 2124 2090 0 0
T7 2345 2095 0 0
T17 1715 1475 0 0
T18 1313 1230 0 0
T19 1549 1311 0 0
T20 847 833 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
00CoveredT1,T6,T7
01CoveredT1,T4,T2
10CoveredT1,T4,T5

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

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

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

 LINE       125
 SUB-EXPRESSION (src_update && ((!busy)))
                 -----1----    ----2----
-1--2-StatusTests
01CoveredT1,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 T1,T6,T7
0 1 - Covered T1,T4,T5
0 0 1 Covered T1,T4,T5
0 0 0 Covered T1,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 T1,T6,T7
0 1 - Covered T1,T4,T5
0 0 1 Covered T1,T4,T5
0 0 0 Covered T1,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 151379385 232178 0 0
DstReqKnown_A 114450406 113902334 0 0
SrcAckBusyChk_A 151379385 30811 0 0
SrcBusyKnown_A 151379385 148904174 0 0


BusySrcReqChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 151379385 232178 0 0
T1 534696 3255 0 0
T2 239318 2478 0 0
T3 0 2125 0 0
T4 77521 705 0 0
T5 93580 243 0 0
T6 2124 0 0 0
T7 2345 0 0 0
T10 0 2859 0 0
T11 0 3795 0 0
T17 1715 0 0 0
T18 1313 0 0 0
T19 1549 0 0 0
T20 847 0 0 0
T21 0 173 0 0
T22 0 398 0 0
T23 0 157 0 0

DstReqKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 114450406 113902334 0 0
T1 548158 547868 0 0
T2 107236 107063 0 0
T4 10494 1460 0 0
T5 36699 36675 0 0
T6 2460 2453 0 0
T7 629 601 0 0
T17 359 331 0 0
T18 309 295 0 0
T19 345 317 0 0
T20 1554 1537 0 0

SrcAckBusyChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 151379385 30811 0 0
T1 534696 676 0 0
T2 239318 299 0 0
T3 0 426 0 0
T4 77521 48 0 0
T5 93580 32 0 0
T6 2124 0 0 0
T7 2345 0 0 0
T10 0 347 0 0
T11 0 271 0 0
T17 1715 0 0 0
T18 1313 0 0 0
T19 1549 0 0 0
T20 847 0 0 0
T21 0 12 0 0
T22 0 28 0 0
T23 0 18 0 0

SrcBusyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 151379385 148904174 0 0
T1 534696 534218 0 0
T2 239318 238241 0 0
T4 77521 6017 0 0
T5 93580 93513 0 0
T6 2124 2090 0 0
T7 2345 2095 0 0
T17 1715 1475 0 0
T18 1313 1230 0 0
T19 1549 1311 0 0
T20 847 833 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
00CoveredT1,T6,T7
01CoveredT1,T4,T2
10CoveredT1,T4,T5

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

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

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

 LINE       125
 SUB-EXPRESSION (src_update && ((!busy)))
                 -----1----    ----2----
-1--2-StatusTests
01CoveredT1,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 T1,T6,T7
0 1 - Covered T1,T4,T5
0 0 1 Covered T1,T4,T5
0 0 0 Covered T1,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 T1,T6,T7
0 1 - Covered T1,T4,T5
0 0 1 Covered T1,T4,T5
0 0 0 Covered T1,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 151379385 100813 0 0
DstReqKnown_A 489667687 485023528 0 0
SrcAckBusyChk_A 151379385 30756 0 0
SrcBusyKnown_A 151379385 148904174 0 0


BusySrcReqChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 151379385 100813 0 0
T1 534696 1672 0 0
T2 239318 1044 0 0
T3 0 1062 0 0
T4 77521 240 0 0
T5 93580 106 0 0
T6 2124 0 0 0
T7 2345 0 0 0
T10 0 1215 0 0
T11 0 1329 0 0
T17 1715 0 0 0
T18 1313 0 0 0
T19 1549 0 0 0
T20 847 0 0 0
T21 0 72 0 0
T22 0 170 0 0
T23 0 65 0 0

DstReqKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 489667687 485023528 0 0
T1 231155 230947 0 0
T2 470236 468276 0 0
T4 78303 6077 0 0
T5 182956 182815 0 0
T6 8853 8712 0 0
T7 2392 2137 0 0
T17 1613 1373 0 0
T18 1313 1230 0 0
T19 1565 1325 0 0
T20 6515 6403 0 0

SrcAckBusyChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 151379385 30756 0 0
T1 534696 676 0 0
T2 239318 299 0 0
T3 0 426 0 0
T4 77521 48 0 0
T5 93580 32 0 0
T6 2124 0 0 0
T7 2345 0 0 0
T10 0 347 0 0
T11 0 271 0 0
T17 1715 0 0 0
T18 1313 0 0 0
T19 1549 0 0 0
T20 847 0 0 0
T21 0 12 0 0
T22 0 28 0 0
T23 0 18 0 0

SrcBusyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 151379385 148904174 0 0
T1 534696 534218 0 0
T2 239318 238241 0 0
T4 77521 6017 0 0
T5 93580 93513 0 0
T6 2124 2090 0 0
T7 2345 2095 0 0
T17 1715 1475 0 0
T18 1313 1230 0 0
T19 1549 1311 0 0
T20 847 833 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
00CoveredT1,T6,T7
01CoveredT1,T4,T2
10CoveredT1,T4,T5

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

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

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

 LINE       125
 SUB-EXPRESSION (src_update && ((!busy)))
                 -----1----    ----2----
-1--2-StatusTests
01CoveredT1,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 T1,T6,T7
0 1 - Covered T1,T4,T5
0 0 1 Covered T1,T4,T5
0 0 0 Covered T1,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 T1,T6,T7
0 1 - Covered T1,T4,T5
0 0 1 Covered T1,T4,T5
0 0 0 Covered T1,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 151379385 145352 0 0
DstReqKnown_A 235039008 232794885 0 0
SrcAckBusyChk_A 151379385 30441 0 0
SrcBusyKnown_A 151379385 148904174 0 0


BusySrcReqChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 151379385 145352 0 0
T1 534696 2321 0 0
T2 239318 1538 0 0
T3 0 1488 0 0
T4 77521 383 0 0
T5 93580 186 0 0
T6 2124 0 0 0
T7 2345 0 0 0
T10 0 1761 0 0
T11 0 2169 0 0
T17 1715 0 0 0
T18 1313 0 0 0
T19 1549 0 0 0
T20 847 0 0 0
T21 0 90 0 0
T22 0 235 0 0
T23 0 114 0 0

DstReqKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 235039008 232794885 0 0
T1 110697 110597 0 0
T2 225429 224396 0 0
T4 37585 2917 0 0
T5 84940 84873 0 0
T6 4249 4182 0 0
T7 1148 1026 0 0
T17 788 673 0 0
T18 630 590 0 0
T19 751 636 0 0
T20 3127 3073 0 0

SrcAckBusyChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 151379385 30441 0 0
T1 534696 676 0 0
T2 239318 299 0 0
T3 0 426 0 0
T4 77521 42 0 0
T5 93580 32 0 0
T6 2124 0 0 0
T7 2345 0 0 0
T10 0 347 0 0
T11 0 271 0 0
T17 1715 0 0 0
T18 1313 0 0 0
T19 1549 0 0 0
T20 847 0 0 0
T21 0 10 0 0
T22 0 28 0 0
T23 0 18 0 0

SrcBusyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 151379385 148904174 0 0
T1 534696 534218 0 0
T2 239318 238241 0 0
T4 77521 6017 0 0
T5 93580 93513 0 0
T6 2124 2090 0 0
T7 2345 2095 0 0
T17 1715 1475 0 0
T18 1313 1230 0 0
T19 1549 1311 0 0
T20 847 833 0 0

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