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.37 | 100.00 | 98.75 | 98.73 | 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.37 | 100.00 | 98.75 | 98.73 | 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.37 | 100.00 | 98.75 | 98.73 | 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.37 | 100.00 | 98.75 | 98.73 | 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.37 | 100.00 | 98.75 | 98.73 | 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 | 774913070 | 0 | 0 |
Name | Attempts | Real Successes | Failures | Incomplete |
---|---|---|---|---|
Total | 2147483647 | 774913070 | 0 | 0 |
T1 | 2214015 | 306720 | 0 | 0 |
T2 | 861935 | 44640 | 0 | 0 |
T3 | 731335 | 1310880 | 0 | 0 |
T4 | 9020 | 0 | 0 | 0 |
T5 | 1010695 | 1330080 | 0 | 0 |
T6 | 1042560 | 473280 | 0 | 0 |
T7 | 62315 | 7440 | 0 | 0 |
T8 | 565840 | 85440 | 0 | 0 |
T10 | 91970 | 7440 | 0 | 0 |
T11 | 4915 | 0 | 0 | 0 |
T40 | 0 | 1302480 | 0 | 0 |
T42 | 0 | 1310880 | 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 | 154982614 | 0 | 0 |
Name | Attempts | Real Successes | Failures | Incomplete |
---|---|---|---|---|
Total | 2147483647 | 154982614 | 0 | 0 |
T1 | 442803 | 61344 | 0 | 0 |
T2 | 172387 | 8928 | 0 | 0 |
T3 | 146267 | 262176 | 0 | 0 |
T4 | 1804 | 0 | 0 | 0 |
T5 | 202139 | 266016 | 0 | 0 |
T6 | 208512 | 94656 | 0 | 0 |
T7 | 12463 | 1488 | 0 | 0 |
T8 | 113168 | 17088 | 0 | 0 |
T10 | 18394 | 1488 | 0 | 0 |
T11 | 983 | 0 | 0 | 0 |
T40 | 0 | 260496 | 0 | 0 |
T42 | 0 | 262176 | 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 | 154982614 | 0 | 0 |
Name | Attempts | Real Successes | Failures | Incomplete |
---|---|---|---|---|
Total | 2147483647 | 154982614 | 0 | 0 |
T1 | 442803 | 61344 | 0 | 0 |
T2 | 172387 | 8928 | 0 | 0 |
T3 | 146267 | 262176 | 0 | 0 |
T4 | 1804 | 0 | 0 | 0 |
T5 | 202139 | 266016 | 0 | 0 |
T6 | 208512 | 94656 | 0 | 0 |
T7 | 12463 | 1488 | 0 | 0 |
T8 | 113168 | 17088 | 0 | 0 |
T10 | 18394 | 1488 | 0 | 0 |
T11 | 983 | 0 | 0 | 0 |
T40 | 0 | 260496 | 0 | 0 |
T42 | 0 | 262176 | 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 | 154982614 | 0 | 0 |
Name | Attempts | Real Successes | Failures | Incomplete |
---|---|---|---|---|
Total | 2147483647 | 154982614 | 0 | 0 |
T1 | 442803 | 61344 | 0 | 0 |
T2 | 172387 | 8928 | 0 | 0 |
T3 | 146267 | 262176 | 0 | 0 |
T4 | 1804 | 0 | 0 | 0 |
T5 | 202139 | 266016 | 0 | 0 |
T6 | 208512 | 94656 | 0 | 0 |
T7 | 12463 | 1488 | 0 | 0 |
T8 | 113168 | 17088 | 0 | 0 |
T10 | 18394 | 1488 | 0 | 0 |
T11 | 983 | 0 | 0 | 0 |
T40 | 0 | 260496 | 0 | 0 |
T42 | 0 | 262176 | 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 | 154982614 | 0 | 0 |
Name | Attempts | Real Successes | Failures | Incomplete |
---|---|---|---|---|
Total | 2147483647 | 154982614 | 0 | 0 |
T1 | 442803 | 61344 | 0 | 0 |
T2 | 172387 | 8928 | 0 | 0 |
T3 | 146267 | 262176 | 0 | 0 |
T4 | 1804 | 0 | 0 | 0 |
T5 | 202139 | 266016 | 0 | 0 |
T6 | 208512 | 94656 | 0 | 0 |
T7 | 12463 | 1488 | 0 | 0 |
T8 | 113168 | 17088 | 0 | 0 |
T10 | 18394 | 1488 | 0 | 0 |
T11 | 983 | 0 | 0 | 0 |
T40 | 0 | 260496 | 0 | 0 |
T42 | 0 | 262176 | 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 | 154982614 | 0 | 0 |
Name | Attempts | Real Successes | Failures | Incomplete |
---|---|---|---|---|
Total | 2147483647 | 154982614 | 0 | 0 |
T1 | 442803 | 61344 | 0 | 0 |
T2 | 172387 | 8928 | 0 | 0 |
T3 | 146267 | 262176 | 0 | 0 |
T4 | 1804 | 0 | 0 | 0 |
T5 | 202139 | 266016 | 0 | 0 |
T6 | 208512 | 94656 | 0 | 0 |
T7 | 12463 | 1488 | 0 | 0 |
T8 | 113168 | 17088 | 0 | 0 |
T10 | 18394 | 1488 | 0 | 0 |
T11 | 983 | 0 | 0 | 0 |
T40 | 0 | 260496 | 0 | 0 |
T42 | 0 | 262176 | 0 | 0 |
0% | 10% | 20% | 30% | 40% | 50% | 60% | 70% | 80% | 90% | 100% |