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
100.00 100.00 100.00 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
100.00 100.00 100.00 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
100.00 100.00 100.00 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
100.00 100.00 100.00 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
100.00 100.00 100.00 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
100.00 100.00 100.00 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
100.00 100.00 100.00 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
100.00 100.00 100.00 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
100.00 100.00 100.00 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
100.00 100.00 100.00 100.00 100.00 u_reg


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

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


Cond Coverage for Module : prim_reg_cdc
TotalCoveredPercent
Conditions151386.67
Logical151386.67
Non-Logical00
Event00

 LINE       65
 EXPRESSION (src_we_i | src_re_i)
             ----1---   ----2---
-1--2-StatusTests
00CoveredT6,T7,T8
01CoveredT4,T12,T39
10CoveredT1,T5,T2

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

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

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

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

Branch Coverage for Module : prim_reg_cdc
Line No.TotalCoveredPercent
Branches 8 8 100.00
IF 71 4 4 100.00
IF 115 4 4 100.00

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

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

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


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

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


Assert Coverage for Module : prim_reg_cdc
TotalAttemptedPercentSucceeded/MatchedPercent
Assertions 4 4 100.00 4 100.00
Cover properties 0 0 0
Cover sequences 0 0 0
Total 4 4 100.00 4 100.00




Assertion Details

NameAttemptsReal SuccessesFailuresIncomplete
BusySrcReqChk_A 746328720 818247 0 0
DstReqKnown_A 1388470392 1364770450 0 0
SrcAckBusyChk_A 746328720 165701 0 0
SrcBusyKnown_A 746328720 726343780 0 0


BusySrcReqChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 746328720 818247 0 0
T1 865750 1359 0 0
T2 982320 1674 0 0
T3 62240 181 0 0
T4 363290 1761 0 0
T5 278150 597 0 0
T12 0 14735 0 0
T19 20700 0 0 0
T20 9810 0 0 0
T21 13010 0 0 0
T22 10640 0 0 0
T23 22210 0 0 0
T29 0 783 0 0
T32 0 3332 0 0
T35 0 2578 0 0
T36 0 540 0 0

DstReqKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1388470392 1364770450 0 0
T1 882390 881602 0 0
T6 86126 84720 0 0
T7 8030 7204 0 0
T8 37088 36362 0 0
T19 26356 25116 0 0
T24 11220 10660 0 0
T25 25120 23710 0 0
T26 13464 12718 0 0
T27 14858 13500 0 0
T28 12524 11494 0 0

SrcAckBusyChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 746328720 165701 0 0
T1 865750 240 0 0
T2 982320 340 0 0
T3 62240 80 0 0
T4 363290 548 0 0
T5 278150 180 0 0
T12 0 5085 0 0
T19 20700 0 0 0
T20 9810 0 0 0
T21 13010 0 0 0
T22 10640 0 0 0
T23 22210 0 0 0
T29 0 220 0 0
T32 0 400 0 0
T35 0 320 0 0
T36 0 200 0 0

SrcBusyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 746328720 726343780 0 0
T1 865750 864880 0 0
T6 32770 32170 0 0
T7 12680 11290 0 0
T8 13820 13480 0 0
T19 20700 19650 0 0
T24 17130 16190 0 0
T25 9210 8630 0 0
T26 20010 18710 0 0
T27 11410 10260 0 0
T28 10600 9780 0 0

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


Cond Coverage for Instance : tb.dut.u_reg.u_io_meas_ctrl_en_cdc
TotalCoveredPercent
Conditions141285.71
Logical141285.71
Non-Logical00
Event00

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

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

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

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

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

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

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

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

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


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

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


Assert Coverage for Instance : tb.dut.u_reg.u_io_meas_ctrl_en_cdc
TotalAttemptedPercentSucceeded/MatchedPercent
Assertions 4 4 100.00 4 100.00
Cover properties 0 0 0
Cover sequences 0 0 0
Total 4 4 100.00 4 100.00




Assertion Details

NameAttemptsReal SuccessesFailuresIncomplete
BusySrcReqChk_A 74632872 48006 0 0
DstReqKnown_A 208649243 204594583 0 0
SrcAckBusyChk_A 74632872 13897 0 0
SrcBusyKnown_A 74632872 72634378 0 0


BusySrcReqChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 74632872 48006 0 0
T1 86575 90 0 0
T2 98232 119 0 0
T3 6224 17 0 0
T4 36329 88 0 0
T5 27815 44 0 0
T12 0 1270 0 0
T19 2070 0 0 0
T20 981 0 0 0
T21 1301 0 0 0
T22 1064 0 0 0
T23 2221 0 0 0
T29 0 57 0 0
T32 0 206 0 0
T35 0 184 0 0
T36 0 54 0 0

DstReqKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 208649243 204594583 0 0
T1 134046 133912 0 0
T6 13113 12869 0 0
T7 1228 1094 0 0
T8 5530 5395 0 0
T19 3977 3773 0 0
T24 1713 1619 0 0
T25 3844 3599 0 0
T26 2067 1932 0 0
T27 2281 2050 0 0
T28 1919 1757 0 0

SrcAckBusyChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 74632872 13897 0 0
T1 86575 24 0 0
T2 98232 34 0 0
T3 6224 8 0 0
T4 36329 38 0 0
T5 27815 18 0 0
T12 0 506 0 0
T19 2070 0 0 0
T20 981 0 0 0
T21 1301 0 0 0
T22 1064 0 0 0
T23 2221 0 0 0
T29 0 22 0 0
T32 0 40 0 0
T35 0 32 0 0
T36 0 20 0 0

SrcBusyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 74632872 72634378 0 0
T1 86575 86488 0 0
T6 3277 3217 0 0
T7 1268 1129 0 0
T8 1382 1348 0 0
T19 2070 1965 0 0
T24 1713 1619 0 0
T25 921 863 0 0
T26 2001 1871 0 0
T27 1141 1026 0 0
T28 1060 978 0 0

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


Cond Coverage for Instance : tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc
TotalCoveredPercent
Conditions141285.71
Logical141285.71
Non-Logical00
Event00

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

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

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

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

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

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

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

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

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


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

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


Assert Coverage for Instance : tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc
TotalAttemptedPercentSucceeded/MatchedPercent
Assertions 4 4 100.00 4 100.00
Cover properties 0 0 0
Cover sequences 0 0 0
Total 4 4 100.00 4 100.00




Assertion Details

NameAttemptsReal SuccessesFailuresIncomplete
BusySrcReqChk_A 74632872 67847 0 0
DstReqKnown_A 103478370 102455141 0 0
SrcAckBusyChk_A 74632872 13897 0 0
SrcBusyKnown_A 74632872 72634378 0 0


BusySrcReqChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 74632872 67847 0 0
T1 86575 132 0 0
T2 98232 166 0 0
T3 6224 17 0 0
T4 36329 126 0 0
T5 27815 62 0 0
T12 0 1412 0 0
T19 2070 0 0 0
T20 981 0 0 0
T21 1301 0 0 0
T22 1064 0 0 0
T23 2221 0 0 0
T29 0 82 0 0
T32 0 326 0 0
T35 0 264 0 0
T36 0 54 0 0

DstReqKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 103478370 102455141 0 0
T1 66990 66956 0 0
T6 6489 6434 0 0
T7 595 547 0 0
T8 2993 2979 0 0
T19 2047 1978 0 0
T24 837 809 0 0
T25 1860 1805 0 0
T26 987 966 0 0
T27 1087 1025 0 0
T28 947 878 0 0

SrcAckBusyChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 74632872 13897 0 0
T1 86575 24 0 0
T2 98232 34 0 0
T3 6224 8 0 0
T4 36329 38 0 0
T5 27815 18 0 0
T12 0 506 0 0
T19 2070 0 0 0
T20 981 0 0 0
T21 1301 0 0 0
T22 1064 0 0 0
T23 2221 0 0 0
T29 0 22 0 0
T32 0 40 0 0
T35 0 32 0 0
T36 0 20 0 0

SrcBusyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 74632872 72634378 0 0
T1 86575 86488 0 0
T6 3277 3217 0 0
T7 1268 1129 0 0
T8 1382 1348 0 0
T19 2070 1965 0 0
T24 1713 1619 0 0
T25 921 863 0 0
T26 2001 1871 0 0
T27 1141 1026 0 0
T28 1060 978 0 0

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


Cond Coverage for Instance : tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc
TotalCoveredPercent
Conditions141285.71
Logical141285.71
Non-Logical00
Event00

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

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

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

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

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

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

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

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

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


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

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


