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
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_main_meas_ctrl_en_cdc

Instance :
SCORELINECONDTOGGLEFSMBRANCHASSERT
96.43 100.00 85.71 100.00 100.00


Instance's subtree :
SCORELINECONDTOGGLEFSMBRANCHASSERT
89.66 96.24 80.88 91.53 90.00


Parent :
SCORELINECONDTOGGLEFSMBRANCHASSERTNAME
100.00 100.00 100.00 100.00 100.00 u_reg


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



Module Instance : tb.dut.u_reg.u_usb_meas_ctrl_en_cdc

Instance :
SCORELINECONDTOGGLEFSMBRANCHASSERT
96.43 100.00 85.71 100.00 100.00


Instance's subtree :
SCORELINECONDTOGGLEFSMBRANCHASSERT
89.66 96.24 80.88 91.53 90.00


Parent :
SCORELINECONDTOGGLEFSMBRANCHASSERTNAME
100.00 100.00 100.00 100.00 100.00 u_reg


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



Module Instance : tb.dut.u_reg.u_io_meas_ctrl_shadowed_cdc

Instance :
SCORELINECONDTOGGLEFSMBRANCHASSERT
97.92 100.00 91.67 100.00 100.00


Instance's subtree :
SCORELINECONDTOGGLEFSMBRANCHASSERT
98.39 100.00 93.55 100.00 100.00


Parent :
SCORELINECONDTOGGLEFSMBRANCHASSERTNAME
100.00 100.00 100.00 100.00 100.00 u_reg


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



Module Instance : tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_cdc

Instance :
SCORELINECONDTOGGLEFSMBRANCHASSERT
97.92 100.00 91.67 100.00 100.00


Instance's subtree :
SCORELINECONDTOGGLEFSMBRANCHASSERT
98.39 100.00 93.55 100.00 100.00


Parent :
SCORELINECONDTOGGLEFSMBRANCHASSERTNAME
100.00 100.00 100.00 100.00 100.00 u_reg


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



Module Instance : tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_cdc

Instance :
SCORELINECONDTOGGLEFSMBRANCHASSERT
97.92 100.00 91.67 100.00 100.00


Instance's subtree :
SCORELINECONDTOGGLEFSMBRANCHASSERT
98.39 100.00 93.55 100.00 100.00


Parent :
SCORELINECONDTOGGLEFSMBRANCHASSERTNAME
100.00 100.00 100.00 100.00 100.00 u_reg


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



Module Instance : tb.dut.u_reg.u_main_meas_ctrl_shadowed_cdc

Instance :
SCORELINECONDTOGGLEFSMBRANCHASSERT
97.92 100.00 91.67 100.00 100.00


Instance's subtree :
SCORELINECONDTOGGLEFSMBRANCHASSERT
98.39 100.00 93.55 100.00 100.00


Parent :
SCORELINECONDTOGGLEFSMBRANCHASSERTNAME
100.00 100.00 100.00 100.00 100.00 u_reg


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



Module Instance : tb.dut.u_reg.u_usb_meas_ctrl_shadowed_cdc

Instance :
SCORELINECONDTOGGLEFSMBRANCHASSERT
97.92 100.00 91.67 100.00 100.00


Instance's subtree :
SCORELINECONDTOGGLEFSMBRANCHASSERT
98.39 100.00 93.55 100.00 100.00


Parent :
SCORELINECONDTOGGLEFSMBRANCHASSERTNAME
100.00 100.00 100.00 100.00 100.00 u_reg


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

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


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

 LINE       65
 EXPRESSION (src_we_i | src_re_i)
             ----1---   ----2---
-1--2-StatusTests
00CoveredT5,T6,T1
01CoveredT7,T8,T19
10CoveredT1,T2,T4

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

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

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

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

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

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

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

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


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

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


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 1529192060 1418470 0 0
DstReqKnown_A 2147483647 2147483647 0 0
SrcAckBusyChk_A 1529192060 281321 0 0
SrcBusyKnown_A 1529192060 1509354930 0 0


BusySrcReqChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1529192060 1418470 0 0
T1 234510 561 0 0
T2 307390 675 0 0
T3 1295170 2640 0 0
T4 916850 1346 0 0
T7 2011400 12939 0 0
T8 0 5520 0 0
T9 0 4300 0 0
T14 180080 0 0 0
T15 14510 0 0 0
T16 146730 0 0 0
T17 10470 0 0 0
T18 21460 0 0 0
T19 0 1010 0 0
T20 0 385 0 0
T25 0 268 0 0

DstReqKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 2147483647 2147483647 0 0
T1 592664 591598 0 0
T2 777006 776020 0 0
T3 3112480 3105040 0 0
T4 579362 578374 0 0
T5 13590 12460 0 0
T6 14030 13164 0 0
T14 745744 646842 0 0
T15 67086 66368 0 0
T16 90536 42932 0 0
T17 12640 11402 0 0

SrcAckBusyChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1529192060 281321 0 0
T1 234510 160 0 0
T2 307390 200 0 0
T3 1295170 780 0 0
T4 916850 160 0 0
T7 2011400 1535 0 0
T8 0 2025 0 0
T9 0 560 0 0
T14 180080 0 0 0
T15 14510 0 0 0
T16 146730 0 0 0
T17 10470 0 0 0
T18 21460 0 0 0
T19 0 377 0 0
T20 0 142 0 0
T25 0 86 0 0

SrcBusyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1529192060 1509354930 0 0
T1 234510 234020 0 0
T2 307390 306970 0 0
T3 1295170 1292070 0 0
T4 916850 915160 0 0
T5 20820 18920 0 0
T6 21370 19710 0 0
T14 180080 154060 0 0
T15 14510 14340 0 0
T16 146730 65320 0 0
T17 10470 9380 0 0

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


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

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

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

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

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

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

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

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

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

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


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

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


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 152919206 88821 0 0
DstReqKnown_A 459897485 455641414 0 0
SrcAckBusyChk_A 152919206 25180 0 0
SrcBusyKnown_A 152919206 150935493 0 0


BusySrcReqChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 152919206 88821 0 0
T1 23451 42 0 0
T2 30739 49 0 0
T3 129517 194 0 0
T4 91685 83 0 0
T7 201140 910 0 0
T8 0 506 0 0
T9 0 268 0 0
T14 18008 0 0 0
T15 1451 0 0 0
T16 14673 0 0 0
T17 1047 0 0 0
T18 2146 0 0 0
T19 0 64 0 0
T20 0 27 0 0
T25 0 14 0 0

DstReqKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 459897485 455641414 0 0
T1 90051 89861 0 0
T2 118036 117874 0 0
T3 454703 453444 0 0
T4 88015 87853 0 0
T5 2082 1892 0 0
T6 2093 1931 0 0
T14 115256 98253 0 0
T15 9958 9837 0 0
T16 14673 6532 0 0
T17 1935 1732 0 0

SrcAckBusyChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 152919206 25180 0 0
T1 23451 16 0 0
T2 30739 20 0 0
T3 129517 78 0 0
T4 91685 16 0 0
T7 201140 151 0 0
T8 0 200 0 0
T9 0 56 0 0
T14 18008 0 0 0
T15 1451 0 0 0
T16 14673 0 0 0
T17 1047 0 0 0
T18 2146 0 0 0
T19 0 26 0 0
T20 0 10 0 0
T25 0 6 0 0

SrcBusyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 152919206 150935493 0 0
T1 23451 23402 0 0
T2 30739 30697 0 0
T3 129517 129207 0 0
T4 91685 91516 0 0
T5 2082 1892 0 0
T6 2137 1971 0 0
T14 18008 15406 0 0
T15 1451 1434 0 0
T16 14673 6532 0 0
T17 1047 938 0 0

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


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

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

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

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

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

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

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

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

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

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


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

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


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 152919206 127947 0 0
DstReqKnown_A 229201325 228149678 0 0
SrcAckBusyChk_A 152919206 25180 0 0
SrcBusyKnown_A 152919206 150935493 0 0


BusySrcReqChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 152919206 127947 0 0
T1 23451 58 0 0
T2 30739 69 0 0
T3 129517 272 0 0
T4 91685 134 0 0
T7 201140 1297 0 0
T8 0 506 0 0
T9 0 432 0 0
T14 18008 0 0 0
T15 1451 0 0 0
T16 14673 0 0 0
T17 1047 0 0 0
T18 2146 0 0 0
T19 0 64 0 0
T20 0 27 0 0
T25 0 19 0 0

DstReqKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 229201325 228149678 0 0
T1 44965 44930 0 0
T2 58992 58937 0 0
T3 227488 227143 0 0
T4 43981 43926 0 0
T5 1001 946 0 0
T6 1131 1117 0 0
T14 53284 49124 0 0
T15 5489 5455 0 0
T16 5314 3267 0 0
T17 935 866 0 0

SrcAckBusyChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 152919206 25180 0 0
T1 23451 16 0 0
T2 30739 20 0 0
T3 129517 78 0 0
T4 91685 16 0 0
T7 201140 151 0 0
T8 0 200 0 0
T9 0 56 0 0
T14 18008 0 0 0
T15 1451 0 0 0
T16 14673 0 0 0
T17 1047 0 0 0
T18 2146 0 0 0
T19 0 26 0 0
T20 0 10 0 0
T25 0 6 0 0

SrcBusyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 152919206 150935493 0 0
T1 23451 23402 0 0
T2 30739 30697 0 0
T3 129517 129207 0 0
T4 91685 91516 0 0
T5 2082 1892 0 0
T6 2137 1971 0 0
T14 18008 15406 0 0
T15 1451 1434 0 0
T16 14673 6532 0 0
T17 1047 938 0 0

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


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

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

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

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

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

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

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

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

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

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


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

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


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 152919206 204330 0 0
DstReqKnown_A 114600001 114074291 0 0
SrcAckBusyChk_A 152919206 25180 0 0
SrcBusyKnown_A 152919206 150935493 0 0


BusySrcReqChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 152919206 204330 0 0
T1 23451 83 0 0
T2 30739 101 0 0
T3 129517 388 0 0
T4 91685 225 0 0
T7 201140 2175 0 0
T8 0 706 0 0
T9 0 767 0 0
T14 18008 0 0 0
T15 1451 0 0 0
T16 14673 0 0 0
T17 1047 0 0 0
T18 2146 0 0 0
T19 0 78 0 0
T20 0 27 0 0
T25 0 27 0 0

DstReqKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 114600001 114074291 0 0
T1 22483 22466 0 0
T2 29496 29469 0 0
T3 113743 113570 0 0
T4 21991 21964 0 0
T5 501 473 0 0
T6 565 558 0 0
T14 26640 24562 0 0
T15 2744 2727 0 0
T16 2658 1637 0 0
T17 467 433 0 0

SrcAckBusyChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 152919206 25180 0 0
T1 23451 16 0 0
T2 30739 20 0 0
T3 129517 78 0 0
T4 91685 16 0 0
T7 201140 151 0 0
T8 0 200 0 0
T9 0 56 0 0
T14 18008 0 0 0
T15 1451 0 0 0
T16 14673 0 0 0
T17 1047 0 0 0
T18 2146 0 0 0
T19 0 26 0 0
T20 0 10 0 0
T25 0 6 0 0

SrcBusyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 152919206 150935493 0 0
T1 23451 23402 0 0
T2 30739 30697 0 0
T3 129517 129207 0 0
T4 91685 91516 0 0
T5 2082 1892 0 0
T6 2137 1971 0 0
T14 18008 15406 0 0
T15 1451 1434 0 0
T16 14673 6532 0 0
T17 1047 938 0 0

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


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

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

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

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

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

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

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

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

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

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


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

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


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 152919206 88581 0 0
DstReqKnown_A 490034780 485544275 0 0
SrcAckBusyChk_A 152919206 25180 0 0
SrcBusyKnown_A 152919206 150935493 0 0


BusySrcReqChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 152919206 88581 0 0
T1 23451 41 0 0
T2 30739 48 0 0
T3 129517 194 0 0
T4 91685 96 0 0
T7 201140 746 0 0
T8 0 506 0 0
T9 0 260 0 0
T14 18008 0 0 0
T15 1451 0 0 0
T16 14673 0 0 0
T17 1047 0 0 0
T18 2146 0 0 0
T19 0 64 0 0
T20 0 27 0 0
T25 0 13 0 0

DstReqKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 490034780 485544275 0 0
T1 93806 93609 0 0
T2 122959 122790 0 0
T3 515664 514350 0 0
T4 91685 91516 0 0
T5 2170 1972 0 0
T6 2180 2011 0 0
T14 120062 102353 0 0
T15 10373 10247 0 0
T16 15286 6776 0 0
T17 2016 1804 0 0

SrcAckBusyChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 152919206 25180 0 0
T1 23451 16 0 0
T2 30739 20 0 0
T3 129517 78 0 0
T4 91685 16 0 0
T7 201140 151 0 0
T8 0 200 0 0
T9 0 56 0 0
T14 18008 0 0 0
T15 1451 0 0 0
T16 14673 0 0 0
T17 1047 0 0 0
T18 2146 0 0 0
T19 0 26 0 0
T20 0 10 0 0
T25 0 6 0 0

SrcBusyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 152919206 150935493 0 0
T1 23451 23402 0 0
T2 30739 30697 0 0
T3 129517 129207 0 0
T4 91685 91516 0 0
T5 2082 1892 0 0
T6 2137 1971 0 0
T14 18008 15406 0 0
T15 1451 1434 0 0
T16 14673 6532 0 0
T17 1047 938 0 0

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


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

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

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

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

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

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

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

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

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

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


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

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


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 152919206 126930 0 0
DstReqKnown_A 235248091 233092896 0 0
SrcAckBusyChk_A 152919206 24736 0 0
SrcBusyKnown_A 152919206 150935493 0 0


BusySrcReqChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 152919206 126930 0 0
T1 23451 60 0 0
T2 30739 69 0 0
T3 129517 272 0 0
T4 91685 132 0 0
T7 201140 1216 0 0
T8 0 506 0 0
T9 0 428 0 0
T14 18008 0 0 0
T15 1451 0 0 0
T16 14673 0 0 0
T17 1047 0 0 0
T18 2146 0 0 0
T19 0 46 0 0
T20 0 17 0 0
T25 0 13 0 0

DstReqKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 235248091 233092896 0 0
T1 45027 44933 0 0
T2 59020 58940 0 0
T3 244642 244013 0 0
T4 44009 43928 0 0
T5 1041 947 0 0
T6 1046 965 0 0
T14 57630 49129 0 0
T15 4979 4918 0 0
T16 7337 3254 0 0
T17 967 866 0 0

SrcAckBusyChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 152919206 24736 0 0
T1 23451 16 0 0
T2 30739 20 0 0
T3 129517 78 0 0
T4 91685 16 0 0
T7 201140 151 0 0
T8 0 200 0 0
T9 0 56 0 0
T14 18008 0 0 0
T15 1451 0 0 0
T16 14673 0 0 0
T17 1047 0 0 0
T18 2146 0 0 0
T19 0 13 0 0
T20 0 5 0 0
T25 0 3 0 0

SrcBusyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 152919206 150935493 0 0
T1 23451 23402 0 0
T2 30739 30697 0 0
T3 129517 129207 0 0
T4 91685 91516 0 0
T5 2082 1892 0 0
T6 2137 1971 0 0
T14 18008 15406 0 0
T15 1451 1434 0 0
T16 14673 6532 0 0
T17 1047 938 0 0

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


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

 LINE       65
 EXPRESSION (src_we_i | src_re_i)
             ----1---   ----2---
-1--2-StatusTests
00CoveredT5,T6,T1
01CoveredT7,T8,T19
10CoveredT1,T2,T4

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

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

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

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

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

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

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

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


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

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


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 152919206 108791 0 0
DstReqKnown_A 459897485 455641414 0 0
SrcAckBusyChk_A 152919206 31142 0 0
SrcBusyKnown_A 152919206 150935493 0 0


BusySrcReqChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 152919206 108791 0 0
T1 23451 41 0 0
T2 30739 50 0 0
T3 129517 194 0 0
T4 91685 83 0 0
T7 201140 936 0 0
T8 0 517 0 0
T9 0 269 0 0
T14 18008 0 0 0
T15 1451 0 0 0
T16 14673 0 0 0
T17 1047 0 0 0
T18 2146 0 0 0
T19 0 131 0 0
T20 0 52 0 0
T25 0 26 0 0

DstReqKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 459897485 455641414 0 0
T1 90051 89861 0 0
T2 118036 117874 0 0
T3 454703 453444 0 0
T4 88015 87853 0 0
T5 2082 1892 0 0
T6 2093 1931 0 0
T14 115256 98253 0 0
T15 9958 9837 0 0
T16 14673 6532 0 0
T17 1935 1732 0 0

SrcAckBusyChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 152919206 31142 0 0
T1 23451 16 0 0
T2 30739 20 0 0
T3 129517 78 0 0
T4 91685 16 0 0
T7 201140 156 0 0
T8 0 205 0 0
T9 0 56 0 0
T14 18008 0 0 0
T15 1451 0 0 0
T16 14673 0 0 0
T17 1047 0 0 0
T18 2146 0 0 0
T19 0 52 0 0
T20 0 20 0 0
T25 0 12 0 0

SrcBusyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 152919206 150935493 0 0
T1 23451 23402 0 0
T2 30739 30697 0 0
T3 129517 129207 0 0
T4 91685 91516 0 0
T5 2082 1892 0 0
T6 2137 1971 0 0
T14 18008 15406 0 0
T15 1451 1434 0 0
T16 14673 6532 0 0
T17 1047 938 0 0

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


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

 LINE       65
 EXPRESSION (src_we_i | src_re_i)
             ----1---   ----2---
