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] | 
164341 | 
1 | 
 | 
 | 
T7 | 
678 | 
 | 
T8 | 
111 | 
 | 
T9 | 
531 | 
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 | 
85405 | 
Excluded | 
Covered bins
| NAME | COUNT | AT LEAST | STATUS |  | TEST | COUNT |  | TEST | COUNT |  | TEST | COUNT | 
| full_data_beat | 
58702 | 
1 | 
 | 
 | 
T7 | 
667 | 
 | 
T9 | 
14 | 
 | 
T22 | 
322 | 
| seven_bytes | 
2866 | 
1 | 
 | 
 | 
T8 | 
4 | 
 | 
T9 | 
22 | 
 | 
T20 | 
26 | 
| six_bytes | 
2997 | 
1 | 
 | 
 | 
T8 | 
4 | 
 | 
T9 | 
22 | 
 | 
T20 | 
30 | 
| five_bytes | 
2861 | 
1 | 
 | 
 | 
T8 | 
3 | 
 | 
T9 | 
13 | 
 | 
T20 | 
19 | 
| four_bytes | 
2966 | 
1 | 
 | 
 | 
T8 | 
1 | 
 | 
T9 | 
20 | 
 | 
T20 | 
29 | 
| three_bytes | 
2835 | 
1 | 
 | 
 | 
T8 | 
1 | 
 | 
T9 | 
9 | 
 | 
T20 | 
25 | 
| two_bytes | 
2847 | 
1 | 
 | 
 | 
T8 | 
1 | 
 | 
T9 | 
13 | 
 | 
T20 | 
22 | 
| one_byte | 
2862 | 
1 | 
 | 
 | 
T8 | 
3 | 
 | 
T9 | 
12 | 
 | 
T20 | 
20 | 
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] | 
161183 | 
1 | 
 | 
 | 
T7 | 
656 | 
 | 
T8 | 
107 | 
 | 
T9 | 
527 | 
| auto[1] | 
3158 | 
1 | 
 | 
 | 
T7 | 
22 | 
 | 
T8 | 
4 | 
 | 
T9 | 
4 | 
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] | 
164341 | 
1 | 
 | 
 | 
T7 | 
678 | 
 | 
T8 | 
111 | 
 | 
T9 | 
531 | 
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] | 
164331 | 
1 | 
 | 
 | 
T7 | 
678 | 
 | 
T8 | 
111 | 
 | 
T9 | 
531 | 
| auto[1] | 
10 | 
1 | 
 | 
 | 
T174 | 
1 | 
 | 
T182 | 
1 | 
 | 
T127 | 
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 | 
1087 | 
1 | 
 | 
 | 
T7 | 
11 | 
 | 
T9 | 
1 | 
 | 
T22 | 
5 | 
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 | 
3158 | 
1 | 
 | 
 | 
T7 | 
22 | 
 | 
T8 | 
4 | 
 | 
T9 | 
4 | 
 
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] | 
156977 | 
1 | 
 | 
 | 
T7 | 
1194 | 
 | 
T8 | 
518 | 
 | 
T9 | 
124 | 
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 | 
81007 | 
Excluded | 
Covered bins
| NAME | COUNT | AT LEAST | STATUS |  | TEST | COUNT |  | TEST | COUNT |  | TEST | COUNT | 
| full_data_beat | 
56592 | 
1 | 
 | 
 | 
T7 | 
1178 | 
 | 
T8 | 
8 | 
 | 
T9 | 
7 | 
| seven_bytes | 
2712 | 
1 | 
 | 
 | 
T8 | 
13 | 
 | 
T9 | 
5 | 
 | 
T20 | 
20 | 
| six_bytes | 
2780 | 
1 | 
 | 
 | 
T8 | 
11 | 
 | 
T9 | 
2 | 
 | 
T20 | 
34 | 
| five_bytes | 
2807 | 
1 | 
 | 
 | 
T8 | 
14 | 
 | 
T9 | 
4 | 
 | 
T20 | 
21 | 
| four_bytes | 
2852 | 
1 | 
 | 
 | 
T8 | 
16 | 
 | 
T9 | 
5 | 
 | 
T20 | 
28 | 
| three_bytes | 
2756 | 
1 | 
 | 
 | 
T8 | 
9 | 
 | 
T9 | 
4 | 
 | 
T20 | 
10 | 
| two_bytes | 
2702 | 
1 | 
 | 
 | 
T8 | 
17 | 
 | 
