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 | 769482530 | 0 | 0 |
Name | Attempts | Real Successes | Failures | Incomplete |
---|---|---|---|---|
Total | 2147483647 | 769482530 | 0 | 0 |
T1 | 1033185 | 1330080 | 0 | 0 |
T2 | 823020 | 100320 | 0 | 0 |
T3 | 109190 | 7440 | 0 | 0 |
T4 | 48530 | 4080 | 0 | 0 |
T5 | 68375 | 7440 | 0 | 0 |
T6 | 41005 | 5760 | 0 | 0 |
T9 | 132440 | 0 | 0 | 0 |
T10 | 3018435 | 1326240 | 0 | 0 |
T11 | 126860 | 14640 | 0 | 0 |
T12 | 961530 | 1326240 | 0 | 0 |
T43 | 0 | 244080 | 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 | 153896506 | 0 | 0 |
Name | Attempts | Real Successes | Failures | Incomplete |
---|---|---|---|---|
Total | 2147483647 | 153896506 | 0 | 0 |
T1 | 206637 | 266016 | 0 | 0 |
T2 | 164604 | 20064 | 0 | 0 |
T3 | 21838 | 1488 | 0 | 0 |
T4 | 9706 | 816 | 0 | 0 |
T5 | 13675 | 1488 | 0 | 0 |
T6 | 8201 | 1152 | 0 | 0 |
T9 | 26488 | 0 | 0 | 0 |
T10 | 603687 | 265248 | 0 | 0 |
T11 | 25372 | 2928 | 0 | 0 |
T12 | 192306 | 265248 | 0 | 0 |
T43 | 0 | 48816 | 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 | 153896506 | 0 | 0 |
Name | Attempts | Real Successes | Failures | Incomplete |
---|---|---|---|---|
Total | 2147483647 | 153896506 | 0 | 0 |
T1 | 206637 | 266016 | 0 | 0 |
T2 | 164604 | 20064 | 0 | 0 |
T3 | 21838 | 1488 | 0 | 0 |
T4 | 9706 | 816 | 0 | 0 |
T5 | 13675 | 1488 | 0 | 0 |
T6 | 8201 | 1152 | 0 | 0 |
T9 | 26488 | 0 | 0 | 0 |
T10 | 603687 | 265248 | 0 | 0 |
T11 | 25372 | 2928 | 0 | 0 |
T12 | 192306 | 265248 | 0 | 0 |
T43 | 0 | 48816 | 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 | 153896506 | 0 | 0 |
Name | Attempts | Real Successes | Failures | Incomplete |
---|---|---|---|---|
Total | 2147483647 | 153896506 | 0 | 0 |
T1 | 206637 | 266016 | 0 | 0 |
T2 | 164604 | 20064 | 0 | 0 |
T3 | 21838 | 1488 | 0 | 0 |
T4 | 9706 | 816 | 0 | 0 |
T5 | 13675 | 1488 | 0 | 0 |
T6 | 8201 | 1152 | 0 | 0 |
T9 | 26488 | 0 | 0 | 0 |
T10 | 603687 | 265248 | 0 | 0 |
T11 | 25372 | 2928 | 0 | 0 |
T12 | 192306 | 265248 | 0 | 0 |
T43 | 0 | 48816 | 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 | 153896506 | 0 | 0 |
Name | Attempts | Real Successes | Failures | Incomplete |
---|---|---|---|---|
Total | 2147483647 | 153896506 | 0 | 0 |
T1 | 206637 | 266016 | 0 | 0 |
T2 | 164604 | 20064 | 0 | 0 |
T3 | 21838 | 1488 | 0 | 0 |
T4 | 9706 | 816 | 0 | 0 |
T5 | 13675 | 1488 | 0 | 0 |
T6 | 8201 | 1152 | 0 | 0 |
T9 | 26488 | 0 | 0 | 0 |
T10 | 603687 | 265248 | 0 | 0 |
T11 | 25372 | 2928 | 0 | 0 |
T12 | 192306 | 265248 | 0 | 0 |
T43 | 0 | 48816 | 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 | 153896506 | 0 | 0 |
Name | Attempts | Real Successes | Failures | Incomplete |
---|---|---|---|---|
Total | 2147483647 | 153896506 | 0 | 0 |
T1 | 206637 | 266016 | 0 | 0 |
T2 | 164604 | 20064 | 0 | 0 |
T3 | 21838 | 1488 | 0 | 0 |
T4 | 9706 | 816 | 0 | 0 |
T5 | 13675 | 1488 | 0 | 0 |
T6 | 8201 | 1152 | 0 | 0 |
T9 | 26488 | 0 | 0 | 0 |
T10 | 603687 | 265248 | 0 | 0 |
T11 | 25372 | 2928 | 0 | 0 |
T12 | 192306 | 265248 | 0 | 0 |
T43 | 0 | 48816 | 0 | 0 |
0% | 10% | 20% | 30% | 40% | 50% | 60% | 70% | 80% | 90% | 100% |