Summary for Variable app_err
| CATEGORY | EXPECTED | UNCOVERED | COVERED | PERCENT | 
| Automatically Generated Bins | 
2 | 
1 | 
1 | 
50.00  | 
Automatically Generated Bins for app_err
Uncovered bins
| NAME | COUNT | AT LEAST | NUMBER | STATUS | 
| [auto[1]] | 
0 | 
1 | 
1 | 
 | 
Covered bins
| NAME | COUNT | AT LEAST | STATUS |  | TEST | COUNT |  | TEST | COUNT |  | TEST | COUNT | 
| auto[0] | 
151205 | 
1 | 
 | 
 | 
T1 | 
100 | 
 | 
T7 | 
190 | 
 | 
T8 | 
1275 | 
Summary for Variable data_strb
| CATEGORY | EXPECTED | UNCOVERED | COVERED | PERCENT | 
| User Defined Bins | 
8 | 
0 | 
8 | 
100.00 | 
User Defined Bins for data_strb
Excluded/Illegal bins
| NAME | COUNT | STATUS | 
| invalid | 
77060 | 
Excluded | 
Covered bins
| NAME | COUNT | AT LEAST | STATUS |  | TEST | COUNT |  | TEST | COUNT |  | TEST | COUNT | 
| full_data_beat | 
55641 | 
1 | 
 | 
 | 
T1 | 
98 | 
 | 
T7 | 
186 | 
 | 
T8 | 
1255 | 
| seven_bytes | 
2638 | 
1 | 
 | 
 | 
T20 | 
41 | 
 | 
T21 | 
7 | 
 | 
T83 | 
49 | 
| six_bytes | 
2663 | 
1 | 
 | 
 | 
T20 | 
32 | 
 | 
T21 | 
10 | 
 | 
T83 | 
63 | 
| five_bytes | 
2685 | 
1 | 
 | 
 | 
T20 | 
43 | 
 | 
T21 | 
9 | 
 | 
T83 | 
63 | 
| four_bytes | 
2603 | 
1 | 
 | 
 | 
T20 | 
39 | 
 | 
T21 | 
9 | 
 | 
T83 | 
47 | 
| three_bytes | 
2552 | 
1 | 
 | 
 | 
T20 | 
38 | 
 | 
T21 | 
10 | 
 | 
T83 | 
64 | 
| two_bytes | 
2723 | 
1 | 
 | 
 | 
T20 | 
34 | 
 | 
T21 | 
10 | 
 | 
T83 | 
48 | 
| one_byte | 
2640 | 
1 | 
 | 
 | 
T20 | 
39 | 
 | 
T21 | 
7 | 
 | 
T83 | 
59 | 
Summary for Variable done
| CATEGORY | EXPECTED | UNCOVERED | COVERED | PERCENT | 
| Automatically Generated Bins | 
2 | 
0 | 
2 | 
100.00 | 
Automatically Generated Bins for done
Bins
| NAME | COUNT | AT LEAST | STATUS |  | TEST | COUNT |  | TEST | COUNT |  | TEST | COUNT | 
| auto[0] | 
148225 | 
1 | 
 | 
 | 
T1 | 
96 | 
 | 
T7 | 
182 | 
 | 
T8 | 
1235 | 
| auto[1] | 
2980 | 
1 | 
 | 
 | 
T1 | 
4 | 
 | 
T7 | 
8 | 
 | 
T8 | 
40 | 
Summary for Variable in_keccak_rounds
| CATEGORY | EXPECTED | UNCOVERED | COVERED | PERCENT | 
| Automatically Generated Bins | 
2 | 
1 | 
1 | 
50.00  | 
Automatically Generated Bins for in_keccak_rounds
Uncovered bins
| NAME | COUNT | AT LEAST | NUMBER | STATUS | 
| [auto[1]] | 
0 | 
1 | 
1 | 
 | 
