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 | 759336540 | 0 | 0 |
Name | Attempts | Real Successes | Failures | Incomplete |
---|---|---|---|---|
Total | 2147483647 | 759336540 | 0 | 0 |
T1 | 2456680 | 313440 | 0 | 0 |
T2 | 2676100 | 3252000 | 0 | 0 |
T3 | 2596900 | 759600 | 0 | 0 |
T4 | 182880 | 3600 | 0 | 0 |
T7 | 1971980 | 74400 | 0 | 0 |
T34 | 724340 | 1310880 | 0 | 0 |
T35 | 55485 | 7440 | 0 | 0 |
T36 | 12865 | 0 | 0 | 0 |
T37 | 962245 | 1326240 | 0 | 0 |
T38 | 799405 | 103680 | 0 | 0 |
T39 | 0 | 1600800 | 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 | 151867308 | 0 | 0 |
Name | Attempts | Real Successes | Failures | Incomplete |
---|---|---|---|---|
Total | 2147483647 | 151867308 | 0 | 0 |
T1 | 491336 | 62688 | 0 | 0 |
T2 | 535220 | 650400 | 0 | 0 |
T3 | 519380 | 151920 | 0 | 0 |
T4 | 36576 | 720 | 0 | 0 |
T7 | 394396 | 14880 | 0 | 0 |
T34 | 144868 | 262176 | 0 | 0 |
T35 | 11097 | 1488 | 0 | 0 |
T36 | 2573 | 0 | 0 | 0 |
T37 | 192449 | 265248 | 0 | 0 |
T38 | 159881 | 20736 | 0 | 0 |
T39 | 0 | 320160 | 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 | 151867308 | 0 | 0 |
Name | Attempts | Real Successes | Failures | Incomplete |
---|---|---|---|---|
Total | 2147483647 | 151867308 | 0 | 0 |
T1 | 491336 | 62688 | 0 | 0 |
T2 | 535220 | 650400 | 0 | 0 |
T3 | 519380 | 151920 | 0 | 0 |
T4 | 36576 | 720 | 0 | 0 |
T7 | 394396 | 14880 | 0 | 0 |
T34 | 144868 | 262176 | 0 | 0 |
T35 | 11097 | 1488 | 0 | 0 |
T36 | 2573 | 0 | 0 | 0 |
T37 | 192449 | 265248 | 0 | 0 |
T38 | 159881 | 20736 | 0 | 0 |
T39 | 0 | 320160 | 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 | 151867308 | 0 | 0 |
Name | Attempts | Real Successes | Failures | Incomplete |
---|---|---|---|---|
Total | 2147483647 | 151867308 | 0 | 0 |
T1 | 491336 | 62688 | 0 | 0 |
T2 | 535220 | 650400 | 0 | 0 |
T3 | 519380 | 151920 | 0 | 0 |
T4 | 36576 | 720 | 0 | 0 |
T7 | 394396 | 14880 | 0 | 0 |
T34 | 144868 | 262176 | 0 | 0 |
T35 | 11097 | 1488 | 0 | 0 |
T36 | 2573 | 0 | 0 | 0 |
T37 | 192449 | 265248 | 0 | 0 |
T38 | 159881 | 20736 | 0 | 0 |
T39 | 0 | 320160 | 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 | 151867308 | 0 | 0 |
Name | Attempts | Real Successes | Failures | Incomplete |
---|---|---|---|---|
Total | 2147483647 | 151867308 | 0 | 0 |
T1 | 491336 | 62688 | 0 | 0 |
T2 | 535220 | 650400 | 0 | 0 |
T3 | 519380 | 151920 | 0 | 0 |
T4 | 36576 | 720 | 0 | 0 |
T7 | 394396 | 14880 | 0 | 0 |
T34 | 144868 | 262176 | 0 | 0 |
T35 | 11097 | 1488 | 0 | 0 |
T36 | 2573 | 0 | 0 | 0 |
T37 | 192449 | 265248 | 0 | 0 |
T38 | 159881 | 20736 | 0 | 0 |
T39 | 0 | 320160 | 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 | 151867308 | 0 | 0 |
Name | Attempts | Real Successes | Failures | Incomplete |
---|---|---|---|---|
Total | 2147483647 | 151867308 | 0 | 0 |
T1 | 491336 | 62688 | 0 | 0 |
T2 | 535220 | 650400 | 0 | 0 |
T3 | 519380 | 151920 | 0 | 0 |
T4 | 36576 | 720 | 0 | 0 |
T7 | 394396 | 14880 | 0 | 0 |
T34 | 144868 | 262176 | 0 | 0 |
T35 | 11097 | 1488 | 0 | 0 |
T36 | 2573 | 0 | 0 | 0 |
T37 | 192449 | 265248 | 0 | 0 |
T38 | 159881 | 20736 | 0 | 0 |
T39 | 0 | 320160 | 0 | 0 |
0% | 10% | 20% | 30% | 40% | 50% | 60% | 70% | 80% | 90% | 100% |