-1--2-StatusTests
00CoveredT5,T6,T1
01CoveredT7,T8,T19
10CoveredT1,T2,T4

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

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

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

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

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

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

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

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


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

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


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 152919206 156438 0 0
DstReqKnown_A 229201325 228149678 0 0
SrcAckBusyChk_A 152919206 31171 0 0
SrcBusyKnown_A 152919206 150935493 0 0


BusySrcReqChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 152919206 156438 0 0
T1 23451 57 0 0
T2 30739 71 0 0
T3 129517 272 0 0
T4 91685 134 0 0
T7 201140 1330 0 0
T8 0 517 0 0
T9 0 428 0 0
T14 18008 0 0 0
T15 1451 0 0 0
T16 14673 0 0 0
T17 1047 0 0 0
T18 2146 0 0 0
T19 0 131 0 0
T20 0 52 0 0
T25 0 38 0 0

DstReqKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 229201325 228149678 0 0
T1 44965 44930 0 0
T2 58992 58937 0 0
T3 227488 227143 0 0
T4 43981 43926 0 0
T5 1001 946 0 0
T6 1131 1117 0 0
T14 53284 49124 0 0
T15 5489 5455 0 0
T16 5314 3267 0 0
T17 935 866 0 0

SrcAckBusyChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 152919206 31171 0 0
T1 23451 16 0 0
T2 30739 20 0 0
T3 129517 78 0 0
T4 91685 16 0 0
T7 201140 156 0 0
T8 0 205 0 0
T9 0 56 0 0
T14 18008 0 0 0
T15 1451 0 0 0
T16 14673 0 0 0
T17 1047 0 0 0
T18 2146 0 0 0
T19 0 52 0 0
T20 0 20 0 0
T25 0 12 0 0

SrcBusyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 152919206 150935493 0 0
T1 23451 23402 0 0
T2 30739 30697 0 0
T3 129517 129207 0 0
T4 91685 91516 0 0
T5 2082 1892 0 0
T6 2137 1971 0 0
T14 18008 15406 0 0
T15 1451 1434 0 0
T16 14673 6532 0 0
T17 1047 938 0 0

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


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

 LINE       65
 EXPRESSION (src_we_i | src_re_i)
             ----1---   ----2---
-1--2-StatusTests
00CoveredT5,T6,T1
01CoveredT7,T8,T19
10CoveredT1,T2,T4

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

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

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

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

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

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

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

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


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

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


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 152919206 251007 0 0
DstReqKnown_A 114600001 114074291 0 0
SrcAckBusyChk_A 152919206 31249 0 0
SrcBusyKnown_A 152919206 150935493 0 0


BusySrcReqChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 152919206 251007 0 0
T1 23451 82 0 0
T2 30739 102 0 0
T3 129517 388 0 0
T4 91685 231 0 0
T7 201140 2304 0 0
T8 0 722 0 0
T9 0 756 0 0
T14 18008 0 0 0
T15 1451 0 0 0
T16 14673 0 0 0
T17 1047 0 0 0
T18 2146 0 0 0
T19 0 170 0 0
T20 0 52 0 0
T25 0 54 0 0

DstReqKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 114600001 114074291 0 0
T1 22483 22466 0 0
T2 29496 29469 0 0
T3 113743 113570 0 0
T4 21991 21964 0 0
T5 501 473 0 0
T6 565 558 0 0
T14 26640 24562 0 0
T15 2744 2727 0 0
T16 2658 1637 0 0
T17 467 433 0 0

SrcAckBusyChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 152919206 31249 0 0
T1 23451 16 0 0
T2 30739 20 0 0
T3 129517 78 0 0
T4 91685 16 0 0
T7 201140 156 0 0
T8 0 205 0 0
T9 0 56 0 0
T14 18008 0 0 0
T15 1451 0 0 0
T16 14673 0 0 0
T17 1047 0 0 0
T18 2146 0 0 0
T19 0 52 0 0
T20 0 20 0 0
T25 0 12 0 0

SrcBusyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 152919206 150935493 0 0
T1 23451 23402 0 0
T2 30739 30697 0 0
T3 129517 129207 0 0
T4 91685 91516 0 0
T5 2082 1892 0 0
T6 2137 1971 0 0
T14 18008 15406 0 0
T15 1451 1434 0 0
T16 14673 6532 0 0
T17 1047 938 0 0

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


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

 LINE       65
 EXPRESSION (src_we_i | src_re_i)
             ----1---   ----2---