Covered bins
| NAME | COUNT | AT LEAST | STATUS |  | TEST | COUNT |  | TEST | COUNT |  | TEST | COUNT | 
| auto[0] | 
151205 | 
1 | 
 | 
 | 
T1 | 
100 | 
 | 
T7 | 
190 | 
 | 
T8 | 
1275 | 
Summary for Variable single_data_beat
| CATEGORY | EXPECTED | UNCOVERED | COVERED | PERCENT | 
| Automatically Generated Bins | 
2 | 
0 | 
2 | 
100.00 | 
Automatically Generated Bins for single_data_beat
Bins
| NAME | COUNT | AT LEAST | STATUS |  | TEST | COUNT |  | TEST | COUNT |  | TEST | COUNT | 
| auto[0] | 
151194 | 
1 | 
 | 
 | 
T1 | 
100 | 
 | 
T7 | 
190 | 
 | 
T8 | 
1275 | 
| auto[1] | 
11 | 
1 | 
 | 
 | 
T46 | 
1 | 
 | 
T180 | 
1 | 
 | 
T181 | 
1 | 
Summary for Cross partial_data_on_last_beat
Samples crossed: done data_strb
| CATEGORY | EXPECTED | UNCOVERED | COVERED | PERCENT | MISSING | 
| User Defined Cross Bins | 
1 | 
0 | 
1 | 
100.00 | 
 | 
User Defined Cross Bins for partial_data_on_last_beat
Excluded/Illegal bins
| NAME | COUNT | STATUS | 
| invalid | 
0 | 
Excluded | 
Covered bins
| NAME | COUNT | AT LEAST | STATUS |  | TEST | COUNT |  | TEST | COUNT |  | TEST | COUNT | 
| valid | 
1029 | 
1 | 
 | 
 | 
T1 | 
2 | 
 | 
T7 | 
4 | 
 | 
T8 | 
20 | 
Summary for Cross done_in_keccak_rounds
Samples crossed: done in_keccak_rounds
| CATEGORY | EXPECTED | UNCOVERED | COVERED | PERCENT | MISSING | 
| User Defined Cross Bins | 
1 | 
0 | 
1 | 
100.00 | 
 | 
User Defined Cross Bins for done_in_keccak_rounds
Excluded/Illegal bins
| NAME | COUNT | STATUS | 
| invalid | 
0 | 
Excluded | 
Covered bins
| NAME | COUNT | AT LEAST | STATUS |  | TEST | COUNT |  | TEST | COUNT |  | TEST | COUNT | 
| valid | 
2980 | 
1 | 
 | 
 | 
T1 | 
4 | 
 | 
T7 | 
8 | 
 | 
T8 | 
40 | 
 
Summary for Variable app_err
| CATEGORY | EXPECTED | UNCOVERED | COVERED | PERCENT | 
| Automatically Generated Bins | 
2 | 
1 | 
1 | 
50.00  | 
Automatically Generated Bins for app_err
Uncovered bins
| NAME | COUNT | AT LEAST | NUMBER | STATUS | 
| [auto[1]] | 
0 | 
1 | 
1 | 
 | 
Covered bins
| NAME | COUNT | AT LEAST | STATUS |  | TEST | COUNT |  | TEST | COUNT |  | TEST | COUNT | 
| auto[0] | 
152485 | 
1 | 
 | 
 | 
T1 | 
45 | 
 | 
T7 | 
318 | 
 | 
T8 | 
1161 | 
Summary for Variable data_strb
| CATEGORY | EXPECTED | UNCOVERED | COVERED | PERCENT | 
| User Defined Bins | 
8 | 
0 | 
8 | 
100.00 | 
User Defined Bins for data_strb
Excluded/Illegal bins
| NAME | COUNT | STATUS | 
| invalid | 
76469 | 
Excluded | 
Covered bins
| NAME | COUNT | AT LEAST | STATUS |  | TEST | COUNT |  | TEST | COUNT |  | TEST | COUNT | 
| full_data_beat | 
57988 | 
1 | 
 | 
 | 
