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,T4,T7
01CoveredT4,T2,T12
10CoveredT4,T5,T1

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

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

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

 LINE       125
 SUB-EXPRESSION (src_update && ((!busy)))
                 -----1----    ----2----
-1--2-StatusTests
01CoveredT6,T4,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 T6,T4,T7
0 1 - Covered T4,T5,T1
0 0 1 Covered T4,T5,T1
0 0 0 Covered T6,T4,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 T6,T4,T7
0 1 - Covered T4,T5,T1
0 0 1 Covered T4,T5,T1
0 0 0 Covered T6,T4,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 1689130090 1539745 0 0
DstReqKnown_A 2147483647 2147483647 0 0
SrcAckBusyChk_A 1689130090 286750 0 0
SrcBusyKnown_A 1689130090 1663324200 0 0


BusySrcReqChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1689130090 1539745 0 0
T1 1897930 2706 0 0
T2 0 5133 0 0
T3 0 7442 0 0
T4 461570 1505 0 0
T5 256230 624 0 0
T7 16330 0 0 0
T11 0 900 0 0
T12 0 12668 0 0
T18 20470 0 0 0
T19 26860 0 0 0
T20 0 1712 0 0
T25 8380 0 0 0
T26 14110 0 0 0
T27 12490 0 0 0
T28 20590 0 0 0
T30 0 3480 0 0
T31 0 2412 0 0

DstReqKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 2147483647 2147483647 0 0
T1 1262510 1261954 0 0
T4 275996 27728 0 0
T5 674624 673426 0 0
T6 15014 14024 0 0
T7 10534 9568 0 0
T18 26364 25694 0 0
T25 25164 24496 0 0
T26 9030 8240 0 0
T27 31398 30172 0 0
T28 26944 26036 0 0

SrcAckBusyChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1689130090 286750 0 0
T1 1897930 340 0 0
T2 0 1485 0 0
T3 0 920 0 0
T4 461570 175 0 0
T5 256230 180 0 0
T7 16330 0 0 0
T11 0 240 0 0
T12 0 2485 0 0
T18 20470 0 0 0
T19 26860 0 0 0
T20 0 220 0 0
T25 8380 0 0 0
T26 14110 0 0 0
T27 12490 0 0 0
T28 20590 0 0 0
T30 0 400 0 0
T31 0 720 0 0

SrcBusyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1689130090 1663324200 0 0
T1 1897930 1897010 0 0
T4 461570 41690 0 0
T5 256230 255730 0 0
T6 11650 10840 0 0
T7 16330 14690 0 0
T18 20470 19930 0 0
T25 8380 8140 0 0
T26 14110 12720 0 0
T27 12490 11930 0 0
T28 20590 19780 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,T4,T7
01Unreachable
10CoveredT4,T5,T1

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

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

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

 LINE       125
 SUB-EXPRESSION (src_update && ((!busy)))
                 -----1----    ----2----
-1--2-StatusTests
01CoveredT6,T4,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 T6,T4,T7
0 1 - Covered T4,T5,T1
0 0 1 Covered T4,T5,T1
0 0 0 Covered T6,T4,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 T6,T4,T7
0 1 - Covered T4,T5,T1
0 0 1 Covered T4,T5,T1
0 0 0 Covered T6,T4,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 168913009 94325 0 0
DstReqKnown_A 451932378 447403997 0 0
SrcAckBusyChk_A 168913009 25761 0 0
SrcBusyKnown_A 168913009 166332420 0 0


BusySrcReqChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 168913009 94325 0 0
T1 189793 169 0 0
T2 0 379 0 0
T3 0 455 0 0
T4 46157 68 0 0
T5 25623 46 0 0
T7 1633 0 0 0
T11 0 69 0 0
T12 0 879 0 0
T18 2047 0 0 0
T19 2686 0 0 0
T20 0 108 0 0
T25 838 0 0 0
T26 1411 0 0 0
T27 1249 0 0 0
T28 2059 0 0 0
T30 0 250 0 0
T31 0 177 0 0

DstReqKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 451932378 447403997 0 0
T1 191779 191686 0 0
T4 46639 4210 0 0
T5 102494 102291 0 0
T6 2312 2150 0 0
T7 1615 1453 0 0
T18 4010 3903 0 0
T25 3828 3721 0 0
T26 1368 1233 0 0
T27 4800 4583 0 0
T28 4117 3955 0 0

SrcAckBusyChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 168913009 25761 0 0
T1 189793 34 0 0
T2 0 146 0 0
T3 0 92 0 0
T4 46157 12 0 0
T5 25623 18 0 0
T7 1633 0 0 0
T11 0 24 0 0
T12 0 246 0 0
T18 2047 0 0 0
T19 2686 0 0 0
T20 0 22 0 0
T25 838 0 0 0
T26 1411 0 0 0
T27 1249 0 0 0
T28 2059 0 0 0
T30 0 40 0 0
T31 0 72 0 0

SrcBusyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 168913009 166332420 0 0
T1 189793 189701 0 0
T4 46157 4169 0 0
T5 25623 25573 0 0
T6 1165 1084 0 0
T7 1633 1469 0 0
T18 2047 1993 0 0
T25 838 814 0 0
T26 1411 1272 0 0
T27 1249 1193 0 0
T28 2059 1978 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,T4,T7
01Unreachable
10CoveredT4,T5,T1

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

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

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

 LINE       125
 SUB-EXPRESSION (src_update && ((!busy)))
                 -----1----    ----2----
-1--2-StatusTests
01CoveredT6,T4,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 T6,T4,T7
0 1 - Covered T4,T5,T1
0 0 1 Covered T4,T5,T1
0 0 0 Covered T6,T4,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 T6,T4,T7
0 1 - Covered T4,T5,T1
0 0 1 Covered T4,T5,T1
0 0 0 Covered T6,T4,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 168913009 137105 0 0
DstReqKnown_A 225120471 223973281 0 0
SrcAckBusyChk_A 168913009 25761 0 0
SrcBusyKnown_A 168913009 166332420 0 0


BusySrcReqChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 168913009 137105 0 0
T1 189793 267 0 0
T2 0 515 0 0
T3 0 725 0 0
T4 46157 106 0 0
T5 25623 64 0 0
T7 1633 0 0 0
T11 0 92 0 0
T12 0 1254 0 0
T18 2047 0 0 0
T19 2686 0 0 0
T20 0 168 0 0
T25 838 0 0 0
T26 1411 0 0 0
T27 1249 0 0 0
T28 2059 0 0 0
T30 0 353 0 0
T31 0 249 0 0

DstReqKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 225120471 223973281 0 0
T1 95871 95843 0 0
T4 12969 2107 0 0
T5 51201 51146 0 0
T6 1130 1075 0 0
T7 775 727 0 0
T18 1993 1952 0 0
T25 1902 1861 0 0
T26 692 657 0 0
T27 2333 2292 0 0
T28 2005 1977 0 0

SrcAckBusyChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 168913009 25761 0 0
T1 189793 34 0 0
T2 0 146 0 0
T3 0 92 0 0
T4 46157 12 0 0
T5 25623 18 0 0
T7 1633 0 0 0
T11 0 24 0 0
T12 0 246 0 0
T18 2047 0 0 0
T19 2686 0 0 0
T20 0 22 0 0
T25 838 0 0 0
T26 1411 0 0 0
T27 1249 0 0 0
T28 2059 0 0 0
T30 0 40 0 0
T31 0 72 0 0

SrcBusyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 168913009 166332420 0 0
T1 189793 189701 0 0
T4 46157 4169 0 0
T5 25623 25573 0 0
T6 1165 1084 0 0
T7 1633 1469 0 0
T18 2047 1993 0 0
T25 838 814 0 0
T26 1411 1272 0 0
T27 1249 1193 0 0
T28 2059 1978 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,T4,T7
01Unreachable
10CoveredT4,T5,T1

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

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

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

 LINE       125
 SUB-EXPRESSION (src_update && ((!busy)))
                 -----1----    ----2----
