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.23 | 100.00 | 98.75 | 98.17 | 100.00 | u_keccak_p |
NAME | SCORE | LINE | COND | TOGGLE | FSM | BRANCH | ASSERT |
gen_inner_domain_regs.u_prim_flop_tab01 | 100.00 | 100.00 | 100.00 | ||||
u_prim_flop_t01 | 100.00 | 100.00 | 100.00 | ||||
u_prim_xor_q01 | 100.00 | 100.00 | |||||
u_prim_xor_t01 | 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.23 | 100.00 | 98.75 | 98.17 | 100.00 | u_keccak_p |
NAME | SCORE | LINE | COND | TOGGLE | FSM | BRANCH | ASSERT |
gen_inner_domain_regs.u_prim_flop_tab01 | 100.00 | 100.00 | 100.00 | ||||
u_prim_flop_t01 | 100.00 | 100.00 | 100.00 | ||||
u_prim_xor_q01 | 100.00 | 100.00 | |||||
u_prim_xor_t01 | 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.23 | 100.00 | 98.75 | 98.17 | 100.00 | u_keccak_p |
NAME | SCORE | LINE | COND | TOGGLE | FSM | BRANCH | ASSERT |
gen_inner_domain_regs.u_prim_flop_tab01 | 100.00 | 100.00 | 100.00 | ||||
u_prim_flop_t01 | 100.00 | 100.00 | 100.00 | ||||
u_prim_xor_q01 | 100.00 | 100.00 | |||||
u_prim_xor_t01 | 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.23 | 100.00 | 98.75 | 98.17 | 100.00 | u_keccak_p |
NAME | SCORE | LINE | COND | TOGGLE | FSM | BRANCH | ASSERT |
gen_inner_domain_regs.u_prim_flop_tab01 | 100.00 | 100.00 | 100.00 | ||||
u_prim_flop_t01 | 100.00 | 100.00 | 100.00 | ||||
u_prim_xor_q01 | 100.00 | 100.00 | |||||
u_prim_xor_t01 | 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.23 | 100.00 | 98.75 | 98.17 | 100.00 | u_keccak_p |
NAME | SCORE | LINE | COND | TOGGLE | FSM | BRANCH | ASSERT |
gen_inner_domain_regs.u_prim_flop_tab01 | 100.00 | 100.00 | 100.00 | ||||
u_prim_flop_t01 | 100.00 | 100.00 | 100.00 | ||||
u_prim_xor_q01 | 100.00 | 100.00 | |||||
u_prim_xor_t01 | 100.00 | 100.00 |
Line No. | Total | Covered | Percent | |
---|---|---|---|---|
TOTAL | 7 | 7 | 100.00 | |
CONT_ASSIGN | 56 | 1 | 1 | 100.00 |
CONT_ASSIGN | 57 | 1 | 1 | 100.00 |
CONT_ASSIGN | 60 | 1 | 1 | 100.00 |
CONT_ASSIGN | 61 | 1 | 1 | 100.00 |
CONT_ASSIGN | 110 | 1 | 1 | 100.00 |
CONT_ASSIGN | 111 | 1 | 1 | 100.00 |
CONT_ASSIGN | 142 | 1 | 1 | 100.00 |
Line No. | Covered | Statements | |
---|---|---|---|
56 | 1 | 1 | |
57 | 1 | 1 | |
60 | 1 | 1 | |
61 | 1 | 1 | |
110 | 1 | 1 | |
111 | 1 | 1 | |
142 | 1 | 1 |
Total | Attempted | Percent | Succeeded/Matched | Percent | |
---|---|---|---|---|---|
Assertions | 1 | 1 | 100.00 | 1 | 100.00 |
Cover properties | 0 | 0 | 0 | ||
Cover sequences | 0 | 0 | 0 | ||
Total | 1 | 1 | 100.00 | 1 | 100.00 |
Name | Attempts | Real Successes | Failures | Incomplete |
UnmaskedAndMatched_A | 2147483647 | 777270785 | 0 | 0 |
Name | Attempts | Real Successes | Failures | Incomplete |
---|---|---|---|---|
Total | 2147483647 | 777270785 | 0 | 0 |
T4 | 3543240 | 1310880 | 0 | 0 |
T5 | 766695 | 330720 | 0 | 0 |
T6 | 611725 | 42240 | 0 | 0 |
T10 | 739850 | 333840 | 0 | 0 |
T15 | 12645 | 200 | 0 | 0 |
T16 | 6490 | 0 | 0 | 0 |
T17 | 1195720 | 66240 | 0 | 0 |
T18 | 588870 | 320640 | 0 | 0 |
T19 | 2549845 | 83520 | 0 | 0 |
T20 | 731480 | 1921920 | 0 | 0 |
T21 | 0 | 7440 | 0 | 0 |
Line No. | Total | Covered | Percent | |
---|---|---|---|---|
TOTAL | 7 | 7 | 100.00 | |
CONT_ASSIGN | 56 | 1 | 1 | 100.00 |
CONT_ASSIGN | 57 | 1 | 1 | 100.00 |
CONT_ASSIGN | 60 | 1 | 1 | 100.00 |
CONT_ASSIGN | 61 | 1 | 1 | 100.00 |
CONT_ASSIGN | 110 | 1 | 1 | 100.00 |
CONT_ASSIGN | 111 | 1 | 1 | 100.00 |
CONT_ASSIGN | 142 | 1 | 1 | 100.00 |
Line No. | Covered | Statements | |
---|---|---|---|
56 | 1 | 1 | |
57 | 1 | 1 | |
60 | 1 | 1 | |
61 | 1 | 1 | |
110 | 1 | 1 | |
111 | 1 | 1 | |
142 | 1 | 1 |
Total | Attempted | Percent | Succeeded/Matched | Percent | |
---|---|---|---|---|---|
Assertions | 1 | 1 | 100.00 | 1 | 100.00 |
Cover properties | 0 | 0 | 0 | ||
Cover sequences | 0 | 0 | 0 | ||
Total | 1 | 1 | 100.00 | 1 | 100.00 |
Name | Attempts | Real Successes | Failures | Incomplete |
UnmaskedAndMatched_A | 2147483647 | 155454157 | 0 | 0 |
Name | Attempts | Real Successes | Failures | Incomplete |
---|---|---|---|---|
Total | 2147483647 | 155454157 | 0 | 0 |
T4 | 708648 | 262176 | 0 | 0 |
T5 | 153339 | 66144 | 0 | 0 |
T6 | 122345 | 8448 | 0 | 0 |
T10 | 147970 | 66768 | 0 | 0 |
T15 | 2529 | 40 | 0 | 0 |
T16 | 1298 | 0 | 0 | 0 |
T17 | 239144 | 13248 | 0 | 0 |
T18 | 117774 | 64128 | 0 | 0 |
T19 | 509969 | 16704 | 0 | 0 |
T20 | 146296 | 384384 | 0 | 0 |
T21 | 0 | 1488 | 0 | 0 |
Line No. | Total | Covered | Percent | |
---|---|---|---|---|
TOTAL | 7 | 7 | 100.00 | |
CONT_ASSIGN | 56 | 1 | 1 | 100.00 |
CONT_ASSIGN | 57 | 1 | 1 | 100.00 |
CONT_ASSIGN | 60 | 1 | 1 | 100.00 |
CONT_ASSIGN | 61 | 1 | 1 | 100.00 |
CONT_ASSIGN | 110 | 1 | 1 | 100.00 |
CONT_ASSIGN | 111 | 1 | 1 | 100.00 |
CONT_ASSIGN | 142 | 1 | 1 | 100.00 |
Line No. | Covered | Statements | |
---|---|---|---|
56 | 1 | 1 | |
57 | 1 | 1 | |
60 | 1 | 1 | |
61 | 1 | 1 | |
110 | 1 | 1 | |
111 | 1 | 1 | |
142 | 1 | 1 |
Total | Attempted | Percent | Succeeded/Matched | Percent | |
---|---|---|---|---|---|
Assertions | 1 | 1 | 100.00 | 1 | 100.00 |
Cover properties | 0 | 0 | 0 | ||
Cover sequences | 0 | 0 | 0 | ||
Total | 1 | 1 | 100.00 | 1 | 100.00 |
Name | Attempts | Real Successes | Failures | Incomplete |
UnmaskedAndMatched_A | 2147483647 | 155454157 | 0 | 0 |
Name | Attempts | Real Successes | Failures | Incomplete |
---|---|---|---|---|
Total | 2147483647 | 155454157 | 0 | 0 |
T4 | 708648 | 262176 | 0 | 0 |
T5 | 153339 | 66144 | 0 | 0 |
T6 | 122345 | 8448 | 0 | 0 |
T10 | 147970 | 66768 | 0 | 0 |
T15 | 2529 | 40 | 0 | 0 |
T16 | 1298 | 0 | 0 | 0 |
T17 | 239144 | 13248 | 0 | 0 |
T18 | 117774 | 64128 | 0 | 0 |
T19 | 509969 | 16704 | 0 | 0 |
T20 | 146296 | 384384 | 0 | 0 |
T21 | 0 | 1488 | 0 | 0 |
Line No. | Total | Covered | Percent | |
---|---|---|---|---|
TOTAL | 7 | 7 | 100.00 | |
CONT_ASSIGN | 56 | 1 | 1 | 100.00 |
CONT_ASSIGN | 57 | 1 | 1 | 100.00 |
CONT_ASSIGN | 60 | 1 | 1 | 100.00 |
CONT_ASSIGN | 61 | 1 | 1 | 100.00 |
CONT_ASSIGN | 110 | 1 | 1 | 100.00 |
CONT_ASSIGN | 111 | 1 | 1 | 100.00 |
CONT_ASSIGN | 142 | 1 | 1 | 100.00 |
Line No. | Covered | Statements | |
---|---|---|---|
56 | 1 | 1 | |
57 | 1 | 1 | |
60 | 1 | 1 | |
61 | 1 | 1 | |
110 | 1 | 1 | |
111 | 1 | 1 | |
142 | 1 | 1 |
Total | Attempted | Percent | Succeeded/Matched | Percent | |
---|---|---|---|---|---|
Assertions | 1 | 1 | 100.00 | 1 | 100.00 |
Cover properties | 0 | 0 | 0 | ||
Cover sequences | 0 | 0 | 0 | ||
Total | 1 | 1 | 100.00 | 1 | 100.00 |
Name | Attempts | Real Successes | Failures | Incomplete |
UnmaskedAndMatched_A | 2147483647 | 155454157 | 0 | 0 |
Name | Attempts | Real Successes | Failures | Incomplete |
---|---|---|---|---|
Total | 2147483647 | 155454157 | 0 | 0 |
T4 | 708648 | 262176 | 0 | 0 |
T5 | 153339 | 66144 | 0 | 0 |
T6 | 122345 | 8448 | 0 | 0 |
T10 | 147970 | 66768 | 0 | 0 |
T15 | 2529 | 40 | 0 | 0 |
T16 | 1298 | 0 | 0 | 0 |
T17 | 239144 | 13248 | 0 | 0 |
T18 | 117774 | 64128 | 0 | 0 |
T19 | 509969 | 16704 | 0 | 0 |
T20 | 146296 | 384384 | 0 | 0 |
T21 | 0 | 1488 | 0 | 0 |
Line No. | Total | Covered | Percent | |
---|---|---|---|---|
TOTAL | 7 | 7 | 100.00 | |
CONT_ASSIGN | 56 | 1 | 1 | 100.00 |
CONT_ASSIGN | 57 | 1 | 1 | 100.00 |
CONT_ASSIGN | 60 | 1 | 1 | 100.00 |
CONT_ASSIGN | 61 | 1 | 1 | 100.00 |
CONT_ASSIGN | 110 | 1 | 1 | 100.00 |
CONT_ASSIGN | 111 | 1 | 1 | 100.00 |
CONT_ASSIGN | 142 | 1 | 1 | 100.00 |
Line No. | Covered | Statements | |
---|---|---|---|
56 | 1 | 1 | |
57 | 1 | 1 | |
60 | 1 | 1 | |
61 | 1 | 1 | |
110 | 1 | 1 | |
111 | 1 | 1 | |
142 | 1 | 1 |
Total | Attempted | Percent | Succeeded/Matched | Percent | |
---|---|---|---|---|---|
Assertions | 1 | 1 | 100.00 | 1 | 100.00 |
Cover properties | 0 | 0 | 0 | ||
Cover sequences | 0 | 0 | 0 | ||
Total | 1 | 1 | 100.00 | 1 | 100.00 |
Name | Attempts | Real Successes | Failures | Incomplete |
UnmaskedAndMatched_A | 2147483647 | 155454157 | 0 | 0 |
Name | Attempts | Real Successes | Failures | Incomplete |
---|---|---|---|---|
Total | 2147483647 | 155454157 | 0 | 0 |
T4 | 708648 | 262176 | 0 | 0 |
T5 | 153339 | 66144 | 0 | 0 |
T6 | 122345 | 8448 | 0 | 0 |
T10 | 147970 | 66768 | 0 | 0 |
T15 | 2529 | 40 | 0 | 0 |
T16 | 1298 | 0 | 0 | 0 |
T17 | 239144 | 13248 | 0 | 0 |
T18 | 117774 | 64128 | 0 | 0 |
T19 | 509969 | 16704 | 0 | 0 |
T20 | 146296 | 384384 | 0 | 0 |
T21 | 0 | 1488 | 0 | 0 |
Line No. | Total | Covered | Percent | |
---|---|---|---|---|
TOTAL | 7 | 7 | 100.00 | |
CONT_ASSIGN | 56 | 1 | 1 | 100.00 |
CONT_ASSIGN | 57 | 1 | 1 | 100.00 |
CONT_ASSIGN | 60 | 1 | 1 | 100.00 |
CONT_ASSIGN | 61 | 1 | 1 | 100.00 |
CONT_ASSIGN | 110 | 1 | 1 | 100.00 |
CONT_ASSIGN | 111 | 1 | 1 | 100.00 |
CONT_ASSIGN | 142 | 1 | 1 | 100.00 |
Line No. | Covered | Statements | |
---|---|---|---|
56 | 1 | 1 | |
57 | 1 | 1 | |
60 | 1 | 1 | |
61 | 1 | 1 | |
110 | 1 | 1 | |
111 | 1 | 1 | |
142 | 1 | 1 |
Total | Attempted | Percent | Succeeded/Matched | Percent | |
---|---|---|---|---|---|
Assertions | 1 | 1 | 100.00 | 1 | 100.00 |
Cover properties | 0 | 0 | 0 | ||
Cover sequences | 0 | 0 | 0 | ||
Total | 1 | 1 | 100.00 | 1 | 100.00 |
Name | Attempts | Real Successes | Failures | Incomplete |
UnmaskedAndMatched_A | 2147483647 | 155454157 | 0 | 0 |
Name | Attempts | Real Successes | Failures | Incomplete |
---|---|---|---|---|
Total | 2147483647 | 155454157 | 0 | 0 |
T4 | 708648 | 262176 | 0 | 0 |
T5 | 153339 | 66144 | 0 | 0 |
T6 | 122345 | 8448 | 0 | 0 |
T10 | 147970 | 66768 | 0 | 0 |
T15 | 2529 | 40 | 0 | 0 |
T16 | 1298 | 0 | 0 | 0 |
T17 | 239144 | 13248 | 0 | 0 |
T18 | 117774 | 64128 | 0 | 0 |
T19 | 509969 | 16704 | 0 | 0 |
T20 | 146296 | 384384 | 0 | 0 |
T21 | 0 | 1488 | 0 | 0 |
0% | 10% | 20% | 30% | 40% | 50% | 60% | 70% | 80% | 90% | 100% |