Module Definition
dashboard | hierarchy | modlist | groups | tests | asserts



Module Instance : tb.dut.u_reg.u_io_meas_ctrl_en_cdc

Instance :
SCORELINECONDTOGGLEFSMBRANCHASSERT
96.43 100.00 85.71 100.00 100.00


Instance's subtree :
SCORELINECONDTOGGLEFSMBRANCHASSERT
89.66 96.24 80.88 91.53 90.00


Parent :
SCORELINECONDTOGGLEFSMBRANCHASSERTNAME
99.91 100.00 99.65 100.00 100.00 u_reg


Subtrees :
NAMESCORELINECONDTOGGLEFSMBRANCHASSERT
u_arb 83.59 94.90 76.09 88.37 75.00
u_src_to_dst_req 100.00 100.00 100.00 100.00 100.00



Module Instance : tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc

Instance :
SCORELINECONDTOGGLEFSMBRANCHASSERT
96.43 100.00 85.71 100.00 100.00


Instance's subtree :
SCORELINECONDTOGGLEFSMBRANCHASSERT
89.66 96.24 80.88 91.53 90.00


Parent :
SCORELINECONDTOGGLEFSMBRANCHASSERTNAME
99.91 100.00 99.65 100.00 100.00 u_reg


Subtrees :
NAMESCORELINECONDTOGGLEFSMBRANCHASSERT
u_arb 83.59 94.90 76.09 88.37 75.00
u_src_to_dst_req 100.00 100.00 100.00 100.00 100.00



Module Instance : tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc

Instance :
SCORELINECONDTOGGLEFSMBRANCHASSERT
96.43 100.00 85.71 100.00 100.00


Instance's subtree :
SCORELINECONDTOGGLEFSMBRANCHASSERT
92.36 97.74 86.76 94.92 90.00


Parent :
SCORELINECONDTOGGLEFSMBRANCHASSERTNAME
99.91 100.00 99.65 100.00 100.00 u_reg


Subtrees :
NAMESCORELINECONDTOGGLEFSMBRANCHASSERT
u_arb 87.44 96.94 84.78 93.02 75.00
u_src_to_dst_req 100.00 100.00 100.00 100.00 100.00



Module Instance : tb.dut.u_reg.u_main_meas_ctrl_en_cdc

Instance :
SCORELINECONDTOGGLEFSMBRANCHASSERT
96.43 100.00 85.71 100.00 100.00


Instance's subtree :
SCORELINECONDTOGGLEFSMBRANCHASSERT
89.66 96.24 80.88 91.53 90.00


Parent :
SCORELINECONDTOGGLEFSMBRANCHASSERTNAME
99.91 100.00 99.65 100.00 100.00 u_reg


Subtrees :
NAMESCORELINECONDTOGGLEFSMBRANCHASSERT
u_arb 83.59 94.90 76.09 88.37 75.00
u_src_to_dst_req 100.00 100.00 100.00 100.00 100.00



Module Instance : tb.dut.u_reg.u_usb_meas_ctrl_en_cdc

Instance :
SCORELINECONDTOGGLEFSMBRANCHASSERT
96.43 100.00 85.71 100.00 100.00


Instance's subtree :
SCORELINECONDTOGGLEFSMBRANCHASSERT
89.66 96.24 80.88 91.53 90.00


Parent :
SCORELINECONDTOGGLEFSMBRANCHASSERTNAME
99.91 100.00 99.65 100.00 100.00 u_reg


Subtrees :
NAMESCORELINECONDTOGGLEFSMBRANCHASSERT
u_arb 83.59 94.90 76.09 88.37 75.00
u_src_to_dst_req 100.00 100.00 100.00 100.00 100.00



Module Instance : tb.dut.u_reg.u_io_meas_ctrl_shadowed_cdc

Instance :
SCORELINECONDTOGGLEFSMBRANCHASSERT
97.92 100.00 91.67 100.00 100.00


Instance's subtree :
SCORELINECONDTOGGLEFSMBRANCHASSERT
98.39 100.00 93.55 100.00 100.00


Parent :
SCORELINECONDTOGGLEFSMBRANCHASSERTNAME
99.91 100.00 99.65 100.00 100.00 u_reg


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



Module Instance : tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_cdc

Instance :
SCORELINECONDTOGGLEFSMBRANCHASSERT
97.92 100.00 91.67 100.00 100.00