T9 | 
4 | 
 | 
T20 | 
22 | 
| one_byte | 
2769 | 
1 | 
 | 
 | 
T8 | 
18 | 
 | 
T9 | 
1 | 
 | 
T20 | 
22 | 
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] | 
153965 | 
1 | 
 | 
 | 
T7 | 
1162 | 
 | 
T8 | 
512 | 
 | 
T9 | 
122 | 
| auto[1] | 
3012 | 
1 | 
 | 
 | 
T7 | 
32 | 
 | 
T8 | 
6 | 
 | 
T9 | 
2 | 
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] | 
156977 | 
1 | 
 | 
 | 
T7 | 
1194 | 
 | 
T8 | 
518 | 
 | 
T9 | 
124 | 
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] | 
156969 | 
1 | 
 | 
 | 
T7 | 
1194 | 
 | 
T8 | 
518 | 
 | 
T9 | 
124 | 
| auto[1] | 
8 | 
1 | 
 | 
 | 
T183 | 
1 | 
 | 
T11 | 
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 | 
1049 | 
1 | 
 | 
 | 
T7 | 
16 | 
 | 
T22 | 
1 | 
 | 
T20 | 
1 | 
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 | 
3012 | 
1 | 
 | 
 | 
T7 | 
32 | 
 | 
T8 | 
6 | 
 | 
T9 | 
2 | 
 
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] | 
349238 | 
1 | 
 | 
 | 
T7 | 
1438 | 
 | 
T8 | 
1535 | 
 | 
T9 | 
538 | 
| auto[1] | 
515 | 
1 | 
 | 
 | 
T10 | 
48 | 
 | 
T11 | 
9 | 
 | 
T12 | 
78 | 
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 | 
185145 | 
Excluded | 
Covered bins
| NAME | COUNT | AT LEAST | STATUS |  | TEST | COUNT |  | TEST | COUNT |  | TEST | COUNT | 
| full_data_beat | 
120518 | 
1 | 
 | 
 | 
T7 | 
1415 | 
 | 
T8 | 
43 | 
 | 
T9 | 
13 | 
| seven_bytes | 
6285 | 
1 | 
 | 
 | 
T8 | 
43 | 
 | 
T9 | 
14 | 
 | 
T20 | 
45 | 
| six_bytes | 
6309 | 
1 | 
 | 
 | 
T8 | 
35 | 
 | 
T9 | 
15 | 
 | 
T20 | 
56 | 
| five_bytes | 
6305 | 
1 | 
 | 
 | 
T8 | 
40 | 
 | 
T9 | 
19 | 
 | 
T20 | 
70 | 
| four_bytes | 
6421 | 
1 | 
 | 
 | 
T8 | 
43 | 
 | 
T9 | 
14 | 
 | 
T20 | 
52 | 
| three_bytes | 
6367 | 
1 | 
 | 
 | 
T8 | 
47 | 
 | 
T9 | 
9 | 
 | 
T20 | 
64 | 
| two_bytes | 
6200 | 
1 | 
 | 
 | 
T8 | 
52 | 
 | 
T9 | 
18 | 
 | 
T20 | 
59 | 
| one_byte | 
6203 | 
1 | 
 | 
 | 
T8 | 
37 | 
 | 
T9 | 
3 | 
 | 
T20 | 
60 | 
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] | 
343233 | 
1 | 
 | 
 | 
T7 | 
1392 | 
 | 
T8 | 
1507 | 
 | 
T9 | 
530 | 
| auto[1] | 
6520 | 
1 | 
 | 
 | 
T7 | 
46 | 
 | 
T8 | 
28 | 
 | 
T9 | 
8 | 
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] | 
349753 | 
1 | 
 | 
 | 
T7 | 
1438 | 
 | 
T8 | 
1535 | 
 | 
T9 | 
538 | 
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] | 
349730 | 
1 | 
 | 
 | 
T7 | 
1438 | 
 | 
T8 | 
1535 | 
 | 
T9 | 
538 | 
| auto[1] | 
23 | 
1 | 
 | 
 | 
T98 | 
1 | 
 | 
T17 | 
1 | 
 | 
T185 | 
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 | 
2209 | 
1 | 
 | 
 | 
T7 | 
23 | 
 | 
T8 | 
4 | 
 | 
T9 | 
3 | 
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 | 
6520 | 
1 | 
 | 
 | 
T7 | 
46 | 
 | 
T8 | 
28 | 
 | 
T9 | 
8 |