T1 | 
44 | 
 | 
T7 | 
314 | 
 | 
T8 | 
1143 | 
| seven_bytes | 
2664 | 
1 | 
 | 
 | 
T20 | 
17 | 
 | 
T21 | 
37 | 
 | 
T83 | 
36 | 
| six_bytes | 
2531 | 
1 | 
 | 
 | 
T20 | 
11 | 
 | 
T21 | 
38 | 
 | 
T83 | 
38 | 
| five_bytes | 
2579 | 
1 | 
 | 
 | 
T20 | 
14 | 
 | 
T21 | 
51 | 
 | 
T83 | 
31 | 
| four_bytes | 
2586 | 
1 | 
 | 
 | 
T20 | 
15 | 
 | 
T21 | 
48 | 
 | 
T83 | 
41 | 
| three_bytes | 
2518 | 
1 | 
 | 
 | 
T20 | 
15 | 
 | 
T21 | 
43 | 
 | 
T83 | 
32 | 
| two_bytes | 
2613 | 
1 | 
 | 
 | 
T20 | 
16 | 
 | 
T21 | 
34 | 
 | 
T83 | 
38 | 
| one_byte | 
2537 | 
1 | 
 | 
 | 
T20 | 
12 | 
 | 
T21 | 
44 | 
 | 
T83 | 
36 | 
Summary for Variable done
| CATEGORY | EXPECTED | UNCOVERED | COVERED | PERCENT | 
| Automatically Generated Bins | 
2 | 
0 | 
2 | 
100.00 | 
Automatically Generated Bins for done
Bins
| NAME | COUNT | AT LEAST | STATUS |  | TEST | COUNT |  | TEST | COUNT |  | TEST | COUNT | 
| auto[0] | 
149459 | 
1 | 
 | 
 | 
T1 | 
43 | 
 | 
T7 | 
310 | 
 | 
T8 | 
1125 | 
| auto[1] | 
3026 | 
1 | 
 | 
 | 
T1 | 
2 | 
 | 
T7 | 
8 | 
 | 
T8 | 
36 | 
Summary for Variable in_keccak_rounds
| CATEGORY | EXPECTED | UNCOVERED | COVERED | PERCENT | 
| Automatically Generated Bins | 
2 | 
1 | 
1 | 
50.00  | 
Automatically Generated Bins for in_keccak_rounds
Uncovered bins
| NAME | COUNT | AT LEAST | NUMBER | STATUS | 
| [auto[1]] | 
0 | 
1 | 
1 | 
 | 
Covered bins
| NAME | COUNT | AT LEAST | STATUS |  | TEST | COUNT |  | TEST | COUNT |  | TEST | COUNT | 
| auto[0] | 
152485 | 
1 | 
 | 
 | 
T1 | 
45 | 
 | 
T7 | 
318 | 
 | 
T8 | 
1161 | 
Summary for Variable single_data_beat
| CATEGORY | EXPECTED | UNCOVERED | COVERED | PERCENT | 
| Automatically Generated Bins | 
2 | 
0 | 
2 | 
100.00 | 
Automatically Generated Bins for single_data_beat
Bins
| NAME | COUNT | AT LEAST | STATUS |  | TEST | COUNT |  | TEST | COUNT |  | TEST | COUNT | 
| auto[0] | 
152478 | 
1 | 
 | 
 | 
T1 | 
45 | 
 | 
T7 | 
318 | 
 | 
T8 | 
1161 | 
| auto[1] | 
7 | 
1 | 
 | 
 | 
T182 | 
1 | 
 | 
T183 | 
1 | 
 | 
T184 | 
1 | 
Summary for Cross partial_data_on_last_beat
Samples crossed: done data_strb
| CATEGORY | EXPECTED | UNCOVERED | COVERED | PERCENT | MISSING | 
| User Defined Cross Bins | 
1 | 
0 | 
1 | 
100.00 | 
 | 