Instance's subtree :
SCORELINECONDTOGGLEFSMBRANCHASSERT
98.39 100.00 93.55 100.00 100.00


Parent :
SCORELINECONDTOGGLEFSMBRANCHASSERTNAME
99.91 100.00 99.65 100.00 100.00 u_reg


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



Module Instance : tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_cdc

Instance :
SCORELINECONDTOGGLEFSMBRANCHASSERT
97.92 100.00 91.67 100.00 100.00


Instance's subtree :
SCORELINECONDTOGGLEFSMBRANCHASSERT
98.39 100.00 93.55 100.00 100.00


Parent :
SCORELINECONDTOGGLEFSMBRANCHASSERTNAME
99.91 100.00 99.65 100.00 100.00 u_reg


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



Module Instance : tb.dut.u_reg.u_main_meas_ctrl_shadowed_cdc

Instance :
SCORELINECONDTOGGLEFSMBRANCHASSERT
97.92 100.00 91.67 100.00 100.00


Instance's subtree :
SCORELINECONDTOGGLEFSMBRANCHASSERT
98.39 100.00 93.55 100.00 100.00


Parent :
SCORELINECONDTOGGLEFSMBRANCHASSERTNAME
99.91 100.00 99.65 100.00 100.00 u_reg


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



Module Instance : tb.dut.u_reg.u_usb_meas_ctrl_shadowed_cdc

Instance :
SCORELINECONDTOGGLEFSMBRANCHASSERT
97.92 100.00 91.67 100.00 100.00


Instance's subtree :
SCORELINECONDTOGGLEFSMBRANCHASSERT
98.39 100.00 93.55 100.00 100.00


Parent :
SCORELINECONDTOGGLEFSMBRANCHASSERTNAME
99.91 100.00 99.65 100.00 100.00 u_reg


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

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


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

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

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

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

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

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


BusySrcReqChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1638814450 1430678 0 0
T1 2241740 14053 0 0
T2 0 10997 0 0
T3 0 9409 0 0
T4 166290 363 0 0
T5 0 1219 0 0
T7 9580 0 0 0
T10 0 2709 0 0
T17 24870 0 0 0
T18 25570 0 0 0
T19 21260 0 0 0
T20 8940 0 0 0
T21 12910 0 0 0
T22 18590 0 0 0
T23 24630 0 0 0
T28 0 1787 0 0
T29 0 272 0 0
T30 0 679 0 0
T31 0 2907 0 0

DstReqKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 2147483647 2147483647 0 0
T1 2320828 2308940 0 0
T4 319466 318336 0 0
T6 49700 48940 0 0
T7 11960 10552 0 0
T17 16094 14854 0 0
T18 16260 15522 0 0
T19 138260 137252 0 0
T20 23626 22678 0 0
T21 8426 7518 0 0
T22 23888 22990 0 0

SrcAckBusyChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1638814450 277192 0 0
T1 2241740 1710 0 0
T2 0 3165 0 0
T3 0 2745 0 0
T4 166290 100 0 0
T5 0 260 0 0
T7 9580 0 0 0
T10 0 980 0 0
T17 24870 0 0 0
T18 25570 0 0 0
T19 21260 0 0 0
T20 8940 0 0 0
T21 12910 0 0 0
T22 18590 0 0 0
T23 24630 0 0 0
T28 0 340 0 0
T29 0 80 0 0
T30 0 196 0 0
T31 0 347 0 0

SrcBusyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1638814450 1614034100 0 0
T1 2241740 2225260 0 0
T4 166290 165800 0 0
T6 19240 18930 0 0
T7 9580 8310 0 0
T17 24870 22750 0 0
T18 25570 24320 0 0
T19 21260 21100 0 0
T20 8940 8540 0 0
T21 12910 11310 0 0
T22 18590 17830 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,T1,T7
01Unreachable
10CoveredT1,T4,T5

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

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

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

 LINE       125
 SUB-EXPRESSION (src_update && ((!busy)))
                 -----1----    ----2----
-1--2-StatusTests
01CoveredT6,T1,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,T1,T7
0 1 - Covered T1,T4,T5
0 0 1 Covered T1,T4,T5
0 0 0 Covered T6,T1,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,T1,T7
0 1 - Covered T1,T4,T5
0 0 1 Covered T1,T4,T5
0 0 0 Covered T6,T1,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 163881445 89718 0 0
DstReqKnown_A 522856474 518974638 0 0
SrcAckBusyChk_A 163881445 24908 0 0
SrcBusyKnown_A 163881445 161403410 0 0


BusySrcReqChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 163881445 89718 0 0
T1 224174 861 0 0
T2 0 801 0 0
T3 0 681 0 0
T4 16629 26 0 0
T5 0 87 0 0
T7 958 0 0 0
T10 0 253 0 0
T17 2487 0 0 0
T18 2557 0 0 0
T19 2126 0 0 0
T20 894 0 0 0
T21 1291 0 0 0
T22 1859 0 0 0
T23 2463 0 0 0
T28 0 120 0 0
T29 0 20 0 0
T30 0 33 0 0
T31 0 119 0 0

DstReqKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 522856474 518974638 0 0
T1 207582 205985 0 0
T4 35055 34865 0 0
T6 7391 7270 0 0
T7 1841 1596 0 0
T17 2388 2185 0 0
T18 2479 2358 0 0
T19 20422 20260 0 0
T20 3581 3419 0 0
T21 1304 1142 0 0
T22 3640 3492 0 0

SrcAckBusyChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 163881445 24908 0 0
T1 224174 169 0 0
T2 0 311 0 0
T3 0 269 0 0
T4 16629 10 0 0
T5 0 26 0 0
T7 958 0 0 0
T10 0 98 0 0
T17 2487 0 0 0
T18 2557 0 0 0
T19 2126 0 0 0
T20 894 0 0 0
T21 1291 0 0 0
T22 1859 0 0 0
T23 2463 0 0 0
T28 0 34 0 0
T29 0 8 0 0
T30 0 14 0 0
T31 0 24 0 0

SrcBusyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 163881445 161403410 0 0
T1 224174 222526 0 0
T4 16629 16580 0 0
T6 1924 1893 0 0
T7 958 831 0 0
T17 2487 2275 0 0
T18 2557 2432 0 0
T19 2126 2110 0 0
T20 894 854 0 0
T21 1291 1131 0 0
T22 1859 1783 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,T1,T7
01Unreachable
10CoveredT1,T4,T5

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

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

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

 LINE       125
 SUB-EXPRESSION (src_update && ((!busy)))
                 -----1----    ----2----
-1--2-StatusTests
01CoveredT6,T1,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,T1,T7
0 1 - Covered T1,T4,T5
0 0 1 Covered T1,T4,T5
0 0 0 Covered T6,T1,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,T1,T7
0 1 - Covered T1,T4,T5
0 0 1 Covered T1,T4,T5
0 0 0 Covered T6,T1,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 163881445 129217 0 0
DstReqKnown_A 262633848 261645036 0 0
SrcAckBusyChk_A 163881445 24908 0 0
SrcBusyKnown_A 163881445 161403410 0 0


BusySrcReqChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 163881445 129217 0 0
T1 224174 1393 0 0
T2 0 1112 0 0
T3 0 953 0 0
T4 16629 40 0 0
T5 0 122 0 0
T7 958 0 0 0
T10 0 253 0 0
T17 2487 0 0 0
T18 2557 0 0 0
T19 2126 0 0 0
T20 894 0 0 0
T21 1291 0 0 0
T22 1859 0 0 0
T23 2463 0 0 0
T28 0 172 0 0
T29 0 28 0 0
T30 0 47 0 0
T31 0 188 0 0

DstReqKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 262633848 261645036 0 0
T1 103391 103077 0 0
T4 17488 17433 0 0
T6 4042 3994 0 0
T7 868 813 0 0
T17 1320 1251 0 0
T18 1220 1179 0 0
T19 11482 11420 0 0
T20 1808 1767 0 0
T21 599 571 0 0
T22 1794 1746 0 0

SrcAckBusyChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 163881445 24908 0 0
T1 224174 169 0 0
T2 0 311 0 0
T3 0 269 0 0
T4 16629 10 0 0
T5 0 26 0 0
T7 958 0 0 0
T10 0 98 0 0
T17 2487 0 0 0
T18 2557 0 0 0
T19 2126 0 0 0
T20 894 0 0 0
T21 1291 0 0 0
T22 1859 0 0 0
T23 2463 0 0 0
T28 0 34 0 0
T29 0 8 0 0
T30 0 14 0 0
T31 0 24 0 0

SrcBusyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 163881445 161403410 0 0
T1 224174 222526 0 0
T4 16629 16580 0 0
T6 1924 1893 0 0
T7 958 831 0 0
T17 2487 2275 0 0
T18 2557 2432 0 0
T19 2126 2110 0 0
T20 894 854 0 0
T21 1291 1131 0 0
T22 1859 1783 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,T1,T7
01Unreachable
10CoveredT1,T4,T5

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

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

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

 LINE       125
 SUB-EXPRESSION (src_update && ((!busy)))
                 -----1----    ----2----
-1--2-StatusTests
01CoveredT6,T1,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,T1,T7
0 1 - Covered T1,T4,T5
0 0 1 Covered T1,T4,T5
0 0 0 Covered T6,T1,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,T1,T7
0 1 - Covered T1,T4,T5
0 0 1 Covered T1,T4,T5
0 0 0 Covered T6,T1,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 163881445 207028 0 0
DstReqKnown_A 131316221 130821902 0 0
SrcAckBusyChk_A 163881445 24908 0 0
SrcBusyKnown_A 163881445 161403410 0 0


BusySrcReqChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 163881445 207028 0 0
T1 224174 2428 0 0
T2 0 1598 0 0
T3 0 1367 0 0
T4 16629 53 0 0
T5 0 191 0 0
T7 958 0 0 0
T10 0 344 0 0
T17 2487 0 0 0
T18 2557 0 0 0
T19 2126 0 0 0
T20 894 0 0 0
T21 1291 0 0 0
T22 1859 0 0 0
T23 2463 0 0 0
T28 0 274 0 0
T29 0 40 0 0
T30 0 66 0 0
T31 0 339 0 0

DstReqKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 131316221 130821902 0 0
T1 516951 515381 0 0
T4 8744 8716 0 0
T6 2021 1997 0 0
T7 434 406 0 0
T17 658 624 0 0
T18 610 589 0 0
T19 5740 5709 0 0
T20 904 883 0 0
T21 299 285 0 0
T22 897 873 0 0

SrcAckBusyChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 163881445 24908 0 0
T1 224174 169 0 0
T2 0 311 0 0
T3 0 269 0 0
T4 16629 10 0 0
T5 0 26 0 0
T7 958 0 0 0
T10 0 98 0 0
T17 2487 0 0 0
T18 2557 0 0 0
T19 2126 0 0 0
T20 894 0 0 0
T21 1291 0 0 0
T22 1859 0 0 0
T23 2463 0 0 0
T28 0 34 0 0
T29 0 8 0 0
T30 0 14 0 0
T31 0 24 0 0

SrcBusyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 163881445 161403410 0 0
T1 224174 222526 0 0
T4 16629 16580 0 0
T6 1924 1893 0 0
T7 958 831 0 0
T17 2487 2275 0 0
T18 2557 2432 0 0
T19 2126 2110 0 0
T20 894 854 0 0
T21 1291 1131 0 0
T22 1859 1783 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,T1,T7
01Unreachable
10CoveredT1,T4,T5

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

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

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

 LINE       125
 SUB-EXPRESSION (src_update && ((!busy)))
                 -----1----    ----2----
-1--2-StatusTests
01CoveredT6,T1,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,T1,T7
0 1 - Covered T1,T4,T5
0 0 1 Covered T1,T4,T5
0 0 0 Covered T6,T1,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,T1,T7
0 1 - Covered T1,T4,T5
0 0 1 Covered T1,T4,T5
0 0 0 Covered T6,T1,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 163881445 88788 0 0
DstReqKnown_A 555636433 551562595 0 0
SrcAckBusyChk_A 163881445 24908 0 0
SrcBusyKnown_A 163881445 161403410 0 0


BusySrcReqChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 163881445 88788 0 0
T1 224174 846 0 0
T2 0 778 0 0
T3 0 665 0 0
T4 16629 26 0 0
T5 0 84 0 0
T7 958 0 0 0
T10 0 253 0 0
T17 2487 0 0 0
T18 2557 0 0 0
T19 2126 0 0 0
T20 894 0 0 0
T21 1291 0 0 0
T22 1859 0 0 0
T23 2463 0 0 0
T28 0 119 0 0
T29 0 20 0 0
T30 0 33 0 0
T31 0 138 0 0

DstReqKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 555636433 551562595 0 0
T1 225238 223574 0 0
T4 66518 66320 0 0
T6 7700 7574 0 0
T7 1917 1663 0 0
T17 2487 2275 0 0
T18 2582 2456 0 0
T19 21274 21106 0 0
T20 3730 3561 0 0
T21 1359 1190 0 0
T22 3793 3638 0 0

SrcAckBusyChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 163881445 24908 0 0
T1 224174 169 0 0
T2 0 311 0 0
T3 0 269 0 0
T4 16629 10 0 0
T5 0 26 0 0
T7 958 0 0 0
T10 0 98 0 0
T17 2487 0 0 0
T18 2557 0 0 0
T19 2126 0 0 0
T20 894 0 0 0
T21 1291 0 0 0
T22 1859 0 0 0
T23 2463 0 0 0
T28 0 34 0 0
T29 0 8 0 0
T30 0 14 0 0
T31 0 24 0 0

SrcBusyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 163881445 161403410 0 0
T1 224174 222526 0 0
T4 16629 16580 0 0
T6 1924 1893 0 0
T7 958 831 0 0
T17 2487 2275 0 0
T18 2557 2432 0 0
T19 2126 2110 0 0
T20 894 854 0 0
T21 1291 1131 0 0
T22 1859 1783 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,T1,T7
01Unreachable
10CoveredT1,T4,T5

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

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

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

 LINE       125
 SUB-EXPRESSION (src_update && ((!busy)))
                 -----1----    ----2----
-1--2-StatusTests
01CoveredT6,T1,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,T1,T7
0 1 - Covered T1,T4,T5
0 0 1 Covered T1,T4,T5
0 0 0 Covered T6,T1,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,T1,T7
0 1 - Covered T1,T4,T5
0 0 1 Covered T1,T4,T5
0 0 0 Covered T6,T1,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 163881445 127541 0 0
DstReqKnown_A 266653624 264683750 0 0
SrcAckBusyChk_A 163881445 24510 0 0
SrcBusyKnown_A 163881445 161403410 0 0


BusySrcReqChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 163881445 127541 0 0
T1 224174 1390 0 0
T2 0 1114 0 0
T3 0 950 0 0
T4 16629 36 0 0
T5 0 122 0 0
T7 958 0 0 0
T10 0 253 0 0
T17 2487 0 0 0
T18 2557 0 0 0
T19 2126 0 0 0
T20 894 0 0 0
T21 1291 0 0 0
T22 1859 0 0 0
T23 2463 0 0 0
T28 0 206 0 0
T29 0 28 0 0
T30 0 29 0 0
T31 0 118 0 0

DstReqKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 266653624 264683750 0 0
T1 107252 106453 0 0
T4 31928 31834 0 0
T6 3696 3635 0 0
T7 920 798 0 0
T17 1194 1092 0 0
T18 1239 1179 0 0
T19 10212 10131 0 0
T20 1790 1709 0 0
T21 652 571 0 0
T22 1820 1746 0 0

SrcAckBusyChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 163881445 24510 0 0
T1 224174 169 0 0
T2 0 311 0 0
T3 0 269 0 0
T4 16629 10 0 0
T5 0 26 0 0
T7 958 0 0 0
T10 0 98 0 0
T17 2487 0 0 0
T18 2557 0 0 0
T19 2126 0 0 0
T20 894 0 0 0
T21 1291 0 0 0
T22 1859 0 0 0
T23 2463 0 0 0
T28 0 34 0 0
T29 0 8 0 0
T30 0 7 0 0
T31 0 12 0 0

SrcBusyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 163881445 161403410 0 0
T1 224174 222526 0 0
T4 16629 16580 0 0
T6 1924 1893 0 0
T7 958 831 0 0
T17 2487 2275 0 0
T18 2557 2432 0 0
T19 2126 2110 0 0
T20 894 854 0 0
T21 1291 1131 0 0
T22 1859 1783 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,T1,T7
01CoveredT1,T2,T3
10CoveredT1,T4,T5

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

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

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

 LINE       125
 SUB-EXPRESSION (src_update && ((!busy)))
                 -----1----    ----2----
