Line Coverage for Module :
prim_mubi4_sync ( parameter NumCopies=1,AsyncOn=1,StabilityCheck=1,ResetValue=9 )
Line Coverage for Module self-instances :
| Line No. | Total | Covered | Percent |
TOTAL | | 6 | 6 | 100.00 |
CONT_ASSIGN | 96 | 1 | 1 | 100.00 |
CONT_ASSIGN | 96 | 1 | 1 | 100.00 |
CONT_ASSIGN | 96 | 1 | 1 | 100.00 |
CONT_ASSIGN | 96 | 1 | 1 | 100.00 |
ALWAYS | 117 | 1 | 1 | 100.00 |
CONT_ASSIGN | 168 | 1 | 1 | 100.00 |
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_prim_mubi_0.1/rtl/prim_mubi4_sync.sv' or '../src/lowrisc_prim_mubi_0.1/rtl/prim_mubi4_sync.sv' was not found, so annotated line coverage report could not be generated.
Line No. | Covered | Statements | |
96 |
4 |
4 |
117 |
1 |
1 |
168 |
1 |
1 |
Line Coverage for Module :
prim_mubi4_sync ( parameter NumCopies=1,AsyncOn=0,StabilityCheck=0,ResetValue=9 )
Line Coverage for Module self-instances :
| Line No. | Total | Covered | Percent |
TOTAL | | 2 | 2 | 100.00 |
ALWAYS | 145 | 0 | 0 | |
CONT_ASSIGN | 155 | 1 | 1 | 100.00 |
CONT_ASSIGN | 168 | 1 | 1 | 100.00 |
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_prim_mubi_0.1/rtl/prim_mubi4_sync.sv' or '../src/lowrisc_prim_mubi_0.1/rtl/prim_mubi4_sync.sv' was not found, so annotated line coverage report could not be generated.
Line No. | Covered | Statements | |
145 |
|
unreachable |
146 |
|
unreachable |
148 |
|
unreachable |
155 |
1 |
1 |
168 |
1 |
1 |
Line Coverage for Module :
prim_mubi4_sync ( parameter NumCopies=6,AsyncOn=1,StabilityCheck=0,ResetValue=9 )
Line Coverage for Module self-instances :
| Line No. | Total | Covered | Percent |
TOTAL | | 8 | 8 | 100.00 |
CONT_ASSIGN | 124 | 1 | 1 | 100.00 |
ALWAYS | 128 | 1 | 1 | 100.00 |
CONT_ASSIGN | 168 | 1 | 1 | 100.00 |
CONT_ASSIGN | 168 | 1 | 1 | 100.00 |
CONT_ASSIGN | 168 | 1 | 1 | 100.00 |
CONT_ASSIGN | 168 | 1 | 1 | 100.00 |
CONT_ASSIGN | 168 | 1 | 1 | 100.00 |
CONT_ASSIGN | 168 | 1 | 1 | 100.00 |
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_prim_mubi_0.1/rtl/prim_mubi4_sync.sv' or '../src/lowrisc_prim_mubi_0.1/rtl/prim_mubi4_sync.sv' was not found, so annotated line coverage report could not be generated.
Line No. | Covered | Statements | |
124 |
1 |
1 |
128 |
1 |
1 |
168 |
6 |
6 |
Line Coverage for Module :
prim_mubi4_sync ( parameter NumCopies=1,AsyncOn=1,StabilityCheck=0,ResetValue=9 )
Line Coverage for Module self-instances :
| Line No. | Total | Covered | Percent |
TOTAL | | 3 | 3 | 100.00 |
CONT_ASSIGN | 124 | 1 | 1 | 100.00 |
ALWAYS | 128 | 1 | 1 | 100.00 |
CONT_ASSIGN | 168 | 1 | 1 | 100.00 |
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_prim_mubi_0.1/rtl/prim_mubi4_sync.sv' or '../src/lowrisc_prim_mubi_0.1/rtl/prim_mubi4_sync.sv' was not found, so annotated line coverage report could not be generated.
Line No. | Covered | Statements | |
124 |
1 |
1 |
128 |
1 |
1 |
168 |
1 |
1 |
Cond Coverage for Module :
prim_mubi4_sync
| Total | Covered | Percent |
Conditions | 8 | 8 | 100.00 |
Logical | 8 | 8 | 100.00 |
Non-Logical | 0 | 0 | |
Event | 0 | 0 | |
LINE 96
EXPRESSION (((|gen_flops.gen_stable_chks.gen_bufs_muxes[0].sig_unstable_buf)) ? gen_flops.gen_stable_chks.reset_value[0] : gen_flops.gen_stable_chks.mubi_q[0])
--------------------------------1--------------------------------
-1- | Status | Tests |
0 | Covered | T4,T1,T5 |
1 | Covered | T4,T1,T5 |
LINE 96
EXPRESSION (((|gen_flops.gen_stable_chks.gen_bufs_muxes[1].sig_unstable_buf)) ? gen_flops.gen_stable_chks.reset_value[1] : gen_flops.gen_stable_chks.mubi_q[1])
--------------------------------1--------------------------------
-1- | Status | Tests |
0 | Covered | T4,T1,T5 |
1 | Covered | T4,T1,T5 |
LINE 96
EXPRESSION (((|gen_flops.gen_stable_chks.gen_bufs_muxes[2].sig_unstable_buf)) ? gen_flops.gen_stable_chks.reset_value[2] : gen_flops.gen_stable_chks.mubi_q[2])
--------------------------------1--------------------------------
-1- | Status | Tests |
0 | Covered | T4,T1,T5 |
1 | Covered | T4,T1,T5 |
LINE 96
EXPRESSION (((|gen_flops.gen_stable_chks.gen_bufs_muxes[3].sig_unstable_buf)) ? gen_flops.gen_stable_chks.reset_value[3] : gen_flops.gen_stable_chks.mubi_q[3])
--------------------------------1--------------------------------
-1- | Status | Tests |
0 | Covered | T4,T1,T5 |
1 | Covered | T4,T1,T5 |
Branch Coverage for Module :
prim_mubi4_sync
| Line No. | Total | Covered | Percent |
Branches |
|
8 |
8 |
100.00 |
TERNARY |
96 |
2 |
2 |
100.00 |
TERNARY |
96 |
2 |
2 |
100.00 |
TERNARY |
96 |
2 |
2 |
100.00 |
TERNARY |
96 |
2 |
2 |
100.00 |
WARNING: The source file /workspace/default/sim-vcs/../src/lowrisc_prim_mubi_0.1/rtl/prim_mubi4_sync.sv' or '../src/lowrisc_prim_mubi_0.1/rtl/prim_mubi4_sync.sv was not found/opened, so annotated branch coverage report could not be generated.
LineNo. Expression
-1-: 96 ((|gen_flops.gen_stable_chks.gen_bufs_muxes[0].sig_unstable_buf)) ?
Branches:
-1- | Status | Tests |
1 |
Covered |
T4,T1,T5 |
0 |
Covered |
T4,T1,T5 |
LineNo. Expression
-1-: 96 ((|gen_flops.gen_stable_chks.gen_bufs_muxes[1].sig_unstable_buf)) ?
Branches:
-1- | Status | Tests |
1 |
Covered |
T4,T1,T5 |
0 |
Covered |
T4,T1,T5 |
LineNo. Expression
-1-: 96 ((|gen_flops.gen_stable_chks.gen_bufs_muxes[2].sig_unstable_buf)) ?
Branches:
-1- | Status | Tests |
1 |
Covered |
T4,T1,T5 |
0 |
Covered |
T4,T1,T5 |
LineNo. Expression
-1-: 96 ((|gen_flops.gen_stable_chks.gen_bufs_muxes[3].sig_unstable_buf)) ?
Branches:
-1- | Status | Tests |
1 |
Covered |
T4,T1,T5 |
0 |
Covered |
T4,T1,T5 |
Assert Coverage for Module :
prim_mubi4_sync
Assertion Details
NumCopiesMustBeGreaterZero_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
22540 |
22540 |
0 |
0 |
T1 |
28 |
28 |
0 |
0 |
T2 |
28 |
28 |
0 |
0 |
T3 |
28 |
28 |
0 |
0 |
T4 |
28 |
28 |
0 |
0 |
T5 |
28 |
28 |
0 |
0 |
T16 |
28 |
28 |
0 |
0 |
T17 |
28 |
28 |
0 |
0 |
T18 |
28 |
28 |
0 |
0 |
T19 |
28 |
28 |
0 |
0 |
T20 |
28 |
28 |
0 |
0 |
OutputsKnown_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
2147483647 |
2147483647 |
0 |
0 |
T1 |
10265251 |
10213032 |
0 |
0 |
T2 |
9948904 |
9856563 |
0 |
0 |
T3 |
16300137 |
16271692 |
0 |
0 |
T4 |
80994 |
78640 |
0 |
0 |
T5 |
79359 |
76913 |
0 |
0 |
T16 |
52996 |
48292 |
0 |
0 |
T17 |
42201 |
39441 |
0 |
0 |
T18 |
42540 |
39493 |
0 |
0 |
T19 |
64651 |
58966 |
0 |
0 |
T20 |
543892 |
195162 |
0 |
0 |
gen_flops.gen_no_stable_chks.OutputDelay_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
969568578 |
953510478 |
0 |
14490 |
T1 |
1888224 |
1876500 |
0 |
18 |
T2 |
2109528 |
2086830 |
0 |
18 |
T3 |
2538330 |
2533338 |
0 |
18 |
T4 |
7512 |
7230 |
0 |
18 |
T5 |
7620 |
7332 |
0 |
18 |
T16 |
12078 |
10902 |
0 |
18 |
T17 |
6552 |
6078 |
0 |
18 |
T18 |
4086 |
3732 |
0 |
18 |
T19 |
14586 |
13188 |
0 |
18 |
T20 |
51468 |
14382 |
0 |
18 |
gen_flops.gen_stable_chks.OutputDelay_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
2147483647 |
2147483647 |
0 |
16905 |
T1 |
2679707 |
2663744 |
0 |
21 |
T2 |
2470033 |
2443274 |
0 |
21 |
T3 |
5093741 |
5083604 |
0 |
21 |
T4 |
28390 |
27373 |
0 |
21 |
T5 |
27761 |
26738 |
0 |
21 |
T16 |
14209 |
12825 |
0 |
21 |
T17 |
13235 |
12293 |
0 |
21 |
T18 |
14898 |
13644 |
0 |
21 |
T19 |
17429 |
15754 |
0 |
21 |
T20 |
194460 |
54492 |
0 |
21 |
gen_flops.gen_stable_chks.OutputIfUnstable_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
2147483647 |
199725 |
0 |
0 |
T1 |
2679707 |
3976 |
0 |
0 |
T2 |
2470033 |
2797 |
0 |
0 |
T3 |
5093741 |
805 |
0 |
0 |
T4 |
28390 |
59 |
0 |
0 |
T5 |
27761 |
16 |
0 |
0 |
T11 |
0 |
136 |
0 |
0 |
T16 |
14209 |
59 |
0 |
0 |
T17 |
13235 |
16 |
0 |
0 |
T18 |
14898 |
12 |
0 |
0 |
T19 |
17429 |
102 |
0 |
0 |
T20 |
194460 |
20 |
0 |
0 |
T68 |
0 |
73 |
0 |
0 |
T69 |
0 |
127 |
0 |
0 |
T70 |
0 |
34 |
0 |
0 |
T111 |
0 |
79 |
0 |
0 |
T112 |
0 |
7 |
0 |
0 |
T113 |
0 |
64 |
0 |
0 |
gen_no_flops.OutputDelay_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
2147483647 |
2147483647 |
0 |
0 |
T1 |
5697320 |
5672749 |
0 |
0 |
T2 |
5369343 |
5326412 |
0 |
0 |
T3 |
8668066 |
8654399 |
0 |
0 |
T4 |
45092 |
43998 |
0 |
0 |
T5 |
43978 |
42804 |
0 |
0 |
T16 |
26709 |
24526 |
0 |
0 |
T17 |
22414 |
21031 |
0 |
0 |
T18 |
23556 |
22078 |
0 |
0 |
T19 |
32636 |
29985 |
0 |
0 |
T20 |
297964 |
126093 |
0 |
0 |
Line Coverage for Instance : tb.dut.u_io_step_down_req_sync
| Line No. | Total | Covered | Percent |
TOTAL | | 6 | 6 | 100.00 |
CONT_ASSIGN | 96 | 1 | 1 | 100.00 |
CONT_ASSIGN | 96 | 1 | 1 | 100.00 |
CONT_ASSIGN | 96 | 1 | 1 | 100.00 |
CONT_ASSIGN | 96 | 1 | 1 | 100.00 |
ALWAYS | 117 | 1 | 1 | 100.00 |
CONT_ASSIGN | 168 | 1 | 1 | 100.00 |
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_prim_mubi_0.1/rtl/prim_mubi4_sync.sv' or '../src/lowrisc_prim_mubi_0.1/rtl/prim_mubi4_sync.sv' was not found, so annotated line coverage report could not be generated.
Line No. | Covered | Statements | |
96 |
4 |
4 |
117 |
1 |
1 |
168 |
1 |
1 |
Cond Coverage for Instance : tb.dut.u_io_step_down_req_sync
| Total | Covered | Percent |
Conditions | 8 | 8 | 100.00 |
Logical | 8 | 8 | 100.00 |
Non-Logical | 0 | 0 | |
Event | 0 | 0 | |
LINE 96
EXPRESSION (((|gen_flops.gen_stable_chks.gen_bufs_muxes[0].sig_unstable_buf)) ? gen_flops.gen_stable_chks.reset_value[0] : gen_flops.gen_stable_chks.mubi_q[0])
--------------------------------1--------------------------------
-1- | Status | Tests |
0 | Covered | T4,T1,T5 |
1 | Covered | T4,T1,T2 |
LINE 96
EXPRESSION (((|gen_flops.gen_stable_chks.gen_bufs_muxes[1].sig_unstable_buf)) ? gen_flops.gen_stable_chks.reset_value[1] : gen_flops.gen_stable_chks.mubi_q[1])
--------------------------------1--------------------------------
-1- | Status | Tests |
0 | Covered | T4,T1,T5 |
1 | Covered | T4,T1,T2 |
LINE 96
EXPRESSION (((|gen_flops.gen_stable_chks.gen_bufs_muxes[2].sig_unstable_buf)) ? gen_flops.gen_stable_chks.reset_value[2] : gen_flops.gen_stable_chks.mubi_q[2])
--------------------------------1--------------------------------
-1- | Status | Tests |
0 | Covered | T4,T1,T5 |
1 | Covered | T4,T1,T2 |
LINE 96
EXPRESSION (((|gen_flops.gen_stable_chks.gen_bufs_muxes[3].sig_unstable_buf)) ? gen_flops.gen_stable_chks.reset_value[3] : gen_flops.gen_stable_chks.mubi_q[3])
--------------------------------1--------------------------------
-1- | Status | Tests |
0 | Covered | T4,T1,T5 |
1 | Covered | T4,T1,T2 |
Branch Coverage for Instance : tb.dut.u_io_step_down_req_sync
| Line No. | Total | Covered | Percent |
Branches |
|
8 |
8 |
100.00 |
TERNARY |
96 |
2 |
2 |
100.00 |
TERNARY |
96 |
2 |
2 |
100.00 |
TERNARY |
96 |
2 |
2 |
100.00 |
TERNARY |
96 |
2 |
2 |
100.00 |
WARNING: The source file /workspace/default/sim-vcs/../src/lowrisc_prim_mubi_0.1/rtl/prim_mubi4_sync.sv' or '../src/lowrisc_prim_mubi_0.1/rtl/prim_mubi4_sync.sv was not found/opened, so annotated branch coverage report could not be generated.
LineNo. Expression
-1-: 96 ((|gen_flops.gen_stable_chks.gen_bufs_muxes[0].sig_unstable_buf)) ?
Branches:
-1- | Status | Tests |
1 |
Covered |
T4,T1,T2 |
0 |
Covered |
T4,T1,T5 |
LineNo. Expression
-1-: 96 ((|gen_flops.gen_stable_chks.gen_bufs_muxes[1].sig_unstable_buf)) ?
Branches:
-1- | Status | Tests |
1 |
Covered |
T4,T1,T2 |
0 |
Covered |
T4,T1,T5 |
LineNo. Expression
-1-: 96 ((|gen_flops.gen_stable_chks.gen_bufs_muxes[2].sig_unstable_buf)) ?
Branches:
-1- | Status | Tests |
1 |
Covered |
T4,T1,T2 |
0 |
Covered |
T4,T1,T5 |
LineNo. Expression
-1-: 96 ((|gen_flops.gen_stable_chks.gen_bufs_muxes[3].sig_unstable_buf)) ?
Branches:
-1- | Status | Tests |
1 |
Covered |
T4,T1,T2 |
0 |
Covered |
T4,T1,T5 |
Assert Coverage for Instance : tb.dut.u_io_step_down_req_sync
Assertion Details
NumCopiesMustBeGreaterZero_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
805 |
805 |
0 |
0 |
T1 |
1 |
1 |
0 |
0 |
T2 |
1 |
1 |
0 |
0 |
T3 |
1 |
1 |
0 |
0 |
T4 |
1 |
1 |
0 |
0 |
T5 |
1 |
1 |
0 |
0 |
T16 |
1 |
1 |
0 |
0 |
T17 |
1 |
1 |
0 |
0 |
T18 |
1 |
1 |
0 |
0 |
T19 |
1 |
1 |
0 |
0 |
T20 |
1 |
1 |
0 |
0 |
OutputsKnown_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
364627542 |
360103206 |
0 |
0 |
T1 |
381519 |
379883 |
0 |
0 |
T2 |
321061 |
317631 |
0 |
0 |
T3 |
794231 |
792617 |
0 |
0 |
T4 |
5010 |
4834 |
0 |
0 |
T5 |
4881 |
4705 |
0 |
0 |
T16 |
1971 |
1782 |
0 |
0 |
T17 |
2139 |
1990 |
0 |
0 |
T18 |
2620 |
2403 |
0 |
0 |
T19 |
2431 |
2201 |
0 |
0 |
T20 |
34316 |
9633 |
0 |
0 |
gen_flops.gen_stable_chks.OutputDelay_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
364627542 |
360096282 |
0 |
2415 |
T1 |
381519 |
379880 |
0 |
3 |
T2 |
321061 |
317628 |
0 |
3 |
T3 |
794231 |
792590 |
0 |
3 |
T4 |
5010 |
4831 |
0 |
3 |
T5 |
4881 |
4702 |
0 |
3 |
T16 |
1971 |
1779 |
0 |
3 |
T17 |
2139 |
1987 |
0 |
3 |
T18 |
2620 |
2400 |
0 |
3 |
T19 |
2431 |
2198 |
0 |
3 |
T20 |
34316 |
9618 |
0 |
3 |
gen_flops.gen_stable_chks.OutputIfUnstable_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
364627542 |
27234 |
0 |
0 |
T1 |
381519 |
654 |
0 |
0 |
T2 |
321061 |
385 |
0 |
0 |
T3 |
794231 |
110 |
0 |
0 |
T4 |
5010 |
15 |
0 |
0 |
T5 |
4881 |
0 |
0 |
0 |
T11 |
0 |
56 |
0 |
0 |
T16 |
1971 |
0 |
0 |
0 |
T17 |
2139 |
0 |
0 |
0 |
T18 |
2620 |
0 |
0 |
0 |
T19 |
2431 |
0 |
0 |
0 |
T20 |
34316 |
0 |
0 |
0 |
T68 |
0 |
38 |
0 |
0 |
T69 |
0 |
67 |
0 |
0 |
T111 |
0 |
36 |
0 |
0 |
T112 |
0 |
4 |
0 |
0 |
T113 |
0 |
27 |
0 |
0 |
Line Coverage for Instance : tb.dut.u_io_div2_div_scanmode_sync
| Line No. | Total | Covered | Percent |
TOTAL | | 2 | 2 | 100.00 |
ALWAYS | 145 | 0 | 0 | |
CONT_ASSIGN | 155 | 1 | 1 | 100.00 |
CONT_ASSIGN | 168 | 1 | 1 | 100.00 |
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_prim_mubi_0.1/rtl/prim_mubi4_sync.sv' or '../src/lowrisc_prim_mubi_0.1/rtl/prim_mubi4_sync.sv' was not found, so annotated line coverage report could not be generated.
Line No. | Covered | Statements | |
145 |
|
unreachable |
146 |
|
unreachable |
148 |
|
unreachable |
155 |
1 |
1 |
168 |
1 |
1 |
Assert Coverage for Instance : tb.dut.u_io_div2_div_scanmode_sync
Assertion Details
NumCopiesMustBeGreaterZero_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
805 |
805 |
0 |
0 |
T1 |
1 |
1 |
0 |
0 |
T2 |
1 |
1 |
0 |
0 |
T3 |
1 |
1 |
0 |
0 |
T4 |
1 |
1 |
0 |
0 |
T5 |
1 |
1 |
0 |
0 |
T16 |
1 |
1 |
0 |
0 |
T17 |
1 |
1 |
0 |
0 |
T18 |
1 |
1 |
0 |
0 |
T19 |
1 |
1 |
0 |
0 |
T20 |
1 |
1 |
0 |
0 |
OutputsKnown_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
161594763 |
158925559 |
0 |
0 |
T1 |
314704 |
312753 |
0 |
0 |
T2 |
351588 |
347809 |
0 |
0 |
T3 |
423055 |
422250 |
0 |
0 |
T4 |
1252 |
1208 |
0 |
0 |
T5 |
1270 |
1225 |
0 |
0 |
T16 |
2013 |
1820 |
0 |
0 |
T17 |
1092 |
1016 |
0 |
0 |
T18 |
681 |
625 |
0 |
0 |
T19 |
2431 |
2201 |
0 |
0 |
T20 |
8578 |
2412 |
0 |
0 |
gen_no_flops.OutputDelay_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
161594763 |
158925559 |
0 |
0 |
T1 |
314704 |
312753 |
0 |
0 |
T2 |
351588 |
347809 |
0 |
0 |
T3 |
423055 |
422250 |
0 |
0 |
T4 |
1252 |
1208 |
0 |
0 |
T5 |
1270 |
1225 |
0 |
0 |
T16 |
2013 |
1820 |
0 |
0 |
T17 |
1092 |
1016 |
0 |
0 |
T18 |
681 |
625 |
0 |
0 |
T19 |
2431 |
2201 |
0 |
0 |
T20 |
8578 |
2412 |
0 |
0 |
Line Coverage for Instance : tb.dut.u_io_div4_div_scanmode_sync
| Line No. | Total | Covered | Percent |
TOTAL | | 2 | 2 | 100.00 |
ALWAYS | 145 | 0 | 0 | |
CONT_ASSIGN | 155 | 1 | 1 | 100.00 |
CONT_ASSIGN | 168 | 1 | 1 | 100.00 |
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_prim_mubi_0.1/rtl/prim_mubi4_sync.sv' or '../src/lowrisc_prim_mubi_0.1/rtl/prim_mubi4_sync.sv' was not found, so annotated line coverage report could not be generated.
Line No. | Covered | Statements | |
145 |
|
unreachable |
146 |
|
unreachable |
148 |
|
unreachable |
155 |
1 |
1 |
168 |
1 |
1 |
Assert Coverage for Instance : tb.dut.u_io_div4_div_scanmode_sync
Assertion Details
NumCopiesMustBeGreaterZero_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
805 |
805 |
0 |
0 |
T1 |
1 |
1 |
0 |
0 |
T2 |
1 |
1 |
0 |
0 |
T3 |
1 |
1 |
0 |
0 |
T4 |
1 |
1 |
0 |
0 |
T5 |
1 |
1 |
0 |
0 |
T16 |
1 |
1 |
0 |
0 |
T17 |
1 |
1 |
0 |
0 |
T18 |
1 |
1 |
0 |
0 |
T19 |
1 |
1 |
0 |
0 |
T20 |
1 |
1 |
0 |
0 |
OutputsKnown_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
161594763 |
158925559 |
0 |
0 |
T1 |
314704 |
312753 |
0 |
0 |
T2 |
351588 |
347809 |
0 |
0 |
T3 |
423055 |
422250 |
0 |
0 |
T4 |
1252 |
1208 |
0 |
0 |
T5 |
1270 |
1225 |
0 |
0 |
T16 |
2013 |
1820 |
0 |
0 |
T17 |
1092 |
1016 |
0 |
0 |
T18 |
681 |
625 |
0 |
0 |
T19 |
2431 |
2201 |
0 |
0 |
T20 |
8578 |
2412 |
0 |
0 |
gen_no_flops.OutputDelay_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
161594763 |
158925559 |
0 |
0 |
T1 |
314704 |
312753 |
0 |
0 |
T2 |
351588 |
347809 |
0 |
0 |
T3 |
423055 |
422250 |
0 |
0 |
T4 |
1252 |
1208 |
0 |
0 |
T5 |
1270 |
1225 |
0 |
0 |
T16 |
2013 |
1820 |
0 |
0 |
T17 |
1092 |
1016 |
0 |
0 |
T18 |
681 |
625 |
0 |
0 |
T19 |
2431 |
2201 |
0 |
0 |
T20 |
8578 |
2412 |
0 |
0 |
Line Coverage for Instance : tb.dut.u_clkmgr_byp.u_io_ack_sync
| Line No. | Total | Covered | Percent |
TOTAL | | 6 | 6 | 100.00 |
CONT_ASSIGN | 96 | 1 | 1 | 100.00 |
CONT_ASSIGN | 96 | 1 | 1 | 100.00 |
CONT_ASSIGN | 96 | 1 | 1 | 100.00 |
CONT_ASSIGN | 96 | 1 | 1 | 100.00 |
ALWAYS | 117 | 1 | 1 | 100.00 |
CONT_ASSIGN | 168 | 1 | 1 | 100.00 |
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_prim_mubi_0.1/rtl/prim_mubi4_sync.sv' or '../src/lowrisc_prim_mubi_0.1/rtl/prim_mubi4_sync.sv' was not found, so annotated line coverage report could not be generated.
Line No. | Covered | Statements | |
96 |
4 |
4 |
117 |
1 |
1 |
168 |
1 |
1 |
Cond Coverage for Instance : tb.dut.u_clkmgr_byp.u_io_ack_sync
| Total | Covered | Percent |
Conditions | 8 | 8 | 100.00 |
Logical | 8 | 8 | 100.00 |
Non-Logical | 0 | 0 | |
Event | 0 | 0 | |
LINE 96
EXPRESSION (((|gen_flops.gen_stable_chks.gen_bufs_muxes[0].sig_unstable_buf)) ? gen_flops.gen_stable_chks.reset_value[0] : gen_flops.gen_stable_chks.mubi_q[0])
--------------------------------1--------------------------------
-1- | Status | Tests |
0 | Covered | T4,T1,T5 |
1 | Covered | T4,T1,T2 |
LINE 96
EXPRESSION (((|gen_flops.gen_stable_chks.gen_bufs_muxes[1].sig_unstable_buf)) ? gen_flops.gen_stable_chks.reset_value[1] : gen_flops.gen_stable_chks.mubi_q[1])
--------------------------------1--------------------------------
-1- | Status | Tests |
0 | Covered | T4,T1,T5 |
1 | Covered | T4,T1,T2 |
LINE 96
EXPRESSION (((|gen_flops.gen_stable_chks.gen_bufs_muxes[2].sig_unstable_buf)) ? gen_flops.gen_stable_chks.reset_value[2] : gen_flops.gen_stable_chks.mubi_q[2])
--------------------------------1--------------------------------
-1- | Status | Tests |
0 | Covered | T4,T1,T5 |
1 | Covered | T4,T1,T2 |
LINE 96
EXPRESSION (((|gen_flops.gen_stable_chks.gen_bufs_muxes[3].sig_unstable_buf)) ? gen_flops.gen_stable_chks.reset_value[3] : gen_flops.gen_stable_chks.mubi_q[3])
--------------------------------1--------------------------------
-1- | Status | Tests |
0 | Covered | T4,T1,T5 |
1 | Covered | T4,T1,T2 |
Branch Coverage for Instance : tb.dut.u_clkmgr_byp.u_io_ack_sync
| Line No. | Total | Covered | Percent |
Branches |
|
8 |
8 |
100.00 |
TERNARY |
96 |
2 |
2 |
100.00 |
TERNARY |
96 |
2 |
2 |
100.00 |
TERNARY |
96 |
2 |
2 |
100.00 |
TERNARY |
96 |
2 |
2 |
100.00 |
WARNING: The source file /workspace/default/sim-vcs/../src/lowrisc_prim_mubi_0.1/rtl/prim_mubi4_sync.sv' or '../src/lowrisc_prim_mubi_0.1/rtl/prim_mubi4_sync.sv was not found/opened, so annotated branch coverage report could not be generated.
LineNo. Expression
-1-: 96 ((|gen_flops.gen_stable_chks.gen_bufs_muxes[0].sig_unstable_buf)) ?
Branches:
-1- | Status | Tests |
1 |
Covered |
T4,T1,T2 |
0 |
Covered |
T4,T1,T5 |
LineNo. Expression
-1-: 96 ((|gen_flops.gen_stable_chks.gen_bufs_muxes[1].sig_unstable_buf)) ?
Branches:
-1- | Status | Tests |
1 |
Covered |
T4,T1,T2 |
0 |
Covered |
T4,T1,T5 |
LineNo. Expression
-1-: 96 ((|gen_flops.gen_stable_chks.gen_bufs_muxes[2].sig_unstable_buf)) ?
Branches:
-1- | Status | Tests |
1 |
Covered |
T4,T1,T2 |
0 |
Covered |
T4,T1,T5 |
LineNo. Expression
-1-: 96 ((|gen_flops.gen_stable_chks.gen_bufs_muxes[3].sig_unstable_buf)) ?
Branches:
-1- | Status | Tests |
1 |
Covered |
T4,T1,T2 |
0 |
Covered |
T4,T1,T5 |
Assert Coverage for Instance : tb.dut.u_clkmgr_byp.u_io_ack_sync
Assertion Details
NumCopiesMustBeGreaterZero_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
805 |
805 |
0 |
0 |
T1 |
1 |
1 |
0 |
0 |
T2 |
1 |
1 |
0 |
0 |
T3 |
1 |
1 |
0 |
0 |
T4 |
1 |
1 |
0 |
0 |
T5 |
1 |
1 |
0 |
0 |
T16 |
1 |
1 |
0 |
0 |
T17 |
1 |
1 |
0 |
0 |
T18 |
1 |
1 |
0 |
0 |
T19 |
1 |
1 |
0 |
0 |
T20 |
1 |
1 |
0 |
0 |
OutputsKnown_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
161594763 |
158925559 |
0 |
0 |
T1 |
314704 |
312753 |
0 |
0 |
T2 |
351588 |
347809 |
0 |
0 |
T3 |
423055 |
422250 |
0 |
0 |
T4 |
1252 |
1208 |
0 |
0 |
T5 |
1270 |
1225 |
0 |
0 |
T16 |
2013 |
1820 |
0 |
0 |
T17 |
1092 |
1016 |
0 |
0 |
T18 |
681 |
625 |
0 |
0 |
T19 |
2431 |
2201 |
0 |
0 |
T20 |
8578 |
2412 |
0 |
0 |
gen_flops.gen_stable_chks.OutputDelay_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
161594763 |
158918413 |
0 |
2415 |
T1 |
314704 |
312750 |
0 |
3 |
T2 |
351588 |
347805 |
0 |
3 |
T3 |
423055 |
422223 |
0 |
3 |
T4 |
1252 |
1205 |
0 |
3 |
T5 |
1270 |
1222 |
0 |
3 |
T16 |
2013 |
1817 |
0 |
3 |
T17 |
1092 |
1013 |
0 |
3 |
T18 |
681 |
622 |
0 |
3 |
T19 |
2431 |
2198 |
0 |
3 |
T20 |
8578 |
2397 |
0 |
3 |
gen_flops.gen_stable_chks.OutputIfUnstable_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
161594763 |
16945 |
0 |
0 |
T1 |
314704 |
441 |
0 |
0 |
T2 |
351588 |
235 |
0 |
0 |
T3 |
423055 |
63 |
0 |
0 |
T4 |
1252 |
9 |
0 |
0 |
T5 |
1270 |
0 |
0 |
0 |
T11 |
0 |
41 |
0 |
0 |
T16 |
2013 |
0 |
0 |
0 |
T17 |
1092 |
0 |
0 |
0 |
T18 |
681 |
0 |
0 |
0 |
T19 |
2431 |
0 |
0 |
0 |
T20 |
8578 |
0 |
0 |
0 |
T68 |
0 |
4 |
0 |
0 |
T69 |
0 |
43 |
0 |
0 |
T70 |
0 |
34 |
0 |
0 |
T111 |
0 |
30 |
0 |
0 |
T113 |
0 |
18 |
0 |
0 |
Line Coverage for Instance : tb.dut.u_clkmgr_byp.u_all_ack_sync
| Line No. | Total | Covered | Percent |
TOTAL | | 6 | 6 | 100.00 |
CONT_ASSIGN | 96 | 1 | 1 | 100.00 |
CONT_ASSIGN | 96 | 1 | 1 | 100.00 |
CONT_ASSIGN | 96 | 1 | 1 | 100.00 |
CONT_ASSIGN | 96 | 1 | 1 | 100.00 |
ALWAYS | 117 | 1 | 1 | 100.00 |
CONT_ASSIGN | 168 | 1 | 1 | 100.00 |
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_prim_mubi_0.1/rtl/prim_mubi4_sync.sv' or '../src/lowrisc_prim_mubi_0.1/rtl/prim_mubi4_sync.sv' was not found, so annotated line coverage report could not be generated.
Line No. | Covered | Statements | |
96 |
4 |
4 |
117 |
1 |
1 |
168 |
1 |
1 |
Cond Coverage for Instance : tb.dut.u_clkmgr_byp.u_all_ack_sync
| Total | Covered | Percent |
Conditions | 8 | 8 | 100.00 |
Logical | 8 | 8 | 100.00 |
Non-Logical | 0 | 0 | |
Event | 0 | 0 | |
LINE 96
EXPRESSION (((|gen_flops.gen_stable_chks.gen_bufs_muxes[0].sig_unstable_buf)) ? gen_flops.gen_stable_chks.reset_value[0] : gen_flops.gen_stable_chks.mubi_q[0])
--------------------------------1--------------------------------
-1- | Status | Tests |
0 | Covered | T4,T1,T5 |
1 | Covered | T4,T1,T2 |
LINE 96
EXPRESSION (((|gen_flops.gen_stable_chks.gen_bufs_muxes[1].sig_unstable_buf)) ? gen_flops.gen_stable_chks.reset_value[1] : gen_flops.gen_stable_chks.mubi_q[1])
--------------------------------1--------------------------------
-1- | Status | Tests |
0 | Covered | T4,T1,T5 |
1 | Covered | T4,T1,T2 |
LINE 96
EXPRESSION (((|gen_flops.gen_stable_chks.gen_bufs_muxes[2].sig_unstable_buf)) ? gen_flops.gen_stable_chks.reset_value[2] : gen_flops.gen_stable_chks.mubi_q[2])
--------------------------------1--------------------------------
-1- | Status | Tests |
0 | Covered | T4,T1,T5 |
1 | Covered | T4,T1,T2 |
LINE 96
EXPRESSION (((|gen_flops.gen_stable_chks.gen_bufs_muxes[3].sig_unstable_buf)) ? gen_flops.gen_stable_chks.reset_value[3] : gen_flops.gen_stable_chks.mubi_q[3])
--------------------------------1--------------------------------
-1- | Status | Tests |
0 | Covered | T4,T1,T5 |
1 | Covered | T4,T1,T2 |
Branch Coverage for Instance : tb.dut.u_clkmgr_byp.u_all_ack_sync
| Line No. | Total | Covered | Percent |
Branches |
|
8 |
8 |
100.00 |
TERNARY |
96 |
2 |
2 |
100.00 |
TERNARY |
96 |
2 |
2 |
100.00 |
TERNARY |
96 |
2 |
2 |
100.00 |
TERNARY |
96 |
2 |
2 |
100.00 |
WARNING: The source file /workspace/default/sim-vcs/../src/lowrisc_prim_mubi_0.1/rtl/prim_mubi4_sync.sv' or '../src/lowrisc_prim_mubi_0.1/rtl/prim_mubi4_sync.sv was not found/opened, so annotated branch coverage report could not be generated.
LineNo. Expression
-1-: 96 ((|gen_flops.gen_stable_chks.gen_bufs_muxes[0].sig_unstable_buf)) ?
Branches:
-1- | Status | Tests |
1 |
Covered |
T4,T1,T2 |
0 |
Covered |
T4,T1,T5 |
LineNo. Expression
-1-: 96 ((|gen_flops.gen_stable_chks.gen_bufs_muxes[1].sig_unstable_buf)) ?
Branches:
-1- | Status | Tests |
1 |
Covered |
T4,T1,T2 |
0 |
Covered |
T4,T1,T5 |
LineNo. Expression
-1-: 96 ((|gen_flops.gen_stable_chks.gen_bufs_muxes[2].sig_unstable_buf)) ?
Branches:
-1- | Status | Tests |
1 |
Covered |
T4,T1,T2 |
0 |
Covered |
T4,T1,T5 |
LineNo. Expression
-1-: 96 ((|gen_flops.gen_stable_chks.gen_bufs_muxes[3].sig_unstable_buf)) ?
Branches:
-1- | Status | Tests |
1 |
Covered |
T4,T1,T2 |
0 |
Covered |
T4,T1,T5 |
Assert Coverage for Instance : tb.dut.u_clkmgr_byp.u_all_ack_sync
Assertion Details
NumCopiesMustBeGreaterZero_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
805 |
805 |
0 |
0 |
T1 |
1 |
1 |
0 |
0 |
T2 |
1 |
1 |
0 |
0 |
T3 |
1 |
1 |
0 |
0 |
T4 |
1 |
1 |
0 |
0 |
T5 |
1 |
1 |
0 |
0 |
T16 |
1 |
1 |
0 |
0 |
T17 |
1 |
1 |
0 |
0 |
T18 |
1 |
1 |
0 |
0 |
T19 |
1 |
1 |
0 |
0 |
T20 |
1 |
1 |
0 |
0 |
OutputsKnown_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
161594763 |
158925559 |
0 |
0 |
T1 |
314704 |
312753 |
0 |
0 |
T2 |
351588 |
347809 |
0 |
0 |
T3 |
423055 |
422250 |
0 |
0 |
T4 |
1252 |
1208 |
0 |
0 |
T5 |
1270 |
1225 |
0 |
0 |
T16 |
2013 |
1820 |
0 |
0 |
T17 |
1092 |
1016 |
0 |
0 |
T18 |
681 |
625 |
0 |
0 |
T19 |
2431 |
2201 |
0 |
0 |
T20 |
8578 |
2412 |
0 |
0 |
gen_flops.gen_stable_chks.OutputDelay_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
161594763 |
158918413 |
0 |
2415 |
T1 |
314704 |
312750 |
0 |
3 |
T2 |
351588 |
347805 |
0 |
3 |
T3 |
423055 |
422223 |
0 |
3 |
T4 |
1252 |
1205 |
0 |
3 |
T5 |
1270 |
1222 |
0 |
3 |
T16 |
2013 |
1817 |
0 |
3 |
T17 |
1092 |
1013 |
0 |
3 |
T18 |
681 |
622 |
0 |
3 |
T19 |
2431 |
2198 |
0 |
3 |
T20 |
8578 |
2397 |
0 |
3 |
gen_flops.gen_stable_chks.OutputIfUnstable_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
161594763 |
19342 |
0 |
0 |
T1 |
314704 |
473 |
0 |
0 |
T2 |
351588 |
257 |
0 |
0 |
T3 |
423055 |
93 |
0 |
0 |
T4 |
1252 |
13 |
0 |
0 |
T5 |
1270 |
0 |
0 |
0 |
T11 |
0 |
39 |
0 |
0 |
T16 |
2013 |
0 |
0 |
0 |
T17 |
1092 |
0 |
0 |
0 |
T18 |
681 |
0 |
0 |
0 |
T19 |
2431 |
0 |
0 |
0 |
T20 |
8578 |
0 |
0 |
0 |
T68 |
0 |
31 |
0 |
0 |
T69 |
0 |
17 |
0 |
0 |
T111 |
0 |
13 |
0 |
0 |
T112 |
0 |
3 |
0 |
0 |
T113 |
0 |
19 |
0 |
0 |
Line Coverage for Instance : tb.dut.u_main_root_ctrl.u_scanmode_sync
| Line No. | Total | Covered | Percent |
TOTAL | | 2 | 2 | 100.00 |
ALWAYS | 145 | 0 | 0 | |
CONT_ASSIGN | 155 | 1 | 1 | 100.00 |
CONT_ASSIGN | 168 | 1 | 1 | 100.00 |
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_prim_mubi_0.1/rtl/prim_mubi4_sync.sv' or '../src/lowrisc_prim_mubi_0.1/rtl/prim_mubi4_sync.sv' was not found, so annotated line coverage report could not be generated.
Line No. | Covered | Statements | |
145 |
|
unreachable |
146 |
|
unreachable |
148 |
|
unreachable |
155 |
1 |
1 |
168 |
1 |
1 |
Assert Coverage for Instance : tb.dut.u_main_root_ctrl.u_scanmode_sync
Assertion Details
NumCopiesMustBeGreaterZero_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
805 |
805 |
0 |
0 |
T1 |
1 |
1 |
0 |
0 |
T2 |
1 |
1 |
0 |
0 |
T3 |
1 |
1 |
0 |
0 |
T4 |
1 |
1 |
0 |
0 |
T5 |
1 |
1 |
0 |
0 |
T16 |
1 |
1 |
0 |
0 |
T17 |
1 |
1 |
0 |
0 |
T18 |
1 |
1 |
0 |
0 |
T19 |
1 |
1 |
0 |
0 |
T20 |
1 |
1 |
0 |
0 |
OutputsKnown_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
390251755 |
387828973 |
0 |
0 |
T1 |
417195 |
415990 |
0 |
0 |
T2 |
361449 |
359458 |
0 |
0 |
T3 |
863350 |
862482 |
0 |
0 |
T4 |
5219 |
5179 |
0 |
0 |
T5 |
5085 |
5016 |
0 |
0 |
T16 |
2053 |
1956 |
0 |
0 |
T17 |
2228 |
2102 |
0 |
0 |
T18 |
2729 |
2632 |
0 |
0 |
T19 |
2534 |
2408 |
0 |
0 |
T20 |
35747 |
22621 |
0 |
0 |
gen_no_flops.OutputDelay_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
390251755 |
387828973 |
0 |
0 |
T1 |
417195 |
415990 |
0 |
0 |
T2 |
361449 |
359458 |
0 |
0 |
T3 |
863350 |
862482 |
0 |
0 |
T4 |
5219 |
5179 |
0 |
0 |
T5 |
5085 |
5016 |
0 |
0 |
T16 |
2053 |
1956 |
0 |
0 |
T17 |
2228 |
2102 |
0 |
0 |
T18 |
2729 |
2632 |
0 |
0 |
T19 |
2534 |
2408 |
0 |
0 |
T20 |
35747 |
22621 |
0 |
0 |
Line Coverage for Instance : tb.dut.u_io_root_ctrl.u_scanmode_sync
| Line No. | Total | Covered | Percent |
TOTAL | | 2 | 2 | 100.00 |
ALWAYS | 145 | 0 | 0 | |
CONT_ASSIGN | 155 | 1 | 1 | 100.00 |
CONT_ASSIGN | 168 | 1 | 1 | 100.00 |
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_prim_mubi_0.1/rtl/prim_mubi4_sync.sv' or '../src/lowrisc_prim_mubi_0.1/rtl/prim_mubi4_sync.sv' was not found, so annotated line coverage report could not be generated.
Line No. | Covered | Statements | |
145 |
|
unreachable |
146 |
|
unreachable |
148 |
|
unreachable |
155 |
1 |
1 |
168 |
1 |
1 |
Assert Coverage for Instance : tb.dut.u_io_root_ctrl.u_scanmode_sync
Assertion Details
NumCopiesMustBeGreaterZero_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
805 |
805 |
0 |
0 |
T1 |
1 |
1 |
0 |
0 |
T2 |
1 |
1 |
0 |
0 |
T3 |
1 |
1 |
0 |
0 |
T4 |
1 |
1 |
0 |
0 |
T5 |
1 |
1 |
0 |
0 |
T16 |
1 |
1 |
0 |
0 |
T17 |
1 |
1 |
0 |
0 |
T18 |
1 |
1 |
0 |
0 |
T19 |
1 |
1 |
0 |
0 |
T20 |
1 |
1 |
0 |
0 |
OutputsKnown_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
364627542 |
362333482 |
0 |
0 |
T1 |
381519 |
380842 |
0 |
0 |
T2 |
321061 |
319499 |
0 |
0 |
T3 |
794231 |
793399 |
0 |
0 |
T4 |
5010 |
4971 |
0 |
0 |
T5 |
4881 |
4815 |
0 |
0 |
T16 |
1971 |
1878 |
0 |
0 |
T17 |
2139 |
2018 |
0 |
0 |
T18 |
2620 |
2526 |
0 |
0 |
T19 |
2431 |
2310 |
0 |
0 |
T20 |
34316 |
21715 |
0 |
0 |
gen_no_flops.OutputDelay_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
364627542 |
362333482 |
0 |
0 |
T1 |
381519 |
380842 |
0 |
0 |
T2 |
321061 |
319499 |
0 |
0 |
T3 |
794231 |
793399 |
0 |
0 |
T4 |
5010 |
4971 |
0 |
0 |
T5 |
4881 |
4815 |
0 |
0 |
T16 |
1971 |
1878 |
0 |
0 |
T17 |
2139 |
2018 |
0 |
0 |
T18 |
2620 |
2526 |
0 |
0 |
T19 |
2431 |
2310 |
0 |
0 |
T20 |
34316 |
21715 |
0 |
0 |
Line Coverage for Instance : tb.dut.u_io_div2_root_ctrl.u_scanmode_sync
| Line No. | Total | Covered | Percent |
TOTAL | | 2 | 2 | 100.00 |
ALWAYS | 145 | 0 | 0 | |
CONT_ASSIGN | 155 | 1 | 1 | 100.00 |
CONT_ASSIGN | 168 | 1 | 1 | 100.00 |
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_prim_mubi_0.1/rtl/prim_mubi4_sync.sv' or '../src/lowrisc_prim_mubi_0.1/rtl/prim_mubi4_sync.sv' was not found, so annotated line coverage report could not be generated.
Line No. | Covered | Statements | |
145 |
|
unreachable |
146 |
|
unreachable |
148 |
|
unreachable |
155 |
1 |
1 |
168 |
1 |
1 |
Assert Coverage for Instance : tb.dut.u_io_div2_root_ctrl.u_scanmode_sync
Assertion Details
NumCopiesMustBeGreaterZero_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
805 |
805 |
0 |
0 |
T1 |
1 |
1 |
0 |
0 |
T2 |
1 |
1 |
0 |
0 |
T3 |
1 |
1 |
0 |
0 |
T4 |
1 |
1 |
0 |
0 |
T5 |
1 |
1 |
0 |
0 |
T16 |
1 |
1 |
0 |
0 |
T17 |
1 |
1 |
0 |
0 |
T18 |
1 |
1 |
0 |
0 |
T19 |
1 |
1 |
0 |
0 |
T20 |
1 |
1 |
0 |
0 |
OutputsKnown_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
181412249 |
181412249 |
0 |
0 |
T1 |
190611 |
190611 |
0 |
0 |
T2 |
159861 |
159861 |
0 |
0 |
T3 |
397135 |
397135 |
0 |
0 |
T4 |
2647 |
2647 |
0 |
0 |
T5 |
2408 |
2408 |
0 |
0 |
T16 |
939 |
939 |
0 |
0 |
T17 |
1009 |
1009 |
0 |
0 |
T18 |
1263 |
1263 |
0 |
0 |
T19 |
1155 |
1155 |
0 |
0 |
T20 |
10858 |
10858 |
0 |
0 |
gen_no_flops.OutputDelay_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
181412249 |
181412249 |
0 |
0 |
T1 |
190611 |
190611 |
0 |
0 |
T2 |
159861 |
159861 |
0 |
0 |
T3 |
397135 |
397135 |
0 |
0 |
T4 |
2647 |
2647 |
0 |
0 |
T5 |
2408 |
2408 |
0 |
0 |
T16 |
939 |
939 |
0 |
0 |
T17 |
1009 |
1009 |
0 |
0 |
T18 |
1263 |
1263 |
0 |
0 |
T19 |
1155 |
1155 |
0 |
0 |
T20 |
10858 |
10858 |
0 |
0 |
Line Coverage for Instance : tb.dut.u_io_div4_root_ctrl.u_scanmode_sync
| Line No. | Total | Covered | Percent |
TOTAL | | 2 | 2 | 100.00 |
ALWAYS | 145 | 0 | 0 | |
CONT_ASSIGN | 155 | 1 | 1 | 100.00 |
CONT_ASSIGN | 168 | 1 | 1 | 100.00 |
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_prim_mubi_0.1/rtl/prim_mubi4_sync.sv' or '../src/lowrisc_prim_mubi_0.1/rtl/prim_mubi4_sync.sv' was not found, so annotated line coverage report could not be generated.
Line No. | Covered | Statements | |
145 |
|
unreachable |
146 |
|
unreachable |
148 |
|
unreachable |
155 |
1 |
1 |
168 |
1 |
1 |
Assert Coverage for Instance : tb.dut.u_io_div4_root_ctrl.u_scanmode_sync
Assertion Details
NumCopiesMustBeGreaterZero_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
805 |
805 |
0 |
0 |
T1 |
1 |
1 |
0 |
0 |
T2 |
1 |
1 |
0 |
0 |
T3 |
1 |
1 |
0 |
0 |
T4 |
1 |
1 |
0 |
0 |
T5 |
1 |
1 |
0 |
0 |
T16 |
1 |
1 |
0 |
0 |
T17 |
1 |
1 |
0 |
0 |
T18 |
1 |
1 |
0 |
0 |
T19 |
1 |
1 |
0 |
0 |
T20 |
1 |
1 |
0 |
0 |
OutputsKnown_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
90705529 |
90705529 |
0 |
0 |
T1 |
953038 |
953038 |
0 |
0 |
T2 |
799302 |
799302 |
0 |
0 |
T3 |
198565 |
198565 |
0 |
0 |
T4 |
1323 |
1323 |
0 |
0 |
T5 |
1204 |
1204 |
0 |
0 |
T16 |
470 |
470 |
0 |
0 |
T17 |
505 |
505 |
0 |
0 |
T18 |
632 |
632 |
0 |
0 |
T19 |
578 |
578 |
0 |
0 |
T20 |
5429 |
5429 |
0 |
0 |
gen_no_flops.OutputDelay_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
90705529 |
90705529 |
0 |
0 |
T1 |
953038 |
953038 |
0 |
0 |
T2 |
799302 |
799302 |
0 |
0 |
T3 |
198565 |
198565 |
0 |
0 |
T4 |
1323 |
1323 |
0 |
0 |
T5 |
1204 |
1204 |
0 |
0 |
T16 |
470 |
470 |
0 |
0 |
T17 |
505 |
505 |
0 |
0 |
T18 |
632 |
632 |
0 |
0 |
T19 |
578 |
578 |
0 |
0 |
T20 |
5429 |
5429 |
0 |
0 |
Line Coverage for Instance : tb.dut.u_usb_root_ctrl.u_scanmode_sync
| Line No. | Total | Covered | Percent |
TOTAL | | 2 | 2 | 100.00 |
ALWAYS | 145 | 0 | 0 | |
CONT_ASSIGN | 155 | 1 | 1 | 100.00 |
CONT_ASSIGN | 168 | 1 | 1 | 100.00 |
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_prim_mubi_0.1/rtl/prim_mubi4_sync.sv' or '../src/lowrisc_prim_mubi_0.1/rtl/prim_mubi4_sync.sv' was not found, so annotated line coverage report could not be generated.
Line No. | Covered | Statements | |
145 |
|
unreachable |
146 |
|
unreachable |
148 |
|
unreachable |
155 |
1 |
1 |
168 |
1 |
1 |
Assert Coverage for Instance : tb.dut.u_usb_root_ctrl.u_scanmode_sync
Assertion Details
NumCopiesMustBeGreaterZero_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
805 |
805 |
0 |
0 |
T1 |
1 |
1 |
0 |
0 |
T2 |
1 |
1 |
0 |
0 |
T3 |
1 |
1 |
0 |
0 |
T4 |
1 |
1 |
0 |
0 |
T5 |
1 |
1 |
0 |
0 |
T16 |
1 |
1 |
0 |
0 |
T17 |
1 |
1 |
0 |
0 |
T18 |
1 |
1 |
0 |
0 |
T19 |
1 |
1 |
0 |
0 |
T20 |
1 |
1 |
0 |
0 |
OutputsKnown_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
187276026 |
186111537 |
0 |
0 |
T1 |
197953 |
197374 |
0 |
0 |
T2 |
172346 |
171390 |
0 |
0 |
T3 |
423055 |
422642 |
0 |
0 |
T4 |
2505 |
2486 |
0 |
0 |
T5 |
2440 |
2407 |
0 |
0 |
T16 |
986 |
939 |
0 |
0 |
T17 |
1069 |
1009 |
0 |
0 |
T18 |
1310 |
1263 |
0 |
0 |
T19 |
1216 |
1156 |
0 |
0 |
T20 |
17158 |
10858 |
0 |
0 |
gen_no_flops.OutputDelay_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
187276026 |
186111537 |
0 |
0 |
T1 |
197953 |
197374 |
0 |
0 |
T2 |
172346 |
171390 |
0 |
0 |
T3 |
423055 |
422642 |
0 |
0 |
T4 |
2505 |
2486 |
0 |
0 |
T5 |
2440 |
2407 |
0 |
0 |
T16 |
986 |
939 |
0 |
0 |
T17 |
1069 |
1009 |
0 |
0 |
T18 |
1310 |
1263 |
0 |
0 |
T19 |
1216 |
1156 |
0 |
0 |
T20 |
17158 |
10858 |
0 |
0 |
Line Coverage for Instance : tb.dut.u_calib_rdy_sync
| Line No. | Total | Covered | Percent |
TOTAL | | 8 | 8 | 100.00 |
CONT_ASSIGN | 124 | 1 | 1 | 100.00 |
ALWAYS | 128 | 1 | 1 | 100.00 |
CONT_ASSIGN | 168 | 1 | 1 | 100.00 |
CONT_ASSIGN | 168 | 1 | 1 | 100.00 |
CONT_ASSIGN | 168 | 1 | 1 | 100.00 |
CONT_ASSIGN | 168 | 1 | 1 | 100.00 |
CONT_ASSIGN | 168 | 1 | 1 | 100.00 |
CONT_ASSIGN | 168 | 1 | 1 | 100.00 |
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_prim_mubi_0.1/rtl/prim_mubi4_sync.sv' or '../src/lowrisc_prim_mubi_0.1/rtl/prim_mubi4_sync.sv' was not found, so annotated line coverage report could not be generated.
Line No. | Covered | Statements | |
124 |
1 |
1 |
128 |
1 |
1 |
168 |
6 |
6 |
Assert Coverage for Instance : tb.dut.u_calib_rdy_sync
Assertion Details
NumCopiesMustBeGreaterZero_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
805 |
805 |
0 |
0 |
T1 |
1 |
1 |
0 |
0 |
T2 |
1 |
1 |
0 |
0 |
T3 |
1 |
1 |
0 |
0 |
T4 |
1 |
1 |
0 |
0 |
T5 |
1 |
1 |
0 |
0 |
T16 |
1 |
1 |
0 |
0 |
T17 |
1 |
1 |
0 |
0 |
T18 |
1 |
1 |
0 |
0 |
T19 |
1 |
1 |
0 |
0 |
T20 |
1 |
1 |
0 |
0 |
OutputsKnown_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
161594763 |
158925559 |
0 |
0 |
T1 |
314704 |
312753 |
0 |
0 |
T2 |
351588 |
347809 |
0 |
0 |
T3 |
423055 |
422250 |
0 |
0 |
T4 |
1252 |
1208 |
0 |
0 |
T5 |
1270 |
1225 |
0 |
0 |
T16 |
2013 |
1820 |
0 |
0 |
T17 |
1092 |
1016 |
0 |
0 |
T18 |
681 |
625 |
0 |
0 |
T19 |
2431 |
2201 |
0 |
0 |
T20 |
8578 |
2412 |
0 |
0 |
gen_flops.gen_no_stable_chks.OutputDelay_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
161594763 |
158918413 |
0 |
2415 |
T1 |
314704 |
312750 |
0 |
3 |
T2 |
351588 |
347805 |
0 |
3 |
T3 |
423055 |
422223 |
0 |
3 |
T4 |
1252 |
1205 |
0 |
3 |
T5 |
1270 |
1222 |
0 |
3 |
T16 |
2013 |
1817 |
0 |
3 |
T17 |
1092 |
1013 |
0 |
3 |
T18 |
681 |
622 |
0 |
3 |
T19 |
2431 |
2198 |
0 |
3 |
T20 |
8578 |
2397 |
0 |
3 |
Line Coverage for Instance : tb.dut.u_io_meas.u_calib_rdy_sync
| Line No. | Total | Covered | Percent |
TOTAL | | 3 | 3 | 100.00 |
CONT_ASSIGN | 124 | 1 | 1 | 100.00 |
ALWAYS | 128 | 1 | 1 | 100.00 |
CONT_ASSIGN | 168 | 1 | 1 | 100.00 |
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_prim_mubi_0.1/rtl/prim_mubi4_sync.sv' or '../src/lowrisc_prim_mubi_0.1/rtl/prim_mubi4_sync.sv' was not found, so annotated line coverage report could not be generated.
Line No. | Covered | Statements | |
124 |
1 |
1 |
128 |
1 |
1 |
168 |
1 |
1 |
Assert Coverage for Instance : tb.dut.u_io_meas.u_calib_rdy_sync
Assertion Details
NumCopiesMustBeGreaterZero_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
805 |
805 |
0 |
0 |
T1 |
1 |
1 |
0 |
0 |
T2 |
1 |
1 |
0 |
0 |
T3 |
1 |
1 |
0 |
0 |
T4 |
1 |
1 |
0 |
0 |
T5 |
1 |
1 |
0 |
0 |
T16 |
1 |
1 |
0 |
0 |
T17 |
1 |
1 |
0 |
0 |
T18 |
1 |
1 |
0 |
0 |
T19 |
1 |
1 |
0 |
0 |
T20 |
1 |
1 |
0 |
0 |
OutputsKnown_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
161594763 |
158925559 |
0 |
0 |
T1 |
314704 |
312753 |
0 |
0 |
T2 |
351588 |
347809 |
0 |
0 |
T3 |
423055 |
422250 |
0 |
0 |
T4 |
1252 |
1208 |
0 |
0 |
T5 |
1270 |
1225 |
0 |
0 |
T16 |
2013 |
1820 |
0 |
0 |
T17 |
1092 |
1016 |
0 |
0 |
T18 |
681 |
625 |
0 |
0 |
T19 |
2431 |
2201 |
0 |
0 |
T20 |
8578 |
2412 |
0 |
0 |
gen_flops.gen_no_stable_chks.OutputDelay_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
161594763 |
158918413 |
0 |
2415 |
T1 |
314704 |
312750 |
0 |
3 |
T2 |
351588 |
347805 |
0 |
3 |
T3 |
423055 |
422223 |
0 |
3 |
T4 |
1252 |
1205 |
0 |
3 |
T5 |
1270 |
1222 |
0 |
3 |
T16 |
2013 |
1817 |
0 |
3 |
T17 |
1092 |
1013 |
0 |
3 |
T18 |
681 |
622 |
0 |
3 |
T19 |
2431 |
2198 |
0 |
3 |
T20 |
8578 |
2397 |
0 |
3 |
Line Coverage for Instance : tb.dut.u_io_div2_meas.u_calib_rdy_sync
| Line No. | Total | Covered | Percent |
TOTAL | | 3 | 3 | 100.00 |
CONT_ASSIGN | 124 | 1 | 1 | 100.00 |
ALWAYS | 128 | 1 | 1 | 100.00 |
CONT_ASSIGN | 168 | 1 | 1 | 100.00 |
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_prim_mubi_0.1/rtl/prim_mubi4_sync.sv' or '../src/lowrisc_prim_mubi_0.1/rtl/prim_mubi4_sync.sv' was not found, so annotated line coverage report could not be generated.
Line No. | Covered | Statements | |
124 |
1 |
1 |
128 |
1 |
1 |
168 |
1 |
1 |
Assert Coverage for Instance : tb.dut.u_io_div2_meas.u_calib_rdy_sync
Assertion Details
NumCopiesMustBeGreaterZero_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
805 |
805 |
0 |
0 |
T1 |
1 |
1 |
0 |
0 |
T2 |
1 |
1 |
0 |
0 |
T3 |
1 |
1 |
0 |
0 |
T4 |
1 |
1 |
0 |
0 |
T5 |
1 |
1 |
0 |
0 |
T16 |
1 |
1 |
0 |
0 |
T17 |
1 |
1 |
0 |
0 |
T18 |
1 |
1 |
0 |
0 |
T19 |
1 |
1 |
0 |
0 |
T20 |
1 |
1 |
0 |
0 |
OutputsKnown_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
161594763 |
158925559 |
0 |
0 |
T1 |
314704 |
312753 |
0 |
0 |
T2 |
351588 |
347809 |
0 |
0 |
T3 |
423055 |
422250 |
0 |
0 |
T4 |
1252 |
1208 |
0 |
0 |
T5 |
1270 |
1225 |
0 |
0 |
T16 |
2013 |
1820 |
0 |
0 |
T17 |
1092 |
1016 |
0 |
0 |
T18 |
681 |
625 |
0 |
0 |
T19 |
2431 |
2201 |
0 |
0 |
T20 |
8578 |
2412 |
0 |
0 |
gen_flops.gen_no_stable_chks.OutputDelay_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
161594763 |
158918413 |
0 |
2415 |
T1 |
314704 |
312750 |
0 |
3 |
T2 |
351588 |
347805 |
0 |
3 |
T3 |
423055 |
422223 |
0 |
3 |
T4 |
1252 |
1205 |
0 |
3 |
T5 |
1270 |
1222 |
0 |
3 |
T16 |
2013 |
1817 |
0 |
3 |
T17 |
1092 |
1013 |
0 |
3 |
T18 |
681 |
622 |
0 |
3 |
T19 |
2431 |
2198 |
0 |
3 |
T20 |
8578 |
2397 |
0 |
3 |
Line Coverage for Instance : tb.dut.u_io_div4_meas.u_calib_rdy_sync
| Line No. | Total | Covered | Percent |
TOTAL | | 3 | 3 | 100.00 |
CONT_ASSIGN | 124 | 1 | 1 | 100.00 |
ALWAYS | 128 | 1 | 1 | 100.00 |
CONT_ASSIGN | 168 | 1 | 1 | 100.00 |
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_prim_mubi_0.1/rtl/prim_mubi4_sync.sv' or '../src/lowrisc_prim_mubi_0.1/rtl/prim_mubi4_sync.sv' was not found, so annotated line coverage report could not be generated.
Line No. | Covered | Statements | |
124 |
1 |
1 |
128 |
1 |
1 |
168 |
1 |
1 |
Assert Coverage for Instance : tb.dut.u_io_div4_meas.u_calib_rdy_sync
Assertion Details
NumCopiesMustBeGreaterZero_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
805 |
805 |
0 |
0 |
T1 |
1 |
1 |
0 |
0 |
T2 |
1 |
1 |
0 |
0 |
T3 |
1 |
1 |
0 |
0 |
T4 |
1 |
1 |
0 |
0 |
T5 |
1 |
1 |
0 |
0 |
T16 |
1 |
1 |
0 |
0 |
T17 |
1 |
1 |
0 |
0 |
T18 |
1 |
1 |
0 |
0 |
T19 |
1 |
1 |
0 |
0 |
T20 |
1 |
1 |
0 |
0 |
OutputsKnown_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
161594763 |
158925559 |
0 |
0 |
T1 |
314704 |
312753 |
0 |
0 |
T2 |
351588 |
347809 |
0 |
0 |
T3 |
423055 |
422250 |
0 |
0 |
T4 |
1252 |
1208 |
0 |
0 |
T5 |
1270 |
1225 |
0 |
0 |
T16 |
2013 |
1820 |
0 |
0 |
T17 |
1092 |
1016 |
0 |
0 |
T18 |
681 |
625 |
0 |
0 |
T19 |
2431 |
2201 |
0 |
0 |
T20 |
8578 |
2412 |
0 |
0 |
gen_flops.gen_no_stable_chks.OutputDelay_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
161594763 |
158918413 |
0 |
2415 |
T1 |
314704 |
312750 |
0 |
3 |
T2 |
351588 |
347805 |
0 |
3 |
T3 |
423055 |
422223 |
0 |
3 |
T4 |
1252 |
1205 |
0 |
3 |
T5 |
1270 |
1222 |
0 |
3 |
T16 |
2013 |
1817 |
0 |
3 |
T17 |
1092 |
1013 |
0 |
3 |
T18 |
681 |
622 |
0 |
3 |
T19 |
2431 |
2198 |
0 |
3 |
T20 |
8578 |
2397 |
0 |
3 |
Line Coverage for Instance : tb.dut.u_main_meas.u_calib_rdy_sync
| Line No. | Total | Covered | Percent |
TOTAL | | 3 | 3 | 100.00 |
CONT_ASSIGN | 124 | 1 | 1 | 100.00 |
ALWAYS | 128 | 1 | 1 | 100.00 |
CONT_ASSIGN | 168 | 1 | 1 | 100.00 |
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_prim_mubi_0.1/rtl/prim_mubi4_sync.sv' or '../src/lowrisc_prim_mubi_0.1/rtl/prim_mubi4_sync.sv' was not found, so annotated line coverage report could not be generated.
Line No. | Covered | Statements | |
124 |
1 |
1 |
128 |
1 |
1 |
168 |
1 |
1 |
Assert Coverage for Instance : tb.dut.u_main_meas.u_calib_rdy_sync
Assertion Details
NumCopiesMustBeGreaterZero_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
805 |
805 |
0 |
0 |
T1 |
1 |
1 |
0 |
0 |
T2 |
1 |
1 |
0 |
0 |
T3 |
1 |
1 |
0 |
0 |
T4 |
1 |
1 |
0 |
0 |
T5 |
1 |
1 |
0 |
0 |
T16 |
1 |
1 |
0 |
0 |
T17 |
1 |
1 |
0 |
0 |
T18 |
1 |
1 |
0 |
0 |
T19 |
1 |
1 |
0 |
0 |
T20 |
1 |
1 |
0 |
0 |
OutputsKnown_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
161594763 |
158925559 |
0 |
0 |
T1 |
314704 |
312753 |
0 |
0 |
T2 |
351588 |
347809 |
0 |
0 |
T3 |
423055 |
422250 |
0 |
0 |
T4 |
1252 |
1208 |
0 |
0 |
T5 |
1270 |
1225 |
0 |
0 |
T16 |
2013 |
1820 |
0 |
0 |
T17 |
1092 |
1016 |
0 |
0 |
T18 |
681 |
625 |
0 |
0 |
T19 |
2431 |
2201 |
0 |
0 |
T20 |
8578 |
2412 |
0 |
0 |
gen_flops.gen_no_stable_chks.OutputDelay_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
161594763 |
158918413 |
0 |
2415 |
T1 |
314704 |
312750 |
0 |
3 |
T2 |
351588 |
347805 |
0 |
3 |
T3 |
423055 |
422223 |
0 |
3 |
T4 |
1252 |
1205 |
0 |
3 |
T5 |
1270 |
1222 |
0 |
3 |
T16 |
2013 |
1817 |
0 |
3 |
T17 |
1092 |
1013 |
0 |
3 |
T18 |
681 |
622 |
0 |
3 |
T19 |
2431 |
2198 |
0 |
3 |
T20 |
8578 |
2397 |
0 |
3 |
Line Coverage for Instance : tb.dut.u_usb_meas.u_calib_rdy_sync
| Line No. | Total | Covered | Percent |
TOTAL | | 3 | 3 | 100.00 |
CONT_ASSIGN | 124 | 1 | 1 | 100.00 |
ALWAYS | 128 | 1 | 1 | 100.00 |
CONT_ASSIGN | 168 | 1 | 1 | 100.00 |
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_prim_mubi_0.1/rtl/prim_mubi4_sync.sv' or '../src/lowrisc_prim_mubi_0.1/rtl/prim_mubi4_sync.sv' was not found, so annotated line coverage report could not be generated.
Line No. | Covered | Statements | |
124 |
1 |
1 |
128 |
1 |
1 |
168 |
1 |
1 |
Assert Coverage for Instance : tb.dut.u_usb_meas.u_calib_rdy_sync
Assertion Details
NumCopiesMustBeGreaterZero_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
805 |
805 |
0 |
0 |
T1 |
1 |
1 |
0 |
0 |
T2 |
1 |
1 |
0 |
0 |
T3 |
1 |
1 |
0 |
0 |
T4 |
1 |
1 |
0 |
0 |
T5 |
1 |
1 |
0 |
0 |
T16 |
1 |
1 |
0 |
0 |
T17 |
1 |
1 |
0 |
0 |
T18 |
1 |
1 |
0 |
0 |
T19 |
1 |
1 |
0 |
0 |
T20 |
1 |
1 |
0 |
0 |
OutputsKnown_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
161594763 |
158925559 |
0 |
0 |
T1 |
314704 |
312753 |
0 |
0 |
T2 |
351588 |
347809 |
0 |
0 |
T3 |
423055 |
422250 |
0 |
0 |
T4 |
1252 |
1208 |
0 |
0 |
T5 |
1270 |
1225 |
0 |
0 |
T16 |
2013 |
1820 |
0 |
0 |
T17 |
1092 |
1016 |
0 |
0 |
T18 |
681 |
625 |
0 |
0 |
T19 |
2431 |
2201 |
0 |
0 |
T20 |
8578 |
2412 |
0 |
0 |
gen_flops.gen_no_stable_chks.OutputDelay_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
161594763 |
158918413 |
0 |
2415 |
T1 |
314704 |
312750 |
0 |
3 |
T2 |
351588 |
347805 |
0 |
3 |
T3 |
423055 |
422223 |
0 |
3 |
T4 |
1252 |
1205 |
0 |
3 |
T5 |
1270 |
1222 |
0 |
3 |
T16 |
2013 |
1817 |
0 |
3 |
T17 |
1092 |
1013 |
0 |
3 |
T18 |
681 |
622 |
0 |
3 |
T19 |
2431 |
2198 |
0 |
3 |
T20 |
8578 |
2397 |
0 |
3 |
Line Coverage for Instance : tb.dut.u_clk_io_div4_peri_scanmode_sync
| Line No. | Total | Covered | Percent |
TOTAL | | 2 | 2 | 100.00 |
ALWAYS | 145 | 0 | 0 | |
CONT_ASSIGN | 155 | 1 | 1 | 100.00 |
CONT_ASSIGN | 168 | 1 | 1 | 100.00 |
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_prim_mubi_0.1/rtl/prim_mubi4_sync.sv' or '../src/lowrisc_prim_mubi_0.1/rtl/prim_mubi4_sync.sv' was not found, so annotated line coverage report could not be generated.
Line No. | Covered | Statements | |
145 |
|
unreachable |
146 |
|
unreachable |
148 |
|
unreachable |
155 |
1 |
1 |
168 |
1 |
1 |
Assert Coverage for Instance : tb.dut.u_clk_io_div4_peri_scanmode_sync
Assertion Details
NumCopiesMustBeGreaterZero_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
805 |
805 |
0 |
0 |
T1 |
1 |
1 |
0 |
0 |
T2 |
1 |
1 |
0 |
0 |
T3 |
1 |
1 |
0 |
0 |
T4 |
1 |
1 |
0 |
0 |
T5 |
1 |
1 |
0 |
0 |
T16 |
1 |
1 |
0 |
0 |
T17 |
1 |
1 |
0 |
0 |
T18 |
1 |
1 |
0 |
0 |
T19 |
1 |
1 |
0 |
0 |
T20 |
1 |
1 |
0 |
0 |
OutputsKnown_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
161594763 |
158925559 |
0 |
0 |
T1 |
314704 |
312753 |
0 |
0 |
T2 |
351588 |
347809 |
0 |
0 |
T3 |
423055 |
422250 |
0 |
0 |
T4 |
1252 |
1208 |
0 |
0 |
T5 |
1270 |
1225 |
0 |
0 |
T16 |
2013 |
1820 |
0 |
0 |
T17 |
1092 |
1016 |
0 |
0 |
T18 |
681 |
625 |
0 |
0 |
T19 |
2431 |
2201 |
0 |
0 |
T20 |
8578 |
2412 |
0 |
0 |
gen_no_flops.OutputDelay_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
161594763 |
158925559 |
0 |
0 |
T1 |
314704 |
312753 |
0 |
0 |
T2 |
351588 |
347809 |
0 |
0 |
T3 |
423055 |
422250 |
0 |
0 |
T4 |
1252 |
1208 |
0 |
0 |
T5 |
1270 |
1225 |
0 |
0 |
T16 |
2013 |
1820 |
0 |
0 |
T17 |
1092 |
1016 |
0 |
0 |
T18 |
681 |
625 |
0 |
0 |
T19 |
2431 |
2201 |
0 |
0 |
T20 |
8578 |
2412 |
0 |
0 |
Line Coverage for Instance : tb.dut.u_clk_io_div2_peri_scanmode_sync
| Line No. | Total | Covered | Percent |
TOTAL | | 2 | 2 | 100.00 |
ALWAYS | 145 | 0 | 0 | |
CONT_ASSIGN | 155 | 1 | 1 | 100.00 |
CONT_ASSIGN | 168 | 1 | 1 | 100.00 |
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_prim_mubi_0.1/rtl/prim_mubi4_sync.sv' or '../src/lowrisc_prim_mubi_0.1/rtl/prim_mubi4_sync.sv' was not found, so annotated line coverage report could not be generated.
Line No. | Covered | Statements | |
145 |
|
unreachable |
146 |
|
unreachable |
148 |
|
unreachable |
155 |
1 |
1 |
168 |
1 |
1 |
Assert Coverage for Instance : tb.dut.u_clk_io_div2_peri_scanmode_sync
Assertion Details
NumCopiesMustBeGreaterZero_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
805 |
805 |
0 |
0 |
T1 |
1 |
1 |
0 |
0 |
T2 |
1 |
1 |
0 |
0 |
T3 |
1 |
1 |
0 |
0 |
T4 |
1 |
1 |
0 |
0 |
T5 |
1 |
1 |
0 |
0 |
T16 |
1 |
1 |
0 |
0 |
T17 |
1 |
1 |
0 |
0 |
T18 |
1 |
1 |
0 |
0 |
T19 |
1 |
1 |
0 |
0 |
T20 |
1 |
1 |
0 |
0 |
OutputsKnown_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
161594763 |
158925559 |
0 |
0 |
T1 |
314704 |
312753 |
0 |
0 |
T2 |
351588 |
347809 |
0 |
0 |
T3 |
423055 |
422250 |
0 |
0 |
T4 |
1252 |
1208 |
0 |
0 |
T5 |
1270 |
1225 |
0 |
0 |
T16 |
2013 |
1820 |
0 |
0 |
T17 |
1092 |
1016 |
0 |
0 |
T18 |
681 |
625 |
0 |
0 |
T19 |
2431 |
2201 |
0 |
0 |
T20 |
8578 |
2412 |
0 |
0 |
gen_no_flops.OutputDelay_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
161594763 |
158925559 |
0 |
0 |
T1 |
314704 |
312753 |
0 |
0 |
T2 |
351588 |
347809 |
0 |
0 |
T3 |
423055 |
422250 |
0 |
0 |
T4 |
1252 |
1208 |
0 |
0 |
T5 |
1270 |
1225 |
0 |
0 |
T16 |
2013 |
1820 |
0 |
0 |
T17 |
1092 |
1016 |
0 |
0 |
T18 |
681 |
625 |
0 |
0 |
T19 |
2431 |
2201 |
0 |
0 |
T20 |
8578 |
2412 |
0 |
0 |
Line Coverage for Instance : tb.dut.u_clk_io_peri_scanmode_sync
| Line No. | Total | Covered | Percent |
TOTAL | | 2 | 2 | 100.00 |
ALWAYS | 145 | 0 | 0 | |
CONT_ASSIGN | 155 | 1 | 1 | 100.00 |
CONT_ASSIGN | 168 | 1 | 1 | 100.00 |
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_prim_mubi_0.1/rtl/prim_mubi4_sync.sv' or '../src/lowrisc_prim_mubi_0.1/rtl/prim_mubi4_sync.sv' was not found, so annotated line coverage report could not be generated.
Line No. | Covered | Statements | |
145 |
|
unreachable |
146 |
|
unreachable |
148 |
|
unreachable |
155 |
1 |
1 |
168 |
1 |
1 |
Assert Coverage for Instance : tb.dut.u_clk_io_peri_scanmode_sync
Assertion Details
NumCopiesMustBeGreaterZero_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
805 |
805 |
0 |
0 |
T1 |
1 |
1 |
0 |
0 |
T2 |
1 |
1 |
0 |
0 |
T3 |
1 |
1 |
0 |
0 |
T4 |
1 |
1 |
0 |
0 |
T5 |
1 |
1 |
0 |
0 |
T16 |
1 |
1 |
0 |
0 |
T17 |
1 |
1 |
0 |
0 |
T18 |
1 |
1 |
0 |
0 |
T19 |
1 |
1 |
0 |
0 |
T20 |
1 |
1 |
0 |
0 |
OutputsKnown_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
161594763 |
158925559 |
0 |
0 |
T1 |
314704 |
312753 |
0 |
0 |
T2 |
351588 |
347809 |
0 |
0 |
T3 |
423055 |
422250 |
0 |
0 |
T4 |
1252 |
1208 |
0 |
0 |
T5 |
1270 |
1225 |
0 |
0 |
T16 |
2013 |
1820 |
0 |
0 |
T17 |
1092 |
1016 |
0 |
0 |
T18 |
681 |
625 |
0 |
0 |
T19 |
2431 |
2201 |
0 |
0 |
T20 |
8578 |
2412 |
0 |
0 |
gen_no_flops.OutputDelay_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
161594763 |
158925559 |
0 |
0 |
T1 |
314704 |
312753 |
0 |
0 |
T2 |
351588 |
347809 |
0 |
0 |
T3 |
423055 |
422250 |
0 |
0 |
T4 |
1252 |
1208 |
0 |
0 |
T5 |
1270 |
1225 |
0 |
0 |
T16 |
2013 |
1820 |
0 |
0 |
T17 |
1092 |
1016 |
0 |
0 |
T18 |
681 |
625 |
0 |
0 |
T19 |
2431 |
2201 |
0 |
0 |
T20 |
8578 |
2412 |
0 |
0 |
Line Coverage for Instance : tb.dut.u_clk_usb_peri_scanmode_sync
| Line No. | Total | Covered | Percent |
TOTAL | | 2 | 2 | 100.00 |
ALWAYS | 145 | 0 | 0 | |
CONT_ASSIGN | 155 | 1 | 1 | 100.00 |
CONT_ASSIGN | 168 | 1 | 1 | 100.00 |
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_prim_mubi_0.1/rtl/prim_mubi4_sync.sv' or '../src/lowrisc_prim_mubi_0.1/rtl/prim_mubi4_sync.sv' was not found, so annotated line coverage report could not be generated.
Line No. | Covered | Statements | |
145 |
|
unreachable |
146 |
|
unreachable |
148 |
|
unreachable |
155 |
1 |
1 |
168 |
1 |
1 |
Assert Coverage for Instance : tb.dut.u_clk_usb_peri_scanmode_sync
Assertion Details
NumCopiesMustBeGreaterZero_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
805 |
805 |
0 |
0 |
T1 |
1 |
1 |
0 |
0 |
T2 |
1 |
1 |
0 |
0 |
T3 |
1 |
1 |
0 |
0 |
T4 |
1 |
1 |
0 |
0 |
T5 |
1 |
1 |
0 |
0 |
T16 |
1 |
1 |
0 |
0 |
T17 |
1 |
1 |
0 |
0 |
T18 |
1 |
1 |
0 |
0 |
T19 |
1 |
1 |
0 |
0 |
T20 |
1 |
1 |
0 |
0 |
OutputsKnown_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
161594763 |
158925559 |
0 |
0 |
T1 |
314704 |
312753 |
0 |
0 |
T2 |
351588 |
347809 |
0 |
0 |
T3 |
423055 |
422250 |
0 |
0 |
T4 |
1252 |
1208 |
0 |
0 |
T5 |
1270 |
1225 |
0 |
0 |
T16 |
2013 |
1820 |
0 |
0 |
T17 |
1092 |
1016 |
0 |
0 |
T18 |
681 |
625 |
0 |
0 |
T19 |
2431 |
2201 |
0 |
0 |
T20 |
8578 |
2412 |
0 |
0 |
gen_no_flops.OutputDelay_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
161594763 |
158925559 |
0 |
0 |
T1 |
314704 |
312753 |
0 |
0 |
T2 |
351588 |
347809 |
0 |
0 |
T3 |
423055 |
422250 |
0 |
0 |
T4 |
1252 |
1208 |
0 |
0 |
T5 |
1270 |
1225 |
0 |
0 |
T16 |
2013 |
1820 |
0 |
0 |
T17 |
1092 |
1016 |
0 |
0 |
T18 |
681 |
625 |
0 |
0 |
T19 |
2431 |
2201 |
0 |
0 |
T20 |
8578 |
2412 |
0 |
0 |
Line Coverage for Instance : tb.dut.u_clk_main_aes_trans.u_idle_sync
| Line No. | Total | Covered | Percent |
TOTAL | | 6 | 6 | 100.00 |
CONT_ASSIGN | 96 | 1 | 1 | 100.00 |
CONT_ASSIGN | 96 | 1 | 1 | 100.00 |
CONT_ASSIGN | 96 | 1 | 1 | 100.00 |
CONT_ASSIGN | 96 | 1 | 1 | 100.00 |
ALWAYS | 117 | 1 | 1 | 100.00 |
CONT_ASSIGN | 168 | 1 | 1 | 100.00 |
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_prim_mubi_0.1/rtl/prim_mubi4_sync.sv' or '../src/lowrisc_prim_mubi_0.1/rtl/prim_mubi4_sync.sv' was not found, so annotated line coverage report could not be generated.
Line No. | Covered | Statements | |
96 |
4 |
4 |
117 |
1 |
1 |
168 |
1 |
1 |
Cond Coverage for Instance : tb.dut.u_clk_main_aes_trans.u_idle_sync
| Total | Covered | Percent |
Conditions | 8 | 8 | 100.00 |
Logical | 8 | 8 | 100.00 |
Non-Logical | 0 | 0 | |
Event | 0 | 0 | |
LINE 96
EXPRESSION (((|gen_flops.gen_stable_chks.gen_bufs_muxes[0].sig_unstable_buf)) ? gen_flops.gen_stable_chks.reset_value[0] : gen_flops.gen_stable_chks.mubi_q[0])
--------------------------------1--------------------------------
-1- | Status | Tests |
0 | Covered | T4,T1,T5 |
1 | Covered | T4,T1,T5 |
LINE 96
EXPRESSION (((|gen_flops.gen_stable_chks.gen_bufs_muxes[1].sig_unstable_buf)) ? gen_flops.gen_stable_chks.reset_value[1] : gen_flops.gen_stable_chks.mubi_q[1])
--------------------------------1--------------------------------
-1- | Status | Tests |
0 | Covered | T4,T1,T5 |
1 | Covered | T4,T1,T5 |
LINE 96
EXPRESSION (((|gen_flops.gen_stable_chks.gen_bufs_muxes[2].sig_unstable_buf)) ? gen_flops.gen_stable_chks.reset_value[2] : gen_flops.gen_stable_chks.mubi_q[2])
--------------------------------1--------------------------------
-1- | Status | Tests |
0 | Covered | T4,T1,T5 |
1 | Covered | T4,T1,T5 |
LINE 96
EXPRESSION (((|gen_flops.gen_stable_chks.gen_bufs_muxes[3].sig_unstable_buf)) ? gen_flops.gen_stable_chks.reset_value[3] : gen_flops.gen_stable_chks.mubi_q[3])
--------------------------------1--------------------------------
-1- | Status | Tests |
0 | Covered | T4,T1,T5 |
1 | Covered | T4,T1,T5 |
Branch Coverage for Instance : tb.dut.u_clk_main_aes_trans.u_idle_sync
| Line No. | Total | Covered | Percent |
Branches |
|
8 |
8 |
100.00 |
TERNARY |
96 |
2 |
2 |
100.00 |
TERNARY |
96 |
2 |
2 |
100.00 |
TERNARY |
96 |
2 |
2 |
100.00 |
TERNARY |
96 |
2 |
2 |
100.00 |
WARNING: The source file /workspace/default/sim-vcs/../src/lowrisc_prim_mubi_0.1/rtl/prim_mubi4_sync.sv' or '../src/lowrisc_prim_mubi_0.1/rtl/prim_mubi4_sync.sv was not found/opened, so annotated branch coverage report could not be generated.
LineNo. Expression
-1-: 96 ((|gen_flops.gen_stable_chks.gen_bufs_muxes[0].sig_unstable_buf)) ?
Branches:
-1- | Status | Tests |
1 |
Covered |
T4,T1,T5 |
0 |
Covered |
T4,T1,T5 |
LineNo. Expression
-1-: 96 ((|gen_flops.gen_stable_chks.gen_bufs_muxes[1].sig_unstable_buf)) ?
Branches:
-1- | Status | Tests |
1 |
Covered |
T4,T1,T5 |
0 |
Covered |
T4,T1,T5 |
LineNo. Expression
-1-: 96 ((|gen_flops.gen_stable_chks.gen_bufs_muxes[2].sig_unstable_buf)) ?
Branches:
-1- | Status | Tests |
1 |
Covered |
T4,T1,T5 |
0 |
Covered |
T4,T1,T5 |
LineNo. Expression
-1-: 96 ((|gen_flops.gen_stable_chks.gen_bufs_muxes[3].sig_unstable_buf)) ?
Branches:
-1- | Status | Tests |
1 |
Covered |
T4,T1,T5 |
0 |
Covered |
T4,T1,T5 |
Assert Coverage for Instance : tb.dut.u_clk_main_aes_trans.u_idle_sync
Assertion Details
NumCopiesMustBeGreaterZero_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
805 |
805 |
0 |
0 |
T1 |
1 |
1 |
0 |
0 |
T2 |
1 |
1 |
0 |
0 |
T3 |
1 |
1 |
0 |
0 |
T4 |
1 |
1 |
0 |
0 |
T5 |
1 |
1 |
0 |
0 |
T16 |
1 |
1 |
0 |
0 |
T17 |
1 |
1 |
0 |
0 |
T18 |
1 |
1 |
0 |
0 |
T19 |
1 |
1 |
0 |
0 |
T20 |
1 |
1 |
0 |
0 |
OutputsKnown_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
390251755 |
385469059 |
0 |
0 |
T1 |
417195 |
414594 |
0 |
0 |
T2 |
361449 |
357512 |
0 |
0 |
T3 |
863350 |
861669 |
0 |
0 |
T4 |
5219 |
5036 |
0 |
0 |
T5 |
5085 |
4901 |
0 |
0 |
T16 |
2053 |
1856 |
0 |
0 |
T17 |
2228 |
2073 |
0 |
0 |
T18 |
2729 |
2503 |
0 |
0 |
T19 |
2534 |
2293 |
0 |
0 |
T20 |
35747 |
10035 |
0 |
0 |
gen_flops.gen_stable_chks.OutputDelay_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
390251755 |
385462031 |
0 |
2415 |
T1 |
417195 |
414591 |
0 |
3 |
T2 |
361449 |
357509 |
0 |
3 |
T3 |
863350 |
861642 |
0 |
3 |
T4 |
5219 |
5033 |
0 |
3 |
T5 |
5085 |
4898 |
0 |
3 |
T16 |
2053 |
1853 |
0 |
3 |
T17 |
2228 |
2070 |
0 |
3 |
T18 |
2729 |
2500 |
0 |
3 |
T19 |
2534 |
2290 |
0 |
3 |
T20 |
35747 |
10020 |
0 |
3 |
gen_flops.gen_stable_chks.OutputIfUnstable_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
390251755 |
34122 |
0 |
0 |
T1 |
417195 |
563 |
0 |
0 |
T2 |
361449 |
469 |
0 |
0 |
T3 |
863350 |
141 |
0 |
0 |
T4 |
5219 |
9 |
0 |
0 |
T5 |
5085 |
4 |
0 |
0 |
T16 |
2053 |
19 |
0 |
0 |
T17 |
2228 |
5 |
0 |
0 |
T18 |
2729 |
3 |
0 |
0 |
T19 |
2534 |
25 |
0 |
0 |
T20 |
35747 |
5 |
0 |
0 |
Line Coverage for Instance : tb.dut.u_clk_main_aes_trans.u_scanmode_sync
| Line No. | Total | Covered | Percent |
TOTAL | | 2 | 2 | 100.00 |
ALWAYS | 145 | 0 | 0 | |
CONT_ASSIGN | 155 | 1 | 1 | 100.00 |
CONT_ASSIGN | 168 | 1 | 1 | 100.00 |
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_prim_mubi_0.1/rtl/prim_mubi4_sync.sv' or '../src/lowrisc_prim_mubi_0.1/rtl/prim_mubi4_sync.sv' was not found, so annotated line coverage report could not be generated.
Line No. | Covered | Statements | |
145 |
|
unreachable |
146 |
|
unreachable |
148 |
|
unreachable |
155 |
1 |
1 |
168 |
1 |
1 |
Assert Coverage for Instance : tb.dut.u_clk_main_aes_trans.u_scanmode_sync
Assertion Details
NumCopiesMustBeGreaterZero_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
805 |
805 |
0 |
0 |
T1 |
1 |
1 |
0 |
0 |
T2 |
1 |
1 |
0 |
0 |
T3 |
1 |
1 |
0 |
0 |
T4 |
1 |
1 |
0 |
0 |
T5 |
1 |
1 |
0 |
0 |
T16 |
1 |
1 |
0 |
0 |
T17 |
1 |
1 |
0 |
0 |
T18 |
1 |
1 |
0 |
0 |
T19 |
1 |
1 |
0 |
0 |
T20 |
1 |
1 |
0 |
0 |
OutputsKnown_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
390251755 |
385469059 |
0 |
0 |
T1 |
417195 |
414594 |
0 |
0 |
T2 |
361449 |
357512 |
0 |
0 |
T3 |
863350 |
861669 |
0 |
0 |
T4 |
5219 |
5036 |
0 |
0 |
T5 |
5085 |
4901 |
0 |
0 |
T16 |
2053 |
1856 |
0 |
0 |
T17 |
2228 |
2073 |
0 |
0 |
T18 |
2729 |
2503 |
0 |
0 |
T19 |
2534 |
2293 |
0 |
0 |
T20 |
35747 |
10035 |
0 |
0 |
gen_no_flops.OutputDelay_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
390251755 |
385469059 |
0 |
0 |
T1 |
417195 |
414594 |
0 |
0 |
T2 |
361449 |
357512 |
0 |
0 |
T3 |
863350 |
861669 |
0 |
0 |
T4 |
5219 |
5036 |
0 |
0 |
T5 |
5085 |
4901 |
0 |
0 |
T16 |
2053 |
1856 |
0 |
0 |
T17 |
2228 |
2073 |
0 |
0 |
T18 |
2729 |
2503 |
0 |
0 |
T19 |
2534 |
2293 |
0 |
0 |
T20 |
35747 |
10035 |
0 |
0 |
Line Coverage for Instance : tb.dut.u_clk_main_hmac_trans.u_idle_sync
| Line No. | Total | Covered | Percent |
TOTAL | | 6 | 6 | 100.00 |
CONT_ASSIGN | 96 | 1 | 1 | 100.00 |
CONT_ASSIGN | 96 | 1 | 1 | 100.00 |
CONT_ASSIGN | 96 | 1 | 1 | 100.00 |
CONT_ASSIGN | 96 | 1 | 1 | 100.00 |
ALWAYS | 117 | 1 | 1 | 100.00 |
CONT_ASSIGN | 168 | 1 | 1 | 100.00 |
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_prim_mubi_0.1/rtl/prim_mubi4_sync.sv' or '../src/lowrisc_prim_mubi_0.1/rtl/prim_mubi4_sync.sv' was not found, so annotated line coverage report could not be generated.
Line No. | Covered | Statements | |
96 |
4 |
4 |
117 |
1 |
1 |
168 |
1 |
1 |
Cond Coverage for Instance : tb.dut.u_clk_main_hmac_trans.u_idle_sync
| Total | Covered | Percent |
Conditions | 8 | 8 | 100.00 |
Logical | 8 | 8 | 100.00 |
Non-Logical | 0 | 0 | |
Event | 0 | 0 | |
LINE 96
EXPRESSION (((|gen_flops.gen_stable_chks.gen_bufs_muxes[0].sig_unstable_buf)) ? gen_flops.gen_stable_chks.reset_value[0] : gen_flops.gen_stable_chks.mubi_q[0])
--------------------------------1--------------------------------
-1- | Status | Tests |
0 | Covered | T4,T1,T5 |
1 | Covered | T4,T1,T5 |
LINE 96
EXPRESSION (((|gen_flops.gen_stable_chks.gen_bufs_muxes[1].sig_unstable_buf)) ? gen_flops.gen_stable_chks.reset_value[1] : gen_flops.gen_stable_chks.mubi_q[1])
--------------------------------1--------------------------------
-1- | Status | Tests |
0 | Covered | T4,T1,T5 |
1 | Covered | T4,T1,T5 |
LINE 96
EXPRESSION (((|gen_flops.gen_stable_chks.gen_bufs_muxes[2].sig_unstable_buf)) ? gen_flops.gen_stable_chks.reset_value[2] : gen_flops.gen_stable_chks.mubi_q[2])
--------------------------------1--------------------------------
-1- | Status | Tests |
0 | Covered | T4,T1,T5 |
1 | Covered | T4,T1,T5 |
LINE 96
EXPRESSION (((|gen_flops.gen_stable_chks.gen_bufs_muxes[3].sig_unstable_buf)) ? gen_flops.gen_stable_chks.reset_value[3] : gen_flops.gen_stable_chks.mubi_q[3])
--------------------------------1--------------------------------
-1- | Status | Tests |
0 | Covered | T4,T1,T5 |
1 | Covered | T4,T1,T5 |
Branch Coverage for Instance : tb.dut.u_clk_main_hmac_trans.u_idle_sync
| Line No. | Total | Covered | Percent |
Branches |
|
8 |
8 |
100.00 |
TERNARY |
96 |
2 |
2 |
100.00 |
TERNARY |
96 |
2 |
2 |
100.00 |
TERNARY |
96 |
2 |
2 |
100.00 |
TERNARY |
96 |
2 |
2 |
100.00 |
WARNING: The source file /workspace/default/sim-vcs/../src/lowrisc_prim_mubi_0.1/rtl/prim_mubi4_sync.sv' or '../src/lowrisc_prim_mubi_0.1/rtl/prim_mubi4_sync.sv was not found/opened, so annotated branch coverage report could not be generated.
LineNo. Expression
-1-: 96 ((|gen_flops.gen_stable_chks.gen_bufs_muxes[0].sig_unstable_buf)) ?
Branches:
-1- | Status | Tests |
1 |
Covered |
T4,T1,T5 |
0 |
Covered |
T4,T1,T5 |
LineNo. Expression
-1-: 96 ((|gen_flops.gen_stable_chks.gen_bufs_muxes[1].sig_unstable_buf)) ?
Branches:
-1- | Status | Tests |
1 |
Covered |
T4,T1,T5 |
0 |
Covered |
T4,T1,T5 |
LineNo. Expression
-1-: 96 ((|gen_flops.gen_stable_chks.gen_bufs_muxes[2].sig_unstable_buf)) ?
Branches:
-1- | Status | Tests |
1 |
Covered |
T4,T1,T5 |
0 |
Covered |
T4,T1,T5 |
LineNo. Expression
-1-: 96 ((|gen_flops.gen_stable_chks.gen_bufs_muxes[3].sig_unstable_buf)) ?
Branches:
-1- | Status | Tests |
1 |
Covered |
T4,T1,T5 |
0 |
Covered |
T4,T1,T5 |
Assert Coverage for Instance : tb.dut.u_clk_main_hmac_trans.u_idle_sync
Assertion Details
NumCopiesMustBeGreaterZero_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
805 |
805 |
0 |
0 |
T1 |
1 |
1 |
0 |
0 |
T2 |
1 |
1 |
0 |
0 |
T3 |
1 |
1 |
0 |
0 |
T4 |
1 |
1 |
0 |
0 |
T5 |
1 |
1 |
0 |
0 |
T16 |
1 |
1 |
0 |
0 |
T17 |
1 |
1 |
0 |
0 |
T18 |
1 |
1 |
0 |
0 |
T19 |
1 |
1 |
0 |
0 |
T20 |
1 |
1 |
0 |
0 |
OutputsKnown_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
390251755 |
385469059 |
0 |
0 |
T1 |
417195 |
414594 |
0 |
0 |
T2 |
361449 |
357512 |
0 |
0 |
T3 |
863350 |
861669 |
0 |
0 |
T4 |
5219 |
5036 |
0 |
0 |
T5 |
5085 |
4901 |
0 |
0 |
T16 |
2053 |
1856 |
0 |
0 |
T17 |
2228 |
2073 |
0 |
0 |
T18 |
2729 |
2503 |
0 |
0 |
T19 |
2534 |
2293 |
0 |
0 |
T20 |
35747 |
10035 |
0 |
0 |
gen_flops.gen_stable_chks.OutputDelay_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
390251755 |
385462031 |
0 |
2415 |
T1 |
417195 |
414591 |
0 |
3 |
T2 |
361449 |
357509 |
0 |
3 |
T3 |
863350 |
861642 |
0 |
3 |
T4 |
5219 |
5033 |
0 |
3 |
T5 |
5085 |
4898 |
0 |
3 |
T16 |
2053 |
1853 |
0 |
3 |
T17 |
2228 |
2070 |
0 |
3 |
T18 |
2729 |
2500 |
0 |
3 |
T19 |
2534 |
2290 |
0 |
3 |
T20 |
35747 |
10020 |
0 |
3 |
gen_flops.gen_stable_chks.OutputIfUnstable_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
390251755 |
34196 |
0 |
0 |
T1 |
417195 |
622 |
0 |
0 |
T2 |
361449 |
486 |
0 |
0 |
T3 |
863350 |
116 |
0 |
0 |
T4 |
5219 |
3 |
0 |
0 |
T5 |
5085 |
4 |
0 |
0 |
T16 |
2053 |
12 |
0 |
0 |
T17 |
2228 |
5 |
0 |
0 |
T18 |
2729 |
3 |
0 |
0 |
T19 |
2534 |
26 |
0 |
0 |
T20 |
35747 |
5 |
0 |
0 |
Line Coverage for Instance : tb.dut.u_clk_main_hmac_trans.u_scanmode_sync
| Line No. | Total | Covered | Percent |
TOTAL | | 2 | 2 | 100.00 |
ALWAYS | 145 | 0 | 0 | |
CONT_ASSIGN | 155 | 1 | 1 | 100.00 |
CONT_ASSIGN | 168 | 1 | 1 | 100.00 |
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_prim_mubi_0.1/rtl/prim_mubi4_sync.sv' or '../src/lowrisc_prim_mubi_0.1/rtl/prim_mubi4_sync.sv' was not found, so annotated line coverage report could not be generated.
Line No. | Covered | Statements | |
145 |
|
unreachable |
146 |
|
unreachable |
148 |
|
unreachable |
155 |
1 |
1 |
168 |
1 |
1 |
Assert Coverage for Instance : tb.dut.u_clk_main_hmac_trans.u_scanmode_sync
Assertion Details
NumCopiesMustBeGreaterZero_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
805 |
805 |
0 |
0 |
T1 |
1 |
1 |
0 |
0 |
T2 |
1 |
1 |
0 |
0 |
T3 |
1 |
1 |
0 |
0 |
T4 |
1 |
1 |
0 |
0 |
T5 |
1 |
1 |
0 |
0 |
T16 |
1 |
1 |
0 |
0 |
T17 |
1 |
1 |
0 |
0 |
T18 |
1 |
1 |
0 |
0 |
T19 |
1 |
1 |
0 |
0 |
T20 |
1 |
1 |
0 |
0 |
OutputsKnown_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
390251755 |
385469059 |
0 |
0 |
T1 |
417195 |
414594 |
0 |
0 |
T2 |
361449 |
357512 |
0 |
0 |
T3 |
863350 |
861669 |
0 |
0 |
T4 |
5219 |
5036 |
0 |
0 |
T5 |
5085 |
4901 |
0 |
0 |
T16 |
2053 |
1856 |
0 |
0 |
T17 |
2228 |
2073 |
0 |
0 |
T18 |
2729 |
2503 |
0 |
0 |
T19 |
2534 |
2293 |
0 |
0 |
T20 |
35747 |
10035 |
0 |
0 |
gen_no_flops.OutputDelay_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
390251755 |
385469059 |
0 |
0 |
T1 |
417195 |
414594 |
0 |
0 |
T2 |
361449 |
357512 |
0 |
0 |
T3 |
863350 |
861669 |
0 |
0 |
T4 |
5219 |
5036 |
0 |
0 |
T5 |
5085 |
4901 |
0 |
0 |
T16 |
2053 |
1856 |
0 |
0 |
T17 |
2228 |
2073 |
0 |
0 |
T18 |
2729 |
2503 |
0 |
0 |
T19 |
2534 |
2293 |
0 |
0 |
T20 |
35747 |
10035 |
0 |
0 |
Line Coverage for Instance : tb.dut.u_clk_main_kmac_trans.u_idle_sync
| Line No. | Total | Covered | Percent |
TOTAL | | 6 | 6 | 100.00 |
CONT_ASSIGN | 96 | 1 | 1 | 100.00 |
CONT_ASSIGN | 96 | 1 | 1 | 100.00 |
CONT_ASSIGN | 96 | 1 | 1 | 100.00 |
CONT_ASSIGN | 96 | 1 | 1 | 100.00 |
ALWAYS | 117 | 1 | 1 | 100.00 |
CONT_ASSIGN | 168 | 1 | 1 | 100.00 |
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_prim_mubi_0.1/rtl/prim_mubi4_sync.sv' or '../src/lowrisc_prim_mubi_0.1/rtl/prim_mubi4_sync.sv' was not found, so annotated line coverage report could not be generated.
Line No. | Covered | Statements | |
96 |
4 |
4 |
117 |
1 |
1 |
168 |
1 |
1 |
Cond Coverage for Instance : tb.dut.u_clk_main_kmac_trans.u_idle_sync
| Total | Covered | Percent |
Conditions | 8 | 8 | 100.00 |
Logical | 8 | 8 | 100.00 |
Non-Logical | 0 | 0 | |
Event | 0 | 0 | |
LINE 96
EXPRESSION (((|gen_flops.gen_stable_chks.gen_bufs_muxes[0].sig_unstable_buf)) ? gen_flops.gen_stable_chks.reset_value[0] : gen_flops.gen_stable_chks.mubi_q[0])
--------------------------------1--------------------------------
-1- | Status | Tests |
0 | Covered | T4,T1,T5 |
1 | Covered | T4,T1,T5 |
LINE 96
EXPRESSION (((|gen_flops.gen_stable_chks.gen_bufs_muxes[1].sig_unstable_buf)) ? gen_flops.gen_stable_chks.reset_value[1] : gen_flops.gen_stable_chks.mubi_q[1])
--------------------------------1--------------------------------
-1- | Status | Tests |
0 | Covered | T4,T1,T5 |
1 | Covered | T4,T1,T5 |
LINE 96
EXPRESSION (((|gen_flops.gen_stable_chks.gen_bufs_muxes[2].sig_unstable_buf)) ? gen_flops.gen_stable_chks.reset_value[2] : gen_flops.gen_stable_chks.mubi_q[2])
--------------------------------1--------------------------------
-1- | Status | Tests |
0 | Covered | T4,T1,T5 |
1 | Covered | T4,T1,T5 |
LINE 96
EXPRESSION (((|gen_flops.gen_stable_chks.gen_bufs_muxes[3].sig_unstable_buf)) ? gen_flops.gen_stable_chks.reset_value[3] : gen_flops.gen_stable_chks.mubi_q[3])
--------------------------------1--------------------------------
-1- | Status | Tests |
0 | Covered | T4,T1,T5 |
1 | Covered | T4,T1,T5 |
Branch Coverage for Instance : tb.dut.u_clk_main_kmac_trans.u_idle_sync
| Line No. | Total | Covered | Percent |
Branches |
|
8 |
8 |
100.00 |
TERNARY |
96 |
2 |
2 |
100.00 |
TERNARY |
96 |
2 |
2 |
100.00 |
TERNARY |
96 |
2 |
2 |
100.00 |
TERNARY |
96 |
2 |
2 |
100.00 |
WARNING: The source file /workspace/default/sim-vcs/../src/lowrisc_prim_mubi_0.1/rtl/prim_mubi4_sync.sv' or '../src/lowrisc_prim_mubi_0.1/rtl/prim_mubi4_sync.sv was not found/opened, so annotated branch coverage report could not be generated.
LineNo. Expression
-1-: 96 ((|gen_flops.gen_stable_chks.gen_bufs_muxes[0].sig_unstable_buf)) ?
Branches:
-1- | Status | Tests |
1 |
Covered |
T4,T1,T5 |
0 |
Covered |
T4,T1,T5 |
LineNo. Expression
-1-: 96 ((|gen_flops.gen_stable_chks.gen_bufs_muxes[1].sig_unstable_buf)) ?
Branches:
-1- | Status | Tests |
1 |
Covered |
T4,T1,T5 |
0 |
Covered |
T4,T1,T5 |
LineNo. Expression
-1-: 96 ((|gen_flops.gen_stable_chks.gen_bufs_muxes[2].sig_unstable_buf)) ?
Branches:
-1- | Status | Tests |
1 |
Covered |
T4,T1,T5 |
0 |
Covered |
T4,T1,T5 |
LineNo. Expression
-1-: 96 ((|gen_flops.gen_stable_chks.gen_bufs_muxes[3].sig_unstable_buf)) ?
Branches:
-1- | Status | Tests |
1 |
Covered |
T4,T1,T5 |
0 |
Covered |
T4,T1,T5 |
Assert Coverage for Instance : tb.dut.u_clk_main_kmac_trans.u_idle_sync
Assertion Details
NumCopiesMustBeGreaterZero_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
805 |
805 |
0 |
0 |
T1 |
1 |
1 |
0 |
0 |
T2 |
1 |
1 |
0 |
0 |
T3 |
1 |
1 |
0 |
0 |
T4 |
1 |
1 |
0 |
0 |
T5 |
1 |
1 |
0 |
0 |
T16 |
1 |
1 |
0 |
0 |
T17 |
1 |
1 |
0 |
0 |
T18 |
1 |
1 |
0 |
0 |
T19 |
1 |
1 |
0 |
0 |
T20 |
1 |
1 |
0 |
0 |
OutputsKnown_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
390251755 |
385469059 |
0 |
0 |
T1 |
417195 |
414594 |
0 |
0 |
T2 |
361449 |
357512 |
0 |
0 |
T3 |
863350 |
861669 |
0 |
0 |
T4 |
5219 |
5036 |
0 |
0 |
T5 |
5085 |
4901 |
0 |
0 |
T16 |
2053 |
1856 |
0 |
0 |
T17 |
2228 |
2073 |
0 |
0 |
T18 |
2729 |
2503 |
0 |
0 |
T19 |
2534 |
2293 |
0 |
0 |
T20 |
35747 |
10035 |
0 |
0 |
gen_flops.gen_stable_chks.OutputDelay_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
390251755 |
385462031 |
0 |
2415 |
T1 |
417195 |
414591 |
0 |
3 |
T2 |
361449 |
357509 |
0 |
3 |
T3 |
863350 |
861642 |
0 |
3 |
T4 |
5219 |
5033 |
0 |
3 |
T5 |
5085 |
4898 |
0 |
3 |
T16 |
2053 |
1853 |
0 |
3 |
T17 |
2228 |
2070 |
0 |
3 |
T18 |
2729 |
2500 |
0 |
3 |
T19 |
2534 |
2290 |
0 |
3 |
T20 |
35747 |
10020 |
0 |
3 |
gen_flops.gen_stable_chks.OutputIfUnstable_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
390251755 |
33989 |
0 |
0 |
T1 |
417195 |
602 |
0 |
0 |
T2 |
361449 |
462 |
0 |
0 |
T3 |
863350 |
146 |
0 |
0 |
T4 |
5219 |
7 |
0 |
0 |
T5 |
5085 |
4 |
0 |
0 |
T16 |
2053 |
16 |
0 |
0 |
T17 |
2228 |
1 |
0 |
0 |
T18 |
2729 |
3 |
0 |
0 |
T19 |
2534 |
23 |
0 |
0 |
T20 |
35747 |
5 |
0 |
0 |
Line Coverage for Instance : tb.dut.u_clk_main_kmac_trans.u_scanmode_sync
| Line No. | Total | Covered | Percent |
TOTAL | | 2 | 2 | 100.00 |
ALWAYS | 145 | 0 | 0 | |
CONT_ASSIGN | 155 | 1 | 1 | 100.00 |
CONT_ASSIGN | 168 | 1 | 1 | 100.00 |
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_prim_mubi_0.1/rtl/prim_mubi4_sync.sv' or '../src/lowrisc_prim_mubi_0.1/rtl/prim_mubi4_sync.sv' was not found, so annotated line coverage report could not be generated.
Line No. | Covered | Statements | |
145 |
|
unreachable |
146 |
|
unreachable |
148 |
|
unreachable |
155 |
1 |
1 |
168 |
1 |
1 |
Assert Coverage for Instance : tb.dut.u_clk_main_kmac_trans.u_scanmode_sync
Assertion Details
NumCopiesMustBeGreaterZero_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
805 |
805 |
0 |
0 |
T1 |
1 |
1 |
0 |
0 |
T2 |
1 |
1 |
0 |
0 |
T3 |
1 |
1 |
0 |
0 |
T4 |
1 |
1 |
0 |
0 |
T5 |
1 |
1 |
0 |
0 |
T16 |
1 |
1 |
0 |
0 |
T17 |
1 |
1 |
0 |
0 |
T18 |
1 |
1 |
0 |
0 |
T19 |
1 |
1 |
0 |
0 |
T20 |
1 |
1 |
0 |
0 |
OutputsKnown_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
390251755 |
385469059 |
0 |
0 |
T1 |
417195 |
414594 |
0 |
0 |
T2 |
361449 |
357512 |
0 |
0 |
T3 |
863350 |
861669 |
0 |
0 |
T4 |
5219 |
5036 |
0 |
0 |
T5 |
5085 |
4901 |
0 |
0 |
T16 |
2053 |
1856 |
0 |
0 |
T17 |
2228 |
2073 |
0 |
0 |
T18 |
2729 |
2503 |
0 |
0 |
T19 |
2534 |
2293 |
0 |
0 |
T20 |
35747 |
10035 |
0 |
0 |
gen_no_flops.OutputDelay_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
390251755 |
385469059 |
0 |
0 |
T1 |
417195 |
414594 |
0 |
0 |
T2 |
361449 |
357512 |
0 |
0 |
T3 |
863350 |
861669 |
0 |
0 |
T4 |
5219 |
5036 |
0 |
0 |
T5 |
5085 |
4901 |
0 |
0 |
T16 |
2053 |
1856 |
0 |
0 |
T17 |
2228 |
2073 |
0 |
0 |
T18 |
2729 |
2503 |
0 |
0 |
T19 |
2534 |
2293 |
0 |
0 |
T20 |
35747 |
10035 |
0 |
0 |
Line Coverage for Instance : tb.dut.u_clk_main_otbn_trans.u_idle_sync
| Line No. | Total | Covered | Percent |
TOTAL | | 6 | 6 | 100.00 |
CONT_ASSIGN | 96 | 1 | 1 | 100.00 |
CONT_ASSIGN | 96 | 1 | 1 | 100.00 |
CONT_ASSIGN | 96 | 1 | 1 | 100.00 |
CONT_ASSIGN | 96 | 1 | 1 | 100.00 |
ALWAYS | 117 | 1 | 1 | 100.00 |
CONT_ASSIGN | 168 | 1 | 1 | 100.00 |
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_prim_mubi_0.1/rtl/prim_mubi4_sync.sv' or '../src/lowrisc_prim_mubi_0.1/rtl/prim_mubi4_sync.sv' was not found, so annotated line coverage report could not be generated.
Line No. | Covered | Statements | |
96 |
4 |
4 |
117 |
1 |
1 |
168 |
1 |
1 |
Cond Coverage for Instance : tb.dut.u_clk_main_otbn_trans.u_idle_sync
| Total | Covered | Percent |
Conditions | 8 | 8 | 100.00 |
Logical | 8 | 8 | 100.00 |
Non-Logical | 0 | 0 | |
Event | 0 | 0 | |
LINE 96
EXPRESSION (((|gen_flops.gen_stable_chks.gen_bufs_muxes[0].sig_unstable_buf)) ? gen_flops.gen_stable_chks.reset_value[0] : gen_flops.gen_stable_chks.mubi_q[0])
--------------------------------1--------------------------------
-1- | Status | Tests |
0 | Covered | T4,T1,T5 |
1 | Covered | T4,T1,T5 |
LINE 96
EXPRESSION (((|gen_flops.gen_stable_chks.gen_bufs_muxes[1].sig_unstable_buf)) ? gen_flops.gen_stable_chks.reset_value[1] : gen_flops.gen_stable_chks.mubi_q[1])
--------------------------------1--------------------------------
-1- | Status | Tests |
0 | Covered | T4,T1,T5 |
1 | Covered | T4,T1,T5 |
LINE 96
EXPRESSION (((|gen_flops.gen_stable_chks.gen_bufs_muxes[2].sig_unstable_buf)) ? gen_flops.gen_stable_chks.reset_value[2] : gen_flops.gen_stable_chks.mubi_q[2])
--------------------------------1--------------------------------
-1- | Status | Tests |
0 | Covered | T4,T1,T5 |
1 | Covered | T4,T1,T5 |
LINE 96
EXPRESSION (((|gen_flops.gen_stable_chks.gen_bufs_muxes[3].sig_unstable_buf)) ? gen_flops.gen_stable_chks.reset_value[3] : gen_flops.gen_stable_chks.mubi_q[3])
--------------------------------1--------------------------------
-1- | Status | Tests |
0 | Covered | T4,T1,T5 |
1 | Covered | T4,T1,T5 |
Branch Coverage for Instance : tb.dut.u_clk_main_otbn_trans.u_idle_sync
| Line No. | Total | Covered | Percent |
Branches |
|
8 |
8 |
100.00 |
TERNARY |
96 |
2 |
2 |
100.00 |
TERNARY |
96 |
2 |
2 |
100.00 |
TERNARY |
96 |
2 |
2 |
100.00 |
TERNARY |
96 |
2 |
2 |
100.00 |
WARNING: The source file /workspace/default/sim-vcs/../src/lowrisc_prim_mubi_0.1/rtl/prim_mubi4_sync.sv' or '../src/lowrisc_prim_mubi_0.1/rtl/prim_mubi4_sync.sv was not found/opened, so annotated branch coverage report could not be generated.
LineNo. Expression
-1-: 96 ((|gen_flops.gen_stable_chks.gen_bufs_muxes[0].sig_unstable_buf)) ?
Branches:
-1- | Status | Tests |
1 |
Covered |
T4,T1,T5 |
0 |
Covered |
T4,T1,T5 |
LineNo. Expression
-1-: 96 ((|gen_flops.gen_stable_chks.gen_bufs_muxes[1].sig_unstable_buf)) ?
Branches:
-1- | Status | Tests |
1 |
Covered |
T4,T1,T5 |
0 |
Covered |
T4,T1,T5 |
LineNo. Expression
-1-: 96 ((|gen_flops.gen_stable_chks.gen_bufs_muxes[2].sig_unstable_buf)) ?
Branches:
-1- | Status | Tests |
1 |
Covered |
T4,T1,T5 |
0 |
Covered |
T4,T1,T5 |
LineNo. Expression
-1-: 96 ((|gen_flops.gen_stable_chks.gen_bufs_muxes[3].sig_unstable_buf)) ?
Branches:
-1- | Status | Tests |
1 |
Covered |
T4,T1,T5 |
0 |
Covered |
T4,T1,T5 |
Assert Coverage for Instance : tb.dut.u_clk_main_otbn_trans.u_idle_sync
Assertion Details
NumCopiesMustBeGreaterZero_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
805 |
805 |
0 |
0 |
T1 |
1 |
1 |
0 |
0 |
T2 |
1 |
1 |
0 |
0 |
T3 |
1 |
1 |
0 |
0 |
T4 |
1 |
1 |
0 |
0 |
T5 |
1 |
1 |
0 |
0 |
T16 |
1 |
1 |
0 |
0 |
T17 |
1 |
1 |
0 |
0 |
T18 |
1 |
1 |
0 |
0 |
T19 |
1 |
1 |
0 |
0 |
T20 |
1 |
1 |
0 |
0 |
OutputsKnown_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
390251755 |
385469059 |
0 |
0 |
T1 |
417195 |
414594 |
0 |
0 |
T2 |
361449 |
357512 |
0 |
0 |
T3 |
863350 |
861669 |
0 |
0 |
T4 |
5219 |
5036 |
0 |
0 |
T5 |
5085 |
4901 |
0 |
0 |
T16 |
2053 |
1856 |
0 |
0 |
T17 |
2228 |
2073 |
0 |
0 |
T18 |
2729 |
2503 |
0 |
0 |
T19 |
2534 |
2293 |
0 |
0 |
T20 |
35747 |
10035 |
0 |
0 |
gen_flops.gen_stable_chks.OutputDelay_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
390251755 |
385462031 |
0 |
2415 |
T1 |
417195 |
414591 |
0 |
3 |
T2 |
361449 |
357509 |
0 |
3 |
T3 |
863350 |
861642 |
0 |
3 |
T4 |
5219 |
5033 |
0 |
3 |
T5 |
5085 |
4898 |
0 |
3 |
T16 |
2053 |
1853 |
0 |
3 |
T17 |
2228 |
2070 |
0 |
3 |
T18 |
2729 |
2500 |
0 |
3 |
T19 |
2534 |
2290 |
0 |
3 |
T20 |
35747 |
10020 |
0 |
3 |
gen_flops.gen_stable_chks.OutputIfUnstable_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
390251755 |
33897 |
0 |
0 |
T1 |
417195 |
621 |
0 |
0 |
T2 |
361449 |
503 |
0 |
0 |
T3 |
863350 |
136 |
0 |
0 |
T4 |
5219 |
3 |
0 |
0 |
T5 |
5085 |
4 |
0 |
0 |
T16 |
2053 |
12 |
0 |
0 |
T17 |
2228 |
5 |
0 |
0 |
T18 |
2729 |
3 |
0 |
0 |
T19 |
2534 |
28 |
0 |
0 |
T20 |
35747 |
5 |
0 |
0 |
Line Coverage for Instance : tb.dut.u_clk_main_otbn_trans.u_scanmode_sync
| Line No. | Total | Covered | Percent |
TOTAL | | 2 | 2 | 100.00 |
ALWAYS | 145 | 0 | 0 | |
CONT_ASSIGN | 155 | 1 | 1 | 100.00 |
CONT_ASSIGN | 168 | 1 | 1 | 100.00 |
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_prim_mubi_0.1/rtl/prim_mubi4_sync.sv' or '../src/lowrisc_prim_mubi_0.1/rtl/prim_mubi4_sync.sv' was not found, so annotated line coverage report could not be generated.
Line No. | Covered | Statements | |
145 |
|
unreachable |
146 |
|
unreachable |
148 |
|
unreachable |
155 |
1 |
1 |
168 |
1 |
1 |
Assert Coverage for Instance : tb.dut.u_clk_main_otbn_trans.u_scanmode_sync
Assertion Details
NumCopiesMustBeGreaterZero_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
805 |
805 |
0 |
0 |
T1 |
1 |
1 |
0 |
0 |
T2 |
1 |
1 |
0 |
0 |
T3 |
1 |
1 |
0 |
0 |
T4 |
1 |
1 |
0 |
0 |
T5 |
1 |
1 |
0 |
0 |
T16 |
1 |
1 |
0 |
0 |
T17 |
1 |
1 |
0 |
0 |
T18 |
1 |
1 |
0 |
0 |
T19 |
1 |
1 |
0 |
0 |
T20 |
1 |
1 |
0 |
0 |
OutputsKnown_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
390251755 |
385469059 |
0 |
0 |
T1 |
417195 |
414594 |
0 |
0 |
T2 |
361449 |
357512 |
0 |
0 |
T3 |
863350 |
861669 |
0 |
0 |
T4 |
5219 |
5036 |
0 |
0 |
T5 |
5085 |
4901 |
0 |
0 |
T16 |
2053 |
1856 |
0 |
0 |
T17 |
2228 |
2073 |
0 |
0 |
T18 |
2729 |
2503 |
0 |
0 |
T19 |
2534 |
2293 |
0 |
0 |
T20 |
35747 |
10035 |
0 |
0 |
gen_no_flops.OutputDelay_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
390251755 |
385469059 |
0 |
0 |
T1 |
417195 |
414594 |
0 |
0 |
T2 |
361449 |
357512 |
0 |
0 |
T3 |
863350 |
861669 |
0 |
0 |
T4 |
5219 |
5036 |
0 |
0 |
T5 |
5085 |
4901 |
0 |
0 |
T16 |
2053 |
1856 |
0 |
0 |
T17 |
2228 |
2073 |
0 |
0 |
T18 |
2729 |
2503 |
0 |
0 |
T19 |
2534 |
2293 |
0 |
0 |
T20 |
35747 |
10035 |
0 |
0 |