Assert Coverage for Instance : tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc
TotalAttemptedPercentSucceeded/MatchedPercent
Assertions 4 4 100.00 4 100.00
Cover properties 0 0 0
Cover sequences 0 0 0
Total 4 4 100.00 4 100.00




Assertion Details

NameAttemptsReal SuccessesFailuresIncomplete
BusySrcReqChk_A 74632872 107461 0 0
DstReqKnown_A 51738788 51227286 0 0
SrcAckBusyChk_A 74632872 13897 0 0
SrcBusyKnown_A 74632872 72634378 0 0


BusySrcReqChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 74632872 107461 0 0
T1 86575 229 0 0
T2 98232 270 0 0
T3 6224 25 0 0
T4 36329 176 0 0
T5 27815 89 0 0
T12 0 1922 0 0
T19 2070 0 0 0
T20 981 0 0 0
T21 1301 0 0 0
T22 1064 0 0 0
T23 2221 0 0 0
T29 0 113 0 0
T32 0 582 0 0
T35 0 444 0 0
T36 0 54 0 0

DstReqKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 51738788 51227286 0 0
T1 33495 33478 0 0
T6 3245 3218 0 0
T7 298 274 0 0
T8 1496 1489 0 0
T19 1024 990 0 0
T24 419 405 0 0
T25 930 902 0 0
T26 493 483 0 0
T27 544 513 0 0
T28 474 440 0 0

SrcAckBusyChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 74632872 13897 0 0
T1 86575 24 0 0
T2 98232 34 0 0
T3 6224 8 0 0
T4 36329 38 0 0
T5 27815 18 0 0
T12 0 506 0 0
T19 2070 0 0 0
T20 981 0 0 0
T21 1301 0 0 0
T22 1064 0 0 0
T23 2221 0 0 0
T29 0 22 0 0
T32 0 40 0 0
T35 0 32 0 0
T36 0 20 0 0

SrcBusyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 74632872 72634378 0 0
T1 86575 86488 0 0
T6 3277 3217 0 0
T7 1268 1129 0 0
T8 1382 1348 0 0
T19 2070 1965 0 0
T24 1713 1619 0 0
T25 921 863 0 0
T26 2001 1871 0 0
T27 1141 1026 0 0
T28 1060 978 0 0

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


Cond Coverage for Instance : tb.dut.u_reg.u_main_meas_ctrl_en_cdc
TotalCoveredPercent
Conditions141285.71
Logical141285.71
Non-Logical00
Event00

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

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

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

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

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

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

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

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

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


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

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


Assert Coverage for Instance : tb.dut.u_reg.u_main_meas_ctrl_en_cdc
TotalAttemptedPercentSucceeded/MatchedPercent
Assertions 4 4 100.00 4 100.00
Cover properties 0 0 0
Cover sequences 0 0 0
Total 4 4 100.00 4 100.00




Assertion Details

NameAttemptsReal SuccessesFailuresIncomplete
BusySrcReqChk_A 74632872 46631 0 0
DstReqKnown_A 223220125 218987462 0 0
SrcAckBusyChk_A 74632872 13897 0 0
SrcBusyKnown_A 74632872 72634378 0 0


BusySrcReqChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 74632872 46631 0 0
T1 86575 89 0 0
T2 98232 117 0 0
T3 6224 17 0 0
T4 36329 88 0 0
T5 27815 43 0 0
T12 0 1270 0 0
T19 2070 0 0 0
T20 981 0 0 0
T21 1301 0 0 0
T22 1064 0 0 0
T23 2221 0 0 0
T29 0 55 0 0
T32 0 203 0 0
T35 0 148 0 0
T36 0 54 0 0

DstReqKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 223220125 218987462 0 0
T1 139637 139496 0 0
T6 13660 13405 0 0
T7 1280 1140 0 0
T8 5760 5620 0 0
T19 4142 3930 0 0
T24 1784 1687 0 0
T25 4004 3749 0 0
T26 2152 2012 0 0
T27 2376 2136 0 0
T28 1951 1782 0 0

SrcAckBusyChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 74632872 13897 0 0
T1 86575 24 0 0
T2 98232 34 0 0
T3 6224 8 0 0
T4 36329 38 0 0
T5 27815 18 0 0
T12 0 506 0 0
T19 2070 0 0 0
T20 981 0 0 0
T21 1301 0 0 0
T22 1064 0 0 0
T23 2221 0 0 0
T29 0 22 0 0
T32 0 40 0 0
T35 0 32 0 0
T36 0 20 0 0

SrcBusyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 74632872 72634378 0 0
T1 86575 86488 0 0
T6 3277 3217 0 0
T7 1268 1129 0 0
T8 1382 1348 0 0
T19 2070 1965 0 0
T24 1713 1619 0 0
T25 921 863 0 0
T26 2001 1871 0 0
T27 1141 1026 0 0
T28 1060 978 0 0

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


Cond Coverage for Instance : tb.dut.u_reg.u_usb_meas_ctrl_en_cdc
TotalCoveredPercent
Conditions141285.71
Logical141285.71
Non-Logical00
Event00

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

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

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

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

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

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

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

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

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


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

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


Assert Coverage for Instance : tb.dut.u_reg.u_usb_meas_ctrl_en_cdc
TotalAttemptedPercentSucceeded/MatchedPercent
Assertions 4 4 100.00 4 100.00
Cover properties 0 0 0
Cover sequences 0 0 0
Total 4 4 100.00 4 100.00




Assertion Details

NameAttemptsReal SuccessesFailuresIncomplete
BusySrcReqChk_A 74632872 65537 0 0
DstReqKnown_A 107148670 105120753 0 0
SrcAckBusyChk_A 74632872 13362 0 0
SrcBusyKnown_A 74632872 72634378 0 0


BusySrcReqChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 74632872 65537 0 0
T1 86575 133 0 0
T2 98232 166 0 0
T3 6224 17 0 0
T4 36329 81 0 0
T5 27815 62 0 0
T12 0 1429 0 0
T19 2070 0 0 0
T20 981 0 0 0
T21 1301 0 0 0
T22 1064 0 0 0
T23 2221 0 0 0
T29 0 82 0 0
T32 0 338 0 0
T35 0 243 0 0
T36 0 54 0 0

DstReqKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 107148670 105120753 0 0
T1 67027 66959 0 0
T6 6556 6434 0 0
T7 614 547 0 0
T8 2765 2698 0 0
T19 1988 1887 0 0
T24 857 810 0 0
T25 1922 1800 0 0
T26 1033 966 0 0
T27 1141 1026 0 0
T28 971 890 0 0

SrcAckBusyChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 74632872 13362 0 0
T1 86575 24 0 0
T2 98232 34 0 0
T3 6224 8 0 0
T4 36329 19 0 0
T5 27815 18 0 0
T12 0 506 0 0
T19 2070 0 0 0
T20 981 0 0 0
T21 1301 0 0 0
T22 1064 0 0 0
T23 2221 0 0 0
T29 0 22 0 0
T32 0 40 0 0
T35 0 32 0 0
T36 0 20 0 0

SrcBusyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 74632872 72634378 0 0
T1 86575 86488 0 0
T6 3277 3217 0 0
T7 1268 1129 0 0
T8 1382 1348 0 0
T19 2070 1965 0 0
T24 1713 1619 0 0
T25 921 863 0 0
T26 2001 1871 0 0
T27 1141 1026 0 0
T28 1060 978 0 0

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


Cond Coverage for Instance : tb.dut.u_reg.u_io_meas_ctrl_shadowed_cdc
TotalCoveredPercent
Conditions121191.67
Logical121191.67
Non-Logical00
Event00

 LINE       65
 EXPRESSION (src_we_i | src_re_i)
             ----1---   ----2---
-1--2-StatusTests
00CoveredT6,T7,T8
01CoveredT4,T12,T39
10CoveredT1,T5,T2

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

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

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

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

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

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

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

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


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

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


Assert Coverage for Instance : tb.dut.u_reg.u_io_meas_ctrl_shadowed_cdc
TotalAttemptedPercentSucceeded/MatchedPercent
Assertions 4 4 100.00 4 100.00
Cover properties 0 0 0
Cover sequences 0 0 0
Total 4 4 100.00 4 100.00




Assertion Details

NameAttemptsReal SuccessesFailuresIncomplete
BusySrcReqChk_A 74632872 68537 0 0
DstReqKnown_A 208649243 204594583 0 0
SrcAckBusyChk_A 74632872 19455 0 0
SrcBusyKnown_A 74632872 72634378 0 0


BusySrcReqChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 74632872 68537 0 0
T1 86575 91 0 0
T2 98232 118 0 0
T3 6224 16 0 0
T4 36329 175 0 0
T5 27815 43 0 0
T12 0 1287 0 0
T19 2070 0 0 0
T20 981 0 0 0
T21 1301 0 0 0
T22 1064 0 0 0
T23 2221 0 0 0
T29 0 59 0 0
T32 0 205 0 0
T35 0 184 0 0
T36 0 54 0 0

DstReqKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 208649243 204594583 0 0
T1 134046 133912 0 0
T6 13113 12869 0 0
T7 1228 1094 0 0
T8 5530 5395 0 0
T19 3977 3773 0 0
T24 1713 1619 0 0
T25 3844 3599 0 0
T26 2067 1932 0 0
T27 2281 2050 0 0
T28 1919 1757 0 0

SrcAckBusyChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 74632872 19455 0 0
T1 86575 24 0 0
T2 98232 34 0 0
T3 6224 8 0 0
T4 36329 76 0 0
T5 27815 18 0 0
T12 0 511 0 0
T19 2070 0 0 0
T20 981 0 0 0
T21 1301 0 0 0
T22 1064 0 0 0
T23 2221 0 0 0
T29 0 22 0 0
T32 0 40 0 0
T35 0 32 0 0
T36 0 20 0 0

SrcBusyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 74632872 72634378 0 0
T1 86575 86488 0 0
T6 3277 3217 0 0
T7 1268 1129 0 0
T8 1382 1348 0 0
T19 2070 1965 0 0
T24 1713 1619 0 0
T25 921 863 0 0
T26 2001 1871 0 0
T27 1141 1026 0 0
T28 1060 978 0 0

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


Cond Coverage for Instance : tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_cdc
TotalCoveredPercent
Conditions121191.67
Logical121191.67
Non-Logical00
Event00

 LINE       65
 EXPRESSION (src_we_i | src_re_i)
             ----1---   ----2---
-1--2-StatusTests
00CoveredT6,T7,T8
01CoveredT4,T12,T39
10CoveredT1,T5,T2

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

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

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

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

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

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

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

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


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

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


Assert Coverage for Instance : tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_cdc
TotalAttemptedPercentSucceeded/MatchedPercent
Assertions 4 4 100.00 4 100.00
Cover properties 0 0 0
Cover sequences 0 0 0
Total 4 4 100.00 4 100.00




Assertion Details

NameAttemptsReal SuccessesFailuresIncomplete
BusySrcReqChk_A 74632872 96594 0 0
DstReqKnown_A 103478370 102455141 0 0
SrcAckBusyChk_A 74632872 19346 0 0
SrcBusyKnown_A 74632872 72634378 0 0


BusySrcReqChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 74632872 96594 0 0
T1 86575 134 0 0
T2 98232 168 0 0
T3 6224 16 0 0
T4 36329 251 0 0
T5 27815 62 0 0
T12 0 1454 0 0
T19 2070 0 0 0
T20 981 0 0 0
T21 1301 0 0 0
T22 1064 0 0 0
T23 2221 0 0 0
T29 0 82 0 0
T32 0 343 0 0
T35 0 264 0 0
T36 0 54 0 0

DstReqKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 103478370 102455141 0 0
T1 66990 66956 0 0
T6 6489 6434 0 0
T7 595 547 0 0
T8 2993 2979 0 0
T19 2047 1978 0 0
T24 837 809 0 0
T25 1860 1805 0 0
T26 987 966 0 0
T27 1087 1025 0 0
T28 947 878 0 0

SrcAckBusyChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 74632872 19346 0 0
T1 86575 24 0 0
T2 98232 34 0 0
T3 6224 8 0 0
T4 36329 76 0 0
T5 27815 18 0 0
T12 0 511 0 0
T19 2070 0 0 0
T20 981 0 0 0
T21 1301 0 0 0
T22 1064 0 0 0
T23 2221 0 0 0
T29 0 22 0 0
T32 0 40 0 0
T35 0 32 0 0
T36 0 20 0 0

SrcBusyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 74632872 72634378 0 0
T1 86575 86488 0 0
T6 3277 3217 0 0
T7 1268 1129 0 0
T8 1382 1348 0 0
T19 2070 1965 0 0
T24 1713 1619 0 0
T25 921 863 0 0
T26 2001 1871 0 0
T27 1141 1026 0 0
T28 1060 978 0 0

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


Cond Coverage for Instance : tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_cdc
TotalCoveredPercent
Conditions121191.67
Logical121191.67
Non-Logical00
Event00

 LINE       65
 EXPRESSION (src_we_i | src_re_i)
             ----1---   ----2---
-1--2-StatusTests
00CoveredT6,T7,T8
01CoveredT4,T12,T39
10CoveredT1,T5,T2

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

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

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

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

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

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

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

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


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

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


Assert Coverage for Instance : tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_cdc
TotalAttemptedPercentSucceeded/MatchedPercent
Assertions 4 4 100.00 4 100.00
Cover properties 0 0 0
Cover sequences 0 0 0
Total 4 4 100.00 4 100.00




Assertion Details

NameAttemptsReal SuccessesFailuresIncomplete
BusySrcReqChk_A 74632872 154471 0 0
DstReqKnown_A 51738788 51227286 0 0
SrcAckBusyChk_A 74632872 19306 0 0
SrcBusyKnown_A 74632872 72634378 0 0


BusySrcReqChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 74632872 154471 0 0
T1 86575 234 0 0
T2 98232 270 0 0
T3 6224 24 0 0
T4 36329 350 0 0
T5 27815 87 0 0
T12 0 1962 0 0
T19 2070 0 0 0
T20 981 0 0 0
T21 1301 0 0 0
T22 1064 0 0 0
T23 2221 0 0 0
T29 0 114 0 0
T32 0 596 0 0
T35 0 458 0 0
T36 0 54 0 0

DstReqKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 51738788 51227286 0 0
T1 33495 33478 0 0
T6 3245 3218 0 0
T7 298 274 0 0
T8 1496 1489 0 0
T19 1024 990 0 0
T24 419 405 0 0
T25 930 902 0 0
T26 493 483 0 0
T27 544 513 0 0
T28 474 440 0 0

SrcAckBusyChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 74632872 19306 0 0
T1 86575 24 0 0
T2 98232 34 0 0
T3 6224 8 0 0
T4 36329 76 0 0
T5 27815 18 0 0
T12 0 511 0 0
T19 2070 0 0 0
T20 981 0 0 0
T21 1301 0 0 0
T22 1064 0 0 0
T23 2221 0 0 0
T29 0 22 0 0
T32 0 40 0 0
T35 0 32 0 0
T36 0 20 0 0

SrcBusyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 74632872 72634378 0 0
T1 86575 86488 0 0
T6 3277 3217 0 0
T7 1268 1129 0 0
T8 1382 1348 0 0
T19 2070 1965 0 0
T24 1713 1619 0 0
T25 921 863 0 0
T26 2001 1871 0 0
T27 1141 1026 0 0
T28 1060 978 0 0

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


Cond Coverage for Instance : tb.dut.u_reg.u_main_meas_ctrl_shadowed_cdc
TotalCoveredPercent
Conditions121191.67
Logical121191.67
Non-Logical00
Event00

 LINE       65
 EXPRESSION (src_we_i | src_re_i)
             ----1---   ----2---
-1--2-StatusTests
00CoveredT6,T7,T8
01CoveredT4,T12,T39
10CoveredT1,T5,T2

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

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

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

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

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

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

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

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


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

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


Assert Coverage for Instance : tb.dut.u_reg.u_main_meas_ctrl_shadowed_cdc
TotalAttemptedPercentSucceeded/MatchedPercent
Assertions 4 4 100.00 4 100.00
Cover properties 0 0 0
Cover sequences 0 0 0
Total 4 4 100.00 4 100.00




Assertion Details

NameAttemptsReal SuccessesFailuresIncomplete
BusySrcReqChk_A 74632872 66512 0 0
DstReqKnown_A 223220125 218987462 0 0
SrcAckBusyChk_A 74632872 19425 0 0
SrcBusyKnown_A 74632872 72634378 0 0


BusySrcReqChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 74632872 66512 0 0
T1 86575 91 0 0
T2 98232 114 0 0
T3 6224 16 0 0
T4 36329 175 0 0
T5 27815 43 0 0
T12 0 1287 0 0
T19 2070 0 0 0
T20 981 0 0 0
T21 1301 0 0 0
T22 1064 0 0 0
T23 2221 0 0 0
T29 0 57 0 0
T32 0 201 0 0
T35 0 146 0 0
T36 0 54 0 0

DstReqKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 223220125 218987462 0 0
T1 139637 139496 0 0
T6 13660 13405 0 0
T7 1280 1140 0 0
T8 5760 5620 0 0
T19 4142 3930 0 0
T24 1784 1687 0 0
T25 4004 3749 0 0
T26 2152 2012 0 0
T27 2376 2136 0 0
T28 1951 1782 0 0

SrcAckBusyChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 74632872 19425 0 0
T1 86575 24 0 0
T2 98232 34 0 0
T3 6224 8 0 0
T4 36329 76 0 0
T5 27815 18 0 0
T12 0 511 0 0
T19 2070 0 0 0
T20 981 0 0 0
T21 1301 0 0 0
T22 1064 0 0 0
T23 2221 0 0 0
T29 0 22 0 0
T32 0 40 0 0
T35 0 32 0 0
T36 0 20 0 0

SrcBusyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 74632872 72634378 0 0
T1 86575 86488 0 0
T6 3277 3217 0 0
T7 1268 1129 0 0
T8 1382 1348 0 0
T19 2070 1965 0 0
T24 1713 1619 0 0
T25 921 863 0 0
T26 2001 1871 0 0
T27 1141 1026 0 0
T28 1060 978 0 0

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


Cond Coverage for Instance : tb.dut.u_reg.u_usb_meas_ctrl_shadowed_cdc
TotalCoveredPercent
Conditions121191.67
Logical121191.67
Non-Logical00
Event00

 LINE       65
 EXPRESSION (src_we_i | src_re_i)
             ----1---   ----2---
-1--2-StatusTests
00CoveredT6,T7,T8
01CoveredT4,T12,T39
10CoveredT1,T5,T2

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

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

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

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

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

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

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

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


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

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


Assert Coverage for Instance : tb.dut.u_reg.u_usb_meas_ctrl_shadowed_cdc
TotalAttemptedPercentSucceeded/MatchedPercent
Assertions 4 4 100.00 4 100.00
Cover properties 0 0 0
Cover sequences 0 0 0
Total 4 4 100.00 4 100.00




Assertion Details

NameAttemptsReal SuccessesFailuresIncomplete
BusySrcReqChk_A 74632872 96651 0 0
DstReqKnown_A 107148670 105120753 0 0
SrcAckBusyChk_A 74632872 19219 0 0
SrcBusyKnown_A 74632872 72634378 0 0


BusySrcReqChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 74632872 96651 0 0
T1 86575 136 0 0
T2 98232 166 0 0
T3 6224 16 0 0
T4 36329 251 0 0
T5 27815 62 0 0
T12 0 1442 0 0
T19 2070 0 0 0
T20 981 0 0 0
T21 1301 0 0 0
T22 1064 0 0 0
T23 2221 0 0 0
T29 0 82 0 0
T32 0 332 0 0
T35 0 243 0 0
T36 0 54 0 0

DstReqKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 107148670 105120753 0 0
T1 67027 66959 0 0
T6 6556 6434 0 0
T7 614 547 0 0
T8 2765 2698 0 0
T19 1988 1887 0 0
T24 857 810 0 0
T25 1922 1800 0 0
T26 1033 966 0 0
T27 1141 1026 0 0
T28 971 890 0 0

SrcAckBusyChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 74632872 19219 0 0
T1 86575 24 0 0
T2 98232 34 0 0
T3 6224 8 0 0
T4 36329 73 0 0
T5 27815 18 0 0
T12 0 511 0 0
T19 2070 0 0 0
T20 981 0 0 0
T21 1301 0 0 0
T22 1064 0 0 0
T23 2221 0 0 0
T29 0 22 0 0
T32 0 40 0 0
T35 0 32 0 0
T36 0 20 0 0

SrcBusyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 74632872 72634378 0 0
T1 86575 86488 0 0
T6 3277 3217 0 0
T7 1268 1129 0 0
T8 1382 1348 0 0
T19 2070 1965 0 0
T24 1713 1619 0 0
T25 921 863 0 0
T26 2001 1871 0 0
T27 1141 1026 0 0
T28 1060 978 0 0

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