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

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

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

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

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

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

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

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

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


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

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


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




Assertion Details

NameAttemptsReal SuccessesFailuresIncomplete
BusySrcReqChk_A 1674716290 1515549 0 0
DstReqKnown_A 2147483647 2147483647 0 0
SrcAckBusyChk_A 1674716290 293606 0 0
SrcBusyKnown_A 1674716290 1649809380 0 0


BusySrcReqChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1674716290 1515549 0 0
T1 452550 902 0 0
T2 0 15942 0 0
T3 0 7960 0 0
T4 1390270 5099 0 0
T9 0 42106 0 0
T10 0 35906 0 0
T11 0 1107 0 0
T16 15250 0 0 0
T17 26960 0 0 0
T23 12250 0 0 0
T24 14150 0 0 0
T25 22750 0 0 0
T26 32450 0 0 0
T27 36670 0 0 0
T31 0 3936 0 0
T32 0 896 0 0
T33 0 707 0 0
T35 14050 0 0 0

DstReqKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 2147483647 2147483647 0 0
T4 792220 75000 0 0
T5 63348 62470 0 0
T6 13366 13056 0 0
T7 17808 16658 0 0
T22 13290 12526 0 0
T23 72974 72144 0 0
T24 9230 8164 0 0
T25 205244 203956 0 0
T26 21018 20342 0 0
T27 23200 21974 0 0

SrcAckBusyChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1674716290 293606 0 0
T1 452550 280 0 0
T2 0 4270 0 0
T3 0 2980 0 0
T4 1390270 580 0 0
T9 0 5300 0 0
T10 0 7105 0 0
T11 0 140 0 0
T16 15250 0 0 0
T17 26960 0 0 0
T23 12250 0 0 0
T24 14150 0 0 0
T25 22750 0 0 0
T26 32450 0 0 0
T27 36670 0 0 0
T31 0 860 0 0
T32 0 260 0 0
T33 0 140 0 0
T35 14050 0 0 0

SrcBusyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1674716290 1649809380 0 0
T4 1390270 118780 0 0
T5 16620 16360 0 0
T6 20490 19950 0 0
T7 24930 23190 0 0
T22 20370 19030 0 0
T23 12250 12100 0 0
T24 14150 12260 0 0
T25 22750 22600 0 0
T26 32450 31230 0 0
T27 36670 34430 0 0

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


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

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

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

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

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

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

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

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

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

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


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

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


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




Assertion Details

NameAttemptsReal SuccessesFailuresIncomplete
BusySrcReqChk_A 167471629 93976 0 0
DstReqKnown_A 423613386 419401432 0 0
SrcAckBusyChk_A 167471629 26506 0 0
SrcBusyKnown_A 167471629 164980938 0 0


BusySrcReqChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 167471629 93976 0 0
T1 45255 68 0 0
T2 0 1187 0 0
T3 0 742 0 0
T4 139027 214 0 0
T9 0 2608 0 0
T10 0 2500 0 0
T11 0 67 0 0
T16 1525 0 0 0
T17 2696 0 0 0
T23 1225 0 0 0
T24 1415 0 0 0
T25 2275 0 0 0
T26 3245 0 0 0
T27 3667 0 0 0
T31 0 288 0 0
T32 0 66 0 0
T33 0 49 0 0
T35 1405 0 0 0

DstReqKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 423613386 419401432 0 0
T4 133462 11386 0 0
T5 9390 9242 0 0
T6 2007 1954 0 0
T7 2720 2530 0 0
T22 2037 1903 0 0
T23 10688 10554 0 0
T24 1415 1226 0 0
T25 31197 30980 0 0
T26 3211 3090 0 0
T27 3555 3338 0 0

SrcAckBusyChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 167471629 26506 0 0
T1 45255 28 0 0
T2 0 420 0 0
T3 0 295 0 0
T4 139027 40 0 0
T9 0 524 0 0
T10 0 705 0 0
T11 0 14 0 0
T16 1525 0 0 0
T17 2696 0 0 0
T23 1225 0 0 0
T24 1415 0 0 0
T25 2275 0 0 0
T26 3245 0 0 0
T27 3667 0 0 0
T31 0 86 0 0
T32 0 26 0 0
T33 0 14 0 0
T35 1405 0 0 0

SrcBusyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 167471629 164980938 0 0
T4 139027 11878 0 0
T5 1662 1636 0 0
T6 2049 1995 0 0
T7 2493 2319 0 0
T22 2037 1903 0 0
T23 1225 1210 0 0
T24 1415 1226 0 0
T25 2275 2260 0 0
T26 3245 3123 0 0
T27 3667 3443 0 0

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


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

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

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

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

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

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

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

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

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

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


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

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


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




Assertion Details

NameAttemptsReal SuccessesFailuresIncomplete
BusySrcReqChk_A 167471629 136182 0 0
DstReqKnown_A 211222398 210175667 0 0
SrcAckBusyChk_A 167471629 26506 0 0
SrcBusyKnown_A 167471629 164980938 0 0


BusySrcReqChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 167471629 136182 0 0
T1 45255 93 0 0
T2 0 1600 0 0
T3 0 742 0 0
T4 139027 344 0 0
T9 0 4173 0 0
T10 0 3566 0 0
T11 0 115 0 0
T16 1525 0 0 0
T17 2696 0 0 0
T23 1225 0 0 0
T24 1415 0 0 0
T25 2275 0 0 0
T26 3245 0 0 0
T27 3667 0 0 0
T31 0 389 0 0
T32 0 92 0 0
T33 0 70 0 0
T35 1405 0 0 0

DstReqKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 211222398 210175667 0 0
T4 37924 5695 0 0
T5 5206 5165 0 0
T6 1056 1042 0 0
T7 1327 1265 0 0
T22 979 952 0 0
T23 6214 6166 0 0
T24 678 644 0 0
T25 15552 15490 0 0
T26 1566 1545 0 0
T27 1710 1669 0 0

SrcAckBusyChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 167471629 26506 0 0
T1 45255 28 0 0
T2 0 420 0 0
T3 0 295 0 0
T4 139027 40 0 0
T9 0 524 0 0
T10 0 705 0 0
T11 0 14 0 0
T16 1525 0 0 0
T17 2696 0 0 0
T23 1225 0 0 0
T24 1415 0 0 0
T25 2275 0 0 0
T26 3245 0 0 0
T27 3667 0 0 0
T31 0 86 0 0
T32 0 26 0 0
T33 0 14 0 0
T35 1405 0 0 0

SrcBusyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 167471629 164980938 0 0
T4 139027 11878 0 0
T5 1662 1636 0 0
T6 2049 1995 0 0
T7 2493 2319 0 0
T22 2037 1903 0 0
T23 1225 1210 0 0
T24 1415 1226 0 0
T25 2275 2260 0 0
T26 3245 3123 0 0
T27 3667 3443 0 0

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


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

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

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

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

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

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

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

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

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

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


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

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


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




Assertion Details

NameAttemptsReal SuccessesFailuresIncomplete
BusySrcReqChk_A 167471629 218839 0 0
DstReqKnown_A 105610595 105087348 0 0
SrcAckBusyChk_A 167471629 26506 0 0
SrcBusyKnown_A 167471629 164980938 0 0


BusySrcReqChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 167471629 218839 0 0
T1 45255 131 0 0
T2 0 2319 0 0
T3 0 983 0 0
T4 139027 617 0 0
T9 0 7282 0 0
T10 0 5709 0 0
T11 0 195 0 0
T16 1525 0 0 0
T17 2696 0 0 0
T23 1225 0 0 0
T24 1415 0 0 0
T25 2275 0 0 0
T26 3245 0 0 0
T27 3667 0 0 0
T31 0 618 0 0
T32 0 132 0 0
T33 0 115 0 0
T35 1405 0 0 0

DstReqKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 105610595 105087348 0 0
T4 18962 2848 0 0
T5 2602 2581 0 0
T6 526 519 0 0
T7 664 633 0 0
T22 489 475 0 0
T23 3107 3083 0 0
T24 339 322 0 0
T25 7776 7745 0 0
T26 783 773 0 0
T27 855 834 0 0

SrcAckBusyChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 167471629 26506 0 0
T1 45255 28 0 0
T2 0 420 0 0
T3 0 295 0 0
T4 139027 40 0 0
T9 0 524 0 0
T10 0 705 0 0
T11 0 14 0 0
T16 1525 0 0 0
T17 2696 0 0 0
T23 1225 0 0 0
T24 1415 0 0 0
T25 2275 0 0 0
T26 3245 0 0 0
T27 3667 0 0 0
T31 0 86 0 0
T32 0 26 0 0
T33 0 14 0 0
T35 1405 0 0 0

SrcBusyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 167471629 164980938 0 0
T4 139027 11878 0 0
T5 1662 1636 0 0
T6 2049 1995 0 0
T7 2493 2319 0 0
T22 2037 1903 0 0
T23 1225 1210 0 0
T24 1415 1226 0 0
T25 2275 2260 0 0
T26 3245 3123 0 0
T27 3667 3443 0 0

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


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

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

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

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

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

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

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

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

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

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


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

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


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




Assertion Details

NameAttemptsReal SuccessesFailuresIncomplete
BusySrcReqChk_A 167471629 92992 0 0
DstReqKnown_A 453792723 449356768 0 0
SrcAckBusyChk_A 167471629 26506 0 0
SrcBusyKnown_A 167471629 164980938 0 0


BusySrcReqChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 167471629 92992 0 0
T1 45255 68 0 0
T2 0 1139 0 0
T3 0 742 0 0
T4 139027 250 0 0
T9 0 2546 0 0
T10 0 2440 0 0
T11 0 69 0 0
T16 1525 0 0 0
T17 2696 0 0 0
T23 1225 0 0 0
T24 1415 0 0 0
T25 2275 0 0 0
T26 3245 0 0 0
T27 3667 0 0 0
T31 0 277 0 0
T32 0 66 0 0
T33 0 49 0 0
T35 1405 0 0 0

DstReqKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 453792723 449356768 0 0
T4 139027 11878 0 0
T5 9781 9626 0 0
T6 2091 2036 0 0
T7 2833 2635 0 0
T22 2122 1982 0 0
T23 11134 10993 0 0
T24 1475 1277 0 0
T25 32498 32272 0 0
T26 3344 3218 0 0
T27 3703 3477 0 0

SrcAckBusyChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 167471629 26506 0 0
T1 45255 28 0 0
T2 0 420 0 0
T3 0 295 0 0
T4 139027 40 0 0
T9 0 524 0 0
T10 0 705 0 0
T11 0 14 0 0
T16 1525 0 0 0
T17 2696 0 0 0
T23 1225 0 0 0
T24 1415 0 0 0
T25 2275 0 0 0
T26 3245 0 0 0
T27 3667 0 0 0
T31 0 86 0 0
T32 0 26 0 0
T33 0 14 0 0
T35 1405 0 0 0

SrcBusyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 167471629 164980938 0 0
T4 139027 11878 0 0
T5 1662 1636 0 0
T6 2049 1995 0 0
T7 2493 2319 0 0
T22 2037 1903 0 0
T23 1225 1210 0 0
T24 1415 1226 0 0
T25 2275 2260 0 0
T26 3245 3123 0 0
T27 3667 3443 0 0

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


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

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

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

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

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

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

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

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

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

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


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

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


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




Assertion Details

NameAttemptsReal SuccessesFailuresIncomplete
BusySrcReqChk_A 167471629 136399 0 0
DstReqKnown_A 217719941 215586399 0 0
SrcAckBusyChk_A 167471629 26089 0 0
SrcBusyKnown_A 167471629 164980938 0 0


BusySrcReqChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 167471629 136399 0 0
T1 45255 92 0 0
T2 0 1599 0 0
T3 0 742 0 0
T4 139027 260 0 0
T9 0 4159 0 0
T10 0 3567 0 0
T11 0 114 0 0
T16 1525 0 0 0
T17 2696 0 0 0
T23 1225 0 0 0
T24 1415 0 0 0
T25 2275 0 0 0
T26 3245 0 0 0
T27 3667 0 0 0
T31 0 393 0 0
T32 0 92 0 0
T33 0 70 0 0
T35 1405 0 0 0

DstReqKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 217719941 215586399 0 0
T4 66735 5693 0 0
T5 4695 4621 0 0
T6 1003 977 0 0
T7 1360 1266 0 0
T22 1018 951 0 0
T23 5344 5276 0 0
T24 708 613 0 0
T25 15599 15491 0 0
T26 1605 1545 0 0
T27 1777 1669 0 0

SrcAckBusyChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 167471629 26089 0 0
T1 45255 28 0 0
T2 0 420 0 0
T3 0 295 0 0
T4 139027 21 0 0
T9 0 524 0 0
T10 0 705 0 0
T11 0 14 0 0
T16 1525 0 0 0
T17 2696 0 0 0
T23 1225 0 0 0
T24 1415 0 0 0
T25 2275 0 0 0
T26 3245 0 0 0
T27 3667 0 0 0
T31 0 86 0 0
T32 0 26 0 0
T33 0 14 0 0
T35 1405 0 0 0

SrcBusyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 167471629 164980938 0 0
T4 139027 11878 0 0
T5 1662 1636 0 0
T6 2049 1995 0 0
T7 2493 2319 0 0
T22 2037 1903 0 0
T23 1225 1210 0 0
T24 1415 1226 0 0
T25 2275 2260 0 0
T26 3245 3123 0 0
T27 3667 3443 0 0

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


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

 LINE       65
 EXPRESSION (src_we_i | src_re_i)
             ----1---   ----2---
-1--2-StatusTests
00CoveredT5,T6,T7
01CoveredT4,T2,T3
10CoveredT4,T1,T2

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

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

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

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

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

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

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

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


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

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


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




Assertion Details

NameAttemptsReal SuccessesFailuresIncomplete
BusySrcReqChk_A 167471629 115709 0 0
DstReqKnown_A 423613386 419401432 0 0
SrcAckBusyChk_A 167471629 32352 0 0
SrcBusyKnown_A 167471629 164980938 0 0


BusySrcReqChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 167471629 115709 0 0
T1 45255 68 0 0
T2 0 1212 0 0
T3 0 755 0 0
T4 139027 417 0 0
T9 0 2658 0 0
T10 0 2535 0 0
T11 0 68 0 0
T16 1525 0 0 0
T17 2696 0 0 0
T23 1225 0 0 0
T24 1415 0 0 0
T25 2275 0 0 0
T26 3245 0 0 0
T27 3667 0 0 0
T31 0 285 0 0
T32 0 66 0 0
T33 0 50 0 0
T35 1405 0 0 0

DstReqKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 423613386 419401432 0 0
T4 133462 11386 0 0
T5 9390 9242 0 0
T6 2007 1954 0 0
T7 2720 2530 0 0
T22 2037 1903 0 0
T23 10688 10554 0 0
T24 1415 1226 0 0
T25 31197 30980 0 0
T26 3211 3090 0 0
T27 3555 3338 0 0

SrcAckBusyChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 167471629 32352 0 0
T1 45255 28 0 0
T2 0 434 0 0
T3 0 301 0 0
T4 139027 80 0 0
T9 0 536 0 0
T10 0 716 0 0
T11 0 14 0 0
T16 1525 0 0 0
T17 2696 0 0 0
T23 1225 0 0 0
T24 1415 0 0 0
T25 2275 0 0 0
T26 3245 0 0 0
T27 3667 0 0 0
T31 0 86 0 0
T32 0 26 0 0
T33 0 14 0 0
T35 1405 0 0 0

SrcBusyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 167471629 164980938 0 0
T4 139027 11878 0 0
T5 1662 1636 0 0
T6 2049 1995 0 0
T7 2493 2319 0 0
T22 2037 1903 0 0
T23 1225 1210 0 0
T24 1415 1226 0 0
T25 2275 2260 0 0
T26 3245 3123 0 0
T27 3667 3443 0 0

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


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

 LINE       65
 EXPRESSION (src_we_i | src_re_i)
             ----1---   ----2---
-1--2-StatusTests
00CoveredT5,T6,T7
01CoveredT4,T2,T3
10CoveredT4,T1,T2

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

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

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

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

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

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

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

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


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

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


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




Assertion Details

NameAttemptsReal SuccessesFailuresIncomplete
BusySrcReqChk_A 167471629 168007 0 0
DstReqKnown_A 211222398 210175667 0 0
SrcAckBusyChk_A 167471629 32320 0 0
SrcBusyKnown_A 167471629 164980938 0 0


BusySrcReqChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 167471629 168007 0 0
T1 45255 92 0 0
T2 0 1659 0 0
T3 0 755 0 0
T4 139027 672 0 0
T9 0 4295 0 0
T10 0 3634 0 0
T11 0 110 0 0
T16 1525 0 0 0
T17 2696 0 0 0
T23 1225 0 0 0
T24 1415 0 0 0
T25 2275 0 0 0
T26 3245 0 0 0
T27 3667 0 0 0
T31 0 396 0 0
T32 0 92 0 0
T33 0 70 0 0
T35 1405 0 0 0

DstReqKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 211222398 210175667 0 0
T4 37924 5695 0 0
T5 5206 5165 0 0
T6 1056 1042 0 0
T7 1327 1265 0 0
T22 979 952 0 0
T23 6214 6166 0 0
T24 678 644 0 0
T25 15552 15490 0 0
T26 1566 1545 0 0
T27 1710 1669 0 0

SrcAckBusyChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 167471629 32320 0 0
T1 45255 28 0 0
T2 0 434 0 0
T3 0 301 0 0
T4 139027 80 0 0
T9 0 536 0 0
T10 0 716 0 0
T11 0 14 0 0
T16 1525 0 0 0
T17 2696 0 0 0
T23 1225 0 0 0
T24 1415 0 0 0
T25 2275 0 0 0
T26 3245 0 0 0
T27 3667 0 0 0
T31 0 86 0 0
T32 0 26 0 0
T33 0 14 0 0
T35 1405 0 0 0

SrcBusyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 167471629 164980938 0 0
T4 139027 11878 0 0
T5 1662 1636 0 0
T6 2049 1995 0 0
T7 2493 2319 0 0
T22 2037 1903 0 0
T23 1225 1210 0 0
T24 1415 1226 0 0
T25 2275 2260 0 0
T26 3245 3123 0 0
T27 3667 3443 0 0

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


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

 LINE       65
 EXPRESSION (src_we_i | src_re_i)
             ----1---   ----2---
-1--2-StatusTests
00CoveredT5,T6,T7
01CoveredT4,T2,T3
10CoveredT4,T1,T2

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

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

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

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

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

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

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

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


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

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


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




Assertion Details

NameAttemptsReal SuccessesFailuresIncomplete
BusySrcReqChk_A 167471629 270425 0 0
DstReqKnown_A 105610595 105087348 0 0
SrcAckBusyChk_A 167471629 32330 0 0
SrcBusyKnown_A 167471629 164980938 0 0


BusySrcReqChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 167471629 270425 0 0
T1 45255 129 0 0
T2 0 2381 0 0
T3 0 989 0 0
T4 139027 1165 0 0
T9 0 7509 0 0
T10 0 5843 0 0
T11 0 193 0 0
T16 1525 0 0 0
T17 2696 0 0 0
T23 1225 0 0 0
T24 1415 0 0 0
T25 2275 0 0 0
T26 3245 0 0 0
T27 3667 0 0 0
T31 0 612 0 0
T32 0 132 0 0
T33 0 114 0 0
T35 1405 0 0 0

DstReqKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 105610595 105087348 0 0
T4 18962 2848 0 0
T5 2602 2581 0 0
T6 526 519 0 0
T7 664 633 0 0
T22 489 475 0 0
T23 3107 3083 0 0
T24 339 322 0 0
T25 7776 7745 0 0
T26 783 773 0 0
T27 855 834 0 0

SrcAckBusyChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 167471629 32330 0 0
T1 45255 28 0 0
T2 0 434 0 0
T3 0 301 0 0
T4 139027 80 0 0
T9 0 536 0 0
T10 0 716 0 0
T11 0 14 0 0
T16 1525 0 0 0
T17 2696 0 0 0
T23 1225 0 0 0
T24 1415 0 0 0
T25 2275 0 0 0
T26 3245 0 0 0
T27 3667 0 0 0
T31 0 86 0 0
T32 0 26 0 0
T33 0 14 0 0
T35 1405 0 0 0

SrcBusyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 167471629 164980938 0 0
T4 139027 11878 0 0
T5 1662 1636 0 0
T6 2049 1995 0 0
T7 2493 2319 0 0
T22 2037 1903 0 0
T23 1225 1210 0 0
T24 1415 1226 0 0
T25 2275 2260 0 0
T26 3245 3123 0 0
T27 3667 3443 0 0

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


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

 LINE       65
 EXPRESSION (src_we_i | src_re_i)
             ----1---   ----2---
-1--2-StatusTests
00CoveredT5,T6,T7
01CoveredT4,T2,T3
10CoveredT4,T1,T2

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

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

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

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

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

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

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

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


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

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


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




Assertion Details

NameAttemptsReal SuccessesFailuresIncomplete
BusySrcReqChk_A 167471629 114248 0 0
DstReqKnown_A 453792723 449356768 0 0
SrcAckBusyChk_A 167471629 32390 0 0
SrcBusyKnown_A 167471629 164980938 0 0


BusySrcReqChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 167471629 114248 0 0
T1 45255 68 0 0
T2 0 1192 0 0
T3 0 755 0 0
T4 139027 488 0 0
T9 0 2604 0 0
T10 0 2482 0 0
T11 0 67 0 0
T16 1525 0 0 0
T17 2696 0 0 0
T23 1225 0 0 0
T24 1415 0 0 0
T25 2275 0 0 0
T26 3245 0 0 0
T27 3667 0 0 0
T31 0 283 0 0
T32 0 66 0 0
T33 0 48 0 0
T35 1405 0 0 0

DstReqKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 453792723 449356768 0 0
T4 139027 11878 0 0
T5 9781 9626 0 0
T6 2091 2036 0 0
T7 2833 2635 0 0
T22 2122 1982 0 0
T23 11134 10993 0 0
T24 1475 1277 0 0
T25 32498 32272 0 0
T26 3344 3218 0 0
T27 3703 3477 0 0

SrcAckBusyChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 167471629 32390 0 0
T1 45255 28 0 0
T2 0 434 0 0
T3 0 301 0 0
T4 139027 80 0 0
T9 0 536 0 0
T10 0 716 0 0
T11 0 14 0 0
T16 1525 0 0 0
T17 2696 0 0 0
T23 1225 0 0 0
T24 1415 0 0 0
T25 2275 0 0 0
T26 3245 0 0 0
T27 3667 0 0 0
T31 0 86 0 0
T32 0 26 0 0
T33 0 14 0 0
T35 1405 0 0 0

SrcBusyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 167471629 164980938 0 0
T4 139027 11878 0 0
T5 1662 1636 0 0
T6 2049 1995 0 0
T7 2493 2319 0 0
T22 2037 1903 0 0
T23 1225 1210 0 0
T24 1415 1226 0 0
T25 2275 2260 0 0
T26 3245 3123 0 0
T27 3667 3443 0 0

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


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

 LINE       65
 EXPRESSION (src_we_i | src_re_i)
             ----1---   ----2---
-1--2-StatusTests
00CoveredT5,T6,T7
01CoveredT4,T2,T3
10CoveredT4,T1,T2

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

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

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

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

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

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

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

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


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

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


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




Assertion Details

NameAttemptsReal SuccessesFailuresIncomplete
BusySrcReqChk_A 167471629 168772 0 0
DstReqKnown_A 217719941 215586399 0 0
SrcAckBusyChk_A 167471629 32101 0 0
SrcBusyKnown_A 167471629 164980938 0 0


BusySrcReqChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 167471629 168772 0 0
T1 45255 93 0 0
T2 0 1654 0 0
T3 0 755 0 0
T4 139027 672 0 0
T9 0 4272 0 0
T10 0 3630 0 0
T11 0 109 0 0
T16 1525 0 0 0
T17 2696 0 0 0
T23 1225 0 0 0
T24 1415 0 0 0
T25 2275 0 0 0
T26 3245 0 0 0
T27 3667 0 0 0
T31 0 395 0 0
T32 0 92 0 0
T33 0 72 0 0
T35 1405 0 0 0

DstReqKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 217719941 215586399 0 0
T4 66735 5693 0 0
T5 4695 4621 0 0
T6 1003 977 0 0
T7 1360 1266 0 0
T22 1018 951 0 0
T23 5344 5276 0 0
T24 708 613 0 0
T25 15599 15491 0 0
T26 1605 1545 0 0
T27 1777 1669 0 0

SrcAckBusyChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 167471629 32101 0 0
T1 45255 28 0 0
T2 0 434 0 0
T3 0 301 0 0
T4 139027 79 0 0
T9 0 536 0 0
T10 0 716 0 0
T11 0 14 0 0
T16 1525 0 0 0
T17 2696 0 0 0
T23 1225 0 0 0
T24 1415 0 0 0
T25 2275 0 0 0
T26 3245 0 0 0
T27 3667 0 0 0
T31 0 86 0 0
T32 0 26 0 0
T33 0 14 0 0
T35 1405 0 0 0

SrcBusyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 167471629 164980938 0 0
T4 139027 11878 0 0
T5 1662 1636 0 0
T6 2049 1995 0 0
T7 2493 2319 0 0
T22 2037 1903 0 0
T23 1225 1210 0 0
T24 1415 1226 0 0
T25 2275 2260 0 0
T26 3245 3123 0 0
T27 3667 3443 0 0

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