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] | 
364334 | 
1 | 
 | 
 | 
T4 | 
180 | 
 | 
T22 | 
87 | 
 | 
T23 | 
608 | 
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 | 
200637 | 
Excluded | 
Covered bins
| NAME | COUNT | AT LEAST | STATUS |  | TEST | COUNT |  | TEST | COUNT |  | TEST | COUNT | 
| full_data_beat | 
115627 | 
1 | 
 | 
 | 
T4 | 
178 | 
 | 
T22 | 
85 | 
 | 
T23 | 
17 | 
| seven_bytes | 
7029 | 
1 | 
 | 
 | 
T23 | 
14 | 
 | 
T30 | 
72 | 
 | 
T33 | 
99 | 
| six_bytes | 
6998 | 
1 | 
 | 
 | 
T23 | 
15 | 
 | 
T30 | 
74 | 
 | 
T33 | 
106 | 
| five_bytes | 
6872 | 
1 | 
 | 
 | 
T23 | 
17 | 
 | 
T30 | 
70 | 
 | 
T33 | 
110 | 
| four_bytes | 
6808 | 
1 | 
 | 
 | 
T23 | 
19 | 
 | 
T30 | 
49 | 
 | 
T33 | 
112 | 
| three_bytes | 
6870 | 
1 | 
 | 
 | 
T23 | 
9 | 
 | 
T30 | 
62 | 
 | 
T33 | 
94 | 
| two_bytes | 
6773 | 
1 | 
 | 
 | 
T23 | 
13 | 
 | 
T30 | 
67 | 
 | 
T33 | 
98 | 
| one_byte | 
6720 | 
1 | 
 | 
 | 
T23 | 
20 | 
 | 
T30 | 
69 | 
 | 
T33 | 
81 | 
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] | 
357696 | 
1 | 
 | 
 | 
T4 | 
176 | 
 | 
T22 | 
83 | 
 | 
T23 | 
598 | 
| auto[1] | 
6638 | 
1 | 
 | 
 | 
T4 | 
4 | 
 | 
T22 | 
4 | 
 | 
T23 | 
10 | 
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] | 
364334 | 
1 | 
 | 
 | 
T4 | 
180 | 
 | 
T22 | 
87 | 
 | 
T23 | 
608 | 
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] | 
364309 | 
1 | 
 | 
 | 
T4 | 
180 | 
 | 
T22 | 
87 | 
 | 
T23 | 
608 | 
| auto[1] | 
25 | 
1 | 
 | 
 | 
T49 | 
1 | 
 | 
T32 | 
1 | 
 | 
T98 | 
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 | 
2211 | 
1 | 
 | 
 | 
T4 | 
2 | 
 | 
T22 | 
2 | 
 | 
T23 | 
2 | 
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 | 
6638 | 
1 | 
 | 
 | 
T4 | 
4 | 
 | 
T22 | 
4 | 
 | 
T23 | 
10 | 
 
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] | 
185302 | 
1 | 
 | 
 | 
T22 | 
20 | 
 | 
T23 | 
348 | 
 | 
T30 | 
1872 | 
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 | 
103140 | 
Excluded | 
Covered bins
| NAME | COUNT | AT LEAST | STATUS |  | TEST | COUNT |  | TEST | COUNT |  | TEST | COUNT | 
| full_data_beat | 
57448 | 
1 | 
 | 
 | 
T22 | 
19 | 
 | 
T23 | 
6 | 
 | 
T30 | 
50 | 
| seven_bytes | 
3477 | 
1 | 
 | 
 | 
T23 | 
6 | 
 | 
T30 | 
42 | 
 | 
T33 | 
46 | 
| six_bytes | 
3514 | 
1 | 
 | 
 | 
T23 | 
8 | 
 | 
T30 | 
53 | 
 | 
T33 | 
52 | 
| five_bytes | 
3582 | 
1 | 
 | 
 | 
T23 | 
17 | 
 | 
T30 | 
44 | 
 | 
T33 | 
50 | 
| four_bytes | 
3599 | 
1 | 
 | 
 | 
T23 | 
10 | 
 | 
T30 | 
48 | 
 | 
T33 | 
45 | 
| three_bytes | 
3344 | 
1 | 
 | 
 | 
T23 | 
6 | 
 | 
T30 | 
47 | 
 | 
T33 | 
57 | 
| two_bytes | 
3594 | 
1 | 
 | 
 | 
