SCORE | LINE | COND | TOGGLE | FSM | BRANCH | ASSERT |
100.00 | 100.00 | 100.00 |
SCORE | LINE | COND | TOGGLE | FSM | BRANCH | ASSERT |
100.00 | 100.00 | 100.00 |
SCORE | LINE | COND | TOGGLE | FSM | BRANCH | ASSERT |
100.00 | 100.00 | 100.00 | 100.00 |
SCORE | LINE | COND | TOGGLE | FSM | BRANCH | ASSERT | NAME |
99.83 | 99.34 | 100.00 | 100.00 | 100.00 | u_pinmux_strap_sampling |
NAME | SCORE | LINE | COND | TOGGLE | FSM | BRANCH | ASSERT |
gen_buffs[0].gen_bits[0].u_prim_buf | 100.00 | 100.00 | |||||
gen_buffs[0].gen_bits[1].u_prim_buf | 100.00 | 100.00 | |||||
gen_buffs[0].gen_bits[2].u_prim_buf | 100.00 | 100.00 | |||||
gen_buffs[0].gen_bits[3].u_prim_buf | 100.00 | 100.00 | |||||
gen_buffs[1].gen_bits[0].u_prim_buf | 100.00 | 100.00 | |||||
gen_buffs[1].gen_bits[1].u_prim_buf | 100.00 | 100.00 | |||||
gen_buffs[1].gen_bits[2].u_prim_buf | 100.00 | 100.00 | |||||
gen_buffs[1].gen_bits[3].u_prim_buf | 100.00 | 100.00 | |||||
gen_flops.u_prim_flop_2sync | 100.00 | 100.00 | 100.00 |
SCORE | LINE | COND | TOGGLE | FSM | BRANCH | ASSERT |
100.00 | 100.00 | 100.00 |
SCORE | LINE | COND | TOGGLE | FSM | BRANCH | ASSERT |
100.00 | 100.00 | 100.00 | 100.00 |
SCORE | LINE | COND | TOGGLE | FSM | BRANCH | ASSERT | NAME |
99.83 | 99.34 | 100.00 | 100.00 | 100.00 | u_pinmux_strap_sampling |
NAME | SCORE | LINE | COND | TOGGLE | FSM | BRANCH | ASSERT |
gen_buffs[0].gen_bits[0].u_prim_buf | 100.00 | 100.00 | |||||
gen_buffs[0].gen_bits[1].u_prim_buf | 100.00 | 100.00 | |||||
gen_buffs[0].gen_bits[2].u_prim_buf | 100.00 | 100.00 | |||||
gen_buffs[0].gen_bits[3].u_prim_buf | 100.00 | 100.00 | |||||
gen_flops.u_prim_flop_2sync | 100.00 | 100.00 | 100.00 |
SCORE | LINE | COND | TOGGLE | FSM | BRANCH | ASSERT |
100.00 | 100.00 | 100.00 |
SCORE | LINE | COND | TOGGLE | FSM | BRANCH | ASSERT |
100.00 | 100.00 | 100.00 | 100.00 |
SCORE | LINE | COND | TOGGLE | FSM | BRANCH | ASSERT | NAME |
99.83 | 99.34 | 100.00 | 100.00 | 100.00 | u_pinmux_strap_sampling |
NAME | SCORE | LINE | COND | TOGGLE | FSM | BRANCH | ASSERT |
gen_buffs[0].gen_bits[0].u_prim_buf | 100.00 | 100.00 | |||||
gen_buffs[0].gen_bits[1].u_prim_buf | 100.00 | 100.00 | |||||
gen_buffs[0].gen_bits[2].u_prim_buf | 100.00 | 100.00 | |||||
gen_buffs[0].gen_bits[3].u_prim_buf | 100.00 | 100.00 | |||||
gen_flops.u_prim_flop_2sync | 100.00 | 100.00 | 100.00 |
SCORE | LINE | COND | TOGGLE | FSM | BRANCH | ASSERT |
100.00 | 100.00 | 100.00 |
SCORE | LINE | COND | TOGGLE | FSM | BRANCH | ASSERT |
100.00 | 100.00 | 100.00 | 100.00 |
SCORE | LINE | COND | TOGGLE | FSM | BRANCH | ASSERT | NAME |
99.83 | 99.34 | 100.00 | 100.00 | 100.00 | u_pinmux_strap_sampling |
NAME | SCORE | LINE | COND | TOGGLE | FSM | BRANCH | ASSERT |
gen_buffs[0].gen_bits[0].u_prim_buf | 100.00 | 100.00 | |||||
gen_buffs[0].gen_bits[1].u_prim_buf | 100.00 | 100.00 | |||||
gen_buffs[0].gen_bits[2].u_prim_buf | 100.00 | 100.00 | |||||
gen_buffs[0].gen_bits[3].u_prim_buf | 100.00 | 100.00 | |||||
gen_flops.u_prim_flop_2sync | 100.00 | 100.00 | 100.00 |
SCORE | LINE | COND | TOGGLE | FSM | BRANCH | ASSERT |
100.00 | 100.00 | 100.00 |
SCORE | LINE | COND | TOGGLE | FSM | BRANCH | ASSERT |
100.00 | 100.00 | 100.00 |
SCORE | LINE | COND | TOGGLE | FSM | BRANCH | ASSERT | NAME |
100.00 | 100.00 | 100.00 | 100.00 | u_prim_lc_or_hardened |
NAME | SCORE | LINE | COND | TOGGLE | FSM | BRANCH | ASSERT |
gen_buffs[0].gen_bits[0].u_prim_buf | 100.00 | 100.00 | |||||
gen_buffs[0].gen_bits[1].u_prim_buf | 100.00 | 100.00 | |||||
gen_buffs[0].gen_bits[2].u_prim_buf | 100.00 | 100.00 | |||||
gen_buffs[0].gen_bits[3].u_prim_buf | 100.00 | 100.00 | |||||
gen_buffs[1].gen_bits[0].u_prim_buf | 100.00 | 100.00 | |||||
gen_buffs[1].gen_bits[1].u_prim_buf | 100.00 | 100.00 | |||||
gen_buffs[1].gen_bits[2].u_prim_buf | 100.00 | 100.00 | |||||
gen_buffs[1].gen_bits[3].u_prim_buf | 100.00 | 100.00 | |||||
gen_buffs[2].gen_bits[0].u_prim_buf | 100.00 | 100.00 | |||||
gen_buffs[2].gen_bits[1].u_prim_buf | 100.00 | 100.00 | |||||
gen_buffs[2].gen_bits[2].u_prim_buf | 100.00 | 100.00 | |||||
gen_buffs[2].gen_bits[3].u_prim_buf | 100.00 | 100.00 | |||||
gen_buffs[3].gen_bits[0].u_prim_buf | 100.00 | 100.00 | |||||
gen_buffs[3].gen_bits[1].u_prim_buf | 100.00 | 100.00 | |||||
gen_buffs[3].gen_bits[2].u_prim_buf | 100.00 | 100.00 | |||||
gen_buffs[3].gen_bits[3].u_prim_buf | 100.00 | 100.00 |
SCORE | LINE | COND | TOGGLE | FSM | BRANCH | ASSERT |
100.00 | 100.00 | 100.00 |
SCORE | LINE | COND | TOGGLE | FSM | BRANCH | ASSERT |
100.00 | 100.00 | 100.00 |
SCORE | LINE | COND | TOGGLE | FSM | BRANCH | ASSERT | NAME |
100.00 | 100.00 | 100.00 | 100.00 | u_prim_lc_or_hardened |
NAME | SCORE | LINE | COND | TOGGLE | FSM | BRANCH | ASSERT |
gen_buffs[0].gen_bits[0].u_prim_buf | 100.00 | 100.00 | |||||
gen_buffs[0].gen_bits[1].u_prim_buf | 100.00 | 100.00 | |||||
gen_buffs[0].gen_bits[2].u_prim_buf | 100.00 | 100.00 | |||||
gen_buffs[0].gen_bits[3].u_prim_buf | 100.00 | 100.00 | |||||
gen_buffs[1].gen_bits[0].u_prim_buf | 100.00 | 100.00 | |||||
gen_buffs[1].gen_bits[1].u_prim_buf | 100.00 | 100.00 | |||||
gen_buffs[1].gen_bits[2].u_prim_buf | 100.00 | 100.00 | |||||
gen_buffs[1].gen_bits[3].u_prim_buf | 100.00 | 100.00 | |||||
gen_buffs[2].gen_bits[0].u_prim_buf | 100.00 | 100.00 | |||||
gen_buffs[2].gen_bits[1].u_prim_buf | 100.00 | 100.00 | |||||
gen_buffs[2].gen_bits[2].u_prim_buf | 100.00 | 100.00 | |||||
gen_buffs[2].gen_bits[3].u_prim_buf | 100.00 | 100.00 | |||||
gen_buffs[3].gen_bits[0].u_prim_buf | 100.00 | 100.00 | |||||
gen_buffs[3].gen_bits[1].u_prim_buf | 100.00 | 100.00 | |||||
gen_buffs[3].gen_bits[2].u_prim_buf | 100.00 | 100.00 | |||||
gen_buffs[3].gen_bits[3].u_prim_buf | 100.00 | 100.00 |
SCORE | LINE | COND | TOGGLE | FSM | BRANCH | ASSERT |
100.00 | 100.00 | 100.00 |
SCORE | LINE | COND | TOGGLE | FSM | BRANCH | ASSERT |
100.00 | 100.00 | 100.00 |
SCORE | LINE | COND | TOGGLE | FSM | BRANCH | ASSERT | NAME |
99.83 | 99.34 | 100.00 | 100.00 | 100.00 | u_pinmux_strap_sampling |
NAME | SCORE | LINE | COND | TOGGLE | FSM | BRANCH | ASSERT |
gen_buffs[0].gen_bits[0].u_prim_buf | 100.00 | 100.00 | |||||
gen_buffs[0].gen_bits[1].u_prim_buf | 100.00 | 100.00 | |||||
gen_buffs[0].gen_bits[2].u_prim_buf | 100.00 | 100.00 | |||||
gen_buffs[0].gen_bits[3].u_prim_buf | 100.00 | 100.00 | |||||
gen_buffs[1].gen_bits[0].u_prim_buf | 100.00 | 100.00 | |||||
gen_buffs[1].gen_bits[1].u_prim_buf | 100.00 | 100.00 | |||||
gen_buffs[1].gen_bits[2].u_prim_buf | 100.00 | 100.00 | |||||
gen_buffs[1].gen_bits[3].u_prim_buf | 100.00 | 100.00 | |||||
gen_buffs[2].gen_bits[0].u_prim_buf | 100.00 | 100.00 | |||||
gen_buffs[2].gen_bits[1].u_prim_buf | 100.00 | 100.00 | |||||
gen_buffs[2].gen_bits[2].u_prim_buf | 100.00 | 100.00 | |||||
gen_buffs[2].gen_bits[3].u_prim_buf | 100.00 | 100.00 |
SCORE | LINE | COND | TOGGLE | FSM | BRANCH | ASSERT |
100.00 | 100.00 | 100.00 |
SCORE | LINE | COND | TOGGLE | FSM | BRANCH | ASSERT |
100.00 | 100.00 | 100.00 | 100.00 |
SCORE | LINE | COND | TOGGLE | FSM | BRANCH | ASSERT | NAME |
87.73 | 94.12 | 89.29 | 87.06 | 100.00 | 68.18 | u_rv_core_ibex |
NAME | SCORE | LINE | COND | TOGGLE | FSM | BRANCH | ASSERT |
gen_buffs[0].gen_bits[0].u_prim_buf | 100.00 | 100.00 | |||||
gen_buffs[0].gen_bits[1].u_prim_buf | 100.00 | 100.00 | |||||
gen_buffs[0].gen_bits[2].u_prim_buf | 100.00 | 100.00 | |||||
gen_buffs[0].gen_bits[3].u_prim_buf | 100.00 | 100.00 | |||||
gen_flops.u_prim_flop_2sync | 100.00 | 100.00 | 100.00 |
SCORE | LINE | COND | TOGGLE | FSM | BRANCH | ASSERT |
100.00 | 100.00 | 100.00 |
SCORE | LINE | COND | TOGGLE | FSM | BRANCH | ASSERT |
100.00 | 100.00 | 100.00 | 100.00 |
SCORE | LINE | COND | TOGGLE | FSM | BRANCH | ASSERT | NAME |
87.73 | 94.12 | 89.29 | 87.06 | 100.00 | 68.18 | u_rv_core_ibex |
NAME | SCORE | LINE | COND | TOGGLE | FSM | BRANCH | ASSERT |
gen_buffs[0].gen_bits[0].u_prim_buf | 100.00 | 100.00 | |||||
gen_buffs[0].gen_bits[1].u_prim_buf | 100.00 | 100.00 | |||||
gen_buffs[0].gen_bits[2].u_prim_buf | 100.00 | 100.00 | |||||
gen_buffs[0].gen_bits[3].u_prim_buf | 100.00 | 100.00 | |||||
gen_flops.u_prim_flop_2sync | 100.00 | 100.00 | 100.00 |
SCORE | LINE |
100.00 | 100.00 |
SCORE | LINE |
100.00 | 100.00 |
SCORE | LINE |
100.00 | 100.00 |
SCORE | LINE |
100.00 | 100.00 |
SCORE | LINE |
100.00 | 100.00 |
Line No. | Total | Covered | Percent | |
---|---|---|---|---|
TOTAL | 2 | 2 | 100.00 | |
ALWAYS | 68 | 1 | 1 | 100.00 |
CONT_ASSIGN | 106 | 1 | 1 | 100.00 |
Line No. | Covered | Statements | |
---|---|---|---|
68 | 1 | 1 | |
106 | 1 | 1 |
SCORE | LINE |
100.00 | 100.00 |
Line No. | Total | Covered | Percent | |
---|---|---|---|---|
TOTAL | 4 | 4 | 100.00 | |
ALWAYS | 84 | 0 | 0 | |
CONT_ASSIGN | 93 | 1 | 1 | 100.00 |
CONT_ASSIGN | 106 | 1 | 1 | 100.00 |
CONT_ASSIGN | 106 | 1 | 1 | 100.00 |
CONT_ASSIGN | 106 | 1 | 1 | 100.00 |
Line No. | Covered | Statements | |
---|---|---|---|
84 | unreachable | ||
85 | unreachable | ||
87 | unreachable | ||
93 | 1 | 1 | |
106 | 3 | 3 |
SCORE | LINE |
100.00 | 100.00 |
SCORE | LINE |
100.00 | 100.00 |
Line No. | Total | Covered | Percent | |
---|---|---|---|---|
TOTAL | 5 | 5 | 100.00 | |
ALWAYS | 84 | 0 | 0 | |
CONT_ASSIGN | 93 | 1 | 1 | 100.00 |
CONT_ASSIGN | 106 | 1 | 1 | 100.00 |
CONT_ASSIGN | 106 | 1 | 1 | 100.00 |
CONT_ASSIGN | 106 | 1 | 1 | 100.00 |
CONT_ASSIGN | 106 | 1 | 1 | 100.00 |
Line No. | Covered | Statements | |
---|---|---|---|
84 | unreachable | ||
85 | unreachable | ||
87 | unreachable | ||
93 | 1 | 1 | |
106 | 4 | 4 |
SCORE | LINE |
100.00 | 100.00 |
Line No. | Total | Covered | Percent | |
---|---|---|---|---|
TOTAL | 3 | 3 | 100.00 | |
ALWAYS | 68 | 1 | 1 | 100.00 |
CONT_ASSIGN | 106 | 1 | 1 | 100.00 |
CONT_ASSIGN | 106 | 1 | 1 | 100.00 |
Line No. | Covered | Statements | |
---|---|---|---|
68 | 1 | 1 | |
106 | 2 | 2 |
Total | Attempted | Percent | Succeeded/Matched | Percent | |
---|---|---|---|---|---|
Assertions | 4 | 4 | 100.00 | 4 | 100.00 |
Cover properties | 0 | 0 | 0 | ||
Cover sequences | 0 | 0 | 0 | ||
Total | 4 | 4 | 100.00 | 4 | 100.00 |
Name | Attempts | Real Successes | Failures | Incomplete |
NumCopiesMustBeGreaterZero_A | 9306 | 9306 | 0 | 0 |
OutputsKnown_A | 1964548236 | 1959527048 | 0 | 0 |
gen_flops.OutputDelay_A | 1572218184 | 1569213442 | 0 | 18456 |
gen_no_flops.OutputDelay_A | 392330052 | 390270126 | 0 | 0 |
Name | Attempts | Real Successes | Failures | Incomplete |
---|---|---|---|---|
Total | 9306 | 9306 | 0 | 0 |
T1 | 9 | 9 | 0 | 0 |
T2 | 9 | 9 | 0 | 0 |
T3 | 9 | 9 | 0 | 0 |
T4 | 9 | 9 | 0 | 0 |
T5 | 9 | 9 | 0 | 0 |
T24 | 9 | 9 | 0 | 0 |
T34 | 9 | 9 | 0 | 0 |
T72 | 9 | 9 | 0 | 0 |
T92 | 9 | 9 | 0 | 0 |
T103 | 9 | 9 | 0 | 0 |
Name | Attempts | Real Successes | Failures | Incomplete |
---|---|---|---|---|
Total | 1964548236 | 1959527048 | 0 | 0 |
T1 | 959358 | 955113 | 0 | 0 |
T2 | 762172 | 759017 | 0 | 0 |
T3 | 463815 | 459317 | 0 | 0 |
T4 | 2087179 | 2083544 | 0 | 0 |
T5 | 2379596 | 2376989 | 0 | 0 |
T24 | 775916 | 771929 | 0 | 0 |
T34 | 2399881 | 2396755 | 0 | 0 |
T72 | 810732 | 806108 | 0 | 0 |
T92 | 1030845 | 1027365 | 0 | 0 |
T103 | 1426875 | 1424540 | 0 | 0 |
Name | Attempts | Real Successes | Failures | Incomplete |
---|---|---|---|---|
Total | 1572218184 | 1569213442 | 0 | 18456 |
T1 | 769524 | 766944 | 0 | 18 |
T2 | 603928 | 602048 | 0 | 18 |
T3 | 371442 | 368804 | 0 | 18 |
T4 | 1675042 | 1672592 | 0 | 18 |
T5 | 1912232 | 1910600 | 0 | 18 |
T24 | 614702 | 612350 | 0 | 18 |
T34 | 1919632 | 1917778 | 0 | 18 |
T72 | 648786 | 646076 | 0 | 18 |
T92 | 827196 | 825060 | 0 | 18 |
T103 | 1130412 | 1129010 | 0 | 18 |
Name | Attempts | Real Successes | Failures | Incomplete |
---|---|---|---|---|
Total | 392330052 | 390270126 | 0 | 0 |
T1 | 189834 | 188121 | 0 | 0 |
T2 | 158244 | 156945 | 0 | 0 |
T3 | 92373 | 90489 | 0 | 0 |
T4 | 412137 | 410832 | 0 | 0 |
T5 | 467364 | 466341 | 0 | 0 |
T24 | 161214 | 159555 | 0 | 0 |
T34 | 480249 | 478953 | 0 | 0 |
T72 | 161946 | 160008 | 0 | 0 |
T92 | 203649 | 202257 | 0 | 0 |
T103 | 296463 | 295506 | 0 | 0 |
Line No. | Total | Covered | Percent | |
---|---|---|---|---|
TOTAL | 3 | 3 | 100.00 | |
ALWAYS | 68 | 1 | 1 | 100.00 |
CONT_ASSIGN | 106 | 1 | 1 | 100.00 |
CONT_ASSIGN | 106 | 1 | 1 | 100.00 |
Line No. | Covered | Statements | |
---|---|---|---|
68 | 1 | 1 | |
106 | 2 | 2 |
Total | Attempted | Percent | Succeeded/Matched | Percent | |
---|---|---|---|---|---|
Assertions | 3 | 3 | 100.00 | 3 | 100.00 |
Cover properties | 0 | 0 | 0 | ||
Cover sequences | 0 | 0 | 0 | ||
Total | 3 | 3 | 100.00 | 3 | 100.00 |
Name | Attempts | Real Successes | Failures | Incomplete |
NumCopiesMustBeGreaterZero_A | 1034 | 1034 | 0 | 0 |
OutputsKnown_A | 130776684 | 130090042 | 0 | 0 |
gen_flops.OutputDelay_A | 130776684 | 130082998 | 0 | 3078 |
Name | Attempts | Real Successes | Failures | Incomplete |
---|---|---|---|---|
Total | 1034 | 1034 | 0 | 0 |
T1 | 1 | 1 | 0 | 0 |
T2 | 1 | 1 | 0 | 0 |
T3 | 1 | 1 | 0 | 0 |
T4 | 1 | 1 | 0 | 0 |
T5 | 1 | 1 | 0 | 0 |
T24 | 1 | 1 | 0 | 0 |
T34 | 1 | 1 | 0 | 0 |
T72 | 1 | 1 | 0 | 0 |
T92 | 1 | 1 | 0 | 0 |
T103 | 1 | 1 | 0 | 0 |
Name | Attempts | Real Successes | Failures | Incomplete |
---|---|---|---|---|
Total | 130776684 | 130090042 | 0 | 0 |
T1 | 63278 | 62707 | 0 | 0 |
T2 | 52748 | 52315 | 0 | 0 |
T3 | 30791 | 30163 | 0 | 0 |
T4 | 137379 | 136944 | 0 | 0 |
T5 | 155788 | 155447 | 0 | 0 |
T24 | 53738 | 53185 | 0 | 0 |
T34 | 160083 | 159651 | 0 | 0 |
T72 | 53982 | 53336 | 0 | 0 |
T92 | 67883 | 67419 | 0 | 0 |
T103 | 98821 | 98502 | 0 | 0 |
Name | Attempts | Real Successes | Failures | Incomplete |
---|---|---|---|---|
Total | 130776684 | 130082998 | 0 | 3078 |
T1 | 63278 | 62699 | 0 | 3 |
T2 | 52748 | 52311 | 0 | 3 |
T3 | 30791 | 30159 | 0 | 3 |
T4 | 137379 | 136924 | 0 | 3 |
T5 | 155788 | 155439 | 0 | 3 |
T24 | 53738 | 53181 | 0 | 3 |
T34 | 160083 | 159647 | 0 | 3 |
T72 | 53982 | 53332 | 0 | 3 |
T92 | 67883 | 67411 | 0 | 3 |
T103 | 98821 | 98498 | 0 | 3 |
Line No. | Total | Covered | Percent | |
---|---|---|---|---|
TOTAL | 2 | 2 | 100.00 | |
ALWAYS | 68 | 1 | 1 | 100.00 |
CONT_ASSIGN | 106 | 1 | 1 | 100.00 |
Line No. | Covered | Statements | |
---|---|---|---|
68 | 1 | 1 | |
106 | 1 | 1 |
Total | Attempted | Percent | Succeeded/Matched | Percent | |
---|---|---|---|---|---|
Assertions | 3 | 3 | 100.00 | 3 | 100.00 |
Cover properties | 0 | 0 | 0 | ||
Cover sequences | 0 | 0 | 0 | ||
Total | 3 | 3 | 100.00 | 3 | 100.00 |
Name | Attempts | Real Successes | Failures | Incomplete |
NumCopiesMustBeGreaterZero_A | 1034 | 1034 | 0 | 0 |
OutputsKnown_A | 130776684 | 130090042 | 0 | 0 |
gen_flops.OutputDelay_A | 130776684 | 130082998 | 0 | 3078 |
Name | Attempts | Real Successes | Failures | Incomplete |
---|---|---|---|---|
Total | 1034 | 1034 | 0 | 0 |
T1 | 1 | 1 | 0 | 0 |
T2 | 1 | 1 | 0 | 0 |
T3 | 1 | 1 | 0 | 0 |
T4 | 1 | 1 | 0 | 0 |
T5 | 1 | 1 | 0 | 0 |
T24 | 1 | 1 | 0 | 0 |
T34 | 1 | 1 | 0 | 0 |
T72 | 1 | 1 | 0 | 0 |
T92 | 1 | 1 | 0 | 0 |
T103 | 1 | 1 | 0 | 0 |
Name | Attempts | Real Successes | Failures | Incomplete |
---|---|---|---|---|
Total | 130776684 | 130090042 | 0 | 0 |
T1 | 63278 | 62707 | 0 | 0 |
T2 | 52748 | 52315 | 0 | 0 |
T3 | 30791 | 30163 | 0 | 0 |
T4 | 137379 | 136944 | 0 | 0 |
T5 | 155788 | 155447 | 0 | 0 |
T24 | 53738 | 53185 | 0 | 0 |
T34 | 160083 | 159651 | 0 | 0 |
T72 | 53982 | 53336 | 0 | 0 |
T92 | 67883 | 67419 | 0 | 0 |
T103 | 98821 | 98502 | 0 | 0 |
Name | Attempts | Real Successes | Failures | Incomplete |
---|---|---|---|---|
Total | 130776684 | 130082998 | 0 | 3078 |
T1 | 63278 | 62699 | 0 | 3 |
T2 | 52748 | 52311 | 0 | 3 |
T3 | 30791 | 30159 | 0 | 3 |
T4 | 137379 | 136924 | 0 | 3 |
T5 | 155788 | 155439 | 0 | 3 |
T24 | 53738 | 53181 | 0 | 3 |
T34 | 160083 | 159647 | 0 | 3 |
T72 | 53982 | 53332 | 0 | 3 |
T92 | 67883 | 67411 | 0 | 3 |
T103 | 98821 | 98498 | 0 | 3 |
Line No. | Total | Covered | Percent | |
---|---|---|---|---|
TOTAL | 2 | 2 | 100.00 | |
ALWAYS | 68 | 1 | 1 | 100.00 |
CONT_ASSIGN | 106 | 1 | 1 | 100.00 |
Line No. | Covered | Statements | |
---|---|---|---|
68 | 1 | 1 | |
106 | 1 | 1 |
Total | Attempted | Percent | Succeeded/Matched | Percent | |
---|---|---|---|---|---|
Assertions | 3 | 3 | 100.00 | 3 | 100.00 |
Cover properties | 0 | 0 | 0 | ||
Cover sequences | 0 | 0 | 0 | ||
Total | 3 | 3 | 100.00 | 3 | 100.00 |
Name | Attempts | Real Successes | Failures | Incomplete |
NumCopiesMustBeGreaterZero_A | 1034 | 1034 | 0 | 0 |
OutputsKnown_A | 130776684 | 130090042 | 0 | 0 |
gen_flops.OutputDelay_A | 130776684 | 130082998 | 0 | 3078 |
Name | Attempts | Real Successes | Failures | Incomplete |
---|---|---|---|---|
Total | 1034 | 1034 | 0 | 0 |
T1 | 1 | 1 | 0 | 0 |
T2 | 1 | 1 | 0 | 0 |
T3 | 1 | 1 | 0 | 0 |
T4 | 1 | 1 | 0 | 0 |
T5 | 1 | 1 | 0 | 0 |
T24 | 1 | 1 | 0 | 0 |
T34 | 1 | 1 | 0 | 0 |
T72 | 1 | 1 | 0 | 0 |
T92 | 1 | 1 | 0 | 0 |
T103 | 1 | 1 | 0 | 0 |
Name | Attempts | Real Successes | Failures | Incomplete |
---|---|---|---|---|
Total | 130776684 | 130090042 | 0 | 0 |
T1 | 63278 | 62707 | 0 | 0 |
T2 | 52748 | 52315 | 0 | 0 |
T3 | 30791 | 30163 | 0 | 0 |
T4 | 137379 | 136944 | 0 | 0 |
T5 | 155788 | 155447 | 0 | 0 |
T24 | 53738 | 53185 | 0 | 0 |
T34 | 160083 | 159651 | 0 | 0 |
T72 | 53982 | 53336 | 0 | 0 |
T92 | 67883 | 67419 | 0 | 0 |
T103 | 98821 | 98502 | 0 | 0 |
Name | Attempts | Real Successes | Failures | Incomplete |
---|---|---|---|---|
Total | 130776684 | 130082998 | 0 | 3078 |
T1 | 63278 | 62699 | 0 | 3 |
T2 | 52748 | 52311 | 0 | 3 |
T3 | 30791 | 30159 | 0 | 3 |
T4 | 137379 | 136924 | 0 | 3 |
T5 | 155788 | 155439 | 0 | 3 |
T24 | 53738 | 53181 | 0 | 3 |
T34 | 160083 | 159647 | 0 | 3 |
T72 | 53982 | 53332 | 0 | 3 |
T92 | 67883 | 67411 | 0 | 3 |
T103 | 98821 | 98498 | 0 | 3 |
Line No. | Total | Covered | Percent | |
---|---|---|---|---|
TOTAL | 2 | 2 | 100.00 | |
ALWAYS | 68 | 1 | 1 | 100.00 |
CONT_ASSIGN | 106 | 1 | 1 | 100.00 |
Line No. | Covered | Statements | |
---|---|---|---|
68 | 1 | 1 | |
106 | 1 | 1 |
Total | Attempted | Percent | Succeeded/Matched | Percent | |
---|---|---|---|---|---|
Assertions | 3 | 3 | 100.00 | 3 | 100.00 |
Cover properties | 0 | 0 | 0 | ||
Cover sequences | 0 | 0 | 0 | ||
Total | 3 | 3 | 100.00 | 3 | 100.00 |
Name | Attempts | Real Successes | Failures | Incomplete |
NumCopiesMustBeGreaterZero_A | 1034 | 1034 | 0 | 0 |
OutputsKnown_A | 130776684 | 130090042 | 0 | 0 |
gen_flops.OutputDelay_A | 130776684 | 130082998 | 0 | 3078 |
Name | Attempts | Real Successes | Failures | Incomplete |
---|---|---|---|---|
Total | 1034 | 1034 | 0 | 0 |
T1 | 1 | 1 | 0 | 0 |
T2 | 1 | 1 | 0 | 0 |
T3 | 1 | 1 | 0 | 0 |
T4 | 1 | 1 | 0 | 0 |
T5 | 1 | 1 | 0 | 0 |
T24 | 1 | 1 | 0 | 0 |
T34 | 1 | 1 | 0 | 0 |
T72 | 1 | 1 | 0 | 0 |
T92 | 1 | 1 | 0 | 0 |
T103 | 1 | 1 | 0 | 0 |
Name | Attempts | Real Successes | Failures | Incomplete |
---|---|---|---|---|
Total | 130776684 | 130090042 | 0 | 0 |
T1 | 63278 | 62707 | 0 | 0 |
T2 | 52748 | 52315 | 0 | 0 |
T3 | 30791 | 30163 | 0 | 0 |
T4 | 137379 | 136944 | 0 | 0 |
T5 | 155788 | 155447 | 0 | 0 |
T24 | 53738 | 53185 | 0 | 0 |
T34 | 160083 | 159651 | 0 | 0 |
T72 | 53982 | 53336 | 0 | 0 |
T92 | 67883 | 67419 | 0 | 0 |
T103 | 98821 | 98502 | 0 | 0 |
Name | Attempts | Real Successes | Failures | Incomplete |
---|---|---|---|---|
Total | 130776684 | 130082998 | 0 | 3078 |
T1 | 63278 | 62699 | 0 | 3 |
T2 | 52748 | 52311 | 0 | 3 |
T3 | 30791 | 30159 | 0 | 3 |
T4 | 137379 | 136924 | 0 | 3 |
T5 | 155788 | 155439 | 0 | 3 |
T24 | 53738 | 53181 | 0 | 3 |
T34 | 160083 | 159647 | 0 | 3 |
T72 | 53982 | 53332 | 0 | 3 |
T92 | 67883 | 67411 | 0 | 3 |
T103 | 98821 | 98498 | 0 | 3 |
Line No. | Total | Covered | Percent | |
---|---|---|---|---|
TOTAL | 5 | 5 | 100.00 | |
ALWAYS | 84 | 0 | 0 | |
CONT_ASSIGN | 93 | 1 | 1 | 100.00 |
CONT_ASSIGN | 106 | 1 | 1 | 100.00 |
CONT_ASSIGN | 106 | 1 | 1 | 100.00 |
CONT_ASSIGN | 106 | 1 | 1 | 100.00 |
CONT_ASSIGN | 106 | 1 | 1 | 100.00 |
Line No. | Covered | Statements | |
---|---|---|---|
84 | unreachable | ||
85 | unreachable | ||
87 | unreachable | ||
93 | 1 | 1 | |
106 | 4 | 4 |
Total | Attempted | Percent | Succeeded/Matched | Percent | |
---|---|---|---|---|---|
Assertions | 3 | 3 | 100.00 | 3 | 100.00 |
Cover properties | 0 | 0 | 0 | ||
Cover sequences | 0 | 0 | 0 | ||
Total | 3 | 3 | 100.00 | 3 | 100.00 |
Name | Attempts | Real Successes | Failures | Incomplete |
NumCopiesMustBeGreaterZero_A | 1034 | 1034 | 0 | 0 |
OutputsKnown_A | 130776684 | 130090042 | 0 | 0 |
gen_no_flops.OutputDelay_A | 130776684 | 130090042 | 0 | 0 |
Name | Attempts | Real Successes | Failures | Incomplete |
---|---|---|---|---|
Total | 1034 | 1034 | 0 | 0 |
T1 | 1 | 1 | 0 | 0 |
T2 | 1 | 1 | 0 | 0 |
T3 | 1 | 1 | 0 | 0 |
T4 | 1 | 1 | 0 | 0 |
T5 | 1 | 1 | 0 | 0 |
T24 | 1 | 1 | 0 | 0 |
T34 | 1 | 1 | 0 | 0 |
T72 | 1 | 1 | 0 | 0 |
T92 | 1 | 1 | 0 | 0 |
T103 | 1 | 1 | 0 | 0 |
Name | Attempts | Real Successes | Failures | Incomplete |
---|---|---|---|---|
Total | 130776684 | 130090042 | 0 | 0 |
T1 | 63278 | 62707 | 0 | 0 |
T2 | 52748 | 52315 | 0 | 0 |
T3 | 30791 | 30163 | 0 | 0 |
T4 | 137379 | 136944 | 0 | 0 |
T5 | 155788 | 155447 | 0 | 0 |
T24 | 53738 | 53185 | 0 | 0 |
T34 | 160083 | 159651 | 0 | 0 |
T72 | 53982 | 53336 | 0 | 0 |
T92 | 67883 | 67419 | 0 | 0 |
T103 | 98821 | 98502 | 0 | 0 |
Name | Attempts | Real Successes | Failures | Incomplete |
---|---|---|---|---|
Total | 130776684 | 130090042 | 0 | 0 |
T1 | 63278 | 62707 | 0 | 0 |
T2 | 52748 | 52315 | 0 | 0 |
T3 | 30791 | 30163 | 0 | 0 |
T4 | 137379 | 136944 | 0 | 0 |
T5 | 155788 | 155447 | 0 | 0 |
T24 | 53738 | 53185 | 0 | 0 |
T34 | 160083 | 159651 | 0 | 0 |
T72 | 53982 | 53336 | 0 | 0 |
T92 | 67883 | 67419 | 0 | 0 |
T103 | 98821 | 98502 | 0 | 0 |
Line No. | Total | Covered | Percent | |
---|---|---|---|---|
TOTAL | 5 | 5 | 100.00 | |
ALWAYS | 84 | 0 | 0 | |
CONT_ASSIGN | 93 | 1 | 1 | 100.00 |
CONT_ASSIGN | 106 | 1 | 1 | 100.00 |
CONT_ASSIGN | 106 | 1 | 1 | 100.00 |
CONT_ASSIGN | 106 | 1 | 1 | 100.00 |
CONT_ASSIGN | 106 | 1 | 1 | 100.00 |
Line No. | Covered | Statements | |
---|---|---|---|
84 | unreachable | ||
85 | unreachable | ||
87 | unreachable | ||
93 | 1 | 1 | |
106 | 4 | 4 |
Total | Attempted | Percent | Succeeded/Matched | Percent | |
---|---|---|---|---|---|
Assertions | 3 | 3 | 100.00 | 3 | 100.00 |
Cover properties | 0 | 0 | 0 | ||
Cover sequences | 0 | 0 | 0 | ||
Total | 3 | 3 | 100.00 | 3 | 100.00 |
Name | Attempts | Real Successes | Failures | Incomplete |
NumCopiesMustBeGreaterZero_A | 1034 | 1034 | 0 | 0 |
OutputsKnown_A | 130776684 | 130090042 | 0 | 0 |
gen_no_flops.OutputDelay_A | 130776684 | 130090042 | 0 | 0 |
Name | Attempts | Real Successes | Failures | Incomplete |
---|---|---|---|---|
Total | 1034 | 1034 | 0 | 0 |
T1 | 1 | 1 | 0 | 0 |
T2 | 1 | 1 | 0 | 0 |
T3 | 1 | 1 | 0 | 0 |
T4 | 1 | 1 | 0 | 0 |
T5 | 1 | 1 | 0 | 0 |
T24 | 1 | 1 | 0 | 0 |
T34 | 1 | 1 | 0 | 0 |
T72 | 1 | 1 | 0 | 0 |
T92 | 1 | 1 | 0 | 0 |
T103 | 1 | 1 | 0 | 0 |
Name | Attempts | Real Successes | Failures | Incomplete |
---|---|---|---|---|
Total | 130776684 | 130090042 | 0 | 0 |
T1 | 63278 | 62707 | 0 | 0 |
T2 | 52748 | 52315 | 0 | 0 |
T3 | 30791 | 30163 | 0 | 0 |
T4 | 137379 | 136944 | 0 | 0 |
T5 | 155788 | 155447 | 0 | 0 |
T24 | 53738 | 53185 | 0 | 0 |
T34 | 160083 | 159651 | 0 | 0 |
T72 | 53982 | 53336 | 0 | 0 |
T92 | 67883 | 67419 | 0 | 0 |
T103 | 98821 | 98502 | 0 | 0 |
Name | Attempts | Real Successes | Failures | Incomplete |
---|---|---|---|---|
Total | 130776684 | 130090042 | 0 | 0 |
T1 | 63278 | 62707 | 0 | 0 |
T2 | 52748 | 52315 | 0 | 0 |
T3 | 30791 | 30163 | 0 | 0 |
T4 | 137379 | 136944 | 0 | 0 |
T5 | 155788 | 155447 | 0 | 0 |
T24 | 53738 | 53185 | 0 | 0 |
T34 | 160083 | 159651 | 0 | 0 |
T72 | 53982 | 53336 | 0 | 0 |
T92 | 67883 | 67419 | 0 | 0 |
T103 | 98821 | 98502 | 0 | 0 |
Line No. | Total | Covered | Percent | |
---|---|---|---|---|
TOTAL | 4 | 4 | 100.00 | |
ALWAYS | 84 | 0 | 0 | |
CONT_ASSIGN | 93 | 1 | 1 | 100.00 |
CONT_ASSIGN | 106 | 1 | 1 | 100.00 |
CONT_ASSIGN | 106 | 1 | 1 | 100.00 |
CONT_ASSIGN | 106 | 1 | 1 | 100.00 |
Line No. | Covered | Statements | |
---|---|---|---|
84 | unreachable | ||
85 | unreachable | ||
87 | unreachable | ||
93 | 1 | 1 | |
106 | 3 | 3 |
Total | Attempted | Percent | Succeeded/Matched | Percent | |
---|---|---|---|---|---|
Assertions | 3 | 3 | 100.00 | 3 | 100.00 |
Cover properties | 0 | 0 | 0 | ||
Cover sequences | 0 | 0 | 0 | ||
Total | 3 | 3 | 100.00 | 3 | 100.00 |
Name | Attempts | Real Successes | Failures | Incomplete |
NumCopiesMustBeGreaterZero_A | 1034 | 1034 | 0 | 0 |
OutputsKnown_A | 130776684 | 130090042 | 0 | 0 |
gen_no_flops.OutputDelay_A | 130776684 | 130090042 | 0 | 0 |
Name | Attempts | Real Successes | Failures | Incomplete |
---|---|---|---|---|
Total | 1034 | 1034 | 0 | 0 |
T1 | 1 | 1 | 0 | 0 |
T2 | 1 | 1 | 0 | 0 |
T3 | 1 | 1 | 0 | 0 |
T4 | 1 | 1 | 0 | 0 |
T5 | 1 | 1 | 0 | 0 |
T24 | 1 | 1 | 0 | 0 |
T34 | 1 | 1 | 0 | 0 |
T72 | 1 | 1 | 0 | 0 |
T92 | 1 | 1 | 0 | 0 |
T103 | 1 | 1 | 0 | 0 |
Name | Attempts | Real Successes | Failures | Incomplete |
---|---|---|---|---|
Total | 130776684 | 130090042 | 0 | 0 |
T1 | 63278 | 62707 | 0 | 0 |
T2 | 52748 | 52315 | 0 | 0 |
T3 | 30791 | 30163 | 0 | 0 |
T4 | 137379 | 136944 | 0 | 0 |
T5 | 155788 | 155447 | 0 | 0 |
T24 | 53738 | 53185 | 0 | 0 |
T34 | 160083 | 159651 | 0 | 0 |
T72 | 53982 | 53336 | 0 | 0 |
T92 | 67883 | 67419 | 0 | 0 |
T103 | 98821 | 98502 | 0 | 0 |
Name | Attempts | Real Successes | Failures | Incomplete |
---|---|---|---|---|
Total | 130776684 | 130090042 | 0 | 0 |
T1 | 63278 | 62707 | 0 | 0 |
T2 | 52748 | 52315 | 0 | 0 |
T3 | 30791 | 30163 | 0 | 0 |
T4 | 137379 | 136944 | 0 | 0 |
T5 | 155788 | 155447 | 0 | 0 |
T24 | 53738 | 53185 | 0 | 0 |
T34 | 160083 | 159651 | 0 | 0 |
T72 | 53982 | 53336 | 0 | 0 |
T92 | 67883 | 67419 | 0 | 0 |
T103 | 98821 | 98502 | 0 | 0 |
Line No. | Total | Covered | Percent | |
---|---|---|---|---|
TOTAL | 2 | 2 | 100.00 | |
ALWAYS | 68 | 1 | 1 | 100.00 |
CONT_ASSIGN | 106 | 1 | 1 | 100.00 |
Line No. | Covered | Statements | |
---|---|---|---|
68 | 1 | 1 | |
106 | 1 | 1 |
Total | Attempted | Percent | Succeeded/Matched | Percent | |
---|---|---|---|---|---|
Assertions | 3 | 3 | 100.00 | 3 | 100.00 |
Cover properties | 0 | 0 | 0 | ||
Cover sequences | 0 | 0 | 0 | ||
Total | 3 | 3 | 100.00 | 3 | 100.00 |
Name | Attempts | Real Successes | Failures | Incomplete |
NumCopiesMustBeGreaterZero_A | 1034 | 1034 | 0 | 0 |
OutputsKnown_A | 524555724 | 524448377 | 0 | 0 |
gen_flops.OutputDelay_A | 524555724 | 524440725 | 0 | 3072 |
Name | Attempts | Real Successes | Failures | Incomplete |
---|---|---|---|---|
Total | 1034 | 1034 | 0 | 0 |
T1 | 1 | 1 | 0 | 0 |
T2 | 1 | 1 | 0 | 0 |
T3 | 1 | 1 | 0 | 0 |
T4 | 1 | 1 | 0 | 0 |
T5 | 1 | 1 | 0 | 0 |
T24 | 1 | 1 | 0 | 0 |
T34 | 1 | 1 | 0 | 0 |
T72 | 1 | 1 | 0 | 0 |
T92 | 1 | 1 | 0 | 0 |
T103 | 1 | 1 | 0 | 0 |
Name | Attempts | Real Successes | Failures | Incomplete |
---|---|---|---|---|
Total | 524555724 | 524448377 | 0 | 0 |
T1 | 258206 | 258082 | 0 | 0 |
T2 | 196468 | 196406 | 0 | 0 |
T3 | 124139 | 124088 | 0 | 0 |
T4 | 562763 | 562468 | 0 | 0 |
T5 | 644540 | 644430 | 0 | 0 |
T24 | 199875 | 199817 | 0 | 0 |
T34 | 639650 | 639599 | 0 | 0 |
T72 | 216429 | 216378 | 0 | 0 |
T92 | 277832 | 277716 | 0 | 0 |
T103 | 367564 | 367513 | 0 | 0 |
Name | Attempts | Real Successes | Failures | Incomplete |
---|---|---|---|---|
Total | 524555724 | 524440725 | 0 | 3072 |
T1 | 258206 | 258074 | 0 | 3 |
T2 | 196468 | 196402 | 0 | 3 |
T3 | 124139 | 124084 | 0 | 3 |
T4 | 562763 | 562448 | 0 | 3 |
T5 | 644540 | 644422 | 0 | 3 |
T24 | 199875 | 199813 | 0 | 3 |
T34 | 639650 | 639595 | 0 | 3 |
T72 | 216429 | 216374 | 0 | 3 |
T92 | 277832 | 277708 | 0 | 3 |
T103 | 367564 | 367509 | 0 | 3 |
Line No. | Total | Covered | Percent | |
---|---|---|---|---|
TOTAL | 2 | 2 | 100.00 | |
ALWAYS | 68 | 1 | 1 | 100.00 |
CONT_ASSIGN | 106 | 1 | 1 | 100.00 |
Line No. | Covered | Statements | |
---|---|---|---|
68 | 1 | 1 | |
106 | 1 | 1 |
Total | Attempted | Percent | Succeeded/Matched | Percent | |
---|---|---|---|---|---|
Assertions | 3 | 3 | 100.00 | 3 | 100.00 |
Cover properties | 0 | 0 | 0 | ||
Cover sequences | 0 | 0 | 0 | ||
Total | 3 | 3 | 100.00 | 3 | 100.00 |
Name | Attempts | Real Successes | Failures | Incomplete |
NumCopiesMustBeGreaterZero_A | 1034 | 1034 | 0 | 0 |
OutputsKnown_A | 524555724 | 524448377 | 0 | 0 |
gen_flops.OutputDelay_A | 524555724 | 524440725 | 0 | 3072 |
Name | Attempts | Real Successes | Failures | Incomplete |
---|---|---|---|---|
Total | 1034 | 1034 | 0 | 0 |
T1 | 1 | 1 | 0 | 0 |
T2 | 1 | 1 | 0 | 0 |
T3 | 1 | 1 | 0 | 0 |
T4 | 1 | 1 | 0 | 0 |
T5 | 1 | 1 | 0 | 0 |
T24 | 1 | 1 | 0 | 0 |
T34 | 1 | 1 | 0 | 0 |
T72 | 1 | 1 | 0 | 0 |
T92 | 1 | 1 | 0 | 0 |
T103 | 1 | 1 | 0 | 0 |
Name | Attempts | Real Successes | Failures | Incomplete |
---|---|---|---|---|
Total | 524555724 | 524448377 | 0 | 0 |
T1 | 258206 | 258082 | 0 | 0 |
T2 | 196468 | 196406 | 0 | 0 |
T3 | 124139 | 124088 | 0 | 0 |
T4 | 562763 | 562468 | 0 | 0 |
T5 | 644540 | 644430 | 0 | 0 |
T24 | 199875 | 199817 | 0 | 0 |
T34 | 639650 | 639599 | 0 | 0 |
T72 | 216429 | 216378 | 0 | 0 |
T92 | 277832 | 277716 | 0 | 0 |
T103 | 367564 | 367513 | 0 | 0 |
Name | Attempts | Real Successes | Failures | Incomplete |
---|---|---|---|---|
Total | 524555724 | 524440725 | 0 | 3072 |
T1 | 258206 | 258074 | 0 | 3 |
T2 | 196468 | 196402 | 0 | 3 |
T3 | 124139 | 124084 | 0 | 3 |
T4 | 562763 | 562448 | 0 | 3 |
T5 | 644540 | 644422 | 0 | 3 |
T24 | 199875 | 199813 | 0 | 3 |
T34 | 639650 | 639595 | 0 | 3 |
T72 | 216429 | 216374 | 0 | 3 |
T92 | 277832 | 277708 | 0 | 3 |
T103 | 367564 | 367509 | 0 | 3 |
0% | 10% | 20% | 30% | 40% | 50% | 60% | 70% | 80% | 90% | 100% |