-1--2-StatusTests
00CoveredT5,T6,T1
01CoveredT7,T8,T19
10CoveredT1,T2,T4

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

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

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

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

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

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

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

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


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

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


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 152919206 108850 0 0
DstReqKnown_A 490034780 485544275 0 0
SrcAckBusyChk_A 152919206 31329 0 0
SrcBusyKnown_A 152919206 150935493 0 0


BusySrcReqChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 152919206 108850 0 0
T1 23451 40 0 0
T2 30739 48 0 0
T3 129517 194 0 0
T4 91685 96 0 0
T7 201140 765 0 0
T8 0 517 0 0
T9 0 264 0 0
T14 18008 0 0 0
T15 1451 0 0 0
T16 14673 0 0 0
T17 1047 0 0 0
T18 2146 0 0 0
T19 0 131 0 0
T20 0 52 0 0
T25 0 26 0 0

DstReqKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 490034780 485544275 0 0
T1 93806 93609 0 0
T2 122959 122790 0 0
T3 515664 514350 0 0
T4 91685 91516 0 0
T5 2170 1972 0 0
T6 2180 2011 0 0
T14 120062 102353 0 0
T15 10373 10247 0 0
T16 15286 6776 0 0
T17 2016 1804 0 0

SrcAckBusyChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 152919206 31329 0 0
T1 23451 16 0 0
T2 30739 20 0 0
T3 129517 78 0 0
T4 91685 16 0 0
T7 201140 156 0 0
T8 0 205 0 0
T9 0 56 0 0
T14 18008 0 0 0
T15 1451 0 0 0
T16 14673 0 0 0
T17 1047 0 0 0
T18 2146 0 0 0
T19 0 52 0 0
T20 0 20 0 0
T25 0 12 0 0

SrcBusyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 152919206 150935493 0 0
T1 23451 23402 0 0
T2 30739 30697 0 0
T3 129517 129207 0 0
T4 91685 91516 0 0
T5 2082 1892 0 0
T6 2137 1971 0 0
T14 18008 15406 0 0
T15 1451 1434 0 0
T16 14673 6532 0 0
T17 1047 938 0 0

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


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

 LINE       65
 EXPRESSION (src_we_i | src_re_i)
             ----1---   ----2---
-1--2-StatusTests
00CoveredT5,T6,T1
01CoveredT7,T8,T19
10CoveredT1,T2,T4

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

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

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

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

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

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

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

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


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

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


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 152919206 156775 0 0
DstReqKnown_A 235248091 233092896 0 0
SrcAckBusyChk_A 152919206 30974 0 0
SrcBusyKnown_A 152919206 150935493 0 0


BusySrcReqChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 152919206 156775 0 0
T1 23451 57 0 0
T2 30739 68 0 0
T3 129517 272 0 0
T4 91685 132 0 0
T7 201140 1260 0 0
T8 0 517 0 0
T9 0 428 0 0
T14 18008 0 0 0
T15 1451 0 0 0
T16 14673 0 0 0
T17 1047 0 0 0
T18 2146 0 0 0
T19 0 131 0 0
T20 0 52 0 0
T25 0 38 0 0

DstReqKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 235248091 233092896 0 0
T1 45027 44933 0 0
T2 59020 58940 0 0
T3 244642 244013 0 0
T4 44009 43928 0 0
T5 1041 947 0 0
T6 1046 965 0 0
T14 57630 49129 0 0
T15 4979 4918 0 0
T16 7337 3254 0 0
T17 967 866 0 0

SrcAckBusyChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 152919206 30974 0 0
T1 23451 16 0 0
T2 30739 20 0 0
T3 129517 78 0 0
T4 91685 16 0 0
T7 201140 156 0 0
T8 0 205 0 0
T9 0 56 0 0
T14 18008 0 0 0
T15 1451 0 0 0
T16 14673 0 0 0
T17 1047 0 0 0
T18 2146 0 0 0
T19 0 52 0 0
T20 0 17 0 0
T25 0 11 0 0

SrcBusyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 152919206 150935493 0 0
T1 23451 23402 0 0
T2 30739 30697 0 0
T3 129517 129207 0 0
T4 91685 91516 0 0
T5 2082 1892 0 0
T6 2137 1971 0 0
T14 18008 15406 0 0
T15 1451 1434 0 0
T16 14673 6532 0 0
T17 1047 938 0 0

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