User Defined Cross Bins for partial_data_on_last_beat
Excluded/Illegal bins
| NAME | COUNT | STATUS | 
| invalid | 
0 | 
Excluded | 
Covered bins
| NAME | COUNT | AT LEAST | STATUS |  | TEST | COUNT |  | TEST | COUNT |  | TEST | COUNT | 
| valid | 
1070 | 
1 | 
 | 
 | 
T1 | 
1 | 
 | 
T7 | 
4 | 
 | 
T8 | 
18 | 
Summary for Cross done_in_keccak_rounds
Samples crossed: done in_keccak_rounds
| CATEGORY | EXPECTED | UNCOVERED | COVERED | PERCENT | MISSING | 
| User Defined Cross Bins | 
1 | 
0 | 
1 | 
100.00 | 
 | 
User Defined Cross Bins for done_in_keccak_rounds
Excluded/Illegal bins
| NAME | COUNT | STATUS | 
| invalid | 
0 | 
Excluded | 
Covered bins
| NAME | COUNT | AT LEAST | STATUS |  | TEST | COUNT |  | TEST | COUNT |  | TEST | COUNT | 
| valid | 
3026 | 
1 | 
 | 
 | 
T1 | 
2 | 
 | 
T7 | 
8 | 
 | 
T8 | 
36 | 
 
Summary for Variable app_err
| CATEGORY | EXPECTED | UNCOVERED | COVERED | PERCENT | 
| Automatically Generated Bins | 
2 | 
0 | 
2 | 
100.00 | 
Automatically Generated Bins for app_err
Bins
| NAME | COUNT | AT LEAST | STATUS |  | TEST | COUNT |  | TEST | COUNT |  | TEST | COUNT | 
| auto[0] | 
318591 | 
1 | 
 | 
 | 
T1 | 
132 | 
 | 
T7 | 
832 | 
 | 
T8 | 
2114 | 
| auto[1] | 
409 | 
1 | 
 | 
 | 
T9 | 
72 | 
 | 
T10 | 
93 | 
 | 
T11 | 
14 | 
Summary for Variable data_strb
| CATEGORY | EXPECTED | UNCOVERED | COVERED | PERCENT | 
| User Defined Bins | 
8 | 
0 | 
8 | 
100.00 | 
User Defined Bins for data_strb
Excluded/Illegal bins
| NAME | COUNT | STATUS | 
| invalid | 
164496 | 
Excluded | 
Covered bins
| NAME | COUNT | AT LEAST | STATUS |  | TEST | COUNT |  | TEST | COUNT |  | TEST | COUNT | 
| full_data_beat | 
115372 | 
1 | 
 | 
 | 
T1 | 
130 | 
 | 
T7 | 
817 | 
 | 
T8 | 
2081 | 
| seven_bytes | 
5664 | 
1 | 
 | 
 | 
T20 | 
41 | 
 | 
T21 | 
70 | 
 | 
T83 | 
63 | 
| six_bytes | 
5572 | 
1 | 
 | 
 | 
T20 | 
46 | 
 | 
T21 | 
76 | 
 | 
T83 | 
70 | 
| five_bytes | 
5766 | 
1 | 
 | 
 | 
T20 | 
49 | 
 | 
T21 | 
63 | 
 | 
T83 | 
65 | 
| four_bytes | 
5547 | 
1 | 
 | 
 | 
T20 | 
29 | 
 | 
T21 | 
67 | 
 | 
T83 | 
52 | 
| three_bytes | 
5466 | 
1 | 
 | 
 | 
T20 | 
38 | 
 | 
T21 | 
65 | 
 | 
T83 | 
56 | 
| two_bytes | 
5555 | 
1 | 
 | 
 | 
T20 | 
36 | 
 | 
T21 | 
57 | 
 | 
T83 | 
57 | 
| one_byte | 
5562 | 
1 | 
 | 
 | 
T20 | 
45 | 
 | 