T23 | 
10 | 
 | 
T30 | 
52 | 
 | 
T33 | 
47 | 
| one_byte | 
3604 | 
1 | 
 | 
 | 
T23 | 
13 | 
 | 
T30 | 
55 | 
 | 
T33 | 
47 | 
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] | 
181962 | 
1 | 
 | 
 | 
T22 | 
18 | 
 | 
T23 | 
344 | 
 | 
T30 | 
1844 | 
| auto[1] | 
3340 | 
1 | 
 | 
 | 
T22 | 
2 | 
 | 
T23 | 
4 | 
 | 
T30 | 
28 | 
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] | 
185302 | 
1 | 
 | 
 | 
T22 | 
20 | 
 | 
T23 | 
348 | 
 | 
T30 | 
1872 | 
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] | 
185291 | 
1 | 
 | 
 | 
T22 | 
20 | 
 | 
T23 | 
348 | 
 | 
T30 | 
1872 | 
| auto[1] | 
11 | 
1 | 
 | 
 | 
T188 | 
1 | 
 | 
T189 | 
1 | 
 | 
T153 | 
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 | 
1092 | 
1 | 
 | 
 | 
T22 | 
1 | 
 | 
T23 | 
1 | 
 | 
T30 | 
4 | 
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 | 
3340 | 
1 | 
 | 
 | 
T22 | 
2 | 
 | 
T23 | 
4 | 
 | 
T30 | 
28 | 
 
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] | 
174025 | 
1 | 
 | 
 | 
T4 | 
142 | 
 | 
T23 | 
197 | 
 | 
T30 | 
1736 | 
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 | 
96424 | 
Excluded | 
Covered bins
| NAME | COUNT | AT LEAST | STATUS |  | TEST | COUNT |  | TEST | COUNT |  | TEST | COUNT | 
| full_data_beat | 
54872 | 
1 | 
 | 
 | 
T4 | 
140 | 
 | 
T23 | 
6 | 
 | 
T30 | 
46 | 
| seven_bytes | 
3247 | 
1 | 
 | 
 | 
T23 | 
5 | 
 | 
T30 | 
43 | 
 | 
T33 | 
51 | 
| six_bytes | 
3367 | 
1 | 
 | 
 | 
T23 | 
4 | 
 | 
T30 | 
47 | 
 | 
T33 | 
52 | 
| five_bytes | 
3170 | 
1 | 
 | 
 | 
T23 | 
6 | 
 | 
T30 | 
40 | 
 | 
T33 | 
58 | 
| four_bytes | 
3271 | 
1 | 
 | 
 | 
T23 | 
4 | 
 | 
T30 | 
47 | 
 | 
T33 | 
53 | 
| three_bytes | 
3276 | 
1 | 
 | 
 | 
T23 | 
2 | 
 | 
T30 | 
38 | 
 | 
T33 | 
44 | 
| two_bytes | 
3255 | 
1 | 
 | 
 | 
T23 | 
7 | 
 | 
T30 | 
46 | 
 | 
T33 | 
59 | 
| one_byte | 
3143 | 
1 | 
 | 
 | 
T23 | 
6 | 
 | 
T30 | 
44 | 
 | 
T33 | 
51 | 
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] | 
170733 | 
1 | 
 | 
 | 
T4 | 
138 | 
 | 
T23 | 
195 | 
 | 
T30 | 
1716 | 
| auto[1] | 
3292 | 
1 | 
 | 
 | 
T4 | 
4 | 
 | 
T23 | 
2 | 
 | 
T30 | 
20 | 
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] | 
174025 | 
1 | 
 | 
 | 
T4 | 
142 | 
 | 
T23 | 
197 | 
 | 
T30 | 
1736 | 
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] | 
174007 | 
1 | 
 | 
 | 
T4 | 
142 | 
 | 
T23 | 
197 | 
 | 
T30 | 
1736 | 
| auto[1] | 
18 | 
1 | 
 | 
 | 
T33 | 
1 | 
 | 
T188 | 
1 | 
 | 
T190 | 
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 | 
1085 | 
1 | 
 | 
 | 
T4 | 
2 | 
 | 
T30 | 
4 | 
 | 
T33 | 
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 | 
3292 | 
1 | 
 | 
 | 
T4 | 
4 | 
 | 
T23 | 
2 | 
 | 
T30 | 
20 |