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 |
90.79 | 96.47 | 89.29 | 100.00 | 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 |
90.79 | 96.47 | 89.29 | 100.00 | 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 | 7614 | 7614 | 0 | 0 |
OutputsKnown_A | 1178241695 | 1174458636 | 0 | 0 |
gen_flops.OutputDelay_A | 940926320 | 938659014 | 0 | 15222 |
gen_no_flops.OutputDelay_A | 237315375 | 235766088 | 0 | 0 |
Name | Attempts | Real Successes | Failures | Incomplete |
---|---|---|---|---|
Total | 7614 | 7614 | 0 | 0 |
T1 | 9 | 9 | 0 | 0 |
T2 | 9 | 9 | 0 | 0 |
T3 | 9 | 9 | 0 | 0 |
T4 | 9 | 9 | 0 | 0 |
T33 | 9 | 9 | 0 | 0 |
T59 | 9 | 9 | 0 | 0 |
T60 | 9 | 9 | 0 | 0 |
T98 | 9 | 9 | 0 | 0 |
T102 | 9 | 9 | 0 | 0 |
T132 | 9 | 9 | 0 | 0 |
Name | Attempts | Real Successes | Failures | Incomplete |
---|---|---|---|---|
Total | 1178241695 | 1174458636 | 0 | 0 |
T1 | 2826362 | 2822131 | 0 | 0 |
T2 | 2117147 | 2112462 | 0 | 0 |
T3 | 1883766 | 1881200 | 0 | 0 |
T4 | 1089050 | 1083219 | 0 | 0 |
T33 | 464411 | 459492 | 0 | 0 |
T59 | 506650 | 504335 | 0 | 0 |
T60 | 888334 | 884151 | 0 | 0 |
T98 | 850379 | 844796 | 0 | 0 |
T102 | 3124369 | 3118981 | 0 | 0 |
T132 | 2095681 | 2092899 | 0 | 0 |
Name | Attempts | Real Successes | Failures | Incomplete |
---|---|---|---|---|
Total | 940926320 | 938659014 | 0 | 15222 |
T1 | 1743608 | 1741168 | 0 | 18 |
T2 | 1700654 | 1697832 | 0 | 18 |
T3 | 1514022 | 1512482 | 0 | 18 |
T4 | 857114 | 853566 | 0 | 18 |
T33 | 371360 | 368170 | 0 | 18 |
T59 | 399892 | 398492 | 0 | 18 |
T60 | 712978 | 710514 | 0 | 18 |
T98 | 682118 | 678860 | 0 | 18 |
T102 | 1878610 | 1875510 | 0 | 18 |
T132 | 1292830 | 1291220 | 0 | 18 |
Name | Attempts | Real Successes | Failures | Incomplete |
---|---|---|---|---|
Total | 237315375 | 235766088 | 0 | 0 |
T1 | 1082754 | 1080945 | 0 | 0 |
T2 | 416493 | 414582 | 0 | 0 |
T3 | 369744 | 368694 | 0 | 0 |
T4 | 231936 | 229581 | 0 | 0 |
T33 | 93051 | 91266 | 0 | 0 |
T59 | 106758 | 105819 | 0 | 0 |
T60 | 175356 | 173613 | 0 | 0 |
T98 | 168261 | 165912 | 0 | 0 |
T102 | 1245759 | 1243455 | 0 | 0 |
T132 | 802851 | 801663 | 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 | 846 | 846 | 0 | 0 |
OutputsKnown_A | 79105125 | 78588696 | 0 | 0 |
gen_flops.OutputDelay_A | 79105125 | 78583300 | 0 | 2538 |
Name | Attempts | Real Successes | Failures | Incomplete |
---|---|---|---|---|
Total | 846 | 846 | 0 | 0 |
T1 | 1 | 1 | 0 | 0 |
T2 | 1 | 1 | 0 | 0 |
T3 | 1 | 1 | 0 | 0 |
T4 | 1 | 1 | 0 | 0 |
T33 | 1 | 1 | 0 | 0 |
T59 | 1 | 1 | 0 | 0 |
T60 | 1 | 1 | 0 | 0 |
T98 | 1 | 1 | 0 | 0 |
T102 | 1 | 1 | 0 | 0 |
T132 | 1 | 1 | 0 | 0 |
Name | Attempts | Real Successes | Failures | Incomplete |
---|---|---|---|---|
Total | 79105125 | 78588696 | 0 | 0 |
T1 | 360918 | 360315 | 0 | 0 |
T2 | 138831 | 138194 | 0 | 0 |
T3 | 123248 | 122898 | 0 | 0 |
T4 | 77312 | 76527 | 0 | 0 |
T33 | 31017 | 30422 | 0 | 0 |
T59 | 35586 | 35273 | 0 | 0 |
T60 | 58452 | 57871 | 0 | 0 |
T98 | 56087 | 55304 | 0 | 0 |
T102 | 415253 | 414485 | 0 | 0 |
T132 | 267617 | 267221 | 0 | 0 |
Name | Attempts | Real Successes | Failures | Incomplete |
---|---|---|---|---|
Total | 79105125 | 78583300 | 0 | 2538 |
T1 | 360918 | 360311 | 0 | 3 |
T2 | 138831 | 138186 | 0 | 3 |
T3 | 123248 | 122894 | 0 | 3 |
T4 | 77312 | 76515 | 0 | 3 |
T33 | 31017 | 30414 | 0 | 3 |
T59 | 35586 | 35269 | 0 | 3 |
T60 | 58452 | 57867 | 0 | 3 |
T98 | 56087 | 55300 | 0 | 3 |
T102 | 415253 | 414481 | 0 | 3 |
T132 | 267617 | 267217 | 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 | 846 | 846 | 0 | 0 |
OutputsKnown_A | 79105125 | 78588696 | 0 | 0 |
gen_flops.OutputDelay_A | 79105125 | 78583300 | 0 | 2538 |
Name | Attempts | Real Successes | Failures | Incomplete |
---|---|---|---|---|
Total | 846 | 846 | 0 | 0 |
T1 | 1 | 1 | 0 | 0 |
T2 | 1 | 1 | 0 | 0 |
T3 | 1 | 1 | 0 | 0 |
T4 | 1 | 1 | 0 | 0 |
T33 | 1 | 1 | 0 | 0 |
T59 | 1 | 1 | 0 | 0 |
T60 | 1 | 1 | 0 | 0 |
T98 | 1 | 1 | 0 | 0 |
T102 | 1 | 1 | 0 | 0 |
T132 | 1 | 1 | 0 | 0 |
Name | Attempts | Real Successes | Failures | Incomplete |
---|---|---|---|---|
Total | 79105125 | 78588696 | 0 | 0 |
T1 | 360918 | 360315 | 0 | 0 |
T2 | 138831 | 138194 | 0 | 0 |
T3 | 123248 | 122898 | 0 | 0 |
T4 | 77312 | 76527 | 0 | 0 |
T33 | 31017 | 30422 | 0 | 0 |
T59 | 35586 | 35273 | 0 | 0 |
T60 | 58452 | 57871 | 0 | 0 |
T98 | 56087 | 55304 | 0 | 0 |
T102 | 415253 | 414485 | 0 | 0 |
T132 | 267617 | 267221 | 0 | 0 |
Name | Attempts | Real Successes | Failures | Incomplete |
---|---|---|---|---|
Total | 79105125 | 78583300 | 0 | 2538 |
T1 | 360918 | 360311 | 0 | 3 |
T2 | 138831 | 138186 | 0 | 3 |
T3 | 123248 | 122894 | 0 | 3 |
T4 | 77312 | 76515 | 0 | 3 |
T33 | 31017 | 30414 | 0 | 3 |
T59 | 35586 | 35269 | 0 | 3 |
T60 | 58452 | 57867 | 0 | 3 |
T98 | 56087 | 55300 | 0 | 3 |
T102 | 415253 | 414481 | 0 | 3 |
T132 | 267617 | 267217 | 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 | 846 | 846 | 0 | 0 |
OutputsKnown_A | 79105125 | 78588696 | 0 | 0 |
gen_flops.OutputDelay_A | 79105125 | 78583300 | 0 | 2538 |
Name | Attempts | Real Successes | Failures | Incomplete |
---|---|---|---|---|
Total | 846 | 846 | 0 | 0 |
T1 | 1 | 1 | 0 | 0 |
T2 | 1 | 1 | 0 | 0 |
T3 | 1 | 1 | 0 | 0 |
T4 | 1 | 1 | 0 | 0 |
T33 | 1 | 1 | 0 | 0 |
T59 | 1 | 1 | 0 | 0 |
T60 | 1 | 1 | 0 | 0 |
T98 | 1 | 1 | 0 | 0 |
T102 | 1 | 1 | 0 | 0 |
T132 | 1 | 1 | 0 | 0 |
Name | Attempts | Real Successes | Failures | Incomplete |
---|---|---|---|---|
Total | 79105125 | 78588696 | 0 | 0 |
T1 | 360918 | 360315 | 0 | 0 |
T2 | 138831 | 138194 | 0 | 0 |
T3 | 123248 | 122898 | 0 | 0 |
T4 | 77312 | 76527 | 0 | 0 |
T33 | 31017 | 30422 | 0 | 0 |
T59 | 35586 | 35273 | 0 | 0 |
T60 | 58452 | 57871 | 0 | 0 |
T98 | 56087 | 55304 | 0 | 0 |
T102 | 415253 | 414485 | 0 | 0 |
T132 | 267617 | 267221 | 0 | 0 |
Name | Attempts | Real Successes | Failures | Incomplete |
---|---|---|---|---|
Total | 79105125 | 78583300 | 0 | 2538 |
T1 | 360918 | 360311 | 0 | 3 |
T2 | 138831 | 138186 | 0 | 3 |
T3 | 123248 | 122894 | 0 | 3 |
T4 | 77312 | 76515 | 0 | 3 |
T33 | 31017 | 30414 | 0 | 3 |
T59 | 35586 | 35269 | 0 | 3 |
T60 | 58452 | 57867 | 0 | 3 |
T98 | 56087 | 55300 | 0 | 3 |
T102 | 415253 | 414481 | 0 | 3 |
T132 | 267617 | 267217 | 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 | 846 | 846 | 0 | 0 |
OutputsKnown_A | 79105125 | 78588696 | 0 | 0 |
gen_flops.OutputDelay_A | 79105125 | 78583300 | 0 | 2538 |
Name | Attempts | Real Successes | Failures | Incomplete |
---|---|---|---|---|
Total | 846 | 846 | 0 | 0 |
T1 | 1 | 1 | 0 | 0 |
T2 | 1 | 1 | 0 | 0 |
T3 | 1 | 1 | 0 | 0 |
T4 | 1 | 1 | 0 | 0 |
T33 | 1 | 1 | 0 | 0 |
T59 | 1 | 1 | 0 | 0 |
T60 | 1 | 1 | 0 | 0 |
T98 | 1 | 1 | 0 | 0 |
T102 | 1 | 1 | 0 | 0 |
T132 | 1 | 1 | 0 | 0 |
Name | Attempts | Real Successes | Failures | Incomplete |
---|---|---|---|---|
Total | 79105125 | 78588696 | 0 | 0 |
T1 | 360918 | 360315 | 0 | 0 |
T2 | 138831 | 138194 | 0 | 0 |
T3 | 123248 | 122898 | 0 | 0 |
T4 | 77312 | 76527 | 0 | 0 |
T33 | 31017 | 30422 | 0 | 0 |
T59 | 35586 | 35273 | 0 | 0 |
T60 | 58452 | 57871 | 0 | 0 |
T98 | 56087 | 55304 | 0 | 0 |
T102 | 415253 | 414485 | 0 | 0 |
T132 | 267617 | 267221 | 0 | 0 |
Name | Attempts | Real Successes | Failures | Incomplete |
---|---|---|---|---|
Total | 79105125 | 78583300 | 0 | 2538 |
T1 | 360918 | 360311 | 0 | 3 |
T2 | 138831 | 138186 | 0 | 3 |
T3 | 123248 | 122894 | 0 | 3 |
T4 | 77312 | 76515 | 0 | 3 |
T33 | 31017 | 30414 | 0 | 3 |
T59 | 35586 | 35269 | 0 | 3 |
T60 | 58452 | 57867 | 0 | 3 |
T98 | 56087 | 55300 | 0 | 3 |
T102 | 415253 | 414481 | 0 | 3 |
T132 | 267617 | 267217 | 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 | 846 | 846 | 0 | 0 |
OutputsKnown_A | 79105125 | 78588696 | 0 | 0 |
gen_no_flops.OutputDelay_A | 79105125 | 78588696 | 0 | 0 |
Name | Attempts | Real Successes | Failures | Incomplete |
---|---|---|---|---|
Total | 846 | 846 | 0 | 0 |
T1 | 1 | 1 | 0 | 0 |
T2 | 1 | 1 | 0 | 0 |
T3 | 1 | 1 | 0 | 0 |
T4 | 1 | 1 | 0 | 0 |
T33 | 1 | 1 | 0 | 0 |
T59 | 1 | 1 | 0 | 0 |
T60 | 1 | 1 | 0 | 0 |
T98 | 1 | 1 | 0 | 0 |
T102 | 1 | 1 | 0 | 0 |
T132 | 1 | 1 | 0 | 0 |
Name | Attempts | Real Successes | Failures | Incomplete |
---|---|---|---|---|
Total | 79105125 | 78588696 | 0 | 0 |
T1 | 360918 | 360315 | 0 | 0 |
T2 | 138831 | 138194 | 0 | 0 |
T3 | 123248 | 122898 | 0 | 0 |
T4 | 77312 | 76527 | 0 | 0 |
T33 | 31017 | 30422 | 0 | 0 |
T59 | 35586 | 35273 | 0 | 0 |
T60 | 58452 | 57871 | 0 | 0 |
T98 | 56087 | 55304 | 0 | 0 |
T102 | 415253 | 414485 | 0 | 0 |
T132 | 267617 | 267221 | 0 | 0 |
Name | Attempts | Real Successes | Failures | Incomplete |
---|---|---|---|---|
Total | 79105125 | 78588696 | 0 | 0 |
T1 | 360918 | 360315 | 0 | 0 |
T2 | 138831 | 138194 | 0 | 0 |
T3 | 123248 | 122898 | 0 | 0 |
T4 | 77312 | 76527 | 0 | 0 |
T33 | 31017 | 30422 | 0 | 0 |
T59 | 35586 | 35273 | 0 | 0 |
T60 | 58452 | 57871 | 0 | 0 |
T98 | 56087 | 55304 | 0 | 0 |
T102 | 415253 | 414485 | 0 | 0 |
T132 | 267617 | 267221 | 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 | 846 | 846 | 0 | 0 |
OutputsKnown_A | 79105125 | 78588696 | 0 | 0 |
gen_no_flops.OutputDelay_A | 79105125 | 78588696 | 0 | 0 |
Name | Attempts | Real Successes | Failures | Incomplete |
---|---|---|---|---|
Total | 846 | 846 | 0 | 0 |
T1 | 1 | 1 | 0 | 0 |
T2 | 1 | 1 | 0 | 0 |
T3 | 1 | 1 | 0 | 0 |
T4 | 1 | 1 | 0 | 0 |
T33 | 1 | 1 | 0 | 0 |
T59 | 1 | 1 | 0 | 0 |
T60 | 1 | 1 | 0 | 0 |
T98 | 1 | 1 | 0 | 0 |
T102 | 1 | 1 | 0 | 0 |
T132 | 1 | 1 | 0 | 0 |
Name | Attempts | Real Successes | Failures | Incomplete |
---|---|---|---|---|
Total | 79105125 | 78588696 | 0 | 0 |
T1 | 360918 | 360315 | 0 | 0 |
T2 | 138831 | 138194 | 0 | 0 |
T3 | 123248 | 122898 | 0 | 0 |
T4 | 77312 | 76527 | 0 | 0 |
T33 | 31017 | 30422 | 0 | 0 |
T59 | 35586 | 35273 | 0 | 0 |
T60 | 58452 | 57871 | 0 | 0 |
T98 | 56087 | 55304 | 0 | 0 |
T102 | 415253 | 414485 | 0 | 0 |
T132 | 267617 | 267221 | 0 | 0 |
Name | Attempts | Real Successes | Failures | Incomplete |
---|---|---|---|---|
Total | 79105125 | 78588696 | 0 | 0 |
T1 | 360918 | 360315 | 0 | 0 |
T2 | 138831 | 138194 | 0 | 0 |
T3 | 123248 | 122898 | 0 | 0 |
T4 | 77312 | 76527 | 0 | 0 |
T33 | 31017 | 30422 | 0 | 0 |
T59 | 35586 | 35273 | 0 | 0 |
T60 | 58452 | 57871 | 0 | 0 |
T98 | 56087 | 55304 | 0 | 0 |
T102 | 415253 | 414485 | 0 | 0 |
T132 | 267617 | 267221 | 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 | 846 | 846 | 0 | 0 |
OutputsKnown_A | 79105125 | 78588696 | 0 | 0 |
gen_no_flops.OutputDelay_A | 79105125 | 78588696 | 0 | 0 |
Name | Attempts | Real Successes | Failures | Incomplete |
---|---|---|---|---|
Total | 846 | 846 | 0 | 0 |
T1 | 1 | 1 | 0 | 0 |
T2 | 1 | 1 | 0 | 0 |
T3 | 1 | 1 | 0 | 0 |
T4 | 1 | 1 | 0 | 0 |
T33 | 1 | 1 | 0 | 0 |
T59 | 1 | 1 | 0 | 0 |
T60 | 1 | 1 | 0 | 0 |
T98 | 1 | 1 | 0 | 0 |
T102 | 1 | 1 | 0 | 0 |
T132 | 1 | 1 | 0 | 0 |
Name | Attempts | Real Successes | Failures | Incomplete |
---|---|---|---|---|
Total | 79105125 | 78588696 | 0 | 0 |
T1 | 360918 | 360315 | 0 | 0 |
T2 | 138831 | 138194 | 0 | 0 |
T3 | 123248 | 122898 | 0 | 0 |
T4 | 77312 | 76527 | 0 | 0 |
T33 | 31017 | 30422 | 0 | 0 |
T59 | 35586 | 35273 | 0 | 0 |
T60 | 58452 | 57871 | 0 | 0 |
T98 | 56087 | 55304 | 0 | 0 |
T102 | 415253 | 414485 | 0 | 0 |
T132 | 267617 | 267221 | 0 | 0 |
Name | Attempts | Real Successes | Failures | Incomplete |
---|---|---|---|---|
Total | 79105125 | 78588696 | 0 | 0 |
T1 | 360918 | 360315 | 0 | 0 |
T2 | 138831 | 138194 | 0 | 0 |
T3 | 123248 | 122898 | 0 | 0 |
T4 | 77312 | 76527 | 0 | 0 |
T33 | 31017 | 30422 | 0 | 0 |
T59 | 35586 | 35273 | 0 | 0 |
T60 | 58452 | 57871 | 0 | 0 |
T98 | 56087 | 55304 | 0 | 0 |
T102 | 415253 | 414485 | 0 | 0 |
T132 | 267617 | 267221 | 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 | 846 | 846 | 0 | 0 |
OutputsKnown_A | 312252910 | 312168882 | 0 | 0 |
gen_flops.OutputDelay_A | 312252910 | 312162907 | 0 | 2535 |
Name | Attempts | Real Successes | Failures | Incomplete |
---|---|---|---|---|
Total | 846 | 846 | 0 | 0 |
T1 | 1 | 1 | 0 | 0 |
T2 | 1 | 1 | 0 | 0 |
T3 | 1 | 1 | 0 | 0 |
T4 | 1 | 1 | 0 | 0 |
T33 | 1 | 1 | 0 | 0 |
T59 | 1 | 1 | 0 | 0 |
T60 | 1 | 1 | 0 | 0 |
T98 | 1 | 1 | 0 | 0 |
T102 | 1 | 1 | 0 | 0 |
T132 | 1 | 1 | 0 | 0 |
Name | Attempts | Real Successes | Failures | Incomplete |
---|---|---|---|---|
Total | 312252910 | 312168882 | 0 | 0 |
T1 | 149968 | 149963 | 0 | 0 |
T2 | 572665 | 572552 | 0 | 0 |
T3 | 510515 | 510457 | 0 | 0 |
T4 | 273933 | 273765 | 0 | 0 |
T33 | 123646 | 123269 | 0 | 0 |
T59 | 128774 | 128712 | 0 | 0 |
T60 | 239585 | 239527 | 0 | 0 |
T98 | 228885 | 228834 | 0 | 0 |
T102 | 108799 | 108793 | 0 | 0 |
T132 | 111181 | 111176 | 0 | 0 |
Name | Attempts | Real Successes | Failures | Incomplete |
---|---|---|---|---|
Total | 312252910 | 312162907 | 0 | 2535 |
T1 | 149968 | 149962 | 0 | 3 |
T2 | 572665 | 572544 | 0 | 3 |
T3 | 510515 | 510453 | 0 | 3 |
T4 | 273933 | 273753 | 0 | 3 |
T33 | 123646 | 123257 | 0 | 3 |
T59 | 128774 | 128708 | 0 | 3 |
T60 | 239585 | 239523 | 0 | 3 |
T98 | 228885 | 228830 | 0 | 3 |
T102 | 108799 | 108793 | 0 | 3 |
T132 | 111181 | 111176 | 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 | 846 | 846 | 0 | 0 |
OutputsKnown_A | 312252910 | 312168882 | 0 | 0 |
gen_flops.OutputDelay_A | 312252910 | 312162907 | 0 | 2535 |
Name | Attempts | Real Successes | Failures | Incomplete |
---|---|---|---|---|
Total | 846 | 846 | 0 | 0 |
T1 | 1 | 1 | 0 | 0 |
T2 | 1 | 1 | 0 | 0 |
T3 | 1 | 1 | 0 | 0 |
T4 | 1 | 1 | 0 | 0 |
T33 | 1 | 1 | 0 | 0 |
T59 | 1 | 1 | 0 | 0 |
T60 | 1 | 1 | 0 | 0 |
T98 | 1 | 1 | 0 | 0 |
T102 | 1 | 1 | 0 | 0 |
T132 | 1 | 1 | 0 | 0 |
Name | Attempts | Real Successes | Failures | Incomplete |
---|---|---|---|---|
Total | 312252910 | 312168882 | 0 | 0 |
T1 | 149968 | 149963 | 0 | 0 |
T2 | 572665 | 572552 | 0 | 0 |
T3 | 510515 | 510457 | 0 | 0 |
T4 | 273933 | 273765 | 0 | 0 |
T33 | 123646 | 123269 | 0 | 0 |
T59 | 128774 | 128712 | 0 | 0 |
T60 | 239585 | 239527 | 0 | 0 |
T98 | 228885 | 228834 | 0 | 0 |
T102 | 108799 | 108793 | 0 | 0 |
T132 | 111181 | 111176 | 0 | 0 |
Name | Attempts | Real Successes | Failures | Incomplete |
---|---|---|---|---|
Total | 312252910 | 312162907 | 0 | 2535 |
T1 | 149968 | 149962 | 0 | 3 |
T2 | 572665 | 572544 | 0 | 3 |
T3 | 510515 | 510453 | 0 | 3 |
T4 | 273933 | 273753 | 0 | 3 |
T33 | 123646 | 123257 | 0 | 3 |
T59 | 128774 | 128708 | 0 | 3 |
T60 | 239585 | 239523 | 0 | 3 |
T98 | 228885 | 228830 | 0 | 3 |
T102 | 108799 | 108793 | 0 | 3 |
T132 | 111181 | 111176 | 0 | 3 |
0% | 10% | 20% | 30% | 40% | 50% | 60% | 70% | 80% | 90% | 100% |