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.41 | 99.34 | 100.00 | 98.31 | 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.41 | 99.34 | 100.00 | 98.31 | 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.41 | 99.34 | 100.00 | 98.31 | 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.41 | 99.34 | 100.00 | 98.31 | 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.41 | 99.34 | 100.00 | 98.31 | 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.74 | 96.47 | 89.29 | 99.75 | 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.74 | 96.47 | 89.29 | 99.75 | 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 | 8919 | 8919 | 0 | 0 |
OutputsKnown_A | 1767283035 | 1762476169 | 0 | 0 |
gen_flops.OutputDelay_A | 1413480546 | 1410603724 | 0 | 17778 |
gen_no_flops.OutputDelay_A | 353802489 | 351830841 | 0 | 0 |
Name | Attempts | Real Successes | Failures | Incomplete |
---|---|---|---|---|
Total | 8919 | 8919 | 0 | 0 |
T4 | 9 | 9 | 0 | 0 |
T5 | 9 | 9 | 0 | 0 |
T6 | 9 | 9 | 0 | 0 |
T18 | 9 | 9 | 0 | 0 |
T19 | 9 | 9 | 0 | 0 |
T20 | 9 | 9 | 0 | 0 |
T45 | 9 | 9 | 0 | 0 |
T62 | 9 | 9 | 0 | 0 |
T82 | 9 | 9 | 0 | 0 |
T83 | 9 | 9 | 0 | 0 |
Name | Attempts | Real Successes | Failures | Incomplete |
---|---|---|---|---|
Total | 1767283035 | 1762476169 | 0 | 0 |
T4 | 2417773 | 2413572 | 0 | 0 |
T5 | 891844 | 885529 | 0 | 0 |
T6 | 151552 | 146004 | 0 | 0 |
T18 | 314508 | 309421 | 0 | 0 |
T19 | 384366 | 379826 | 0 | 0 |
T20 | 641494 | 637075 | 0 | 0 |
T45 | 1382303 | 1377183 | 0 | 0 |
T62 | 2429827 | 2426115 | 0 | 0 |
T82 | 1026625 | 1023200 | 0 | 0 |
T83 | 631653 | 626471 | 0 | 0 |
Name | Attempts | Real Successes | Failures | Incomplete |
---|---|---|---|---|
Total | 1413480546 | 1410603724 | 0 | 17778 |
T4 | 1889500 | 1886736 | 0 | 18 |
T5 | 714724 | 710974 | 0 | 18 |
T6 | 120022 | 116778 | 0 | 18 |
T18 | 251214 | 248236 | 0 | 18 |
T19 | 304560 | 301892 | 0 | 18 |
T20 | 513808 | 511138 | 0 | 0 |
T45 | 1109486 | 1106418 | 0 | 18 |
T58 | 0 | 0 | 0 | 18 |
T62 | 1907146 | 1904652 | 0 | 18 |
T82 | 823810 | 821708 | 0 | 18 |
T83 | 505698 | 502586 | 0 | 18 |
Name | Attempts | Real Successes | Failures | Incomplete |
---|---|---|---|---|
Total | 353802489 | 351830841 | 0 | 0 |
T4 | 528273 | 526716 | 0 | 0 |
T5 | 177120 | 174507 | 0 | 0 |
T6 | 31530 | 29202 | 0 | 0 |
T18 | 63294 | 61161 | 0 | 0 |
T19 | 79806 | 77910 | 0 | 0 |
T20 | 127686 | 125889 | 0 | 0 |
T45 | 272817 | 270717 | 0 | 0 |
T62 | 522681 | 521343 | 0 | 0 |
T82 | 202815 | 201444 | 0 | 0 |
T83 | 125955 | 123837 | 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 | 991 | 991 | 0 | 0 |
OutputsKnown_A | 117934163 | 117276947 | 0 | 0 |
gen_flops.OutputDelay_A | 117934163 | 117270207 | 0 | 2964 |
Name | Attempts | Real Successes | Failures | Incomplete |
---|---|---|---|---|
Total | 991 | 991 | 0 | 0 |
T4 | 1 | 1 | 0 | 0 |
T5 | 1 | 1 | 0 | 0 |
T6 | 1 | 1 | 0 | 0 |
T18 | 1 | 1 | 0 | 0 |
T19 | 1 | 1 | 0 | 0 |
T20 | 1 | 1 | 0 | 0 |
T45 | 1 | 1 | 0 | 0 |
T62 | 1 | 1 | 0 | 0 |
T82 | 1 | 1 | 0 | 0 |
T83 | 1 | 1 | 0 | 0 |
Name | Attempts | Real Successes | Failures | Incomplete |
---|---|---|---|---|
Total | 117934163 | 117276947 | 0 | 0 |
T4 | 176091 | 175572 | 0 | 0 |
T5 | 59040 | 58169 | 0 | 0 |
T6 | 10510 | 9734 | 0 | 0 |
T18 | 21098 | 20387 | 0 | 0 |
T19 | 26602 | 25970 | 0 | 0 |
T20 | 42562 | 41963 | 0 | 0 |
T45 | 90939 | 90239 | 0 | 0 |
T62 | 174227 | 173781 | 0 | 0 |
T82 | 67605 | 67148 | 0 | 0 |
T83 | 41985 | 41279 | 0 | 0 |
Name | Attempts | Real Successes | Failures | Incomplete |
---|---|---|---|---|
Total | 117934163 | 117270207 | 0 | 2964 |
T4 | 176091 | 175552 | 0 | 3 |
T5 | 59040 | 58161 | 0 | 3 |
T6 | 10510 | 9730 | 0 | 3 |
T18 | 21098 | 20383 | 0 | 3 |
T19 | 26602 | 25966 | 0 | 3 |
T20 | 42562 | 41955 | 0 | 0 |
T45 | 90939 | 90231 | 0 | 3 |
T58 | 0 | 0 | 0 | 3 |
T62 | 174227 | 173761 | 0 | 3 |
T82 | 67605 | 67140 | 0 | 3 |
T83 | 41985 | 41271 | 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 | 991 | 991 | 0 | 0 |
OutputsKnown_A | 117934163 | 117276947 | 0 | 0 |
gen_flops.OutputDelay_A | 117934163 | 117270207 | 0 | 2964 |
Name | Attempts | Real Successes | Failures | Incomplete |
---|---|---|---|---|
Total | 991 | 991 | 0 | 0 |
T4 | 1 | 1 | 0 | 0 |
T5 | 1 | 1 | 0 | 0 |
T6 | 1 | 1 | 0 | 0 |
T18 | 1 | 1 | 0 | 0 |
T19 | 1 | 1 | 0 | 0 |
T20 | 1 | 1 | 0 | 0 |
T45 | 1 | 1 | 0 | 0 |
T62 | 1 | 1 | 0 | 0 |
T82 | 1 | 1 | 0 | 0 |
T83 | 1 | 1 | 0 | 0 |
Name | Attempts | Real Successes | Failures | Incomplete |
---|---|---|---|---|
Total | 117934163 | 117276947 | 0 | 0 |
T4 | 176091 | 175572 | 0 | 0 |
T5 | 59040 | 58169 | 0 | 0 |
T6 | 10510 | 9734 | 0 | 0 |
T18 | 21098 | 20387 | 0 | 0 |
T19 | 26602 | 25970 | 0 | 0 |
T20 | 42562 | 41963 | 0 | 0 |
T45 | 90939 | 90239 | 0 | 0 |
T62 | 174227 | 173781 | 0 | 0 |
T82 | 67605 | 67148 | 0 | 0 |
T83 | 41985 | 41279 | 0 | 0 |
Name | Attempts | Real Successes | Failures | Incomplete |
---|---|---|---|---|
Total | 117934163 | 117270207 | 0 | 2964 |
T4 | 176091 | 175552 | 0 | 3 |
T5 | 59040 | 58161 | 0 | 3 |
T6 | 10510 | 9730 | 0 | 3 |
T18 | 21098 | 20383 | 0 | 3 |
T19 | 26602 | 25966 | 0 | 3 |
T20 | 42562 | 41955 | 0 | 0 |
T45 | 90939 | 90231 | 0 | 3 |
T58 | 0 | 0 | 0 | 3 |
T62 | 174227 | 173761 | 0 | 3 |
T82 | 67605 | 67140 | 0 | 3 |
T83 | 41985 | 41271 | 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 | 991 | 991 | 0 | 0 |
OutputsKnown_A | 117934163 | 117276947 | 0 | 0 |
gen_flops.OutputDelay_A | 117934163 | 117270207 | 0 | 2964 |
Name | Attempts | Real Successes | Failures | Incomplete |
---|---|---|---|---|
Total | 991 | 991 | 0 | 0 |
T4 | 1 | 1 | 0 | 0 |
T5 | 1 | 1 | 0 | 0 |
T6 | 1 | 1 | 0 | 0 |
T18 | 1 | 1 | 0 | 0 |
T19 | 1 | 1 | 0 | 0 |
T20 | 1 | 1 | 0 | 0 |
T45 | 1 | 1 | 0 | 0 |
T62 | 1 | 1 | 0 | 0 |
T82 | 1 | 1 | 0 | 0 |
T83 | 1 | 1 | 0 | 0 |
Name | Attempts | Real Successes | Failures | Incomplete |
---|---|---|---|---|
Total | 117934163 | 117276947 | 0 | 0 |
T4 | 176091 | 175572 | 0 | 0 |
T5 | 59040 | 58169 | 0 | 0 |
T6 | 10510 | 9734 | 0 | 0 |
T18 | 21098 | 20387 | 0 | 0 |
T19 | 26602 | 25970 | 0 | 0 |
T20 | 42562 | 41963 | 0 | 0 |
T45 | 90939 | 90239 | 0 | 0 |
T62 | 174227 | 173781 | 0 | 0 |
T82 | 67605 | 67148 | 0 | 0 |
T83 | 41985 | 41279 | 0 | 0 |
Name | Attempts | Real Successes | Failures | Incomplete |
---|---|---|---|---|
Total | 117934163 | 117270207 | 0 | 2964 |
T4 | 176091 | 175552 | 0 | 3 |
T5 | 59040 | 58161 | 0 | 3 |
T6 | 10510 | 9730 | 0 | 3 |
T18 | 21098 | 20383 | 0 | 3 |
T19 | 26602 | 25966 | 0 | 3 |
T20 | 42562 | 41955 | 0 | 0 |
T45 | 90939 | 90231 | 0 | 3 |
T58 | 0 | 0 | 0 | 3 |
T62 | 174227 | 173761 | 0 | 3 |
T82 | 67605 | 67140 | 0 | 3 |
T83 | 41985 | 41271 | 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 | 991 | 991 | 0 | 0 |
OutputsKnown_A | 117934163 | 117276947 | 0 | 0 |
gen_flops.OutputDelay_A | 117934163 | 117270207 | 0 | 2964 |
Name | Attempts | Real Successes | Failures | Incomplete |
---|---|---|---|---|
Total | 991 | 991 | 0 | 0 |
T4 | 1 | 1 | 0 | 0 |
T5 | 1 | 1 | 0 | 0 |
T6 | 1 | 1 | 0 | 0 |
T18 | 1 | 1 | 0 | 0 |
T19 | 1 | 1 | 0 | 0 |
T20 | 1 | 1 | 0 | 0 |
T45 | 1 | 1 | 0 | 0 |
T62 | 1 | 1 | 0 | 0 |
T82 | 1 | 1 | 0 | 0 |
T83 | 1 | 1 | 0 | 0 |
Name | Attempts | Real Successes | Failures | Incomplete |
---|---|---|---|---|
Total | 117934163 | 117276947 | 0 | 0 |
T4 | 176091 | 175572 | 0 | 0 |
T5 | 59040 | 58169 | 0 | 0 |
T6 | 10510 | 9734 | 0 | 0 |
T18 | 21098 | 20387 | 0 | 0 |
T19 | 26602 | 25970 | 0 | 0 |
T20 | 42562 | 41963 | 0 | 0 |
T45 | 90939 | 90239 | 0 | 0 |
T62 | 174227 | 173781 | 0 | 0 |
T82 | 67605 | 67148 | 0 | 0 |
T83 | 41985 | 41279 | 0 | 0 |
Name | Attempts | Real Successes | Failures | Incomplete |
---|---|---|---|---|
Total | 117934163 | 117270207 | 0 | 2964 |
T4 | 176091 | 175552 | 0 | 3 |
T5 | 59040 | 58161 | 0 | 3 |
T6 | 10510 | 9730 | 0 | 3 |
T18 | 21098 | 20383 | 0 | 3 |
T19 | 26602 | 25966 | 0 | 3 |
T20 | 42562 | 41955 | 0 | 0 |
T45 | 90939 | 90231 | 0 | 3 |
T58 | 0 | 0 | 0 | 3 |
T62 | 174227 | 173761 | 0 | 3 |
T82 | 67605 | 67140 | 0 | 3 |
T83 | 41985 | 41271 | 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 | 991 | 991 | 0 | 0 |
OutputsKnown_A | 117934163 | 117276947 | 0 | 0 |
gen_no_flops.OutputDelay_A | 117934163 | 117276947 | 0 | 0 |
Name | Attempts | Real Successes | Failures | Incomplete |
---|---|---|---|---|
Total | 991 | 991 | 0 | 0 |
T4 | 1 | 1 | 0 | 0 |
T5 | 1 | 1 | 0 | 0 |
T6 | 1 | 1 | 0 | 0 |
T18 | 1 | 1 | 0 | 0 |
T19 | 1 | 1 | 0 | 0 |
T20 | 1 | 1 | 0 | 0 |
T45 | 1 | 1 | 0 | 0 |
T62 | 1 | 1 | 0 | 0 |
T82 | 1 | 1 | 0 | 0 |
T83 | 1 | 1 | 0 | 0 |
Name | Attempts | Real Successes | Failures | Incomplete |
---|---|---|---|---|
Total | 117934163 | 117276947 | 0 | 0 |
T4 | 176091 | 175572 | 0 | 0 |
T5 | 59040 | 58169 | 0 | 0 |
T6 | 10510 | 9734 | 0 | 0 |
T18 | 21098 | 20387 | 0 | 0 |
T19 | 26602 | 25970 | 0 | 0 |
T20 | 42562 | 41963 | 0 | 0 |
T45 | 90939 | 90239 | 0 | 0 |
T62 | 174227 | 173781 | 0 | 0 |
T82 | 67605 | 67148 | 0 | 0 |
T83 | 41985 | 41279 | 0 | 0 |
Name | Attempts | Real Successes | Failures | Incomplete |
---|---|---|---|---|
Total | 117934163 | 117276947 | 0 | 0 |
T4 | 176091 | 175572 | 0 | 0 |
T5 | 59040 | 58169 | 0 | 0 |
T6 | 10510 | 9734 | 0 | 0 |
T18 | 21098 | 20387 | 0 | 0 |
T19 | 26602 | 25970 | 0 | 0 |
T20 | 42562 | 41963 | 0 | 0 |
T45 | 90939 | 90239 | 0 | 0 |
T62 | 174227 | 173781 | 0 | 0 |
T82 | 67605 | 67148 | 0 | 0 |
T83 | 41985 | 41279 | 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 | 991 | 991 | 0 | 0 |
OutputsKnown_A | 117934163 | 117276947 | 0 | 0 |
gen_no_flops.OutputDelay_A | 117934163 | 117276947 | 0 | 0 |
Name | Attempts | Real Successes | Failures | Incomplete |
---|---|---|---|---|
Total | 991 | 991 | 0 | 0 |
T4 | 1 | 1 | 0 | 0 |
T5 | 1 | 1 | 0 | 0 |
T6 | 1 | 1 | 0 | 0 |
T18 | 1 | 1 | 0 | 0 |
T19 | 1 | 1 | 0 | 0 |
T20 | 1 | 1 | 0 | 0 |
T45 | 1 | 1 | 0 | 0 |
T62 | 1 | 1 | 0 | 0 |
T82 | 1 | 1 | 0 | 0 |
T83 | 1 | 1 | 0 | 0 |
Name | Attempts | Real Successes | Failures | Incomplete |
---|---|---|---|---|
Total | 117934163 | 117276947 | 0 | 0 |
T4 | 176091 | 175572 | 0 | 0 |
T5 | 59040 | 58169 | 0 | 0 |
T6 | 10510 | 9734 | 0 | 0 |
T18 | 21098 | 20387 | 0 | 0 |
T19 | 26602 | 25970 | 0 | 0 |
T20 | 42562 | 41963 | 0 | 0 |
T45 | 90939 | 90239 | 0 | 0 |
T62 | 174227 | 173781 | 0 | 0 |
T82 | 67605 | 67148 | 0 | 0 |
T83 | 41985 | 41279 | 0 | 0 |
Name | Attempts | Real Successes | Failures | Incomplete |
---|---|---|---|---|
Total | 117934163 | 117276947 | 0 | 0 |
T4 | 176091 | 175572 | 0 | 0 |
T5 | 59040 | 58169 | 0 | 0 |
T6 | 10510 | 9734 | 0 | 0 |
T18 | 21098 | 20387 | 0 | 0 |
T19 | 26602 | 25970 | 0 | 0 |
T20 | 42562 | 41963 | 0 | 0 |
T45 | 90939 | 90239 | 0 | 0 |
T62 | 174227 | 173781 | 0 | 0 |
T82 | 67605 | 67148 | 0 | 0 |
T83 | 41985 | 41279 | 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 | 991 | 991 | 0 | 0 |
OutputsKnown_A | 117934163 | 117276947 | 0 | 0 |
gen_no_flops.OutputDelay_A | 117934163 | 117276947 | 0 | 0 |
Name | Attempts | Real Successes | Failures | Incomplete |
---|---|---|---|---|
Total | 991 | 991 | 0 | 0 |
T4 | 1 | 1 | 0 | 0 |
T5 | 1 | 1 | 0 | 0 |
T6 | 1 | 1 | 0 | 0 |
T18 | 1 | 1 | 0 | 0 |
T19 | 1 | 1 | 0 | 0 |
T20 | 1 | 1 | 0 | 0 |
T45 | 1 | 1 | 0 | 0 |
T62 | 1 | 1 | 0 | 0 |
T82 | 1 | 1 | 0 | 0 |
T83 | 1 | 1 | 0 | 0 |
Name | Attempts | Real Successes | Failures | Incomplete |
---|---|---|---|---|
Total | 117934163 | 117276947 | 0 | 0 |
T4 | 176091 | 175572 | 0 | 0 |
T5 | 59040 | 58169 | 0 | 0 |
T6 | 10510 | 9734 | 0 | 0 |
T18 | 21098 | 20387 | 0 | 0 |
T19 | 26602 | 25970 | 0 | 0 |
T20 | 42562 | 41963 | 0 | 0 |
T45 | 90939 | 90239 | 0 | 0 |
T62 | 174227 | 173781 | 0 | 0 |
T82 | 67605 | 67148 | 0 | 0 |
T83 | 41985 | 41279 | 0 | 0 |
Name | Attempts | Real Successes | Failures | Incomplete |
---|---|---|---|---|
Total | 117934163 | 117276947 | 0 | 0 |
T4 | 176091 | 175572 | 0 | 0 |
T5 | 59040 | 58169 | 0 | 0 |
T6 | 10510 | 9734 | 0 | 0 |
T18 | 21098 | 20387 | 0 | 0 |
T19 | 26602 | 25970 | 0 | 0 |
T20 | 42562 | 41963 | 0 | 0 |
T45 | 90939 | 90239 | 0 | 0 |
T62 | 174227 | 173781 | 0 | 0 |
T82 | 67605 | 67148 | 0 | 0 |
T83 | 41985 | 41279 | 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 | 991 | 991 | 0 | 0 |
OutputsKnown_A | 470871947 | 470768770 | 0 | 0 |
gen_flops.OutputDelay_A | 470871947 | 470761448 | 0 | 2961 |
Name | Attempts | Real Successes | Failures | Incomplete |
---|---|---|---|---|
Total | 991 | 991 | 0 | 0 |
T4 | 1 | 1 | 0 | 0 |
T5 | 1 | 1 | 0 | 0 |
T6 | 1 | 1 | 0 | 0 |
T18 | 1 | 1 | 0 | 0 |
T19 | 1 | 1 | 0 | 0 |
T20 | 1 | 1 | 0 | 0 |
T45 | 1 | 1 | 0 | 0 |
T62 | 1 | 1 | 0 | 0 |
T82 | 1 | 1 | 0 | 0 |
T83 | 1 | 1 | 0 | 0 |
Name | Attempts | Real Successes | Failures | Incomplete |
---|---|---|---|---|
Total | 470871947 | 470768770 | 0 | 0 |
T4 | 592568 | 592284 | 0 | 0 |
T5 | 239282 | 239173 | 0 | 0 |
T6 | 38991 | 38933 | 0 | 0 |
T18 | 83411 | 83356 | 0 | 0 |
T19 | 99076 | 99018 | 0 | 0 |
T20 | 171780 | 171667 | 0 | 0 |
T45 | 372865 | 372755 | 0 | 0 |
T62 | 605119 | 604824 | 0 | 0 |
T82 | 276695 | 276582 | 0 | 0 |
T83 | 168879 | 168759 | 0 | 0 |
Name | Attempts | Real Successes | Failures | Incomplete |
---|---|---|---|---|
Total | 470871947 | 470761448 | 0 | 2961 |
T4 | 592568 | 592264 | 0 | 3 |
T5 | 239282 | 239165 | 0 | 3 |
T6 | 38991 | 38929 | 0 | 3 |
T18 | 83411 | 83352 | 0 | 3 |
T19 | 99076 | 99014 | 0 | 3 |
T20 | 171780 | 171659 | 0 | 0 |
T45 | 372865 | 372747 | 0 | 3 |
T58 | 0 | 0 | 0 | 3 |
T62 | 605119 | 604804 | 0 | 3 |
T82 | 276695 | 276574 | 0 | 3 |
T83 | 168879 | 168751 | 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 | 991 | 991 | 0 | 0 |
OutputsKnown_A | 470871947 | 470768770 | 0 | 0 |
gen_flops.OutputDelay_A | 470871947 | 470761448 | 0 | 2961 |
Name | Attempts | Real Successes | Failures | Incomplete |
---|---|---|---|---|
Total | 991 | 991 | 0 | 0 |
T4 | 1 | 1 | 0 | 0 |
T5 | 1 | 1 | 0 | 0 |
T6 | 1 | 1 | 0 | 0 |
T18 | 1 | 1 | 0 | 0 |
T19 | 1 | 1 | 0 | 0 |
T20 | 1 | 1 | 0 | 0 |
T45 | 1 | 1 | 0 | 0 |
T62 | 1 | 1 | 0 | 0 |
T82 | 1 | 1 | 0 | 0 |
T83 | 1 | 1 | 0 | 0 |
Name | Attempts | Real Successes | Failures | Incomplete |
---|---|---|---|---|
Total | 470871947 | 470768770 | 0 | 0 |
T4 | 592568 | 592284 | 0 | 0 |
T5 | 239282 | 239173 | 0 | 0 |
T6 | 38991 | 38933 | 0 | 0 |
T18 | 83411 | 83356 | 0 | 0 |
T19 | 99076 | 99018 | 0 | 0 |
T20 | 171780 | 171667 | 0 | 0 |
T45 | 372865 | 372755 | 0 | 0 |
T62 | 605119 | 604824 | 0 | 0 |
T82 | 276695 | 276582 | 0 | 0 |
T83 | 168879 | 168759 | 0 | 0 |
Name | Attempts | Real Successes | Failures | Incomplete |
---|---|---|---|---|
Total | 470871947 | 470761448 | 0 | 2961 |
T4 | 592568 | 592264 | 0 | 3 |
T5 | 239282 | 239165 | 0 | 3 |
T6 | 38991 | 38929 | 0 | 3 |
T18 | 83411 | 83352 | 0 | 3 |
T19 | 99076 | 99014 | 0 | 3 |
T20 | 171780 | 171659 | 0 | 0 |
T45 | 372865 | 372747 | 0 | 3 |
T58 | 0 | 0 | 0 | 3 |
T62 | 605119 | 604804 | 0 | 3 |
T82 | 276695 | 276574 | 0 | 3 |
T83 | 168879 | 168751 | 0 | 3 |
0% | 10% | 20% | 30% | 40% | 50% | 60% | 70% | 80% | 90% | 100% |