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 | T1,T4,T5 |
1 | Covered | T1,T4,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 | T1,T4,T5 |
1 | Covered | T1,T4,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 | T1,T4,T5 |
1 | Covered | T1,T4,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 | T1,T4,T5 |
1 | Covered | T1,T4,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 |
T1,T4,T5 |
0 |
Covered |
T1,T4,T5 |
LineNo. Expression
-1-: 96 ((|gen_flops.gen_stable_chks.gen_bufs_muxes[1].sig_unstable_buf)) ?
Branches:
-1- | Status | Tests |
1 |
Covered |
T1,T4,T5 |
0 |
Covered |
T1,T4,T5 |
LineNo. Expression
-1-: 96 ((|gen_flops.gen_stable_chks.gen_bufs_muxes[2].sig_unstable_buf)) ?
Branches:
-1- | Status | Tests |
1 |
Covered |
T1,T4,T5 |
0 |
Covered |
T1,T4,T5 |
LineNo. Expression
-1-: 96 ((|gen_flops.gen_stable_chks.gen_bufs_muxes[3].sig_unstable_buf)) ?
Branches:
-1- | Status | Tests |
1 |
Covered |
T1,T4,T5 |
0 |
Covered |
T1,T4,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 |
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 |
T21 |
28 |
28 |
0 |
0 |
OutputsKnown_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
2147483647 |
2147483647 |
0 |
0 |
T1 |
9900541 |
9888599 |
0 |
0 |
T2 |
17218785 |
17192233 |
0 |
0 |
T4 |
85192 |
83231 |
0 |
0 |
T5 |
162463 |
161339 |
0 |
0 |
T16 |
63677 |
60882 |
0 |
0 |
T17 |
75066 |
72580 |
0 |
0 |
T18 |
216709 |
214920 |
0 |
0 |
T19 |
76589 |
74675 |
0 |
0 |
T20 |
204539 |
201281 |
0 |
0 |
T21 |
85281 |
81646 |
0 |
0 |
gen_flops.gen_no_stable_chks.OutputDelay_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
902672622 |
885435222 |
0 |
14490 |
T1 |
2575854 |
2572086 |
0 |
18 |
T2 |
3962262 |
3955680 |
0 |
18 |
T4 |
12960 |
12618 |
0 |
18 |
T5 |
14970 |
14832 |
0 |
18 |
T16 |
11394 |
10800 |
0 |
18 |
T17 |
11274 |
10824 |
0 |
18 |
T18 |
12126 |
11994 |
0 |
18 |
T19 |
5388 |
5214 |
0 |
18 |
T20 |
19644 |
19272 |
0 |
18 |
T21 |
19596 |
18654 |
0 |
18 |
gen_flops.gen_stable_chks.OutputDelay_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
2147483647 |
2147483647 |
0 |
16905 |
T1 |
1703898 |
1701402 |
0 |
21 |
T2 |
4591673 |
4583802 |
0 |
21 |
T4 |
26634 |
25950 |
0 |
21 |
T5 |
56563 |
56090 |
0 |
21 |
T16 |
18985 |
18004 |
0 |
21 |
T17 |
23598 |
22669 |
0 |
21 |
T18 |
81165 |
80337 |
0 |
21 |
T19 |
28015 |
27177 |
0 |
21 |
T20 |
71529 |
70195 |
0 |
21 |
T21 |
22732 |
21638 |
0 |
21 |
gen_flops.gen_stable_chks.OutputIfUnstable_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
2147483647 |
189700 |
0 |
0 |
T1 |
1703898 |
3863 |
0 |
0 |
T2 |
4591673 |
108 |
0 |
0 |
T3 |
0 |
490 |
0 |
0 |
T4 |
26634 |
222 |
0 |
0 |
T5 |
56563 |
236 |
0 |
0 |
T9 |
0 |
132 |
0 |
0 |
T16 |
18985 |
44 |
0 |
0 |
T17 |
23598 |
172 |
0 |
0 |
T18 |
81165 |
130 |
0 |
0 |
T19 |
28015 |
35 |
0 |
0 |
T20 |
71529 |
269 |
0 |
0 |
T21 |
22732 |
135 |
0 |
0 |
T71 |
0 |
71 |
0 |
0 |
T72 |
0 |
121 |
0 |
0 |
T102 |
0 |
22 |
0 |
0 |
gen_no_flops.OutputDelay_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
2147483647 |
2147483647 |
0 |
0 |
T1 |
5620789 |
5615087 |
0 |
0 |
T2 |
8664850 |
8652517 |
0 |
0 |
T4 |
45598 |
44624 |
0 |
0 |
T5 |
90930 |
90378 |
0 |
0 |
T16 |
33298 |
32039 |
0 |
0 |
T17 |
40194 |
39048 |
0 |
0 |
T18 |
123418 |
122550 |
0 |
0 |
T19 |
43186 |
42245 |
0 |
0 |
T20 |
113366 |
111775 |
0 |
0 |
T21 |
42953 |
41315 |
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 | T1,T4,T5 |
1 | Covered | T1,T4,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 | T1,T4,T5 |
1 | Covered | T1,T4,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 | T1,T4,T5 |
1 | Covered | T1,T4,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 | T1,T4,T5 |
1 | Covered | T1,T4,T5 |
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 |
T1,T4,T5 |
0 |
Covered |
T1,T4,T5 |
LineNo. Expression
-1-: 96 ((|gen_flops.gen_stable_chks.gen_bufs_muxes[1].sig_unstable_buf)) ?
Branches:
-1- | Status | Tests |
1 |
Covered |
T1,T4,T5 |
0 |
Covered |
T1,T4,T5 |
LineNo. Expression
-1-: 96 ((|gen_flops.gen_stable_chks.gen_bufs_muxes[2].sig_unstable_buf)) ?
Branches:
-1- | Status | Tests |
1 |
Covered |
T1,T4,T5 |
0 |
Covered |
T1,T4,T5 |
LineNo. Expression
-1-: 96 ((|gen_flops.gen_stable_chks.gen_bufs_muxes[3].sig_unstable_buf)) ?
Branches:
-1- | Status | Tests |
1 |
Covered |
T1,T4,T5 |
0 |
Covered |
T1,T4,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 |
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 |
T21 |
1 |
1 |
0 |
0 |
OutputsKnown_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
527839865 |
523583248 |
0 |
0 |
T1 |
161508 |
161268 |
0 |
0 |
T2 |
591259 |
590180 |
0 |
0 |
T4 |
4318 |
4211 |
0 |
0 |
T5 |
9981 |
9901 |
0 |
0 |
T16 |
2939 |
2791 |
0 |
0 |
T17 |
3840 |
3692 |
0 |
0 |
T18 |
14927 |
14778 |
0 |
0 |
T19 |
5075 |
4926 |
0 |
0 |
T20 |
12577 |
12346 |
0 |
0 |
T21 |
3136 |
2987 |
0 |
0 |
gen_flops.gen_stable_chks.OutputDelay_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
527839865 |
523576135 |
0 |
2415 |
T1 |
161508 |
161268 |
0 |
3 |
T2 |
591259 |
590162 |
0 |
3 |
T4 |
4318 |
4208 |
0 |
3 |
T5 |
9981 |
9898 |
0 |
3 |
T16 |
2939 |
2788 |
0 |
3 |
T17 |
3840 |
3689 |
0 |
3 |
T18 |
14927 |
14775 |
0 |
3 |
T19 |
5075 |
4923 |
0 |
3 |
T20 |
12577 |
12343 |
0 |
3 |
T21 |
3136 |
2984 |
0 |
3 |
gen_flops.gen_stable_chks.OutputIfUnstable_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
527839865 |
26660 |
0 |
0 |
T1 |
161508 |
598 |
0 |
0 |
T2 |
591259 |
11 |
0 |
0 |
T3 |
0 |
202 |
0 |
0 |
T4 |
4318 |
60 |
0 |
0 |
T5 |
9981 |
52 |
0 |
0 |
T9 |
0 |
58 |
0 |
0 |
T16 |
2939 |
0 |
0 |
0 |
T17 |
3840 |
39 |
0 |
0 |
T18 |
14927 |
0 |
0 |
0 |
T19 |
5075 |
0 |
0 |
0 |
T20 |
12577 |
0 |
0 |
0 |
T21 |
3136 |
0 |
0 |
0 |
T71 |
0 |
22 |
0 |
0 |
T72 |
0 |
56 |
0 |
0 |
T102 |
0 |
6 |
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 |
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 |
T21 |
1 |
1 |
0 |
0 |
OutputsKnown_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
150445437 |
147579749 |
0 |
0 |
T1 |
429309 |
428684 |
0 |
0 |
T2 |
660377 |
659298 |
0 |
0 |
T4 |
2160 |
2106 |
0 |
0 |
T5 |
2495 |
2475 |
0 |
0 |
T16 |
1899 |
1803 |
0 |
0 |
T17 |
1879 |
1807 |
0 |
0 |
T18 |
2021 |
2002 |
0 |
0 |
T19 |
898 |
872 |
0 |
0 |
T20 |
3274 |
3215 |
0 |
0 |
T21 |
3266 |
3112 |
0 |
0 |
gen_no_flops.OutputDelay_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
150445437 |
147579749 |
0 |
0 |
T1 |
429309 |
428684 |
0 |
0 |
T2 |
660377 |
659298 |
0 |
0 |
T4 |
2160 |
2106 |
0 |
0 |
T5 |
2495 |
2475 |
0 |
0 |
T16 |
1899 |
1803 |
0 |
0 |
T17 |
1879 |
1807 |
0 |
0 |
T18 |
2021 |
2002 |
0 |
0 |
T19 |
898 |
872 |
0 |
0 |
T20 |
3274 |
3215 |
0 |
0 |
T21 |
3266 |
3112 |
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 |
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 |
T21 |
1 |
1 |
0 |
0 |
OutputsKnown_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
150445437 |
147579749 |
0 |
0 |
T1 |
429309 |
428684 |
0 |
0 |
T2 |
660377 |
659298 |
0 |
0 |
T4 |
2160 |
2106 |
0 |
0 |
T5 |
2495 |
2475 |
0 |
0 |
T16 |
1899 |
1803 |
0 |
0 |
T17 |
1879 |
1807 |
0 |
0 |
T18 |
2021 |
2002 |
0 |
0 |
T19 |
898 |
872 |
0 |
0 |
T20 |
3274 |
3215 |
0 |
0 |
T21 |
3266 |
3112 |
0 |
0 |
gen_no_flops.OutputDelay_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
150445437 |
147579749 |
0 |
0 |
T1 |
429309 |
428684 |
0 |
0 |
T2 |
660377 |
659298 |
0 |
0 |
T4 |
2160 |
2106 |
0 |
0 |
T5 |
2495 |
2475 |
0 |
0 |
T16 |
1899 |
1803 |
0 |
0 |
T17 |
1879 |
1807 |
0 |
0 |
T18 |
2021 |
2002 |
0 |
0 |
T19 |
898 |
872 |
0 |
0 |
T20 |
3274 |
3215 |
0 |
0 |
T21 |
3266 |
3112 |
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 | T1,T4,T5 |
1 | Covered | T1,T4,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 | T1,T4,T5 |
1 | Covered | T1,T4,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 | T1,T4,T5 |
1 | Covered | T1,T4,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 | T1,T4,T5 |
1 | Covered | T1,T4,T5 |
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 |
T1,T4,T5 |
0 |
Covered |
T1,T4,T5 |
LineNo. Expression
-1-: 96 ((|gen_flops.gen_stable_chks.gen_bufs_muxes[1].sig_unstable_buf)) ?
Branches:
-1- | Status | Tests |
1 |
Covered |
T1,T4,T5 |
0 |
Covered |
T1,T4,T5 |
LineNo. Expression
-1-: 96 ((|gen_flops.gen_stable_chks.gen_bufs_muxes[2].sig_unstable_buf)) ?
Branches:
-1- | Status | Tests |
1 |
Covered |
T1,T4,T5 |
0 |
Covered |
T1,T4,T5 |
LineNo. Expression
-1-: 96 ((|gen_flops.gen_stable_chks.gen_bufs_muxes[3].sig_unstable_buf)) ?
Branches:
-1- | Status | Tests |
1 |
Covered |
T1,T4,T5 |
0 |
Covered |
T1,T4,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 |
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 |
T21 |
1 |
1 |
0 |
0 |
OutputsKnown_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
150445437 |
147579749 |
0 |
0 |
T1 |
429309 |
428684 |
0 |
0 |
T2 |
660377 |
659298 |
0 |
0 |
T4 |
2160 |
2106 |
0 |
0 |
T5 |
2495 |
2475 |
0 |
0 |
T16 |
1899 |
1803 |
0 |
0 |
T17 |
1879 |
1807 |
0 |
0 |
T18 |
2021 |
2002 |
0 |
0 |
T19 |
898 |
872 |
0 |
0 |
T20 |
3274 |
3215 |
0 |
0 |
T21 |
3266 |
3112 |
0 |
0 |
gen_flops.gen_stable_chks.OutputDelay_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
150445437 |
147572537 |
0 |
2415 |
T1 |
429309 |
428681 |
0 |
3 |
T2 |
660377 |
659280 |
0 |
3 |
T4 |
2160 |
2103 |
0 |
3 |
T5 |
2495 |
2472 |
0 |
3 |
T16 |
1899 |
1800 |
0 |
3 |
T17 |
1879 |
1804 |
0 |
3 |
T18 |
2021 |
1999 |
0 |
3 |
T19 |
898 |
869 |
0 |
3 |
T20 |
3274 |
3212 |
0 |
3 |
T21 |
3266 |
3109 |
0 |
3 |
gen_flops.gen_stable_chks.OutputIfUnstable_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
150445437 |
16371 |
0 |
0 |
T1 |
429309 |
392 |
0 |
0 |
T2 |
660377 |
3 |
0 |
0 |
T3 |
0 |
142 |
0 |
0 |
T4 |
2160 |
47 |
0 |
0 |
T5 |
2495 |
59 |
0 |
0 |
T9 |
0 |
31 |
0 |
0 |
T16 |
1899 |
0 |
0 |
0 |
T17 |
1879 |
35 |
0 |
0 |
T18 |
2021 |
0 |
0 |
0 |
T19 |
898 |
0 |
0 |
0 |
T20 |
3274 |
0 |
0 |
0 |
T21 |
3266 |
0 |
0 |
0 |
T71 |
0 |
27 |
0 |
0 |
T72 |
0 |
41 |
0 |
0 |
T102 |
0 |
9 |
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 | T1,T4,T5 |
1 | Covered | T1,T4,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 | T1,T4,T5 |
1 | Covered | T1,T4,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 | T1,T4,T5 |
1 | Covered | T1,T4,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 | T1,T4,T5 |
1 | Covered | T1,T4,T5 |
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 |
T1,T4,T5 |
0 |
Covered |
T1,T4,T5 |
LineNo. Expression
-1-: 96 ((|gen_flops.gen_stable_chks.gen_bufs_muxes[1].sig_unstable_buf)) ?
Branches:
-1- | Status | Tests |
1 |
Covered |
T1,T4,T5 |
0 |
Covered |
T1,T4,T5 |
LineNo. Expression
-1-: 96 ((|gen_flops.gen_stable_chks.gen_bufs_muxes[2].sig_unstable_buf)) ?
Branches:
-1- | Status | Tests |
1 |
Covered |
T1,T4,T5 |
0 |
Covered |
T1,T4,T5 |
LineNo. Expression
-1-: 96 ((|gen_flops.gen_stable_chks.gen_bufs_muxes[3].sig_unstable_buf)) ?
Branches:
-1- | Status | Tests |
1 |
Covered |
T1,T4,T5 |
0 |
Covered |
T1,T4,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 |
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 |
T21 |
1 |
1 |
0 |
0 |
OutputsKnown_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
150445437 |
147579749 |
0 |
0 |
T1 |
429309 |
428684 |
0 |
0 |
T2 |
660377 |
659298 |
0 |
0 |
T4 |
2160 |
2106 |
0 |
0 |
T5 |
2495 |
2475 |
0 |
0 |
T16 |
1899 |
1803 |
0 |
0 |
T17 |
1879 |
1807 |
0 |
0 |
T18 |
2021 |
2002 |
0 |
0 |
T19 |
898 |
872 |
0 |
0 |
T20 |
3274 |
3215 |
0 |
0 |
T21 |
3266 |
3112 |
0 |
0 |
gen_flops.gen_stable_chks.OutputDelay_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
150445437 |
147572537 |
0 |
2415 |
T1 |
429309 |
428681 |
0 |
3 |
T2 |
660377 |
659280 |
0 |
3 |
T4 |
2160 |
2103 |
0 |
3 |
T5 |
2495 |
2472 |
0 |
3 |
T16 |
1899 |
1800 |
0 |
3 |
T17 |
1879 |
1804 |
0 |
3 |
T18 |
2021 |
1999 |
0 |
3 |
T19 |
898 |
869 |
0 |
3 |
T20 |
3274 |
3212 |
0 |
3 |
T21 |
3266 |
3109 |
0 |
3 |
gen_flops.gen_stable_chks.OutputIfUnstable_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
150445437 |
19193 |
0 |
0 |
T1 |
429309 |
425 |
0 |
0 |
T2 |
660377 |
9 |
0 |
0 |
T3 |
0 |
146 |
0 |
0 |
T4 |
2160 |
41 |
0 |
0 |
T5 |
2495 |
55 |
0 |
0 |
T9 |
0 |
43 |
0 |
0 |
T16 |
1899 |
0 |
0 |
0 |
T17 |
1879 |
36 |
0 |
0 |
T18 |
2021 |
0 |
0 |
0 |
T19 |
898 |
0 |
0 |
0 |
T20 |
3274 |
0 |
0 |
0 |
T21 |
3266 |
0 |
0 |
0 |
T71 |
0 |
22 |
0 |
0 |
T72 |
0 |
24 |
0 |
0 |
T102 |
0 |
7 |
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 |
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 |
T21 |
1 |
1 |
0 |
0 |
OutputsKnown_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
560436205 |
558152693 |
0 |
0 |
T1 |
170943 |
170802 |
0 |
0 |
T2 |
669915 |
669360 |
0 |
0 |
T4 |
4499 |
4416 |
0 |
0 |
T5 |
10398 |
10357 |
0 |
0 |
T16 |
3062 |
3036 |
0 |
0 |
T17 |
4000 |
3960 |
0 |
0 |
T18 |
15549 |
15494 |
0 |
0 |
T19 |
5286 |
5217 |
0 |
0 |
T20 |
13101 |
12989 |
0 |
0 |
T21 |
3266 |
3226 |
0 |
0 |
gen_no_flops.OutputDelay_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
560436205 |
558152693 |
0 |
0 |
T1 |
170943 |
170802 |
0 |
0 |
T2 |
669915 |
669360 |
0 |
0 |
T4 |
4499 |
4416 |
0 |
0 |
T5 |
10398 |
10357 |
0 |
0 |
T16 |
3062 |
3036 |
0 |
0 |
T17 |
4000 |
3960 |
0 |
0 |
T18 |
15549 |
15494 |
0 |
0 |
T19 |
5286 |
5217 |
0 |
0 |
T20 |
13101 |
12989 |
0 |
0 |
T21 |
3266 |
3226 |
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 |
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 |
T21 |
1 |
1 |
0 |
0 |
OutputsKnown_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
527839865 |
525669150 |
0 |
0 |
T1 |
161508 |
161373 |
0 |
0 |
T2 |
591259 |
590730 |
0 |
0 |
T4 |
4318 |
4239 |
0 |
0 |
T5 |
9981 |
9942 |
0 |
0 |
T16 |
2939 |
2914 |
0 |
0 |
T17 |
3840 |
3801 |
0 |
0 |
T18 |
14927 |
14874 |
0 |
0 |
T19 |
5075 |
5008 |
0 |
0 |
T20 |
12577 |
12469 |
0 |
0 |
T21 |
3136 |
3097 |
0 |
0 |
gen_no_flops.OutputDelay_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
527839865 |
525669150 |
0 |
0 |
T1 |
161508 |
161373 |
0 |
0 |
T2 |
591259 |
590730 |
0 |
0 |
T4 |
4318 |
4239 |
0 |
0 |
T5 |
9981 |
9942 |
0 |
0 |
T16 |
2939 |
2914 |
0 |
0 |
T17 |
3840 |
3801 |
0 |
0 |
T18 |
14927 |
14874 |
0 |
0 |
T19 |
5075 |
5008 |
0 |
0 |
T20 |
12577 |
12469 |
0 |
0 |
T21 |
3136 |
3097 |
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 |
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 |
T21 |
1 |
1 |
0 |
0 |
OutputsKnown_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
263218881 |
263218881 |
0 |
0 |
T1 |
807368 |
807368 |
0 |
0 |
T2 |
295379 |
295379 |
0 |
0 |
T4 |
2444 |
2444 |
0 |
0 |
T5 |
5999 |
5999 |
0 |
0 |
T16 |
1457 |
1457 |
0 |
0 |
T17 |
2107 |
2107 |
0 |
0 |
T18 |
7437 |
7437 |
0 |
0 |
T19 |
2504 |
2504 |
0 |
0 |
T20 |
6235 |
6235 |
0 |
0 |
T21 |
1549 |
1549 |
0 |
0 |
gen_no_flops.OutputDelay_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
263218881 |
263218881 |
0 |
0 |
T1 |
807368 |
807368 |
0 |
0 |
T2 |
295379 |
295379 |
0 |
0 |
T4 |
2444 |
2444 |
0 |
0 |
T5 |
5999 |
5999 |
0 |
0 |
T16 |
1457 |
1457 |
0 |
0 |
T17 |
2107 |
2107 |
0 |
0 |
T18 |
7437 |
7437 |
0 |
0 |
T19 |
2504 |
2504 |
0 |
0 |
T20 |
6235 |
6235 |
0 |
0 |
T21 |
1549 |
1549 |
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 |
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 |
T21 |
1 |
1 |
0 |
0 |
OutputsKnown_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
131608875 |
131608875 |
0 |
0 |
T1 |
403682 |
403682 |
0 |
0 |
T2 |
147690 |
147690 |
0 |
0 |
T4 |
1221 |
1221 |
0 |
0 |
T5 |
2999 |
2999 |
0 |
0 |
T16 |
729 |
729 |
0 |
0 |
T17 |
1053 |
1053 |
0 |
0 |
T18 |
3719 |
3719 |
0 |
0 |
T19 |
1252 |
1252 |
0 |
0 |
T20 |
3117 |
3117 |
0 |
0 |
T21 |
774 |
774 |
0 |
0 |
gen_no_flops.OutputDelay_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
131608875 |
131608875 |
0 |
0 |
T1 |
403682 |
403682 |
0 |
0 |
T2 |
147690 |
147690 |
0 |
0 |
T4 |
1221 |
1221 |
0 |
0 |
T5 |
2999 |
2999 |
0 |
0 |
T16 |
729 |
729 |
0 |
0 |
T17 |
1053 |
1053 |
0 |
0 |
T18 |
3719 |
3719 |
0 |
0 |
T19 |
1252 |
1252 |
0 |
0 |
T20 |
3117 |
3117 |
0 |
0 |
T21 |
774 |
774 |
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 |
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 |
T21 |
1 |
1 |
0 |
0 |
OutputsKnown_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
268767264 |
267673972 |
0 |
0 |
T1 |
817662 |
816986 |
0 |
0 |
T2 |
318685 |
318418 |
0 |
0 |
T4 |
2160 |
2120 |
0 |
0 |
T5 |
4991 |
4971 |
0 |
0 |
T16 |
1469 |
1457 |
0 |
0 |
T17 |
1920 |
1901 |
0 |
0 |
T18 |
7464 |
7438 |
0 |
0 |
T19 |
2537 |
2504 |
0 |
0 |
T20 |
6288 |
6235 |
0 |
0 |
T21 |
1568 |
1549 |
0 |
0 |
gen_no_flops.OutputDelay_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
268767264 |
267673972 |
0 |
0 |
T1 |
817662 |
816986 |
0 |
0 |
T2 |
318685 |
318418 |
0 |
0 |
T4 |
2160 |
2120 |
0 |
0 |
T5 |
4991 |
4971 |
0 |
0 |
T16 |
1469 |
1457 |
0 |
0 |
T17 |
1920 |
1901 |
0 |
0 |
T18 |
7464 |
7438 |
0 |
0 |
T19 |
2537 |
2504 |
0 |
0 |
T20 |
6288 |
6235 |
0 |
0 |
T21 |
1568 |
1549 |
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 |
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 |
T21 |
1 |
1 |
0 |
0 |
OutputsKnown_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
150445437 |
147579749 |
0 |
0 |
T1 |
429309 |
428684 |
0 |
0 |
T2 |
660377 |
659298 |
0 |
0 |
T4 |
2160 |
2106 |
0 |
0 |
T5 |
2495 |
2475 |
0 |
0 |
T16 |
1899 |
1803 |
0 |
0 |
T17 |
1879 |
1807 |
0 |
0 |
T18 |
2021 |
2002 |
0 |
0 |
T19 |
898 |
872 |
0 |
0 |
T20 |
3274 |
3215 |
0 |
0 |
T21 |
3266 |
3112 |
0 |
0 |
gen_flops.gen_no_stable_chks.OutputDelay_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
150445437 |
147572537 |
0 |
2415 |
T1 |
429309 |
428681 |
0 |
3 |
T2 |
660377 |
659280 |
0 |
3 |
T4 |
2160 |
2103 |
0 |
3 |
T5 |
2495 |
2472 |
0 |
3 |
T16 |
1899 |
1800 |
0 |
3 |
T17 |
1879 |
1804 |
0 |
3 |
T18 |
2021 |
1999 |
0 |
3 |
T19 |
898 |
869 |
0 |
3 |
T20 |
3274 |
3212 |
0 |
3 |
T21 |
3266 |
3109 |
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 |
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 |
T21 |
1 |
1 |
0 |
0 |
OutputsKnown_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
150445437 |
147579749 |
0 |
0 |
T1 |
429309 |
428684 |
0 |
0 |
T2 |
660377 |
659298 |
0 |
0 |
T4 |
2160 |
2106 |
0 |
0 |
T5 |
2495 |
2475 |
0 |
0 |
T16 |
1899 |
1803 |
0 |
0 |
T17 |
1879 |
1807 |
0 |
0 |
T18 |
2021 |
2002 |
0 |
0 |
T19 |
898 |
872 |
0 |
0 |
T20 |
3274 |
3215 |
0 |
0 |
T21 |
3266 |
3112 |
0 |
0 |
gen_flops.gen_no_stable_chks.OutputDelay_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
150445437 |
147572537 |
0 |
2415 |
T1 |
429309 |
428681 |
0 |
3 |
T2 |
660377 |
659280 |
0 |
3 |
T4 |
2160 |
2103 |
0 |
3 |
T5 |
2495 |
2472 |
0 |
3 |
T16 |
1899 |
1800 |
0 |
3 |
T17 |
1879 |
1804 |
0 |
3 |
T18 |
2021 |
1999 |
0 |
3 |
T19 |
898 |
869 |
0 |
3 |
T20 |
3274 |
3212 |
0 |
3 |
T21 |
3266 |
3109 |
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 |
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 |
T21 |
1 |
1 |
0 |
0 |
OutputsKnown_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
150445437 |
147579749 |
0 |
0 |
T1 |
429309 |
428684 |
0 |
0 |
T2 |
660377 |
659298 |
0 |
0 |
T4 |
2160 |
2106 |
0 |
0 |
T5 |
2495 |
2475 |
0 |
0 |
T16 |
1899 |
1803 |
0 |
0 |
T17 |
1879 |
1807 |
0 |
0 |
T18 |
2021 |
2002 |
0 |
0 |
T19 |
898 |
872 |
0 |
0 |
T20 |
3274 |
3215 |
0 |
0 |
T21 |
3266 |
3112 |
0 |
0 |
gen_flops.gen_no_stable_chks.OutputDelay_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
150445437 |
147572537 |
0 |
2415 |
T1 |
429309 |
428681 |
0 |
3 |
T2 |
660377 |
659280 |
0 |
3 |
T4 |
2160 |
2103 |
0 |
3 |
T5 |
2495 |
2472 |
0 |
3 |
T16 |
1899 |
1800 |
0 |
3 |
T17 |
1879 |
1804 |
0 |
3 |
T18 |
2021 |
1999 |
0 |
3 |
T19 |
898 |
869 |
0 |
3 |
T20 |
3274 |
3212 |
0 |
3 |
T21 |
3266 |
3109 |
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 |
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 |
T21 |
1 |
1 |
0 |
0 |
OutputsKnown_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
150445437 |
147579749 |
0 |
0 |
T1 |
429309 |
428684 |
0 |
0 |
T2 |
660377 |
659298 |
0 |
0 |
T4 |
2160 |
2106 |
0 |
0 |
T5 |
2495 |
2475 |
0 |
0 |
T16 |
1899 |
1803 |
0 |
0 |
T17 |
1879 |
1807 |
0 |
0 |
T18 |
2021 |
2002 |
0 |
0 |
T19 |
898 |
872 |
0 |
0 |
T20 |
3274 |
3215 |
0 |
0 |
T21 |
3266 |
3112 |
0 |
0 |
gen_flops.gen_no_stable_chks.OutputDelay_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
150445437 |
147572537 |
0 |
2415 |
T1 |
429309 |
428681 |
0 |
3 |
T2 |
660377 |
659280 |
0 |
3 |
T4 |
2160 |
2103 |
0 |
3 |
T5 |
2495 |
2472 |
0 |
3 |
T16 |
1899 |
1800 |
0 |
3 |
T17 |
1879 |
1804 |
0 |
3 |
T18 |
2021 |
1999 |
0 |
3 |
T19 |
898 |
869 |
0 |
3 |
T20 |
3274 |
3212 |
0 |
3 |
T21 |
3266 |
3109 |
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 |
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 |
T21 |
1 |
1 |
0 |
0 |
OutputsKnown_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
150445437 |
147579749 |
0 |
0 |
T1 |
429309 |
428684 |
0 |
0 |
T2 |
660377 |
659298 |
0 |
0 |
T4 |
2160 |
2106 |
0 |
0 |
T5 |
2495 |
2475 |
0 |
0 |
T16 |
1899 |
1803 |
0 |
0 |
T17 |
1879 |
1807 |
0 |
0 |
T18 |
2021 |
2002 |
0 |
0 |
T19 |
898 |
872 |
0 |
0 |
T20 |
3274 |
3215 |
0 |
0 |
T21 |
3266 |
3112 |
0 |
0 |
gen_flops.gen_no_stable_chks.OutputDelay_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
150445437 |
147572537 |
0 |
2415 |
T1 |
429309 |
428681 |
0 |
3 |
T2 |
660377 |
659280 |
0 |
3 |
T4 |
2160 |
2103 |
0 |
3 |
T5 |
2495 |
2472 |
0 |
3 |
T16 |
1899 |
1800 |
0 |
3 |
T17 |
1879 |
1804 |
0 |
3 |
T18 |
2021 |
1999 |
0 |
3 |
T19 |
898 |
869 |
0 |
3 |
T20 |
3274 |
3212 |
0 |
3 |
T21 |
3266 |
3109 |
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 |
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 |
T21 |
1 |
1 |
0 |
0 |
OutputsKnown_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
150445437 |
147579749 |
0 |
0 |
T1 |
429309 |
428684 |
0 |
0 |
T2 |
660377 |
659298 |
0 |
0 |
T4 |
2160 |
2106 |
0 |
0 |
T5 |
2495 |
2475 |
0 |
0 |
T16 |
1899 |
1803 |
0 |
0 |
T17 |
1879 |
1807 |
0 |
0 |
T18 |
2021 |
2002 |
0 |
0 |
T19 |
898 |
872 |
0 |
0 |
T20 |
3274 |
3215 |
0 |
0 |
T21 |
3266 |
3112 |
0 |
0 |
gen_flops.gen_no_stable_chks.OutputDelay_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
150445437 |
147572537 |
0 |
2415 |
T1 |
429309 |
428681 |
0 |
3 |
T2 |
660377 |
659280 |
0 |
3 |
T4 |
2160 |
2103 |
0 |
3 |
T5 |
2495 |
2472 |
0 |
3 |
T16 |
1899 |
1800 |
0 |
3 |
T17 |
1879 |
1804 |
0 |
3 |
T18 |
2021 |
1999 |
0 |
3 |
T19 |
898 |
869 |
0 |
3 |
T20 |
3274 |
3212 |
0 |
3 |
T21 |
3266 |
3109 |
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 |
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 |
T21 |
1 |
1 |
0 |
0 |
OutputsKnown_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
150445437 |
147579749 |
0 |
0 |
T1 |
429309 |
428684 |
0 |
0 |
T2 |
660377 |
659298 |
0 |
0 |
T4 |
2160 |
2106 |
0 |
0 |
T5 |
2495 |
2475 |
0 |
0 |
T16 |
1899 |
1803 |
0 |
0 |
T17 |
1879 |
1807 |
0 |
0 |
T18 |
2021 |
2002 |
0 |
0 |
T19 |
898 |
872 |
0 |
0 |
T20 |
3274 |
3215 |
0 |
0 |
T21 |
3266 |
3112 |
0 |
0 |
gen_no_flops.OutputDelay_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
150445437 |
147579749 |
0 |
0 |
T1 |
429309 |
428684 |
0 |
0 |
T2 |
660377 |
659298 |
0 |
0 |
T4 |
2160 |
2106 |
0 |
0 |
T5 |
2495 |
2475 |
0 |
0 |
T16 |
1899 |
1803 |
0 |
0 |
T17 |
1879 |
1807 |
0 |
0 |
T18 |
2021 |
2002 |
0 |
0 |
T19 |
898 |
872 |
0 |
0 |
T20 |
3274 |
3215 |
0 |
0 |
T21 |
3266 |
3112 |
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 |
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 |
T21 |
1 |
1 |
0 |
0 |
OutputsKnown_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
150445437 |
147579749 |
0 |
0 |
T1 |
429309 |
428684 |
0 |
0 |
T2 |
660377 |
659298 |
0 |
0 |
T4 |
2160 |
2106 |
0 |
0 |
T5 |
2495 |
2475 |
0 |
0 |
T16 |
1899 |
1803 |
0 |
0 |
T17 |
1879 |
1807 |
0 |
0 |
T18 |
2021 |
2002 |
0 |
0 |
T19 |
898 |
872 |
0 |
0 |
T20 |
3274 |
3215 |
0 |
0 |
T21 |
3266 |
3112 |
0 |
0 |
gen_no_flops.OutputDelay_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
150445437 |
147579749 |
0 |
0 |
T1 |
429309 |
428684 |
0 |
0 |
T2 |
660377 |
659298 |
0 |
0 |
T4 |
2160 |
2106 |
0 |
0 |
T5 |
2495 |
2475 |
0 |
0 |
T16 |
1899 |
1803 |
0 |
0 |
T17 |
1879 |
1807 |
0 |
0 |
T18 |
2021 |
2002 |
0 |
0 |
T19 |
898 |
872 |
0 |
0 |
T20 |
3274 |
3215 |
0 |
0 |
T21 |
3266 |
3112 |
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 |
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 |
T21 |
1 |
1 |
0 |
0 |
OutputsKnown_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
150445437 |
147579749 |
0 |
0 |
T1 |
429309 |
428684 |
0 |
0 |
T2 |
660377 |
659298 |
0 |
0 |
T4 |
2160 |
2106 |
0 |
0 |
T5 |
2495 |
2475 |
0 |
0 |
T16 |
1899 |
1803 |
0 |
0 |
T17 |
1879 |
1807 |
0 |
0 |
T18 |
2021 |
2002 |
0 |
0 |
T19 |
898 |
872 |
0 |
0 |
T20 |
3274 |
3215 |
0 |
0 |
T21 |
3266 |
3112 |
0 |
0 |
gen_no_flops.OutputDelay_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
150445437 |
147579749 |
0 |
0 |
T1 |
429309 |
428684 |
0 |
0 |
T2 |
660377 |
659298 |
0 |
0 |
T4 |
2160 |
2106 |
0 |
0 |
T5 |
2495 |
2475 |
0 |
0 |
T16 |
1899 |
1803 |
0 |
0 |
T17 |
1879 |
1807 |
0 |
0 |
T18 |
2021 |
2002 |
0 |
0 |
T19 |
898 |
872 |
0 |
0 |
T20 |
3274 |
3215 |
0 |
0 |
T21 |
3266 |
3112 |
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 |
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 |
T21 |
1 |
1 |
0 |
0 |
OutputsKnown_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
150445437 |
147579749 |
0 |
0 |
T1 |
429309 |
428684 |
0 |
0 |
T2 |
660377 |
659298 |
0 |
0 |
T4 |
2160 |
2106 |
0 |
0 |
T5 |
2495 |
2475 |
0 |
0 |
T16 |
1899 |
1803 |
0 |
0 |
T17 |
1879 |
1807 |
0 |
0 |
T18 |
2021 |
2002 |
0 |
0 |
T19 |
898 |
872 |
0 |
0 |
T20 |
3274 |
3215 |
0 |
0 |
T21 |
3266 |
3112 |
0 |
0 |
gen_no_flops.OutputDelay_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
150445437 |
147579749 |
0 |
0 |
T1 |
429309 |
428684 |
0 |
0 |
T2 |
660377 |
659298 |
0 |
0 |
T4 |
2160 |
2106 |
0 |
0 |
T5 |
2495 |
2475 |
0 |
0 |
T16 |
1899 |
1803 |
0 |
0 |
T17 |
1879 |
1807 |
0 |
0 |
T18 |
2021 |
2002 |
0 |
0 |
T19 |
898 |
872 |
0 |
0 |
T20 |
3274 |
3215 |
0 |
0 |
T21 |
3266 |
3112 |
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 | T1,T4,T5 |
1 | Covered | T1,T4,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 | T1,T4,T5 |
1 | Covered | T1,T4,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 | T1,T4,T5 |
1 | Covered | T1,T4,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 | T1,T4,T5 |
1 | Covered | T1,T4,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 |
T1,T4,T5 |
0 |
Covered |
T1,T4,T5 |
LineNo. Expression
-1-: 96 ((|gen_flops.gen_stable_chks.gen_bufs_muxes[1].sig_unstable_buf)) ?
Branches:
-1- | Status | Tests |
1 |
Covered |
T1,T4,T5 |
0 |
Covered |
T1,T4,T5 |
LineNo. Expression
-1-: 96 ((|gen_flops.gen_stable_chks.gen_bufs_muxes[2].sig_unstable_buf)) ?
Branches:
-1- | Status | Tests |
1 |
Covered |
T1,T4,T5 |
0 |
Covered |
T1,T4,T5 |
LineNo. Expression
-1-: 96 ((|gen_flops.gen_stable_chks.gen_bufs_muxes[3].sig_unstable_buf)) ?
Branches:
-1- | Status | Tests |
1 |
Covered |
T1,T4,T5 |
0 |
Covered |
T1,T4,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 |
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 |
T21 |
1 |
1 |
0 |
0 |
OutputsKnown_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
560436205 |
555944339 |
0 |
0 |
T1 |
170943 |
170693 |
0 |
0 |
T2 |
669915 |
668788 |
0 |
0 |
T4 |
4499 |
4387 |
0 |
0 |
T5 |
10398 |
10315 |
0 |
0 |
T16 |
3062 |
2907 |
0 |
0 |
T17 |
4000 |
3846 |
0 |
0 |
T18 |
15549 |
15394 |
0 |
0 |
T19 |
5286 |
5132 |
0 |
0 |
T20 |
13101 |
12860 |
0 |
0 |
T21 |
3266 |
3112 |
0 |
0 |
gen_flops.gen_stable_chks.OutputDelay_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
560436205 |
555937189 |
0 |
2415 |
T1 |
170943 |
170693 |
0 |
3 |
T2 |
669915 |
668770 |
0 |
3 |
T4 |
4499 |
4384 |
0 |
3 |
T5 |
10398 |
10312 |
0 |
3 |
T16 |
3062 |
2904 |
0 |
3 |
T17 |
4000 |
3843 |
0 |
3 |
T18 |
15549 |
15391 |
0 |
3 |
T19 |
5286 |
5129 |
0 |
3 |
T20 |
13101 |
12857 |
0 |
3 |
T21 |
3266 |
3109 |
0 |
3 |
gen_flops.gen_stable_chks.OutputIfUnstable_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
560436205 |
31627 |
0 |
0 |
T1 |
170943 |
624 |
0 |
0 |
T2 |
669915 |
21 |
0 |
0 |
T4 |
4499 |
15 |
0 |
0 |
T5 |
10398 |
17 |
0 |
0 |
T16 |
3062 |
14 |
0 |
0 |
T17 |
4000 |
15 |
0 |
0 |
T18 |
15549 |
33 |
0 |
0 |
T19 |
5286 |
9 |
0 |
0 |
T20 |
13101 |
69 |
0 |
0 |
T21 |
3266 |
37 |
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 |
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 |
T21 |
1 |
1 |
0 |
0 |
OutputsKnown_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
560436205 |
555944339 |
0 |
0 |
T1 |
170943 |
170693 |
0 |
0 |
T2 |
669915 |
668788 |
0 |
0 |
T4 |
4499 |
4387 |
0 |
0 |
T5 |
10398 |
10315 |
0 |
0 |
T16 |
3062 |
2907 |
0 |
0 |
T17 |
4000 |
3846 |
0 |
0 |
T18 |
15549 |
15394 |
0 |
0 |
T19 |
5286 |
5132 |
0 |
0 |
T20 |
13101 |
12860 |
0 |
0 |
T21 |
3266 |
3112 |
0 |
0 |
gen_no_flops.OutputDelay_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
560436205 |
555944339 |
0 |
0 |
T1 |
170943 |
170693 |
0 |
0 |
T2 |
669915 |
668788 |
0 |
0 |
T4 |
4499 |
4387 |
0 |
0 |
T5 |
10398 |
10315 |
0 |
0 |
T16 |
3062 |
2907 |
0 |
0 |
T17 |
4000 |
3846 |
0 |
0 |
T18 |
15549 |
15394 |
0 |
0 |
T19 |
5286 |
5132 |
0 |
0 |
T20 |
13101 |
12860 |
0 |
0 |
T21 |
3266 |
3112 |
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 | T1,T4,T5 |
1 | Covered | T1,T4,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 | T1,T4,T5 |
1 | Covered | T1,T4,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 | T1,T4,T5 |
1 | Covered | T1,T4,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 | T1,T4,T5 |
1 | Covered | T1,T4,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 |
T1,T4,T5 |
0 |
Covered |
T1,T4,T5 |
LineNo. Expression
-1-: 96 ((|gen_flops.gen_stable_chks.gen_bufs_muxes[1].sig_unstable_buf)) ?
Branches:
-1- | Status | Tests |
1 |
Covered |
T1,T4,T5 |
0 |
Covered |
T1,T4,T5 |
LineNo. Expression
-1-: 96 ((|gen_flops.gen_stable_chks.gen_bufs_muxes[2].sig_unstable_buf)) ?
Branches:
-1- | Status | Tests |
1 |
Covered |
T1,T4,T5 |
0 |
Covered |
T1,T4,T5 |
LineNo. Expression
-1-: 96 ((|gen_flops.gen_stable_chks.gen_bufs_muxes[3].sig_unstable_buf)) ?
Branches:
-1- | Status | Tests |
1 |
Covered |
T1,T4,T5 |
0 |
Covered |
T1,T4,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 |
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 |
T21 |
1 |
1 |
0 |
0 |
OutputsKnown_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
560436205 |
555944339 |
0 |
0 |
T1 |
170943 |
170693 |
0 |
0 |
T2 |
669915 |
668788 |
0 |
0 |
T4 |
4499 |
4387 |
0 |
0 |
T5 |
10398 |
10315 |
0 |
0 |
T16 |
3062 |
2907 |
0 |
0 |
T17 |
4000 |
3846 |
0 |
0 |
T18 |
15549 |
15394 |
0 |
0 |
T19 |
5286 |
5132 |
0 |
0 |
T20 |
13101 |
12860 |
0 |
0 |
T21 |
3266 |
3112 |
0 |
0 |
gen_flops.gen_stable_chks.OutputDelay_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
560436205 |
555937189 |
0 |
2415 |
T1 |
170943 |
170693 |
0 |
3 |
T2 |
669915 |
668770 |
0 |
3 |
T4 |
4499 |
4384 |
0 |
3 |
T5 |
10398 |
10312 |
0 |
3 |
T16 |
3062 |
2904 |
0 |
3 |
T17 |
4000 |
3843 |
0 |
3 |
T18 |
15549 |
15391 |
0 |
3 |
T19 |
5286 |
5129 |
0 |
3 |
T20 |
13101 |
12857 |
0 |
3 |
T21 |
3266 |
3109 |
0 |
3 |
gen_flops.gen_stable_chks.OutputIfUnstable_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
560436205 |
31989 |
0 |
0 |
T1 |
170943 |
591 |
0 |
0 |
T2 |
669915 |
24 |
0 |
0 |
T4 |
4499 |
17 |
0 |
0 |
T5 |
10398 |
19 |
0 |
0 |
T16 |
3062 |
8 |
0 |
0 |
T17 |
4000 |
13 |
0 |
0 |
T18 |
15549 |
25 |
0 |
0 |
T19 |
5286 |
12 |
0 |
0 |
T20 |
13101 |
66 |
0 |
0 |
T21 |
3266 |
44 |
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 |
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 |
T21 |
1 |
1 |
0 |
0 |
OutputsKnown_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
560436205 |
555944339 |
0 |
0 |
T1 |
170943 |
170693 |
0 |
0 |
T2 |
669915 |
668788 |
0 |
0 |
T4 |
4499 |
4387 |
0 |
0 |
T5 |
10398 |
10315 |
0 |
0 |
T16 |
3062 |
2907 |
0 |
0 |
T17 |
4000 |
3846 |
0 |
0 |
T18 |
15549 |
15394 |
0 |
0 |
T19 |
5286 |
5132 |
0 |
0 |
T20 |
13101 |
12860 |
0 |
0 |
T21 |
3266 |
3112 |
0 |
0 |
gen_no_flops.OutputDelay_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
560436205 |
555944339 |
0 |
0 |
T1 |
170943 |
170693 |
0 |
0 |
T2 |
669915 |
668788 |
0 |
0 |
T4 |
4499 |
4387 |
0 |
0 |
T5 |
10398 |
10315 |
0 |
0 |
T16 |
3062 |
2907 |
0 |
0 |
T17 |
4000 |
3846 |
0 |
0 |
T18 |
15549 |
15394 |
0 |
0 |
T19 |
5286 |
5132 |
0 |
0 |
T20 |
13101 |
12860 |
0 |
0 |
T21 |
3266 |
3112 |
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 | T1,T4,T5 |
1 | Covered | T1,T4,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 | T1,T4,T5 |
1 | Covered | T1,T4,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 | T1,T4,T5 |
1 | Covered | T1,T4,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 | T1,T4,T5 |
1 | Covered | T1,T4,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 |
T1,T4,T5 |
0 |
Covered |
T1,T4,T5 |
LineNo. Expression
-1-: 96 ((|gen_flops.gen_stable_chks.gen_bufs_muxes[1].sig_unstable_buf)) ?
Branches:
-1- | Status | Tests |
1 |
Covered |
T1,T4,T5 |
0 |
Covered |
T1,T4,T5 |
LineNo. Expression
-1-: 96 ((|gen_flops.gen_stable_chks.gen_bufs_muxes[2].sig_unstable_buf)) ?
Branches:
-1- | Status | Tests |
1 |
Covered |
T1,T4,T5 |
0 |
Covered |
T1,T4,T5 |
LineNo. Expression
-1-: 96 ((|gen_flops.gen_stable_chks.gen_bufs_muxes[3].sig_unstable_buf)) ?
Branches:
-1- | Status | Tests |
1 |
Covered |
T1,T4,T5 |
0 |
Covered |
T1,T4,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 |
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 |
T21 |
1 |
1 |
0 |
0 |
OutputsKnown_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
560436205 |
555944339 |
0 |
0 |
T1 |
170943 |
170693 |
0 |
0 |
T2 |
669915 |
668788 |
0 |
0 |
T4 |
4499 |
4387 |
0 |
0 |
T5 |
10398 |
10315 |
0 |
0 |
T16 |
3062 |
2907 |
0 |
0 |
T17 |
4000 |
3846 |
0 |
0 |
T18 |
15549 |
15394 |
0 |
0 |
T19 |
5286 |
5132 |
0 |
0 |
T20 |
13101 |
12860 |
0 |
0 |
T21 |
3266 |
3112 |
0 |
0 |
gen_flops.gen_stable_chks.OutputDelay_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
560436205 |
555937189 |
0 |
2415 |
T1 |
170943 |
170693 |
0 |
3 |
T2 |
669915 |
668770 |
0 |
3 |
T4 |
4499 |
4384 |
0 |
3 |
T5 |
10398 |
10312 |
0 |
3 |
T16 |
3062 |
2904 |
0 |
3 |
T17 |
4000 |
3843 |
0 |
3 |
T18 |
15549 |
15391 |
0 |
3 |
T19 |
5286 |
5129 |
0 |
3 |
T20 |
13101 |
12857 |
0 |
3 |
T21 |
3266 |
3109 |
0 |
3 |
gen_flops.gen_stable_chks.OutputIfUnstable_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
560436205 |
31708 |
0 |
0 |
T1 |
170943 |
620 |
0 |
0 |
T2 |
669915 |
20 |
0 |
0 |
T4 |
4499 |
19 |
0 |
0 |
T5 |
10398 |
15 |
0 |
0 |
T16 |
3062 |
14 |
0 |
0 |
T17 |
4000 |
17 |
0 |
0 |
T18 |
15549 |
36 |
0 |
0 |
T19 |
5286 |
9 |
0 |
0 |
T20 |
13101 |
70 |
0 |
0 |
T21 |
3266 |
25 |
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 |
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 |
T21 |
1 |
1 |
0 |
0 |
OutputsKnown_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
560436205 |
555944339 |
0 |
0 |
T1 |
170943 |
170693 |
0 |
0 |
T2 |
669915 |
668788 |
0 |
0 |
T4 |
4499 |
4387 |
0 |
0 |
T5 |
10398 |
10315 |
0 |
0 |
T16 |
3062 |
2907 |
0 |
0 |
T17 |
4000 |
3846 |
0 |
0 |
T18 |
15549 |
15394 |
0 |
0 |
T19 |
5286 |
5132 |
0 |
0 |
T20 |
13101 |
12860 |
0 |
0 |
T21 |
3266 |
3112 |
0 |
0 |
gen_no_flops.OutputDelay_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
560436205 |
555944339 |
0 |
0 |
T1 |
170943 |
170693 |
0 |
0 |
T2 |
669915 |
668788 |
0 |
0 |
T4 |
4499 |
4387 |
0 |
0 |
T5 |
10398 |
10315 |
0 |
0 |
T16 |
3062 |
2907 |
0 |
0 |
T17 |
4000 |
3846 |
0 |
0 |
T18 |
15549 |
15394 |
0 |
0 |
T19 |
5286 |
5132 |
0 |
0 |
T20 |
13101 |
12860 |
0 |
0 |
T21 |
3266 |
3112 |
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 | T1,T4,T5 |
1 | Covered | T1,T4,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 | T1,T4,T5 |
1 | Covered | T1,T4,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 | T1,T4,T5 |
1 | Covered | T1,T4,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 | T1,T4,T5 |
1 | Covered | T1,T4,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 |
T1,T4,T5 |
0 |
Covered |
T1,T4,T5 |
LineNo. Expression
-1-: 96 ((|gen_flops.gen_stable_chks.gen_bufs_muxes[1].sig_unstable_buf)) ?
Branches:
-1- | Status | Tests |
1 |
Covered |
T1,T4,T5 |
0 |
Covered |
T1,T4,T5 |
LineNo. Expression
-1-: 96 ((|gen_flops.gen_stable_chks.gen_bufs_muxes[2].sig_unstable_buf)) ?
Branches:
-1- | Status | Tests |
1 |
Covered |
T1,T4,T5 |
0 |
Covered |
T1,T4,T5 |
LineNo. Expression
-1-: 96 ((|gen_flops.gen_stable_chks.gen_bufs_muxes[3].sig_unstable_buf)) ?
Branches:
-1- | Status | Tests |
1 |
Covered |
T1,T4,T5 |
0 |
Covered |
T1,T4,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 |
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 |
T21 |
1 |
1 |
0 |
0 |
OutputsKnown_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
560436205 |
555944339 |
0 |
0 |
T1 |
170943 |
170693 |
0 |
0 |
T2 |
669915 |
668788 |
0 |
0 |
T4 |
4499 |
4387 |
0 |
0 |
T5 |
10398 |
10315 |
0 |
0 |
T16 |
3062 |
2907 |
0 |
0 |
T17 |
4000 |
3846 |
0 |
0 |
T18 |
15549 |
15394 |
0 |
0 |
T19 |
5286 |
5132 |
0 |
0 |
T20 |
13101 |
12860 |
0 |
0 |
T21 |
3266 |
3112 |
0 |
0 |
gen_flops.gen_stable_chks.OutputDelay_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
560436205 |
555937189 |
0 |
2415 |
T1 |
170943 |
170693 |
0 |
3 |
T2 |
669915 |
668770 |
0 |
3 |
T4 |
4499 |
4384 |
0 |
3 |
T5 |
10398 |
10312 |
0 |
3 |
T16 |
3062 |
2904 |
0 |
3 |
T17 |
4000 |
3843 |
0 |
3 |
T18 |
15549 |
15391 |
0 |
3 |
T19 |
5286 |
5129 |
0 |
3 |
T20 |
13101 |
12857 |
0 |
3 |
T21 |
3266 |
3109 |
0 |
3 |
gen_flops.gen_stable_chks.OutputIfUnstable_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
560436205 |
32152 |
0 |
0 |
T1 |
170943 |
613 |
0 |
0 |
T2 |
669915 |
20 |
0 |
0 |
T4 |
4499 |
23 |
0 |
0 |
T5 |
10398 |
19 |
0 |
0 |
T16 |
3062 |
8 |
0 |
0 |
T17 |
4000 |
17 |
0 |
0 |
T18 |
15549 |
36 |
0 |
0 |
T19 |
5286 |
5 |
0 |
0 |
T20 |
13101 |
64 |
0 |
0 |
T21 |
3266 |
29 |
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 |
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 |
T21 |
1 |
1 |
0 |
0 |
OutputsKnown_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
560436205 |
555944339 |
0 |
0 |
T1 |
170943 |
170693 |
0 |
0 |
T2 |
669915 |
668788 |
0 |
0 |
T4 |
4499 |
4387 |
0 |
0 |
T5 |
10398 |
10315 |
0 |
0 |
T16 |
3062 |
2907 |
0 |
0 |
T17 |
4000 |
3846 |
0 |
0 |
T18 |
15549 |
15394 |
0 |
0 |
T19 |
5286 |
5132 |
0 |
0 |
T20 |
13101 |
12860 |
0 |
0 |
T21 |
3266 |
3112 |
0 |
0 |
gen_no_flops.OutputDelay_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
560436205 |
555944339 |
0 |
0 |
T1 |
170943 |
170693 |
0 |
0 |
T2 |
669915 |
668788 |
0 |
0 |
T4 |
4499 |
4387 |
0 |
0 |
T5 |
10398 |
10315 |
0 |
0 |
T16 |
3062 |
2907 |
0 |
0 |
T17 |
4000 |
3846 |
0 |
0 |
T18 |
15549 |
15394 |
0 |
0 |
T19 |
5286 |
5132 |
0 |
0 |
T20 |
13101 |
12860 |
0 |
0 |
T21 |
3266 |
3112 |
0 |
0 |