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 | T5,T6,T4 |
1 | Covered | T5,T6,T4 |
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 | T5,T6,T4 |
1 | Covered | T5,T6,T4 |
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 | T5,T6,T4 |
1 | Covered | T5,T6,T4 |
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 | T5,T6,T4 |
1 | Covered | T5,T6,T4 |
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 |
T5,T6,T4 |
0 |
Covered |
T5,T6,T4 |
LineNo. Expression
-1-: 96 ((|gen_flops.gen_stable_chks.gen_bufs_muxes[1].sig_unstable_buf)) ?
Branches:
-1- | Status | Tests |
1 |
Covered |
T5,T6,T4 |
0 |
Covered |
T5,T6,T4 |
LineNo. Expression
-1-: 96 ((|gen_flops.gen_stable_chks.gen_bufs_muxes[2].sig_unstable_buf)) ?
Branches:
-1- | Status | Tests |
1 |
Covered |
T5,T6,T4 |
0 |
Covered |
T5,T6,T4 |
LineNo. Expression
-1-: 96 ((|gen_flops.gen_stable_chks.gen_bufs_muxes[3].sig_unstable_buf)) ?
Branches:
-1- | Status | Tests |
1 |
Covered |
T5,T6,T4 |
0 |
Covered |
T5,T6,T4 |
Assert Coverage for Module :
prim_mubi4_sync
Assertion Details
NumCopiesMustBeGreaterZero_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
22512 |
22512 |
0 |
0 |
T1 |
28 |
28 |
0 |
0 |
T2 |
28 |
28 |
0 |
0 |
T4 |
28 |
28 |
0 |
0 |
T5 |
28 |
28 |
0 |
0 |
T6 |
28 |
28 |
0 |
0 |
T15 |
28 |
28 |
0 |
0 |
T16 |
28 |
28 |
0 |
0 |
T17 |
28 |
28 |
0 |
0 |
T18 |
28 |
28 |
0 |
0 |
T22 |
28 |
28 |
0 |
0 |
OutputsKnown_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
2147483647 |
2147483647 |
0 |
0 |
T1 |
6969560 |
6921918 |
0 |
0 |
T2 |
13464006 |
13421793 |
0 |
0 |
T4 |
1241464 |
1239663 |
0 |
0 |
T5 |
172334 |
170764 |
0 |
0 |
T6 |
52031 |
49243 |
0 |
0 |
T15 |
85463 |
83368 |
0 |
0 |
T16 |
80662 |
78728 |
0 |
0 |
T17 |
33096 |
29428 |
0 |
0 |
T18 |
101779 |
99934 |
0 |
0 |
T22 |
42219 |
39138 |
0 |
0 |
gen_flops.gen_no_stable_chks.OutputDelay_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
1007619696 |
991462314 |
0 |
14472 |
T1 |
1305414 |
1293756 |
0 |
18 |
T2 |
2067792 |
2059776 |
0 |
18 |
T4 |
130146 |
129942 |
0 |
18 |
T5 |
15954 |
15780 |
0 |
18 |
T6 |
6294 |
5904 |
0 |
18 |
T15 |
8652 |
8388 |
0 |
18 |
T16 |
7746 |
7524 |
0 |
18 |
T17 |
7884 |
6942 |
0 |
18 |
T18 |
9090 |
8880 |
0 |
18 |
T22 |
6702 |
6138 |
0 |
18 |
gen_flops.gen_stable_chks.OutputDelay_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
2147483647 |
2147483647 |
0 |
16884 |
T1 |
1502959 |
1489640 |
0 |
21 |
T2 |
4225868 |
4211546 |
0 |
21 |
T4 |
425748 |
425040 |
0 |
21 |
T5 |
60299 |
59670 |
0 |
21 |
T6 |
17414 |
16357 |
0 |
21 |
T15 |
29375 |
28504 |
0 |
21 |
T16 |
28220 |
27436 |
0 |
21 |
T17 |
8657 |
7564 |
0 |
21 |
T18 |
35691 |
34907 |
0 |
21 |
T22 |
13140 |
12029 |
0 |
21 |
gen_flops.gen_stable_chks.OutputIfUnstable_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
2147483647 |
190997 |
0 |
0 |
T1 |
1502959 |
1943 |
0 |
0 |
T2 |
4225868 |
2305 |
0 |
0 |
T4 |
425748 |
4 |
0 |
0 |
T5 |
60299 |
192 |
0 |
0 |
T6 |
17414 |
54 |
0 |
0 |
T8 |
0 |
305 |
0 |
0 |
T15 |
29375 |
148 |
0 |
0 |
T16 |
28220 |
12 |
0 |
0 |
T17 |
8657 |
25 |
0 |
0 |
T18 |
35691 |
148 |
0 |
0 |
T19 |
0 |
30 |
0 |
0 |
T20 |
0 |
23 |
0 |
0 |
T22 |
13140 |
8 |
0 |
0 |
T25 |
0 |
114 |
0 |
0 |
T73 |
0 |
111 |
0 |
0 |
T94 |
0 |
20 |
0 |
0 |
gen_no_flops.OutputDelay_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
2147483647 |
2147483647 |
0 |
0 |
T1 |
4161187 |
4138496 |
0 |
0 |
T2 |
7170346 |
7150432 |
0 |
0 |
T4 |
685570 |
684642 |
0 |
0 |
T5 |
96081 |
95275 |
0 |
0 |
T6 |
28323 |
26943 |
0 |
0 |
T15 |
47436 |
46437 |
0 |
0 |
T16 |
44696 |
43729 |
0 |
0 |
T17 |
16555 |
14883 |
0 |
0 |
T18 |
56998 |
56108 |
0 |
0 |
T22 |
22377 |
20932 |
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 | T5,T6,T4 |
1 | Covered | T5,T1,T15 |
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 | T5,T6,T4 |
1 | Covered | T5,T1,T15 |
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 | T5,T6,T4 |
1 | Covered | T5,T1,T15 |
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 | T5,T6,T4 |
1 | Covered | T5,T1,T15 |
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 |
T5,T1,T15 |
0 |
Covered |
T5,T6,T4 |
LineNo. Expression
-1-: 96 ((|gen_flops.gen_stable_chks.gen_bufs_muxes[1].sig_unstable_buf)) ?
Branches:
-1- | Status | Tests |
1 |
Covered |
T5,T1,T15 |
0 |
Covered |
T5,T6,T4 |
LineNo. Expression
-1-: 96 ((|gen_flops.gen_stable_chks.gen_bufs_muxes[2].sig_unstable_buf)) ?
Branches:
-1- | Status | Tests |
1 |
Covered |
T5,T1,T15 |
0 |
Covered |
T5,T6,T4 |
LineNo. Expression
-1-: 96 ((|gen_flops.gen_stable_chks.gen_bufs_muxes[3].sig_unstable_buf)) ?
Branches:
-1- | Status | Tests |
1 |
Covered |
T5,T1,T15 |
0 |
Covered |
T5,T6,T4 |
Assert Coverage for Instance : tb.dut.u_io_step_down_req_sync
Assertion Details
NumCopiesMustBeGreaterZero_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
804 |
804 |
0 |
0 |
T1 |
1 |
1 |
0 |
0 |
T2 |
1 |
1 |
0 |
0 |
T4 |
1 |
1 |
0 |
0 |
T5 |
1 |
1 |
0 |
0 |
T6 |
1 |
1 |
0 |
0 |
T15 |
1 |
1 |
0 |
0 |
T16 |
1 |
1 |
0 |
0 |
T17 |
1 |
1 |
0 |
0 |
T18 |
1 |
1 |
0 |
0 |
T22 |
1 |
1 |
0 |
0 |
OutputsKnown_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
484409743 |
480103021 |
0 |
0 |
T1 |
196589 |
195090 |
0 |
0 |
T2 |
678864 |
676197 |
0 |
0 |
T4 |
83294 |
83173 |
0 |
0 |
T5 |
10641 |
10533 |
0 |
0 |
T6 |
2964 |
2788 |
0 |
0 |
T15 |
5127 |
4979 |
0 |
0 |
T16 |
4962 |
4827 |
0 |
0 |
T17 |
1137 |
989 |
0 |
0 |
T18 |
6321 |
6186 |
0 |
0 |
T22 |
2094 |
1918 |
0 |
0 |
gen_flops.gen_stable_chks.OutputDelay_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
484409743 |
480095989 |
0 |
2412 |
T1 |
196589 |
195088 |
0 |
3 |
T2 |
678864 |
676194 |
0 |
3 |
T4 |
83294 |
83170 |
0 |
3 |
T5 |
10641 |
10530 |
0 |
3 |
T6 |
2964 |
2785 |
0 |
3 |
T15 |
5127 |
4976 |
0 |
3 |
T16 |
4962 |
4824 |
0 |
3 |
T17 |
1137 |
986 |
0 |
3 |
T18 |
6321 |
6183 |
0 |
3 |
T22 |
2094 |
1915 |
0 |
3 |
gen_flops.gen_stable_chks.OutputIfUnstable_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
484409743 |
27564 |
0 |
0 |
T1 |
196589 |
232 |
0 |
0 |
T2 |
678864 |
297 |
0 |
0 |
T4 |
83294 |
0 |
0 |
0 |
T5 |
10641 |
66 |
0 |
0 |
T6 |
2964 |
0 |
0 |
0 |
T8 |
0 |
136 |
0 |
0 |
T15 |
5127 |
30 |
0 |
0 |
T16 |
4962 |
0 |
0 |
0 |
T17 |
1137 |
0 |
0 |
0 |
T18 |
6321 |
55 |
0 |
0 |
T19 |
0 |
15 |
0 |
0 |
T20 |
0 |
11 |
0 |
0 |
T22 |
2094 |
0 |
0 |
0 |
T25 |
0 |
45 |
0 |
0 |
T73 |
0 |
37 |
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 |
804 |
804 |
0 |
0 |
T1 |
1 |
1 |
0 |
0 |
T2 |
1 |
1 |
0 |
0 |
T4 |
1 |
1 |
0 |
0 |
T5 |
1 |
1 |
0 |
0 |
T6 |
1 |
1 |
0 |
0 |
T15 |
1 |
1 |
0 |
0 |
T16 |
1 |
1 |
0 |
0 |
T17 |
1 |
1 |
0 |
0 |
T18 |
1 |
1 |
0 |
0 |
T22 |
1 |
1 |
0 |
0 |
OutputsKnown_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
167936616 |
165250845 |
0 |
0 |
T1 |
217569 |
215628 |
0 |
0 |
T2 |
344632 |
343299 |
0 |
0 |
T4 |
21691 |
21660 |
0 |
0 |
T5 |
2659 |
2633 |
0 |
0 |
T6 |
1049 |
987 |
0 |
0 |
T15 |
1442 |
1401 |
0 |
0 |
T16 |
1291 |
1257 |
0 |
0 |
T17 |
1314 |
1160 |
0 |
0 |
T18 |
1515 |
1483 |
0 |
0 |
T22 |
1117 |
1026 |
0 |
0 |
gen_no_flops.OutputDelay_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
167936616 |
165250845 |
0 |
0 |
T1 |
217569 |
215628 |
0 |
0 |
T2 |
344632 |
343299 |
0 |
0 |
T4 |
21691 |
21660 |
0 |
0 |
T5 |
2659 |
2633 |
0 |
0 |
T6 |
1049 |
987 |
0 |
0 |
T15 |
1442 |
1401 |
0 |
0 |
T16 |
1291 |
1257 |
0 |
0 |
T17 |
1314 |
1160 |
0 |
0 |
T18 |
1515 |
1483 |
0 |
0 |
T22 |
1117 |
1026 |
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 |
804 |
804 |
0 |
0 |
T1 |
1 |
1 |
0 |
0 |
T2 |
1 |
1 |
0 |
0 |
T4 |
1 |
1 |
0 |
0 |
T5 |
1 |
1 |
0 |
0 |
T6 |
1 |
1 |
0 |
0 |
T15 |
1 |
1 |
0 |
0 |
T16 |
1 |
1 |
0 |
0 |
T17 |
1 |
1 |
0 |
0 |
T18 |
1 |
1 |
0 |
0 |
T22 |
1 |
1 |
0 |
0 |
OutputsKnown_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
167936616 |
165250845 |
0 |
0 |
T1 |
217569 |
215628 |
0 |
0 |
T2 |
344632 |
343299 |
0 |
0 |
T4 |
21691 |
21660 |
0 |
0 |
T5 |
2659 |
2633 |
0 |
0 |
T6 |
1049 |
987 |
0 |
0 |
T15 |
1442 |
1401 |
0 |
0 |
T16 |
1291 |
1257 |
0 |
0 |
T17 |
1314 |
1160 |
0 |
0 |
T18 |
1515 |
1483 |
0 |
0 |
T22 |
1117 |
1026 |
0 |
0 |
gen_no_flops.OutputDelay_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
167936616 |
165250845 |
0 |
0 |
T1 |
217569 |
215628 |
0 |
0 |
T2 |
344632 |
343299 |
0 |
0 |
T4 |
21691 |
21660 |
0 |
0 |
T5 |
2659 |
2633 |
0 |
0 |
T6 |
1049 |
987 |
0 |
0 |
T15 |
1442 |
1401 |
0 |
0 |
T16 |
1291 |
1257 |
0 |
0 |
T17 |
1314 |
1160 |
0 |
0 |
T18 |
1515 |
1483 |
0 |
0 |
T22 |
1117 |
1026 |
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 | T5,T6,T4 |
1 | Covered | T5,T1,T15 |
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 | T5,T6,T4 |
1 | Covered | T5,T1,T15 |
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 | T5,T6,T4 |
1 | Covered | T5,T1,T15 |
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 | T5,T6,T4 |
1 | Covered | T5,T1,T15 |
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 |
T5,T1,T15 |
0 |
Covered |
T5,T6,T4 |
LineNo. Expression
-1-: 96 ((|gen_flops.gen_stable_chks.gen_bufs_muxes[1].sig_unstable_buf)) ?
Branches:
-1- | Status | Tests |
1 |
Covered |
T5,T1,T15 |
0 |
Covered |
T5,T6,T4 |
LineNo. Expression
-1-: 96 ((|gen_flops.gen_stable_chks.gen_bufs_muxes[2].sig_unstable_buf)) ?
Branches:
-1- | Status | Tests |
1 |
Covered |
T5,T1,T15 |
0 |
Covered |
T5,T6,T4 |
LineNo. Expression
-1-: 96 ((|gen_flops.gen_stable_chks.gen_bufs_muxes[3].sig_unstable_buf)) ?
Branches:
-1- | Status | Tests |
1 |
Covered |
T5,T1,T15 |
0 |
Covered |
T5,T6,T4 |
Assert Coverage for Instance : tb.dut.u_clkmgr_byp.u_io_ack_sync
Assertion Details
NumCopiesMustBeGreaterZero_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
804 |
804 |
0 |
0 |
T1 |
1 |
1 |
0 |
0 |
T2 |
1 |
1 |
0 |
0 |
T4 |
1 |
1 |
0 |
0 |
T5 |
1 |
1 |
0 |
0 |
T6 |
1 |
1 |
0 |
0 |
T15 |
1 |
1 |
0 |
0 |
T16 |
1 |
1 |
0 |
0 |
T17 |
1 |
1 |
0 |
0 |
T18 |
1 |
1 |
0 |
0 |
T22 |
1 |
1 |
0 |
0 |
OutputsKnown_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
167936616 |
165250845 |
0 |
0 |
T1 |
217569 |
215628 |
0 |
0 |
T2 |
344632 |
343299 |
0 |
0 |
T4 |
21691 |
21660 |
0 |
0 |
T5 |
2659 |
2633 |
0 |
0 |
T6 |
1049 |
987 |
0 |
0 |
T15 |
1442 |
1401 |
0 |
0 |
T16 |
1291 |
1257 |
0 |
0 |
T17 |
1314 |
1160 |
0 |
0 |
T18 |
1515 |
1483 |
0 |
0 |
T22 |
1117 |
1026 |
0 |
0 |
gen_flops.gen_stable_chks.OutputDelay_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
167936616 |
165243719 |
0 |
2412 |
T1 |
217569 |
215626 |
0 |
3 |
T2 |
344632 |
343296 |
0 |
3 |
T4 |
21691 |
21657 |
0 |
3 |
T5 |
2659 |
2630 |
0 |
3 |
T6 |
1049 |
984 |
0 |
3 |
T15 |
1442 |
1398 |
0 |
3 |
T16 |
1291 |
1254 |
0 |
3 |
T17 |
1314 |
1157 |
0 |
3 |
T18 |
1515 |
1480 |
0 |
3 |
T22 |
1117 |
1023 |
0 |
3 |
gen_flops.gen_stable_chks.OutputIfUnstable_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
167936616 |
17112 |
0 |
0 |
T1 |
217569 |
158 |
0 |
0 |
T2 |
344632 |
189 |
0 |
0 |
T4 |
21691 |
0 |
0 |
0 |
T5 |
2659 |
42 |
0 |
0 |
T6 |
1049 |
0 |
0 |
0 |
T8 |
0 |
88 |
0 |
0 |
T15 |
1442 |
29 |
0 |
0 |
T16 |
1291 |
0 |
0 |
0 |
T17 |
1314 |
0 |
0 |
0 |
T18 |
1515 |
26 |
0 |
0 |
T19 |
0 |
7 |
0 |
0 |
T22 |
1117 |
0 |
0 |
0 |
T25 |
0 |
31 |
0 |
0 |
T73 |
0 |
46 |
0 |
0 |
T94 |
0 |
20 |
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 | T5,T6,T4 |
1 | Covered | T5,T1,T15 |
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 | T5,T6,T4 |
1 | Covered | T5,T1,T15 |
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 | T5,T6,T4 |
1 | Covered | T5,T1,T15 |
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 | T5,T6,T4 |
1 | Covered | T5,T1,T15 |
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 |
T5,T1,T15 |
0 |
Covered |
T5,T6,T4 |
LineNo. Expression
-1-: 96 ((|gen_flops.gen_stable_chks.gen_bufs_muxes[1].sig_unstable_buf)) ?
Branches:
-1- | Status | Tests |
1 |
Covered |
T5,T1,T15 |
0 |
Covered |
T5,T6,T4 |
LineNo. Expression
-1-: 96 ((|gen_flops.gen_stable_chks.gen_bufs_muxes[2].sig_unstable_buf)) ?
Branches:
-1- | Status | Tests |
1 |
Covered |
T5,T1,T15 |
0 |
Covered |
T5,T6,T4 |
LineNo. Expression
-1-: 96 ((|gen_flops.gen_stable_chks.gen_bufs_muxes[3].sig_unstable_buf)) ?
Branches:
-1- | Status | Tests |
1 |
Covered |
T5,T1,T15 |
0 |
Covered |
T5,T6,T4 |
Assert Coverage for Instance : tb.dut.u_clkmgr_byp.u_all_ack_sync
Assertion Details
NumCopiesMustBeGreaterZero_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
804 |
804 |
0 |
0 |
T1 |
1 |
1 |
0 |
0 |
T2 |
1 |
1 |
0 |
0 |
T4 |
1 |
1 |
0 |
0 |
T5 |
1 |
1 |
0 |
0 |
T6 |
1 |
1 |
0 |
0 |
T15 |
1 |
1 |
0 |
0 |
T16 |
1 |
1 |
0 |
0 |
T17 |
1 |
1 |
0 |
0 |
T18 |
1 |
1 |
0 |
0 |
T22 |
1 |
1 |
0 |
0 |
OutputsKnown_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
167936616 |
165250845 |
0 |
0 |
T1 |
217569 |
215628 |
0 |
0 |
T2 |
344632 |
343299 |
0 |
0 |
T4 |
21691 |
21660 |
0 |
0 |
T5 |
2659 |
2633 |
0 |
0 |
T6 |
1049 |
987 |
0 |
0 |
T15 |
1442 |
1401 |
0 |
0 |
T16 |
1291 |
1257 |
0 |
0 |
T17 |
1314 |
1160 |
0 |
0 |
T18 |
1515 |
1483 |
0 |
0 |
T22 |
1117 |
1026 |
0 |
0 |
gen_flops.gen_stable_chks.OutputDelay_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
167936616 |
165243719 |
0 |
2412 |
T1 |
217569 |
215626 |
0 |
3 |
T2 |
344632 |
343296 |
0 |
3 |
T4 |
21691 |
21657 |
0 |
3 |
T5 |
2659 |
2630 |
0 |
3 |
T6 |
1049 |
984 |
0 |
3 |
T15 |
1442 |
1398 |
0 |
3 |
T16 |
1291 |
1254 |
0 |
3 |
T17 |
1314 |
1157 |
0 |
3 |
T18 |
1515 |
1480 |
0 |
3 |
T22 |
1117 |
1023 |
0 |
3 |
gen_flops.gen_stable_chks.OutputIfUnstable_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
167936616 |
19246 |
0 |
0 |
T1 |
217569 |
154 |
0 |
0 |
T2 |
344632 |
234 |
0 |
0 |
T4 |
21691 |
0 |
0 |
0 |
T5 |
2659 |
28 |
0 |
0 |
T6 |
1049 |
0 |
0 |
0 |
T8 |
0 |
81 |
0 |
0 |
T15 |
1442 |
31 |
0 |
0 |
T16 |
1291 |
0 |
0 |
0 |
T17 |
1314 |
0 |
0 |
0 |
T18 |
1515 |
23 |
0 |
0 |
T19 |
0 |
8 |
0 |
0 |
T20 |
0 |
12 |
0 |
0 |
T22 |
1117 |
0 |
0 |
0 |
T25 |
0 |
38 |
0 |
0 |
T73 |
0 |
28 |
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 |
804 |
804 |
0 |
0 |
T1 |
1 |
1 |
0 |
0 |
T2 |
1 |
1 |
0 |
0 |
T4 |
1 |
1 |
0 |
0 |
T5 |
1 |
1 |
0 |
0 |
T6 |
1 |
1 |
0 |
0 |
T15 |
1 |
1 |
0 |
0 |
T16 |
1 |
1 |
0 |
0 |
T17 |
1 |
1 |
0 |
0 |
T18 |
1 |
1 |
0 |
0 |
T22 |
1 |
1 |
0 |
0 |
OutputsKnown_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
515493652 |
513182806 |
0 |
0 |
T1 |
217808 |
216442 |
0 |
0 |
T2 |
714435 |
713248 |
0 |
0 |
T4 |
74768 |
74670 |
0 |
0 |
T5 |
11085 |
11002 |
0 |
0 |
T6 |
3088 |
2976 |
0 |
0 |
T15 |
5341 |
5286 |
0 |
0 |
T16 |
5169 |
5086 |
0 |
0 |
T17 |
1223 |
1169 |
0 |
0 |
T18 |
6585 |
6530 |
0 |
0 |
T22 |
2203 |
2134 |
0 |
0 |
gen_no_flops.OutputDelay_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
515493652 |
513182806 |
0 |
0 |
T1 |
217808 |
216442 |
0 |
0 |
T2 |
714435 |
713248 |
0 |
0 |
T4 |
74768 |
74670 |
0 |
0 |
T5 |
11085 |
11002 |
0 |
0 |
T6 |
3088 |
2976 |
0 |
0 |
T15 |
5341 |
5286 |
0 |
0 |
T16 |
5169 |
5086 |
0 |
0 |
T17 |
1223 |
1169 |
0 |
0 |
T18 |
6585 |
6530 |
0 |
0 |
T22 |
2203 |
2134 |
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 |
804 |
804 |
0 |
0 |
T1 |
1 |
1 |
0 |
0 |
T2 |
1 |
1 |
0 |
0 |
T4 |
1 |
1 |
0 |
0 |
T5 |
1 |
1 |
0 |
0 |
T6 |
1 |
1 |
0 |
0 |
T15 |
1 |
1 |
0 |
0 |
T16 |
1 |
1 |
0 |
0 |
T17 |
1 |
1 |
0 |
0 |
T18 |
1 |
1 |
0 |
0 |
T22 |
1 |
1 |
0 |
0 |
OutputsKnown_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
484409743 |
482228367 |
0 |
0 |
T1 |
196589 |
195489 |
0 |
0 |
T2 |
678864 |
677690 |
0 |
0 |
T4 |
83294 |
83201 |
0 |
0 |
T5 |
10641 |
10561 |
0 |
0 |
T6 |
2964 |
2857 |
0 |
0 |
T15 |
5127 |
5075 |
0 |
0 |
T16 |
4962 |
4882 |
0 |
0 |
T17 |
1137 |
1085 |
0 |
0 |
T18 |
6321 |
6268 |
0 |
0 |
T22 |
2094 |
2028 |
0 |
0 |
gen_no_flops.OutputDelay_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
484409743 |
482228367 |
0 |
0 |
T1 |
196589 |
195489 |
0 |
0 |
T2 |
678864 |
677690 |
0 |
0 |
T4 |
83294 |
83201 |
0 |
0 |
T5 |
10641 |
10561 |
0 |
0 |
T6 |
2964 |
2857 |
0 |
0 |
T15 |
5127 |
5075 |
0 |
0 |
T16 |
4962 |
4882 |
0 |
0 |
T17 |
1137 |
1085 |
0 |
0 |
T18 |
6321 |
6268 |
0 |
0 |
T22 |
2094 |
2028 |
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 |
804 |
804 |
0 |
0 |
T1 |
1 |
1 |
0 |
0 |
T2 |
1 |
1 |
0 |
0 |
T4 |
1 |
1 |
0 |
0 |
T5 |
1 |
1 |
0 |
0 |
T6 |
1 |
1 |
0 |
0 |
T15 |
1 |
1 |
0 |
0 |
T16 |
1 |
1 |
0 |
0 |
T17 |
1 |
1 |
0 |
0 |
T18 |
1 |
1 |
0 |
0 |
T22 |
1 |
1 |
0 |
0 |
OutputsKnown_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
241688221 |
241688221 |
0 |
0 |
T1 |
978027 |
978027 |
0 |
0 |
T2 |
339075 |
339075 |
0 |
0 |
T4 |
41601 |
41601 |
0 |
0 |
T5 |
5828 |
5828 |
0 |
0 |
T6 |
1429 |
1429 |
0 |
0 |
T15 |
2927 |
2927 |
0 |
0 |
T16 |
2441 |
2441 |
0 |
0 |
T17 |
543 |
543 |
0 |
0 |
T18 |
3668 |
3668 |
0 |
0 |
T22 |
1014 |
1014 |
0 |
0 |
gen_no_flops.OutputDelay_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
241688221 |
241688221 |
0 |
0 |
T1 |
978027 |
978027 |
0 |
0 |
T2 |
339075 |
339075 |
0 |
0 |
T4 |
41601 |
41601 |
0 |
0 |
T5 |
5828 |
5828 |
0 |
0 |
T6 |
1429 |
1429 |
0 |
0 |
T15 |
2927 |
2927 |
0 |
0 |
T16 |
2441 |
2441 |
0 |
0 |
T17 |
543 |
543 |
0 |
0 |
T18 |
3668 |
3668 |
0 |
0 |
T22 |
1014 |
1014 |
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 |
804 |
804 |
0 |
0 |
T1 |
1 |
1 |
0 |
0 |
T2 |
1 |
1 |
0 |
0 |
T4 |
1 |
1 |
0 |
0 |
T5 |
1 |
1 |
0 |
0 |
T6 |
1 |
1 |
0 |
0 |
T15 |
1 |
1 |
0 |
0 |
T16 |
1 |
1 |
0 |
0 |
T17 |
1 |
1 |
0 |
0 |
T18 |
1 |
1 |
0 |
0 |
T22 |
1 |
1 |
0 |
0 |
OutputsKnown_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
120843490 |
120843490 |
0 |
0 |
T1 |
489008 |
489008 |
0 |
0 |
T2 |
169536 |
169536 |
0 |
0 |
T4 |
20800 |
20800 |
0 |
0 |
T5 |
2913 |
2913 |
0 |
0 |
T6 |
714 |
714 |
0 |
0 |
T15 |
1462 |
1462 |
0 |
0 |
T16 |
1221 |
1221 |
0 |
0 |
T17 |
271 |
271 |
0 |
0 |
T18 |
1833 |
1833 |
0 |
0 |
T22 |
507 |
507 |
0 |
0 |
gen_no_flops.OutputDelay_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
120843490 |
120843490 |
0 |
0 |
T1 |
489008 |
489008 |
0 |
0 |
T2 |
169536 |
169536 |
0 |
0 |
T4 |
20800 |
20800 |
0 |
0 |
T5 |
2913 |
2913 |
0 |
0 |
T6 |
714 |
714 |
0 |
0 |
T15 |
1462 |
1462 |
0 |
0 |
T16 |
1221 |
1221 |
0 |
0 |
T17 |
271 |
271 |
0 |
0 |
T18 |
1833 |
1833 |
0 |
0 |
T22 |
507 |
507 |
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 |
804 |
804 |
0 |
0 |
T1 |
1 |
1 |
0 |
0 |
T2 |
1 |
1 |
0 |
0 |
T4 |
1 |
1 |
0 |
0 |
T5 |
1 |
1 |
0 |
0 |
T6 |
1 |
1 |
0 |
0 |
T15 |
1 |
1 |
0 |
0 |
T16 |
1 |
1 |
0 |
0 |
T17 |
1 |
1 |
0 |
0 |
T18 |
1 |
1 |
0 |
0 |
T22 |
1 |
1 |
0 |
0 |
OutputsKnown_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
247421867 |
246309455 |
0 |
0 |
T1 |
103109 |
102454 |
0 |
0 |
T2 |
342904 |
342317 |
0 |
0 |
T4 |
35889 |
35842 |
0 |
0 |
T5 |
5320 |
5281 |
0 |
0 |
T6 |
1482 |
1429 |
0 |
0 |
T15 |
2563 |
2537 |
0 |
0 |
T16 |
2481 |
2441 |
0 |
0 |
T17 |
605 |
579 |
0 |
0 |
T18 |
3161 |
3135 |
0 |
0 |
T22 |
1045 |
1013 |
0 |
0 |
gen_no_flops.OutputDelay_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
247421867 |
246309455 |
0 |
0 |
T1 |
103109 |
102454 |
0 |
0 |
T2 |
342904 |
342317 |
0 |
0 |
T4 |
35889 |
35842 |
0 |
0 |
T5 |
5320 |
5281 |
0 |
0 |
T6 |
1482 |
1429 |
0 |
0 |
T15 |
2563 |
2537 |
0 |
0 |
T16 |
2481 |
2441 |
0 |
0 |
T17 |
605 |
579 |
0 |
0 |
T18 |
3161 |
3135 |
0 |
0 |
T22 |
1045 |
1013 |
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 |
804 |
804 |
0 |
0 |
T1 |
1 |
1 |
0 |
0 |
T2 |
1 |
1 |
0 |
0 |
T4 |
1 |
1 |
0 |
0 |
T5 |
1 |
1 |
0 |
0 |
T6 |
1 |
1 |
0 |
0 |
T15 |
1 |
1 |
0 |
0 |
T16 |
1 |
1 |
0 |
0 |
T17 |
1 |
1 |
0 |
0 |
T18 |
1 |
1 |
0 |
0 |
T22 |
1 |
1 |
0 |
0 |
OutputsKnown_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
167936616 |
165250845 |
0 |
0 |
T1 |
217569 |
215628 |
0 |
0 |
T2 |
344632 |
343299 |
0 |
0 |
T4 |
21691 |
21660 |
0 |
0 |
T5 |
2659 |
2633 |
0 |
0 |
T6 |
1049 |
987 |
0 |
0 |
T15 |
1442 |
1401 |
0 |
0 |
T16 |
1291 |
1257 |
0 |
0 |
T17 |
1314 |
1160 |
0 |
0 |
T18 |
1515 |
1483 |
0 |
0 |
T22 |
1117 |
1026 |
0 |
0 |
gen_flops.gen_no_stable_chks.OutputDelay_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
167936616 |
165243719 |
0 |
2412 |
T1 |
217569 |
215626 |
0 |
3 |
T2 |
344632 |
343296 |
0 |
3 |
T4 |
21691 |
21657 |
0 |
3 |
T5 |
2659 |
2630 |
0 |
3 |
T6 |
1049 |
984 |
0 |
3 |
T15 |
1442 |
1398 |
0 |
3 |
T16 |
1291 |
1254 |
0 |
3 |
T17 |
1314 |
1157 |
0 |
3 |
T18 |
1515 |
1480 |
0 |
3 |
T22 |
1117 |
1023 |
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 |
804 |
804 |
0 |
0 |
T1 |
1 |
1 |
0 |
0 |
T2 |
1 |
1 |
0 |
0 |
T4 |
1 |
1 |
0 |
0 |
T5 |
1 |
1 |
0 |
0 |
T6 |
1 |
1 |
0 |
0 |
T15 |
1 |
1 |
0 |
0 |
T16 |
1 |
1 |
0 |
0 |
T17 |
1 |
1 |
0 |
0 |
T18 |
1 |
1 |
0 |
0 |
T22 |
1 |
1 |
0 |
0 |
OutputsKnown_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
167936616 |
165250845 |
0 |
0 |
T1 |
217569 |
215628 |
0 |
0 |
T2 |
344632 |
343299 |
0 |
0 |
T4 |
21691 |
21660 |
0 |
0 |
T5 |
2659 |
2633 |
0 |
0 |
T6 |
1049 |
987 |
0 |
0 |
T15 |
1442 |
1401 |
0 |
0 |
T16 |
1291 |
1257 |
0 |
0 |
T17 |
1314 |
1160 |
0 |
0 |
T18 |
1515 |
1483 |
0 |
0 |
T22 |
1117 |
1026 |
0 |
0 |
gen_flops.gen_no_stable_chks.OutputDelay_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
167936616 |
165243719 |
0 |
2412 |
T1 |
217569 |
215626 |
0 |
3 |
T2 |
344632 |
343296 |
0 |
3 |
T4 |
21691 |
21657 |
0 |
3 |
T5 |
2659 |
2630 |
0 |
3 |
T6 |
1049 |
984 |
0 |
3 |
T15 |
1442 |
1398 |
0 |
3 |
T16 |
1291 |
1254 |
0 |
3 |
T17 |
1314 |
1157 |
0 |
3 |
T18 |
1515 |
1480 |
0 |
3 |
T22 |
1117 |
1023 |
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 |
804 |
804 |
0 |
0 |
T1 |
1 |
1 |
0 |
0 |
T2 |
1 |
1 |
0 |
0 |
T4 |
1 |
1 |
0 |
0 |
T5 |
1 |
1 |
0 |
0 |
T6 |
1 |
1 |
0 |
0 |
T15 |
1 |
1 |
0 |
0 |
T16 |
1 |
1 |
0 |
0 |
T17 |
1 |
1 |
0 |
0 |
T18 |
1 |
1 |
0 |
0 |
T22 |
1 |
1 |
0 |
0 |
OutputsKnown_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
167936616 |
165250845 |
0 |
0 |
T1 |
217569 |
215628 |
0 |
0 |
T2 |
344632 |
343299 |
0 |
0 |
T4 |
21691 |
21660 |
0 |
0 |
T5 |
2659 |
2633 |
0 |
0 |
T6 |
1049 |
987 |
0 |
0 |
T15 |
1442 |
1401 |
0 |
0 |
T16 |
1291 |
1257 |
0 |
0 |
T17 |
1314 |
1160 |
0 |
0 |
T18 |
1515 |
1483 |
0 |
0 |
T22 |
1117 |
1026 |
0 |
0 |
gen_flops.gen_no_stable_chks.OutputDelay_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
167936616 |
165243719 |
0 |
2412 |
T1 |
217569 |
215626 |
0 |
3 |
T2 |
344632 |
343296 |
0 |
3 |
T4 |
21691 |
21657 |
0 |
3 |
T5 |
2659 |
2630 |
0 |
3 |
T6 |
1049 |
984 |
0 |
3 |
T15 |
1442 |
1398 |
0 |
3 |
T16 |
1291 |
1254 |
0 |
3 |
T17 |
1314 |
1157 |
0 |
3 |
T18 |
1515 |
1480 |
0 |
3 |
T22 |
1117 |
1023 |
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 |
804 |
804 |
0 |
0 |
T1 |
1 |
1 |
0 |
0 |
T2 |
1 |
1 |
0 |
0 |
T4 |
1 |
1 |
0 |
0 |
T5 |
1 |
1 |
0 |
0 |
T6 |
1 |
1 |
0 |
0 |
T15 |
1 |
1 |
0 |
0 |
T16 |
1 |
1 |
0 |
0 |
T17 |
1 |
1 |
0 |
0 |
T18 |
1 |
1 |
0 |
0 |
T22 |
1 |
1 |
0 |
0 |
OutputsKnown_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
167936616 |
165250845 |
0 |
0 |
T1 |
217569 |
215628 |
0 |
0 |
T2 |
344632 |
343299 |
0 |
0 |
T4 |
21691 |
21660 |
0 |
0 |
T5 |
2659 |
2633 |
0 |
0 |
T6 |
1049 |
987 |
0 |
0 |
T15 |
1442 |
1401 |
0 |
0 |
T16 |
1291 |
1257 |
0 |
0 |
T17 |
1314 |
1160 |
0 |
0 |
T18 |
1515 |
1483 |
0 |
0 |
T22 |
1117 |
1026 |
0 |
0 |
gen_flops.gen_no_stable_chks.OutputDelay_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
167936616 |
165243719 |
0 |
2412 |
T1 |
217569 |
215626 |
0 |
3 |
T2 |
344632 |
343296 |
0 |
3 |
T4 |
21691 |
21657 |
0 |
3 |
T5 |
2659 |
2630 |
0 |
3 |
T6 |
1049 |
984 |
0 |
3 |
T15 |
1442 |
1398 |
0 |
3 |
T16 |
1291 |
1254 |
0 |
3 |
T17 |
1314 |
1157 |
0 |
3 |
T18 |
1515 |
1480 |
0 |
3 |
T22 |
1117 |
1023 |
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 |
804 |
804 |
0 |
0 |
T1 |
1 |
1 |
0 |
0 |
T2 |
1 |
1 |
0 |
0 |
T4 |
1 |
1 |
0 |
0 |
T5 |
1 |
1 |
0 |
0 |
T6 |
1 |
1 |
0 |
0 |
T15 |
1 |
1 |
0 |
0 |
T16 |
1 |
1 |
0 |
0 |
T17 |
1 |
1 |
0 |
0 |
T18 |
1 |
1 |
0 |
0 |
T22 |
1 |
1 |
0 |
0 |
OutputsKnown_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
167936616 |
165250845 |
0 |
0 |
T1 |
217569 |
215628 |
0 |
0 |
T2 |
344632 |
343299 |
0 |
0 |
T4 |
21691 |
21660 |
0 |
0 |
T5 |
2659 |
2633 |
0 |
0 |
T6 |
1049 |
987 |
0 |
0 |
T15 |
1442 |
1401 |
0 |
0 |
T16 |
1291 |
1257 |
0 |
0 |
T17 |
1314 |
1160 |
0 |
0 |
T18 |
1515 |
1483 |
0 |
0 |
T22 |
1117 |
1026 |
0 |
0 |
gen_flops.gen_no_stable_chks.OutputDelay_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
167936616 |
165243719 |
0 |
2412 |
T1 |
217569 |
215626 |
0 |
3 |
T2 |
344632 |
343296 |
0 |
3 |
T4 |
21691 |
21657 |
0 |
3 |
T5 |
2659 |
2630 |
0 |
3 |
T6 |
1049 |
984 |
0 |
3 |
T15 |
1442 |
1398 |
0 |
3 |
T16 |
1291 |
1254 |
0 |
3 |
T17 |
1314 |
1157 |
0 |
3 |
T18 |
1515 |
1480 |
0 |
3 |
T22 |
1117 |
1023 |
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 |
804 |
804 |
0 |
0 |
T1 |
1 |
1 |
0 |
0 |
T2 |
1 |
1 |
0 |
0 |
T4 |
1 |
1 |
0 |
0 |
T5 |
1 |
1 |
0 |
0 |
T6 |
1 |
1 |
0 |
0 |
T15 |
1 |
1 |
0 |
0 |
T16 |
1 |
1 |
0 |
0 |
T17 |
1 |
1 |
0 |
0 |
T18 |
1 |
1 |
0 |
0 |
T22 |
1 |
1 |
0 |
0 |
OutputsKnown_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
167936616 |
165250845 |
0 |
0 |
T1 |
217569 |
215628 |
0 |
0 |
T2 |
344632 |
343299 |
0 |
0 |
T4 |
21691 |
21660 |
0 |
0 |
T5 |
2659 |
2633 |
0 |
0 |
T6 |
1049 |
987 |
0 |
0 |
T15 |
1442 |
1401 |
0 |
0 |
T16 |
1291 |
1257 |
0 |
0 |
T17 |
1314 |
1160 |
0 |
0 |
T18 |
1515 |
1483 |
0 |
0 |
T22 |
1117 |
1026 |
0 |
0 |
gen_flops.gen_no_stable_chks.OutputDelay_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
167936616 |
165243719 |
0 |
2412 |
T1 |
217569 |
215626 |
0 |
3 |
T2 |
344632 |
343296 |
0 |
3 |
T4 |
21691 |
21657 |
0 |
3 |
T5 |
2659 |
2630 |
0 |
3 |
T6 |
1049 |
984 |
0 |
3 |
T15 |
1442 |
1398 |
0 |
3 |
T16 |
1291 |
1254 |
0 |
3 |
T17 |
1314 |
1157 |
0 |
3 |
T18 |
1515 |
1480 |
0 |
3 |
T22 |
1117 |
1023 |
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 |
804 |
804 |
0 |
0 |
T1 |
1 |
1 |
0 |
0 |
T2 |
1 |
1 |
0 |
0 |
T4 |
1 |
1 |
0 |
0 |
T5 |
1 |
1 |
0 |
0 |
T6 |
1 |
1 |
0 |
0 |
T15 |
1 |
1 |
0 |
0 |
T16 |
1 |
1 |
0 |
0 |
T17 |
1 |
1 |
0 |
0 |
T18 |
1 |
1 |
0 |
0 |
T22 |
1 |
1 |
0 |
0 |
OutputsKnown_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
167936616 |
165250845 |
0 |
0 |
T1 |
217569 |
215628 |
0 |
0 |
T2 |
344632 |
343299 |
0 |
0 |
T4 |
21691 |
21660 |
0 |
0 |
T5 |
2659 |
2633 |
0 |
0 |
T6 |
1049 |
987 |
0 |
0 |
T15 |
1442 |
1401 |
0 |
0 |
T16 |
1291 |
1257 |
0 |
0 |
T17 |
1314 |
1160 |
0 |
0 |
T18 |
1515 |
1483 |
0 |
0 |
T22 |
1117 |
1026 |
0 |
0 |
gen_no_flops.OutputDelay_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
167936616 |
165250845 |
0 |
0 |
T1 |
217569 |
215628 |
0 |
0 |
T2 |
344632 |
343299 |
0 |
0 |
T4 |
21691 |
21660 |
0 |
0 |
T5 |
2659 |
2633 |
0 |
0 |
T6 |
1049 |
987 |
0 |
0 |
T15 |
1442 |
1401 |
0 |
0 |
T16 |
1291 |
1257 |
0 |
0 |
T17 |
1314 |
1160 |
0 |
0 |
T18 |
1515 |
1483 |
0 |
0 |
T22 |
1117 |
1026 |
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 |
804 |
804 |
0 |
0 |
T1 |
1 |
1 |
0 |
0 |
T2 |
1 |
1 |
0 |
0 |
T4 |
1 |
1 |
0 |
0 |
T5 |
1 |
1 |
0 |
0 |
T6 |
1 |
1 |
0 |
0 |
T15 |
1 |
1 |
0 |
0 |
T16 |
1 |
1 |
0 |
0 |
T17 |
1 |
1 |
0 |
0 |
T18 |
1 |
1 |
0 |
0 |
T22 |
1 |
1 |
0 |
0 |
OutputsKnown_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
167936616 |
165250845 |
0 |
0 |
T1 |
217569 |
215628 |
0 |
0 |
T2 |
344632 |
343299 |
0 |
0 |
T4 |
21691 |
21660 |
0 |
0 |
T5 |
2659 |
2633 |
0 |
0 |
T6 |
1049 |
987 |
0 |
0 |
T15 |
1442 |
1401 |
0 |
0 |
T16 |
1291 |
1257 |
0 |
0 |
T17 |
1314 |
1160 |
0 |
0 |
T18 |
1515 |
1483 |
0 |
0 |
T22 |
1117 |
1026 |
0 |
0 |
gen_no_flops.OutputDelay_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
167936616 |
165250845 |
0 |
0 |
T1 |
217569 |
215628 |
0 |
0 |
T2 |
344632 |
343299 |
0 |
0 |
T4 |
21691 |
21660 |
0 |
0 |
T5 |
2659 |
2633 |
0 |
0 |
T6 |
1049 |
987 |
0 |
0 |
T15 |
1442 |
1401 |
0 |
0 |
T16 |
1291 |
1257 |
0 |
0 |
T17 |
1314 |
1160 |
0 |
0 |
T18 |
1515 |
1483 |
0 |
0 |
T22 |
1117 |
1026 |
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 |
804 |
804 |
0 |
0 |
T1 |
1 |
1 |
0 |
0 |
T2 |
1 |
1 |
0 |
0 |
T4 |
1 |
1 |
0 |
0 |
T5 |
1 |
1 |
0 |
0 |
T6 |
1 |
1 |
0 |
0 |
T15 |
1 |
1 |
0 |
0 |
T16 |
1 |
1 |
0 |
0 |
T17 |
1 |
1 |
0 |
0 |
T18 |
1 |
1 |
0 |
0 |
T22 |
1 |
1 |
0 |
0 |
OutputsKnown_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
167936616 |
165250845 |
0 |
0 |
T1 |
217569 |
215628 |
0 |
0 |
T2 |
344632 |
343299 |
0 |
0 |
T4 |
21691 |
21660 |
0 |
0 |
T5 |
2659 |
2633 |
0 |
0 |
T6 |
1049 |
987 |
0 |
0 |
T15 |
1442 |
1401 |
0 |
0 |
T16 |
1291 |
1257 |
0 |
0 |
T17 |
1314 |
1160 |
0 |
0 |
T18 |
1515 |
1483 |
0 |
0 |
T22 |
1117 |
1026 |
0 |
0 |
gen_no_flops.OutputDelay_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
167936616 |
165250845 |
0 |
0 |
T1 |
217569 |
215628 |
0 |
0 |
T2 |
344632 |
343299 |
0 |
0 |
T4 |
21691 |
21660 |
0 |
0 |
T5 |
2659 |
2633 |
0 |
0 |
T6 |
1049 |
987 |
0 |
0 |
T15 |
1442 |
1401 |
0 |
0 |
T16 |
1291 |
1257 |
0 |
0 |
T17 |
1314 |
1160 |
0 |
0 |
T18 |
1515 |
1483 |
0 |
0 |
T22 |
1117 |
1026 |
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 |
804 |
804 |
0 |
0 |
T1 |
1 |
1 |
0 |
0 |
T2 |
1 |
1 |
0 |
0 |
T4 |
1 |
1 |
0 |
0 |
T5 |
1 |
1 |
0 |
0 |
T6 |
1 |
1 |
0 |
0 |
T15 |
1 |
1 |
0 |
0 |
T16 |
1 |
1 |
0 |
0 |
T17 |
1 |
1 |
0 |
0 |
T18 |
1 |
1 |
0 |
0 |
T22 |
1 |
1 |
0 |
0 |
OutputsKnown_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
167936616 |
165250845 |
0 |
0 |
T1 |
217569 |
215628 |
0 |
0 |
T2 |
344632 |
343299 |
0 |
0 |
T4 |
21691 |
21660 |
0 |
0 |
T5 |
2659 |
2633 |
0 |
0 |
T6 |
1049 |
987 |
0 |
0 |
T15 |
1442 |
1401 |
0 |
0 |
T16 |
1291 |
1257 |
0 |
0 |
T17 |
1314 |
1160 |
0 |
0 |
T18 |
1515 |
1483 |
0 |
0 |
T22 |
1117 |
1026 |
0 |
0 |
gen_no_flops.OutputDelay_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
167936616 |
165250845 |
0 |
0 |
T1 |
217569 |
215628 |
0 |
0 |
T2 |
344632 |
343299 |
0 |
0 |
T4 |
21691 |
21660 |
0 |
0 |
T5 |
2659 |
2633 |
0 |
0 |
T6 |
1049 |
987 |
0 |
0 |
T15 |
1442 |
1401 |
0 |
0 |
T16 |
1291 |
1257 |
0 |
0 |
T17 |
1314 |
1160 |
0 |
0 |
T18 |
1515 |
1483 |
0 |
0 |
T22 |
1117 |
1026 |
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 | T5,T6,T4 |
1 | Covered | T5,T6,T4 |
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 | T5,T6,T4 |
1 | Covered | T5,T6,T4 |
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 | T5,T6,T4 |
1 | Covered | T5,T6,T4 |
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 | T5,T6,T4 |
1 | Covered | T5,T6,T4 |
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 |
T5,T6,T4 |
0 |
Covered |
T5,T6,T4 |
LineNo. Expression
-1-: 96 ((|gen_flops.gen_stable_chks.gen_bufs_muxes[1].sig_unstable_buf)) ?
Branches:
-1- | Status | Tests |
1 |
Covered |
T5,T6,T4 |
0 |
Covered |
T5,T6,T4 |
LineNo. Expression
-1-: 96 ((|gen_flops.gen_stable_chks.gen_bufs_muxes[2].sig_unstable_buf)) ?
Branches:
-1- | Status | Tests |
1 |
Covered |
T5,T6,T4 |
0 |
Covered |
T5,T6,T4 |
LineNo. Expression
-1-: 96 ((|gen_flops.gen_stable_chks.gen_bufs_muxes[3].sig_unstable_buf)) ?
Branches:
-1- | Status | Tests |
1 |
Covered |
T5,T6,T4 |
0 |
Covered |
T5,T6,T4 |
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 |
804 |
804 |
0 |
0 |
T1 |
1 |
1 |
0 |
0 |
T2 |
1 |
1 |
0 |
0 |
T4 |
1 |
1 |
0 |
0 |
T5 |
1 |
1 |
0 |
0 |
T6 |
1 |
1 |
0 |
0 |
T15 |
1 |
1 |
0 |
0 |
T16 |
1 |
1 |
0 |
0 |
T17 |
1 |
1 |
0 |
0 |
T18 |
1 |
1 |
0 |
0 |
T22 |
1 |
1 |
0 |
0 |
OutputsKnown_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
515493652 |
510938439 |
0 |
0 |
T1 |
217808 |
215827 |
0 |
0 |
T2 |
714435 |
712193 |
0 |
0 |
T4 |
74768 |
74642 |
0 |
0 |
T5 |
11085 |
10973 |
0 |
0 |
T6 |
3088 |
2904 |
0 |
0 |
T15 |
5341 |
5186 |
0 |
0 |
T16 |
5169 |
5029 |
0 |
0 |
T17 |
1223 |
1069 |
0 |
0 |
T18 |
6585 |
6444 |
0 |
0 |
T22 |
2203 |
2020 |
0 |
0 |
gen_flops.gen_stable_chks.OutputDelay_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
515493652 |
510931392 |
0 |
2412 |
T1 |
217808 |
215825 |
0 |
3 |
T2 |
714435 |
712190 |
0 |
3 |
T4 |
74768 |
74639 |
0 |
3 |
T5 |
11085 |
10970 |
0 |
3 |
T6 |
3088 |
2901 |
0 |
3 |
T15 |
5341 |
5183 |
0 |
3 |
T16 |
5169 |
5026 |
0 |
3 |
T17 |
1223 |
1066 |
0 |
3 |
T18 |
6585 |
6441 |
0 |
3 |
T22 |
2203 |
2017 |
0 |
3 |
gen_flops.gen_stable_chks.OutputIfUnstable_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
515493652 |
32019 |
0 |
0 |
T1 |
217808 |
340 |
0 |
0 |
T2 |
714435 |
389 |
0 |
0 |
T4 |
74768 |
1 |
0 |
0 |
T5 |
11085 |
21 |
0 |
0 |
T6 |
3088 |
12 |
0 |
0 |
T15 |
5341 |
18 |
0 |
0 |
T16 |
5169 |
3 |
0 |
0 |
T17 |
1223 |
4 |
0 |
0 |
T18 |
6585 |
10 |
0 |
0 |
T22 |
2203 |
1 |
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 |
804 |
804 |
0 |
0 |
T1 |
1 |
1 |
0 |
0 |
T2 |
1 |
1 |
0 |
0 |
T4 |
1 |
1 |
0 |
0 |
T5 |
1 |
1 |
0 |
0 |
T6 |
1 |
1 |
0 |
0 |
T15 |
1 |
1 |
0 |
0 |
T16 |
1 |
1 |
0 |
0 |
T17 |
1 |
1 |
0 |
0 |
T18 |
1 |
1 |
0 |
0 |
T22 |
1 |
1 |
0 |
0 |
OutputsKnown_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
515493652 |
510938439 |
0 |
0 |
T1 |
217808 |
215827 |
0 |
0 |
T2 |
714435 |
712193 |
0 |
0 |
T4 |
74768 |
74642 |
0 |
0 |
T5 |
11085 |
10973 |
0 |
0 |
T6 |
3088 |
2904 |
0 |
0 |
T15 |
5341 |
5186 |
0 |
0 |
T16 |
5169 |
5029 |
0 |
0 |
T17 |
1223 |
1069 |
0 |
0 |
T18 |
6585 |
6444 |
0 |
0 |
T22 |
2203 |
2020 |
0 |
0 |
gen_no_flops.OutputDelay_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
515493652 |
510938439 |
0 |
0 |
T1 |
217808 |
215827 |
0 |
0 |
T2 |
714435 |
712193 |
0 |
0 |
T4 |
74768 |
74642 |
0 |
0 |
T5 |
11085 |
10973 |
0 |
0 |
T6 |
3088 |
2904 |
0 |
0 |
T15 |
5341 |
5186 |
0 |
0 |
T16 |
5169 |
5029 |
0 |
0 |
T17 |
1223 |
1069 |
0 |
0 |
T18 |
6585 |
6444 |
0 |
0 |
T22 |
2203 |
2020 |
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 | T5,T6,T4 |
1 | Covered | T5,T6,T4 |
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 | T5,T6,T4 |
1 | Covered | T5,T6,T4 |
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 | T5,T6,T4 |
1 | Covered | T5,T6,T4 |
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 | T5,T6,T4 |
1 | Covered | T5,T6,T4 |
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 |
T5,T6,T4 |
0 |
Covered |
T5,T6,T4 |
LineNo. Expression
-1-: 96 ((|gen_flops.gen_stable_chks.gen_bufs_muxes[1].sig_unstable_buf)) ?
Branches:
-1- | Status | Tests |
1 |
Covered |
T5,T6,T4 |
0 |
Covered |
T5,T6,T4 |
LineNo. Expression
-1-: 96 ((|gen_flops.gen_stable_chks.gen_bufs_muxes[2].sig_unstable_buf)) ?
Branches:
-1- | Status | Tests |
1 |
Covered |
T5,T6,T4 |
0 |
Covered |
T5,T6,T4 |
LineNo. Expression
-1-: 96 ((|gen_flops.gen_stable_chks.gen_bufs_muxes[3].sig_unstable_buf)) ?
Branches:
-1- | Status | Tests |
1 |
Covered |
T5,T6,T4 |
0 |
Covered |
T5,T6,T4 |
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 |
804 |
804 |
0 |
0 |
T1 |
1 |
1 |
0 |
0 |
T2 |
1 |
1 |
0 |
0 |
T4 |
1 |
1 |
0 |
0 |
T5 |
1 |
1 |
0 |
0 |
T6 |
1 |
1 |
0 |
0 |
T15 |
1 |
1 |
0 |
0 |
T16 |
1 |
1 |
0 |
0 |
T17 |
1 |
1 |
0 |
0 |
T18 |
1 |
1 |
0 |
0 |
T22 |
1 |
1 |
0 |
0 |
OutputsKnown_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
515493652 |
510938439 |
0 |
0 |
T1 |
217808 |
215827 |
0 |
0 |
T2 |
714435 |
712193 |
0 |
0 |
T4 |
74768 |
74642 |
0 |
0 |
T5 |
11085 |
10973 |
0 |
0 |
T6 |
3088 |
2904 |
0 |
0 |
T15 |
5341 |
5186 |
0 |
0 |
T16 |
5169 |
5029 |
0 |
0 |
T17 |
1223 |
1069 |
0 |
0 |
T18 |
6585 |
6444 |
0 |
0 |
T22 |
2203 |
2020 |
0 |
0 |
gen_flops.gen_stable_chks.OutputDelay_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
515493652 |
510931392 |
0 |
2412 |
T1 |
217808 |
215825 |
0 |
3 |
T2 |
714435 |
712190 |
0 |
3 |
T4 |
74768 |
74639 |
0 |
3 |
T5 |
11085 |
10970 |
0 |
3 |
T6 |
3088 |
2901 |
0 |
3 |
T15 |
5341 |
5183 |
0 |
3 |
T16 |
5169 |
5026 |
0 |
3 |
T17 |
1223 |
1066 |
0 |
3 |
T18 |
6585 |
6441 |
0 |
3 |
T22 |
2203 |
2017 |
0 |
3 |
gen_flops.gen_stable_chks.OutputIfUnstable_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
515493652 |
31662 |
0 |
0 |
T1 |
217808 |
345 |
0 |
0 |
T2 |
714435 |
409 |
0 |
0 |
T4 |
74768 |
1 |
0 |
0 |
T5 |
11085 |
9 |
0 |
0 |
T6 |
3088 |
11 |
0 |
0 |
T15 |
5341 |
12 |
0 |
0 |
T16 |
5169 |
3 |
0 |
0 |
T17 |
1223 |
5 |
0 |
0 |
T18 |
6585 |
8 |
0 |
0 |
T22 |
2203 |
1 |
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 |
804 |
804 |
0 |
0 |
T1 |
1 |
1 |
0 |
0 |
T2 |
1 |
1 |
0 |
0 |
T4 |
1 |
1 |
0 |
0 |
T5 |
1 |
1 |
0 |
0 |
T6 |
1 |
1 |
0 |
0 |
T15 |
1 |
1 |
0 |
0 |
T16 |
1 |
1 |
0 |
0 |
T17 |
1 |
1 |
0 |
0 |
T18 |
1 |
1 |
0 |
0 |
T22 |
1 |
1 |
0 |
0 |
OutputsKnown_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
515493652 |
510938439 |
0 |
0 |
T1 |
217808 |
215827 |
0 |
0 |
T2 |
714435 |
712193 |
0 |
0 |
T4 |
74768 |
74642 |
0 |
0 |
T5 |
11085 |
10973 |
0 |
0 |
T6 |
3088 |
2904 |
0 |
0 |
T15 |
5341 |
5186 |
0 |
0 |
T16 |
5169 |
5029 |
0 |
0 |
T17 |
1223 |
1069 |
0 |
0 |
T18 |
6585 |
6444 |
0 |
0 |
T22 |
2203 |
2020 |
0 |
0 |
gen_no_flops.OutputDelay_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
515493652 |
510938439 |
0 |
0 |
T1 |
217808 |
215827 |
0 |
0 |
T2 |
714435 |
712193 |
0 |
0 |
T4 |
74768 |
74642 |
0 |
0 |
T5 |
11085 |
10973 |
0 |
0 |
T6 |
3088 |
2904 |
0 |
0 |
T15 |
5341 |
5186 |
0 |
0 |
T16 |
5169 |
5029 |
0 |
0 |
T17 |
1223 |
1069 |
0 |
0 |
T18 |
6585 |
6444 |
0 |
0 |
T22 |
2203 |
2020 |
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 | T5,T6,T4 |
1 | Covered | T5,T6,T4 |
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 | T5,T6,T4 |
1 | Covered | T5,T6,T4 |
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 | T5,T6,T4 |
1 | Covered | T5,T6,T4 |
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 | T5,T6,T4 |
1 | Covered | T5,T6,T4 |
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 |
T5,T6,T4 |
0 |
Covered |
T5,T6,T4 |
LineNo. Expression
-1-: 96 ((|gen_flops.gen_stable_chks.gen_bufs_muxes[1].sig_unstable_buf)) ?
Branches:
-1- | Status | Tests |
1 |
Covered |
T5,T6,T4 |
0 |
Covered |
T5,T6,T4 |
LineNo. Expression
-1-: 96 ((|gen_flops.gen_stable_chks.gen_bufs_muxes[2].sig_unstable_buf)) ?
Branches:
-1- | Status | Tests |
1 |
Covered |
T5,T6,T4 |
0 |
Covered |
T5,T6,T4 |
LineNo. Expression
-1-: 96 ((|gen_flops.gen_stable_chks.gen_bufs_muxes[3].sig_unstable_buf)) ?
Branches:
-1- | Status | Tests |
1 |
Covered |
T5,T6,T4 |
0 |
Covered |
T5,T6,T4 |
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 |
804 |
804 |
0 |
0 |
T1 |
1 |
1 |
0 |
0 |
T2 |
1 |
1 |
0 |
0 |
T4 |
1 |
1 |
0 |
0 |
T5 |
1 |
1 |
0 |
0 |
T6 |
1 |
1 |
0 |
0 |
T15 |
1 |
1 |
0 |
0 |
T16 |
1 |
1 |
0 |
0 |
T17 |
1 |
1 |
0 |
0 |
T18 |
1 |
1 |
0 |
0 |
T22 |
1 |
1 |
0 |
0 |
OutputsKnown_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
515493652 |
510938439 |
0 |
0 |
T1 |
217808 |
215827 |
0 |
0 |
T2 |
714435 |
712193 |
0 |
0 |
T4 |
74768 |
74642 |
0 |
0 |
T5 |
11085 |
10973 |
0 |
0 |
T6 |
3088 |
2904 |
0 |
0 |
T15 |
5341 |
5186 |
0 |
0 |
T16 |
5169 |
5029 |
0 |
0 |
T17 |
1223 |
1069 |
0 |
0 |
T18 |
6585 |
6444 |
0 |
0 |
T22 |
2203 |
2020 |
0 |
0 |
gen_flops.gen_stable_chks.OutputDelay_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
515493652 |
510931392 |
0 |
2412 |
T1 |
217808 |
215825 |
0 |
3 |
T2 |
714435 |
712190 |
0 |
3 |
T4 |
74768 |
74639 |
0 |
3 |
T5 |
11085 |
10970 |
0 |
3 |
T6 |
3088 |
2901 |
0 |
3 |
T15 |
5341 |
5183 |
0 |
3 |
T16 |
5169 |
5026 |
0 |
3 |
T17 |
1223 |
1066 |
0 |
3 |
T18 |
6585 |
6441 |
0 |
3 |
T22 |
2203 |
2017 |
0 |
3 |
gen_flops.gen_stable_chks.OutputIfUnstable_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
515493652 |
31760 |
0 |
0 |
T1 |
217808 |
344 |
0 |
0 |
T2 |
714435 |
408 |
0 |
0 |
T4 |
74768 |
1 |
0 |
0 |
T5 |
11085 |
16 |
0 |
0 |
T6 |
3088 |
15 |
0 |
0 |
T15 |
5341 |
14 |
0 |
0 |
T16 |
5169 |
3 |
0 |
0 |
T17 |
1223 |
8 |
0 |
0 |
T18 |
6585 |
10 |
0 |
0 |
T22 |
2203 |
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 |
804 |
804 |
0 |
0 |
T1 |
1 |
1 |
0 |
0 |
T2 |
1 |
1 |
0 |
0 |
T4 |
1 |
1 |
0 |
0 |
T5 |
1 |
1 |
0 |
0 |
T6 |
1 |
1 |
0 |
0 |
T15 |
1 |
1 |
0 |
0 |
T16 |
1 |
1 |
0 |
0 |
T17 |
1 |
1 |
0 |
0 |
T18 |
1 |
1 |
0 |
0 |
T22 |
1 |
1 |
0 |
0 |
OutputsKnown_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
515493652 |
510938439 |
0 |
0 |
T1 |
217808 |
215827 |
0 |
0 |
T2 |
714435 |
712193 |
0 |
0 |
T4 |
74768 |
74642 |
0 |
0 |
T5 |
11085 |
10973 |
0 |
0 |
T6 |
3088 |
2904 |
0 |
0 |
T15 |
5341 |
5186 |
0 |
0 |
T16 |
5169 |
5029 |
0 |
0 |
T17 |
1223 |
1069 |
0 |
0 |
T18 |
6585 |
6444 |
0 |
0 |
T22 |
2203 |
2020 |
0 |
0 |
gen_no_flops.OutputDelay_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
515493652 |
510938439 |
0 |
0 |
T1 |
217808 |
215827 |
0 |
0 |
T2 |
714435 |
712193 |
0 |
0 |
T4 |
74768 |
74642 |
0 |
0 |
T5 |
11085 |
10973 |
0 |
0 |
T6 |
3088 |
2904 |
0 |
0 |
T15 |
5341 |
5186 |
0 |
0 |
T16 |
5169 |
5029 |
0 |
0 |
T17 |
1223 |
1069 |
0 |
0 |
T18 |
6585 |
6444 |
0 |
0 |
T22 |
2203 |
2020 |
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 | T5,T6,T4 |
1 | Covered | T5,T6,T4 |
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 | T5,T6,T4 |
1 | Covered | T5,T6,T4 |
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 | T5,T6,T4 |
1 | Covered | T5,T6,T4 |
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 | T5,T6,T4 |
1 | Covered | T5,T6,T4 |
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 |
T5,T6,T4 |
0 |
Covered |
T5,T6,T4 |
LineNo. Expression
-1-: 96 ((|gen_flops.gen_stable_chks.gen_bufs_muxes[1].sig_unstable_buf)) ?
Branches:
-1- | Status | Tests |
1 |
Covered |
T5,T6,T4 |
0 |
Covered |
T5,T6,T4 |
LineNo. Expression
-1-: 96 ((|gen_flops.gen_stable_chks.gen_bufs_muxes[2].sig_unstable_buf)) ?
Branches:
-1- | Status | Tests |
1 |
Covered |
T5,T6,T4 |
0 |
Covered |
T5,T6,T4 |
LineNo. Expression
-1-: 96 ((|gen_flops.gen_stable_chks.gen_bufs_muxes[3].sig_unstable_buf)) ?
Branches:
-1- | Status | Tests |
1 |
Covered |
T5,T6,T4 |
0 |
Covered |
T5,T6,T4 |
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 |
804 |
804 |
0 |
0 |
T1 |
1 |
1 |
0 |
0 |
T2 |
1 |
1 |
0 |
0 |
T4 |
1 |
1 |
0 |
0 |
T5 |
1 |
1 |
0 |
0 |
T6 |
1 |
1 |
0 |
0 |
T15 |
1 |
1 |
0 |
0 |
T16 |
1 |
1 |
0 |
0 |
T17 |
1 |
1 |
0 |
0 |
T18 |
1 |
1 |
0 |
0 |
T22 |
1 |
1 |
0 |
0 |
OutputsKnown_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
515493652 |
510938439 |
0 |
0 |
T1 |
217808 |
215827 |
0 |
0 |
T2 |
714435 |
712193 |
0 |
0 |
T4 |
74768 |
74642 |
0 |
0 |
T5 |
11085 |
10973 |
0 |
0 |
T6 |
3088 |
2904 |
0 |
0 |
T15 |
5341 |
5186 |
0 |
0 |
T16 |
5169 |
5029 |
0 |
0 |
T17 |
1223 |
1069 |
0 |
0 |
T18 |
6585 |
6444 |
0 |
0 |
T22 |
2203 |
2020 |
0 |
0 |
gen_flops.gen_stable_chks.OutputDelay_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
515493652 |
510931392 |
0 |
2412 |
T1 |
217808 |
215825 |
0 |
3 |
T2 |
714435 |
712190 |
0 |
3 |
T4 |
74768 |
74639 |
0 |
3 |
T5 |
11085 |
10970 |
0 |
3 |
T6 |
3088 |
2901 |
0 |
3 |
T15 |
5341 |
5183 |
0 |
3 |
T16 |
5169 |
5026 |
0 |
3 |
T17 |
1223 |
1066 |
0 |
3 |
T18 |
6585 |
6441 |
0 |
3 |
T22 |
2203 |
2017 |
0 |
3 |
gen_flops.gen_stable_chks.OutputIfUnstable_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
515493652 |
31634 |
0 |
0 |
T1 |
217808 |
370 |
0 |
0 |
T2 |
714435 |
379 |
0 |
0 |
T4 |
74768 |
1 |
0 |
0 |
T5 |
11085 |
10 |
0 |
0 |
T6 |
3088 |
16 |
0 |
0 |
T15 |
5341 |
14 |
0 |
0 |
T16 |
5169 |
3 |
0 |
0 |
T17 |
1223 |
8 |
0 |
0 |
T18 |
6585 |
16 |
0 |
0 |
T22 |
2203 |
1 |
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 |
804 |
804 |
0 |
0 |
T1 |
1 |
1 |
0 |
0 |
T2 |
1 |
1 |
0 |
0 |
T4 |
1 |
1 |
0 |
0 |
T5 |
1 |
1 |
0 |
0 |
T6 |
1 |
1 |
0 |
0 |
T15 |
1 |
1 |
0 |
0 |
T16 |
1 |
1 |
0 |
0 |
T17 |
1 |
1 |
0 |
0 |
T18 |
1 |
1 |
0 |
0 |
T22 |
1 |
1 |
0 |
0 |
OutputsKnown_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
515493652 |
510938439 |
0 |
0 |
T1 |
217808 |
215827 |
0 |
0 |
T2 |
714435 |
712193 |
0 |
0 |
T4 |
74768 |
74642 |
0 |
0 |
T5 |
11085 |
10973 |
0 |
0 |
T6 |
3088 |
2904 |
0 |
0 |
T15 |
5341 |
5186 |
0 |
0 |
T16 |
5169 |
5029 |
0 |
0 |
T17 |
1223 |
1069 |
0 |
0 |
T18 |
6585 |
6444 |
0 |
0 |
T22 |
2203 |
2020 |
0 |
0 |
gen_no_flops.OutputDelay_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
515493652 |
510938439 |
0 |
0 |
T1 |
217808 |
215827 |
0 |
0 |
T2 |
714435 |
712193 |
0 |
0 |
T4 |
74768 |
74642 |
0 |
0 |
T5 |
11085 |
10973 |
0 |
0 |
T6 |
3088 |
2904 |
0 |
0 |
T15 |
5341 |
5186 |
0 |
0 |
T16 |
5169 |
5029 |
0 |
0 |
T17 |
1223 |
1069 |
0 |
0 |
T18 |
6585 |
6444 |
0 |
0 |
T22 |
2203 |
2020 |
0 |
0 |