-1--2-StatusTests
01CoveredT6,T4,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 T6,T4,T7
0 1 - Covered T4,T5,T1
0 0 1 Covered T4,T5,T1
0 0 0 Covered T6,T4,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 T6,T4,T7
0 1 - Covered T4,T5,T1
0 0 1 Covered T4,T5,T1
0 0 0 Covered T6,T4,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 168913009 220570 0 0
DstReqKnown_A 112559567 111986097 0 0
SrcAckBusyChk_A 168913009 25761 0 0
SrcBusyKnown_A 168913009 166332420 0 0


BusySrcReqChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 168913009 220570 0 0
T1 189793 482 0 0
T2 0 744 0 0
T3 0 1305 0 0
T4 46157 189 0 0
T5 25623 92 0 0
T7 1633 0 0 0
T11 0 132 0 0
T12 0 2015 0 0
T18 2047 0 0 0
T19 2686 0 0 0
T20 0 294 0 0
T25 838 0 0 0
T26 1411 0 0 0
T27 1249 0 0 0
T28 2059 0 0 0
T30 0 592 0 0
T31 0 354 0 0

DstReqKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 112559567 111986097 0 0
T1 47935 47921 0 0
T4 6485 1054 0 0
T5 25600 25572 0 0
T6 565 537 0 0
T7 387 363 0 0
T18 996 975 0 0
T25 951 930 0 0
T26 346 329 0 0
T27 1166 1145 0 0
T28 1003 989 0 0

SrcAckBusyChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 168913009 25761 0 0
T1 189793 34 0 0
T2 0 146 0 0
T3 0 92 0 0
T4 46157 12 0 0
T5 25623 18 0 0
T7 1633 0 0 0
T11 0 24 0 0
T12 0 246 0 0
T18 2047 0 0 0
T19 2686 0 0 0
T20 0 22 0 0
T25 838 0 0 0
T26 1411 0 0 0
T27 1249 0 0 0
T28 2059 0 0 0
T30 0 40 0 0
T31 0 72 0 0

SrcBusyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 168913009 166332420 0 0
T1 189793 189701 0 0
T4 46157 4169 0 0
T5 25623 25573 0 0
T6 1165 1084 0 0
T7 1633 1469 0 0
T18 2047 1993 0 0
T25 838 814 0 0
T26 1411 1272 0 0
T27 1249 1193 0 0
T28 2059 1978 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,T4,T7
01Unreachable
10CoveredT4,T5,T1

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

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

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

 LINE       125
 SUB-EXPRESSION (src_update && ((!busy)))
                 -----1----    ----2----
-1--2-StatusTests
01CoveredT6,T4,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 T6,T4,T7
0 1 - Covered T4,T5,T1
0 0 1 Covered T4,T5,T1
0 0 0 Covered T6,T4,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 T6,T4,T7
0 1 - Covered T4,T5,T1
0 0 1 Covered T4,T5,T1
0 0 0 Covered T6,T4,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 168913009 93616 0 0
DstReqKnown_A 481933368 477169242 0 0
SrcAckBusyChk_A 168913009 25761 0 0
SrcBusyKnown_A 168913009 166332420 0 0


BusySrcReqChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 168913009 93616 0 0
T1 189793 162 0 0
T2 0 361 0 0
T3 0 534 0 0
T4 46157 68 0 0
T5 25623 46 0 0
T7 1633 0 0 0
T11 0 66 0 0
T12 0 861 0 0
T18 2047 0 0 0
T19 2686 0 0 0
T20 0 106 0 0
T25 838 0 0 0
T26 1411 0 0 0
T27 1249 0 0 0
T28 2059 0 0 0
T30 0 208 0 0
T31 0 177 0 0

DstReqKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 481933368 477169242 0 0
T1 199776 199679 0 0
T4 48584 4387 0 0
T5 106768 106556 0 0
T6 2367 2198 0 0
T7 1683 1514 0 0
T18 4178 4066 0 0
T25 3987 3875 0 0
T26 1425 1284 0 0
T27 5000 4774 0 0
T28 4288 4119 0 0

SrcAckBusyChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 168913009 25761 0 0
T1 189793 34 0 0
T2 0 146 0 0
T3 0 92 0 0
T4 46157 12 0 0
T5 25623 18 0 0
T7 1633 0 0 0
T11 0 24 0 0
T12 0 246 0 0
T18 2047 0 0 0
T19 2686 0 0 0
T20 0 22 0 0
T25 838 0 0 0
T26 1411 0 0 0
T27 1249 0 0 0
T28 2059 0 0 0
T30 0 40 0 0
T31 0 72 0 0

SrcBusyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 168913009 166332420 0 0
T1 189793 189701 0 0
T4 46157 4169 0 0
T5 25623 25573 0 0
T6 1165 1084 0 0
T7 1633 1469 0 0
T18 2047 1993 0 0
T25 838 814 0 0
T26 1411 1272 0 0
T27 1249 1193 0 0
T28 2059 1978 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,T4,T7
01Unreachable
10CoveredT4,T5,T1

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

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

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

 LINE       125
 SUB-EXPRESSION (src_update && ((!busy)))
                 -----1----    ----2----
-1--2-StatusTests
01CoveredT6,T4,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 T6,T4,T7
0 1 - Covered T4,T5,T1
0 0 1 Covered T4,T5,T1
0 0 0 Covered T6,T4,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 T6,T4,T7
0 1 - Covered T4,T5,T1
0 0 1 Covered T4,T5,T1
0 0 0 Covered T6,T4,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 168913009 134858 0 0
DstReqKnown_A 231422864 229132776 0 0
SrcAckBusyChk_A 168913009 25293 0 0
SrcBusyKnown_A 168913009 166332420 0 0


BusySrcReqChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 168913009 134858 0 0
T1 189793 272 0 0
T2 0 517 0 0
T3 0 723 0 0
T4 46157 87 0 0
T5 25623 64 0 0
T7 1633 0 0 0
T11 0 92 0 0
T12 0 1248 0 0
T18 2047 0 0 0
T19 2686 0 0 0
T20 0 170 0 0
T25 838 0 0 0
T26 1411 0 0 0
T27 1249 0 0 0
T28 2059 0 0 0
T30 0 335 0 0
T31 0 249 0 0

DstReqKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 231422864 229132776 0 0
T1 95894 95848 0 0
T4 23321 2106 0 0
T5 51249 51148 0 0
T6 1133 1052 0 0
T7 807 727 0 0
T18 2005 1951 0 0
T25 1914 1861 0 0
T26 684 617 0 0
T27 2400 2292 0 0
T28 2059 1978 0 0

SrcAckBusyChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 168913009 25293 0 0
T1 189793 34 0 0
T2 0 146 0 0
T3 0 92 0 0
T4 46157 7 0 0
T5 25623 18 0 0
T7 1633 0 0 0
T11 0 24 0 0
T12 0 246 0 0
T18 2047 0 0 0
T19 2686 0 0 0
T20 0 22 0 0
T25 838 0 0 0
T26 1411 0 0 0
T27 1249 0 0 0
T28 2059 0 0 0
T30 0 40 0 0
T31 0 72 0 0

SrcBusyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 168913009 166332420 0 0
T1 189793 189701 0 0
T4 46157 4169 0 0
T5 25623 25573 0 0
T6 1165 1084 0 0
T7 1633 1469 0 0
T18 2047 1993 0 0
T25 838 814 0 0
T26 1411 1272 0 0
T27 1249 1193 0 0
T28 2059 1978 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,T4,T7
01CoveredT4,T2,T12
10CoveredT4,T5,T1

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

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

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

 LINE       125
 SUB-EXPRESSION (src_update && ((!busy)))
                 -----1----    ----2----
-1--2-StatusTests
01CoveredT6,T4,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 T6,T4,T7
0 1 - Covered T4,T5,T1
0 0 1 Covered T4,T5,T1
0 0 0 Covered T6,T4,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 T6,T4,T7
0 1 - Covered T4,T5,T1
0 0 1 Covered T4,T5,T1
0 0 0 Covered T6,T4,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 168913009 118240 0 0
DstReqKnown_A 451932378 447403997 0 0
SrcAckBusyChk_A 168913009 31684 0 0
SrcBusyKnown_A 168913009 166332420 0 0


BusySrcReqChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 168913009 118240 0 0
T1 189793 172 0 0
T2 0 387 0 0
T3 0 451 0 0
T4 46157 124 0 0
T5 25623 46 0 0
T7 1633 0 0 0
T11 0 67 0 0
T12 0 894 0 0
T18 2047 0 0 0
T19 2686 0 0 0
T20 0 108 0 0
T25 838 0 0 0
T26 1411 0 0 0
T27 1249 0 0 0
T28 2059 0 0 0
T30 0 250 0 0
T31 0 177 0 0

DstReqKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 451932378 447403997 0 0
T1 191779 191686 0 0
T4 46639 4210 0 0
T5 102494 102291 0 0
T6 2312 2150 0 0
T7 1615 1453 0 0
T18 4010 3903 0 0
T25 3828 3721 0 0
T26 1368 1233 0 0
T27 4800 4583 0 0
T28 4117 3955 0 0

SrcAckBusyChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 168913009 31684 0 0
T1 189793 34 0 0
T2 0 151 0 0
T3 0 92 0 0
T4 46157 24 0 0
T5 25623 18 0 0
T7 1633 0 0 0
T11 0 24 0 0
T12 0 251 0 0
T18 2047 0 0 0
T19 2686 0 0 0
T20 0 22 0 0
T25 838 0 0 0
T26 1411 0 0 0
T27 1249 0 0 0
T28 2059 0 0 0
T30 0 40 0 0
T31 0 72 0 0

SrcBusyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 168913009 166332420 0 0
T1 189793 189701 0 0
T4 46157 4169 0 0
T5 25623 25573 0 0
T6 1165 1084 0 0
T7 1633 1469 0 0
T18 2047 1993 0 0
T25 838 814 0 0
T26 1411 1272 0 0
T27 1249 1193 0 0
T28 2059 1978 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,T4,T7
01CoveredT4,T2,T12
10CoveredT4,T5,T1

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

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

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

 LINE       125
 SUB-EXPRESSION (src_update && ((!busy)))
                 -----1----    ----2----
-1--2-StatusTests
01CoveredT6,T4,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 T6,T4,T7
0 1 - Covered T4,T5,T1
0 0 1 Covered T4,T5,T1
0 0 0 Covered T6,T4,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 T6,T4,T7
0 1 - Covered T4,T5,T1
0 0 1 Covered T4,T5,T1
0 0 0 Covered T6,T4,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 168913009 172614 0 0
DstReqKnown_A 225120471 223973281 0 0
SrcAckBusyChk_A 168913009 31803 0 0
SrcBusyKnown_A 168913009 166332420 0 0


BusySrcReqChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 168913009 172614 0 0
T1 189793 272 0 0
T2 0 537 0 0
T3 0 725 0 0
T4 46157 196 0 0
T5 25623 64 0 0
T7 1633 0 0 0
T11 0 91 0 0
T12 0 1284 0 0
T18 2047 0 0 0
T19 2686 0 0 0
T20 0 171 0 0
T25 838 0 0 0
T26 1411 0 0 0
T27 1249 0 0 0
T28 2059 0 0 0
T30 0 350 0 0
T31 0 249 0 0

DstReqKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 225120471 223973281 0 0
T1 95871 95843 0 0
T4 12969 2107 0 0
T5 51201 51146 0 0
T6 1130 1075 0 0
T7 775 727 0 0
T18 1993 1952 0 0
T25 1902 1861 0 0
T26 692 657 0 0
T27 2333 2292 0 0
T28 2005 1977 0 0

SrcAckBusyChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 168913009 31803 0 0
T1 189793 34 0 0
T2 0 151 0 0
T3 0 92 0 0
T4 46157 24 0 0
T5 25623 18 0 0
T7 1633 0 0 0
T11 0 24 0 0
T12 0 251 0 0
T18 2047 0 0 0
T19 2686 0 0 0
T20 0 22 0 0
T25 838 0 0 0
T26 1411 0 0 0
T27 1249 0 0 0
T28 2059 0 0 0
T30 0 40 0 0
T31 0 72 0 0

SrcBusyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 168913009 166332420 0 0
T1 189793 189701 0 0
T4 46157 4169 0 0
T5 25623 25573 0 0
T6 1165 1084 0 0
T7 1633 1469 0 0
T18 2047 1993 0 0
T25 838 814 0 0
T26 1411 1272 0 0
T27 1249 1193 0 0
T28 2059 1978 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,T4,T7
01CoveredT4,T2,T12
10CoveredT4,T5,T1

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

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

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

 LINE       125
 SUB-EXPRESSION (src_update && ((!busy)))
                 -----1----    ----2----
-1--2-StatusTests
01CoveredT6,T4,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 T6,T4,T7
0 1 - Covered T4,T5,T1
0 0 1 Covered T4,T5,T1
0 0 0 Covered T6,T4,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 T6,T4,T7
0 1 - Covered T4,T5,T1
0 0 1 Covered T4,T5,T1
0 0 0 Covered T6,T4,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 168913009 279356 0 0
DstReqKnown_A 112559567 111986097 0 0
SrcAckBusyChk_A 168913009 31687 0 0
SrcBusyKnown_A 168913009 166332420 0 0


BusySrcReqChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 168913009 279356 0 0
T1 189793 470 0 0
T2 0 773 0 0
T3 0 1273 0 0
T4 46157 349 0 0
T5 25623 92 0 0
T7 1633 0 0 0
T11 0 134 0 0
T12 0 2062 0 0
T18 2047 0 0 0
T19 2686 0 0 0
T20 0 310 0 0
T25 838 0 0 0
T26 1411 0 0 0
T27 1249 0 0 0
T28 2059 0 0 0
T30 0 603 0 0
T31 0 354 0 0

DstReqKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 112559567 111986097 0 0
T1 47935 47921 0 0
T4 6485 1054 0 0
T5 25600 25572 0 0
T6 565 537 0 0
T7 387 363 0 0
T18 996 975 0 0
T25 951 930 0 0
T26 346 329 0 0
T27 1166 1145 0 0
T28 1003 989 0 0

SrcAckBusyChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 168913009 31687 0 0
T1 189793 34 0 0
T2 0 151 0 0
T3 0 92 0 0
T4 46157 24 0 0
T5 25623 18 0 0
T7 1633 0 0 0
T11 0 24 0 0
T12 0 251 0 0
T18 2047 0 0 0
T19 2686 0 0 0
T20 0 22 0 0
T25 838 0 0 0
T26 1411 0 0 0
T27 1249 0 0 0
T28 2059 0 0 0
T30 0 40 0 0
T31 0 72 0 0

SrcBusyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 168913009 166332420 0 0
T1 189793 189701 0 0
T4 46157 4169 0 0
T5 25623 25573 0 0
T6 1165 1084 0 0
T7 1633 1469 0 0
T18 2047 1993 0 0
T25 838 814 0 0
T26 1411 1272 0 0
T27 1249 1193 0 0
T28 2059 1978 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,T4,T7
01CoveredT4,T2,T12
10CoveredT4,T5,T1

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

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

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

 LINE       125
 SUB-EXPRESSION (src_update && ((!busy)))
                 -----1----    ----2----
-1--2-StatusTests
01CoveredT6,T4,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 T6,T4,T7
0 1 - Covered T4,T5,T1
0 0 1 Covered T4,T5,T1
0 0 0 Covered T6,T4,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 T6,T4,T7
0 1 - Covered T4,T5,T1
0 0 1 Covered T4,T5,T1
0 0 0 Covered T6,T4,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 168913009 116809 0 0
DstReqKnown_A 481933368 477169242 0 0
SrcAckBusyChk_A 168913009 31656 0 0
SrcBusyKnown_A 168913009 166332420 0 0


BusySrcReqChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 168913009 116809 0 0
T1 189793 166 0 0
T2 0 376 0 0
T3 0 532 0 0
T4 46157 122 0 0
T5 25623 46 0 0
T7 1633 0 0 0
T11 0 65 0 0
T12 0 877 0 0
T18 2047 0 0 0
T19 2686 0 0 0
T20 0 103 0 0
T25 838 0 0 0
T26 1411 0 0 0
T27 1249 0 0 0
T28 2059 0 0 0
T30 0 204 0 0
T31 0 177 0 0

DstReqKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 481933368 477169242 0 0
T1 199776 199679 0 0
T4 48584 4387 0 0
T5 106768 106556 0 0
T6 2367 2198 0 0
T7 1683 1514 0 0
T18 4178 4066 0 0
T25 3987 3875 0 0
T26 1425 1284 0 0
T27 5000 4774 0 0
T28 4288 4119 0 0

SrcAckBusyChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 168913009 31656 0 0
T1 189793 34 0 0
T2 0 151 0 0
T3 0 92 0 0
T4 46157 24 0 0
T5 25623 18 0 0
T7 1633 0 0 0
T11 0 24 0 0
T12 0 251 0 0
T18 2047 0 0 0
T19 2686 0 0 0
T20 0 22 0 0
T25 838 0 0 0
T26 1411 0 0 0
T27 1249 0 0 0
T28 2059 0 0 0
T30 0 40 0 0
T31 0 72 0 0

SrcBusyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 168913009 166332420 0 0
T1 189793 189701 0 0
T4 46157 4169 0 0
T5 25623 25573 0 0
T6 1165 1084 0 0
T7 1633 1469 0 0
T18 2047 1993 0 0
T25 838 814 0 0
T26 1411 1272 0 0
T27 1249 1193 0 0
T28 2059 1978 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,T4,T7
01CoveredT4,T2,T12
10CoveredT4,T5,T1

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

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

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

 LINE       125
 SUB-EXPRESSION (src_update && ((!busy)))
                 -----1----    ----2----
-1--2-StatusTests
01CoveredT6,T4,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 T6,T4,T7
0 1 - Covered T4,T5,T1
0 0 1 Covered T4,T5,T1
0 0 0 Covered T6,T4,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 T6,T4,T7
0 1 - Covered T4,T5,T1
0 0 1 Covered T4,T5,T1
0 0 0 Covered T6,T4,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 168913009 172252 0 0
DstReqKnown_A 231422864 229132776 0 0
SrcAckBusyChk_A 168913009 31583 0 0
SrcBusyKnown_A 168913009 166332420 0 0


BusySrcReqChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 168913009 172252 0 0
T1 189793 274 0 0
T2 0 544 0 0
T3 0 719 0 0
T4 46157 196 0 0
T5 25623 64 0 0
T7 1633 0 0 0
T11 0 92 0 0
T12 0 1294 0 0
T18 2047 0 0 0
T19 2686 0 0 0
T20 0 174 0 0
T25 838 0 0 0
T26 1411 0 0 0
T27 1249 0 0 0
T28 2059 0 0 0
T30 0 335 0 0
T31 0 249 0 0

DstReqKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 231422864 229132776 0 0
T1 95894 95848 0 0
T4 23321 2106 0 0
T5 51249 51148 0 0
T6 1133 1052 0 0
T7 807 727 0 0
T18 2005 1951 0 0
T25 1914 1861 0 0
T26 684 617 0 0
T27 2400 2292 0 0
T28 2059 1978 0 0

SrcAckBusyChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 168913009 31583 0 0
T1 189793 34 0 0
T2 0 151 0 0
T3 0 92 0 0
T4 46157 24 0 0
T5 25623 18 0 0
T7 1633 0 0 0
T11 0 24 0 0
T12 0 251 0 0
T18 2047 0 0 0
T19 2686 0 0 0
T20 0 22 0 0
T25 838 0 0 0
T26 1411 0 0 0
T27 1249 0 0 0
T28 2059 0 0 0
T30 0 40 0 0
T31 0 72 0 0

SrcBusyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 168913009 166332420 0 0
T1 189793 189701 0 0
T4 46157 4169 0 0
T5 25623 25573 0 0
T6 1165 1084 0 0
T7 1633 1469 0 0
T18 2047 1993 0 0
T25 838 814 0 0
T26 1411 1272 0 0
T27 1249 1193 0 0
T28 2059 1978 0 0

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