T21 | 
63 | 
 | 
T83 | 
72 | 
Summary for Variable done
| CATEGORY | EXPECTED | UNCOVERED | COVERED | PERCENT | 
| Automatically Generated Bins | 
2 | 
0 | 
2 | 
100.00 | 
Automatically Generated Bins for done
Bins
| NAME | COUNT | AT LEAST | STATUS |  | TEST | COUNT |  | TEST | COUNT |  | TEST | COUNT | 
| auto[0] | 
312951 | 
1 | 
 | 
 | 
T1 | 
128 | 
 | 
T7 | 
802 | 
 | 
T8 | 
2048 | 
| auto[1] | 
6049 | 
1 | 
 | 
 | 
T1 | 
4 | 
 | 
T7 | 
30 | 
 | 
T8 | 
66 | 
Summary for Variable in_keccak_rounds
| CATEGORY | EXPECTED | UNCOVERED | COVERED | PERCENT | 
| Automatically Generated Bins | 
2 | 
1 | 
1 | 
50.00  | 
Automatically Generated Bins for in_keccak_rounds
Uncovered bins
| NAME | COUNT | AT LEAST | NUMBER | STATUS | 
| [auto[1]] | 
0 | 
1 | 
1 | 
 | 
Covered bins
| NAME | COUNT | AT LEAST | STATUS |  | TEST | COUNT |  | TEST | COUNT |  | TEST | COUNT | 
| auto[0] | 
319000 | 
1 | 
 | 
 | 
T1 | 
132 | 
 | 
T7 | 
832 | 
 | 
T8 | 
2114 | 
Summary for Variable single_data_beat
| CATEGORY | EXPECTED | UNCOVERED | COVERED | PERCENT | 
| Automatically Generated Bins | 
2 | 
0 | 
2 | 
100.00 | 
Automatically Generated Bins for single_data_beat
Bins
| NAME | COUNT | AT LEAST | STATUS |  | TEST | COUNT |  | TEST | COUNT |  | TEST | COUNT | 
| auto[0] | 
318977 | 
1 | 
 | 
 | 
T1 | 
132 | 
 | 
T7 | 
832 | 
 | 
T8 | 
2114 | 
| auto[1] | 
23 | 
1 | 
 | 
 | 
T91 | 
1 | 
 | 
T9 | 
1 | 
 | 
T180 | 
1 | 
Summary for Cross partial_data_on_last_beat
Samples crossed: done data_strb
| CATEGORY | EXPECTED | UNCOVERED | COVERED | PERCENT | MISSING | 
| User Defined Cross Bins | 
1 | 
0 | 
1 | 
100.00 | 
 | 
User Defined Cross Bins for partial_data_on_last_beat
Excluded/Illegal bins
| NAME | COUNT | STATUS | 
| invalid | 
0 | 
Excluded | 
Covered bins
| NAME | COUNT | AT LEAST | STATUS |  | TEST | COUNT |  | TEST | COUNT |  | TEST | COUNT | 
| valid | 
2129 | 
1 | 
 | 
 | 
T1 | 
2 | 
 | 
T7 | 
15 | 
 | 
T8 | 
33 | 
Summary for Cross done_in_keccak_rounds
Samples crossed: done in_keccak_rounds
| CATEGORY | EXPECTED | UNCOVERED | COVERED | PERCENT | MISSING | 
| User Defined Cross Bins | 
1 | 
0 | 
1 | 
100.00 | 
 | 
User Defined Cross Bins for done_in_keccak_rounds
Excluded/Illegal bins
| NAME | COUNT | STATUS | 
| invalid | 
0 | 
Excluded | 
Covered bins
| NAME | COUNT | AT LEAST | STATUS |  | TEST | COUNT |  | TEST | COUNT |  | TEST | COUNT | 
| valid | 
6049 | 
1 | 
 | 
 | 
T1 | 
4 | 
 | 
T7 | 
30 | 
 | 
T8 | 
66 |