-1--2-StatusTests
01CoveredT6,T1,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,T1,T7
0 1 - Covered T1,T4,T5
0 0 1 Covered T1,T4,T5
0 0 0 Covered T6,T1,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,T1,T7
0 1 - Covered T1,T4,T5
0 0 1 Covered T1,T4,T5
0 0 0 Covered T6,T1,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 163881445 110268 0 0
DstReqKnown_A 522856474 518974638 0 0
SrcAckBusyChk_A 163881445 30688 0 0
SrcBusyKnown_A 163881445 161403410 0 0


BusySrcReqChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 163881445 110268 0 0
T1 224174 888 0 0
T2 0 835 0 0
T3 0 713 0 0
T4 16629 26 0 0
T5 0 87 0 0
T7 958 0 0 0
T10 0 253 0 0
T17 2487 0 0 0
T18 2557 0 0 0
T19 2126 0 0 0
T20 894 0 0 0
T21 1291 0 0 0
T22 1859 0 0 0
T23 2463 0 0 0
T28 0 120 0 0
T29 0 20 0 0
T30 0 70 0 0
T31 0 249 0 0

DstReqKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 522856474 518974638 0 0
T1 207582 205985 0 0
T4 35055 34865 0 0
T6 7391 7270 0 0
T7 1841 1596 0 0
T17 2388 2185 0 0
T18 2479 2358 0 0
T19 20422 20260 0 0
T20 3581 3419 0 0
T21 1304 1142 0 0
T22 3640 3492 0 0

SrcAckBusyChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 163881445 30688 0 0
T1 224174 173 0 0
T2 0 322 0 0
T3 0 280 0 0
T4 16629 10 0 0
T5 0 26 0 0
T7 958 0 0 0
T10 0 98 0 0
T17 2487 0 0 0
T18 2557 0 0 0
T19 2126 0 0 0
T20 894 0 0 0
T21 1291 0 0 0
T22 1859 0 0 0
T23 2463 0 0 0
T28 0 34 0 0
T29 0 8 0 0
T30 0 28 0 0
T31 0 48 0 0

SrcBusyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 163881445 161403410 0 0
T1 224174 222526 0 0
T4 16629 16580 0 0
T6 1924 1893 0 0
T7 958 831 0 0
T17 2487 2275 0 0
T18 2557 2432 0 0
T19 2126 2110 0 0
T20 894 854 0 0
T21 1291 1131 0 0
T22 1859 1783 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,T1,T7
01CoveredT1,T2,T3
10CoveredT1,T4,T5

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

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

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

 LINE       125
 SUB-EXPRESSION (src_update && ((!busy)))
                 -----1----    ----2----
-1--2-StatusTests
01CoveredT6,T1,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,T1,T7
0 1 - Covered T1,T4,T5
0 0 1 Covered T1,T4,T5
0 0 0 Covered T6,T1,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,T1,T7
0 1 - Covered T1,T4,T5
0 0 1 Covered T1,T4,T5
0 0 0 Covered T6,T1,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 163881445 158128 0 0
DstReqKnown_A 262633848 261645036 0 0
SrcAckBusyChk_A 163881445 30697 0 0
SrcBusyKnown_A 163881445 161403410 0 0


BusySrcReqChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 163881445 158128 0 0
T1 224174 1434 0 0
T2 0 1155 0 0
T3 0 983 0 0
T4 16629 37 0 0
T5 0 123 0 0
T7 958 0 0 0
T10 0 253 0 0
T17 2487 0 0 0
T18 2557 0 0 0
T19 2126 0 0 0
T20 894 0 0 0
T21 1291 0 0 0
T22 1859 0 0 0
T23 2463 0 0 0
T28 0 172 0 0
T29 0 28 0 0
T30 0 100 0 0
T31 0 395 0 0

DstReqKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 262633848 261645036 0 0
T1 103391 103077 0 0
T4 17488 17433 0 0
T6 4042 3994 0 0
T7 868 813 0 0
T17 1320 1251 0 0
T18 1220 1179 0 0
T19 11482 11420 0 0
T20 1808 1767 0 0
T21 599 571 0 0
T22 1794 1746 0 0

SrcAckBusyChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 163881445 30697 0 0
T1 224174 173 0 0
T2 0 322 0 0
T3 0 280 0 0
T4 16629 10 0 0
T5 0 26 0 0
T7 958 0 0 0
T10 0 98 0 0
T17 2487 0 0 0
T18 2557 0 0 0
T19 2126 0 0 0
T20 894 0 0 0
T21 1291 0 0 0
T22 1859 0 0 0
T23 2463 0 0 0
T28 0 34 0 0
T29 0 8 0 0
T30 0 28 0 0
T31 0 48 0 0

SrcBusyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 163881445 161403410 0 0
T1 224174 222526 0 0
T4 16629 16580 0 0
T6 1924 1893 0 0
T7 958 831 0 0
T17 2487 2275 0 0
T18 2557 2432 0 0
T19 2126 2110 0 0
T20 894 854 0 0
T21 1291 1131 0 0
T22 1859 1783 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,T1,T7
01CoveredT1,T2,T3
10CoveredT1,T4,T5

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

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

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

 LINE       125
 SUB-EXPRESSION (src_update && ((!busy)))
                 -----1----    ----2----
-1--2-StatusTests
01CoveredT6,T1,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,T1,T7
0 1 - Covered T1,T4,T5
0 0 1 Covered T1,T4,T5
0 0 0 Covered T6,T1,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,T1,T7
0 1 - Covered T1,T4,T5
0 0 1 Covered T1,T4,T5
0 0 0 Covered T6,T1,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 163881445 253556 0 0
DstReqKnown_A 131316221 130821902 0 0
SrcAckBusyChk_A 163881445 30601 0 0
SrcBusyKnown_A 163881445 161403410 0 0


BusySrcReqChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 163881445 253556 0 0
T1 224174 2515 0 0
T2 0 1646 0 0
T3 0 1411 0 0
T4 16629 54 0 0
T5 0 192 0 0
T7 958 0 0 0
T10 0 341 0 0
T17 2487 0 0 0
T18 2557 0 0 0
T19 2126 0 0 0
T20 894 0 0 0
T21 1291 0 0 0
T22 1859 0 0 0
T23 2463 0 0 0
T28 0 280 0 0
T29 0 40 0 0
T30 0 138 0 0
T31 0 681 0 0

DstReqKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 131316221 130821902 0 0
T1 516951 515381 0 0
T4 8744 8716 0 0
T6 2021 1997 0 0
T7 434 406 0 0
T17 658 624 0 0
T18 610 589 0 0
T19 5740 5709 0 0
T20 904 883 0 0
T21 299 285 0 0
T22 897 873 0 0

SrcAckBusyChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 163881445 30601 0 0
T1 224174 173 0 0
T2 0 322 0 0
T3 0 280 0 0
T4 16629 10 0 0
T5 0 26 0 0
T7 958 0 0 0
T10 0 98 0 0
T17 2487 0 0 0
T18 2557 0 0 0
T19 2126 0 0 0
T20 894 0 0 0
T21 1291 0 0 0
T22 1859 0 0 0
T23 2463 0 0 0
T28 0 34 0 0
T29 0 8 0 0
T30 0 28 0 0
T31 0 48 0 0

SrcBusyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 163881445 161403410 0 0
T1 224174 222526 0 0
T4 16629 16580 0 0
T6 1924 1893 0 0
T7 958 831 0 0
T17 2487 2275 0 0
T18 2557 2432 0 0
T19 2126 2110 0 0
T20 894 854 0 0
T21 1291 1131 0 0
T22 1859 1783 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,T1,T7
01CoveredT1,T2,T3
10CoveredT1,T4,T5

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

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

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

 LINE       125
 SUB-EXPRESSION (src_update && ((!busy)))
                 -----1----    ----2----
-1--2-StatusTests
01CoveredT6,T1,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,T1,T7
0 1 - Covered T1,T4,T5
0 0 1 Covered T1,T4,T5
0 0 0 Covered T6,T1,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,T1,T7
0 1 - Covered T1,T4,T5
0 0 1 Covered T1,T4,T5
0 0 0 Covered T6,T1,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 163881445 108870 0 0
DstReqKnown_A 555636433 551562595 0 0
SrcAckBusyChk_A 163881445 30637 0 0
SrcBusyKnown_A 163881445 161403410 0 0


BusySrcReqChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 163881445 108870 0 0
T1 224174 867 0 0
T2 0 804 0 0
T3 0 688 0 0
T4 16629 26 0 0
T5 0 87 0 0
T7 958 0 0 0
T10 0 253 0 0
T17 2487 0 0 0
T18 2557 0 0 0
T19 2126 0 0 0
T20 894 0 0 0
T21 1291 0 0 0
T22 1859 0 0 0
T23 2463 0 0 0
T28 0 118 0 0
T29 0 20 0 0
T30 0 68 0 0
T31 0 288 0 0

DstReqKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 555636433 551562595 0 0
T1 225238 223574 0 0
T4 66518 66320 0 0
T6 7700 7574 0 0
T7 1917 1663 0 0
T17 2487 2275 0 0
T18 2582 2456 0 0
T19 21274 21106 0 0
T20 3730 3561 0 0
T21 1359 1190 0 0
T22 3793 3638 0 0

SrcAckBusyChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 163881445 30637 0 0
T1 224174 173 0 0
T2 0 322 0 0
T3 0 280 0 0
T4 16629 10 0 0
T5 0 26 0 0
T7 958 0 0 0
T10 0 98 0 0
T17 2487 0 0 0
T18 2557 0 0 0
T19 2126 0 0 0
T20 894 0 0 0
T21 1291 0 0 0
T22 1859 0 0 0
T23 2463 0 0 0
T28 0 34 0 0
T29 0 8 0 0
T30 0 28 0 0
T31 0 48 0 0

SrcBusyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 163881445 161403410 0 0
T1 224174 222526 0 0
T4 16629 16580 0 0
T6 1924 1893 0 0
T7 958 831 0 0
T17 2487 2275 0 0
T18 2557 2432 0 0
T19 2126 2110 0 0
T20 894 854 0 0
T21 1291 1131 0 0
T22 1859 1783 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,T1,T7
01CoveredT1,T2,T3
10CoveredT1,T4,T5

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

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

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

 LINE       125
 SUB-EXPRESSION (src_update && ((!busy)))
                 -----1----    ----2----
-1--2-StatusTests
01CoveredT6,T1,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,T1,T7
0 1 - Covered T1,T4,T5
0 0 1 Covered T1,T4,T5
0 0 0 Covered T6,T1,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,T1,T7
0 1 - Covered T1,T4,T5
0 0 1 Covered T1,T4,T5
0 0 0 Covered T6,T1,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 163881445 157564 0 0
DstReqKnown_A 266653624 264683750 0 0
SrcAckBusyChk_A 163881445 30427 0 0
SrcBusyKnown_A 163881445 161403410 0 0


BusySrcReqChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 163881445 157564 0 0
T1 224174 1431 0 0
T2 0 1154 0 0
T3 0 998 0 0
T4 16629 39 0 0
T5 0 124 0 0
T7 958 0 0 0
T10 0 253 0 0
T17 2487 0 0 0
T18 2557 0 0 0
T19 2126 0 0 0
T20 894 0 0 0
T21 1291 0 0 0
T22 1859 0 0 0
T23 2463 0 0 0
T28 0 206 0 0
T29 0 28 0 0
T30 0 95 0 0
T31 0 392 0 0

DstReqKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 266653624 264683750 0 0
T1 107252 106453 0 0
T4 31928 31834 0 0
T6 3696 3635 0 0
T7 920 798 0 0
T17 1194 1092 0 0
T18 1239 1179 0 0
T19 10212 10131 0 0
T20 1790 1709 0 0
T21 652 571 0 0
T22 1820 1746 0 0

SrcAckBusyChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 163881445 30427 0 0
T1 224174 173 0 0
T2 0 322 0 0
T3 0 280 0 0
T4 16629 10 0 0
T5 0 26 0 0
T7 958 0 0 0
T10 0 98 0 0
T17 2487 0 0 0
T18 2557 0 0 0
T19 2126 0 0 0
T20 894 0 0 0
T21 1291 0 0 0
T22 1859 0 0 0
T23 2463 0 0 0
T28 0 34 0 0
T29 0 8 0 0
T30 0 21 0 0
T31 0 47 0 0

SrcBusyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 163881445 161403410 0 0
T1 224174 222526 0 0
T4 16629 16580 0 0
T6 1924 1893 0 0
T7 958 831 0 0
T17 2487 2275 0 0
T18 2557 2432 0 0
T19 2126 2110 0 0
T20 894 854 0 0
T21 1291 1131 0 0
T22 1859 1783 0 0

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