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] | 
344402 | 
1 | 
 | 
 | 
T13 | 
353 | 
 | 
T16 | 
660 | 
 | 
T27 | 
1405 | 
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 | 
184454 | 
Excluded | 
Covered bins
| NAME | COUNT | AT LEAST | STATUS |  | TEST | COUNT |  | TEST | COUNT |  | TEST | COUNT | 
| full_data_beat | 
116392 | 
1 | 
 | 
 | 
T13 | 
16 | 
 | 
T16 | 
28 | 
 | 
T27 | 
1385 | 
| seven_bytes | 
6297 | 
1 | 
 | 
 | 
T13 | 
12 | 
 | 
T16 | 
15 | 
 | 
T28 | 
121 | 
| six_bytes | 
6359 | 
1 | 
 | 
 | 
T13 | 
12 | 
 | 
T16 | 
17 | 
 | 
T28 | 
113 | 
| five_bytes | 
6226 | 
1 | 
 | 
 | 
T13 | 
6 | 
 | 
T16 | 
20 | 
 | 
T28 | 
121 | 
| four_bytes | 
6149 | 
1 | 
 | 
 | 
T13 | 
10 | 
 | 
T16 | 
17 | 
 | 
T28 | 
117 | 
| three_bytes | 
6101 | 
1 | 
 | 
 | 
T13 | 
3 | 
 | 
T16 | 
16 | 
 | 
T28 | 
124 | 
| two_bytes | 
6198 | 
1 | 
 | 
 | 
T13 | 
8 | 
 | 
T16 | 
17 | 
 | 
T28 | 
117 | 
| one_byte | 
6226 | 
1 | 
 | 
 | 
T13 | 
12 | 
 | 
T16 | 
18 | 
 | 
T28 | 
122 | 
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] | 
337936 | 
1 | 
 | 
 | 
T13 | 
351 | 
 | 
T16 | 
654 | 
 | 
T27 | 
1365 | 
| auto[1] | 
6466 | 
1 | 
 | 
 | 
T13 | 
2 | 
 | 
T16 | 
6 | 
 | 
T27 | 
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] | 
344402 | 
1 | 
 | 
 | 
T13 | 
353 | 
 | 
T16 | 
660 | 
 | 
T27 | 
1405 | 
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] | 
344375 | 
1 | 
 | 
 | 
T13 | 
353 | 
 | 
T16 | 
660 | 
 | 
T27 | 
1405 | 
| auto[1] | 
27 | 
1 | 
 | 
 | 
T45 | 
2 | 
 | 
T26 | 
1 | 
 | 
T44 | 
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 | 
2184 | 
1 | 
 | 
 | 
T13 | 
1 | 
 | 
T16 | 
1 | 
 | 
T27 | 
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 | 
6466 | 
1 | 
 | 
 | 
T13 | 
2 | 
 | 
T16 | 
6 | 
 | 
T27 | 
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] | 
172023 | 
1 | 
 | 
 | 
T13 | 
166 | 
 | 
T16 | 
35 | 
 | 
T22 | 
105 | 
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 | 
92900 | 
Excluded | 
Covered bins
| NAME | COUNT | AT LEAST | STATUS |  | TEST | COUNT |  | TEST | COUNT |  | TEST | COUNT | 
| full_data_beat | 
56908 | 
1 | 
 | 
 | 
T22 | 
104 | 
 | 
T27 | 
346 | 
 | 
T31 | 
150 | 
| seven_bytes | 
3307 | 
1 | 
 | 
 | 
T13 | 
6 | 
 | 
T16 | 
1 | 
 | 
T28 | 
79 | 
| six_bytes | 
3072 | 
1 | 
 | 
 | 
T13 | 
2 | 
 | 
T16 | 
1 | 
 | 
T28 | 
77 | 
| five_bytes | 
3116 | 
1 | 
 | 
 | 
T13 | 
2 | 
 | 
T16 | 
1 | 
 | 
T28 | 
72 | 
| four_bytes | 
3291 | 
1 | 
 | 
 | 
T13 | 
6 | 
 | 
T28 | 
76 | 
 | 
T29 | 
37 | 
| three_bytes | 
3123 | 
1 | 
 | 
 | 
T13 | 
5 | 
 | 
T16 | 
1 | 
 | 
T28 | 
65 | 
| two_bytes | 
3140 | 
1 | 
 | 
 | 
T13 | 
6 | 
 | 
T28 | 
75 | 
 | 
T29 | 
17 | 
| one_byte | 
3166 | 
1 | 
 | 
 | 
T13 | 
5 | 
 | 
T16 | 
1 | 
 | 
T28 | 
74 | 
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] | 
168741 | 
1 | 
 | 
 | 
T13 | 
164 | 
 | 
T16 | 
33 | 
 | 
T22 | 
103 | 
| auto[1] | 
3282 | 
1 | 
 | 
 | 
T13 | 
2 | 
 | 
T16 | 
2 | 
 | 
T22 | 
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] | 
172023 | 
1 | 
 | 
 | 
T13 | 
166 | 
 | 
T16 | 
35 | 
 | 
T22 | 
105 | 
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] | 
172004 | 
1 | 
 | 
 | 
T13 | 
166 | 
 | 
T16 | 
35 | 
 | 
T22 | 
105 | 
| auto[1] | 
19 | 
1 | 
 | 
 | 
T27 | 
1 | 
 | 
T45 | 
2 | 
 | 
T26 | 
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 | 
1107 | 
1 | 
 | 
 | 
T16 | 
1 | 
 | 
T22 | 
1 | 
 | 
T27 | 
9 | 
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 | 
3282 | 
1 | 
 | 
 | 
T13 | 
2 | 
 | 
T16 | 
2 | 
 | 
T22 | 
2 | 
 
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] | 
175205 | 
1 | 
 | 
 | 
T13 | 
356 | 
 | 
T16 | 
310 | 
 | 
T27 | 
560 | 
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 | 
93684 | 
Excluded | 
Covered bins
| NAME | COUNT | AT LEAST | STATUS |  | TEST | COUNT |  | TEST | COUNT |  | TEST | COUNT | 
| full_data_beat | 
59123 | 
1 | 
 | 
 | 
T13 | 
68 | 
 | 
T16 | 
52 | 
 | 
T27 | 
553 | 
| seven_bytes | 
3270 | 
1 | 
 | 
 | 
T13 | 
8 | 
 | 
T16 | 
9 | 
 | 
T28 | 
57 | 
| six_bytes | 
3174 | 
1 | 
 | 
 | 
T13 | 
2 | 
 | 
T16 | 
6 | 
 | 
T28 | 
66 | 
| five_bytes | 
3181 | 
1 | 
 | 
 | 
T13 | 
7 | 
 | 
T16 | 
5 | 
 | 
T28 | 
66 | 
| four_bytes | 
3247 | 
1 | 
 | 
 | 
T13 | 
4 | 
 | 
T16 | 
8 | 
 | 
T28 | 
67 | 
| three_bytes | 
3179 | 
1 | 
 | 
 | 
T13 | 
8 | 
 | 
T16 | 
3 | 
 | 
T28 | 
45 | 
| two_bytes | 
3157 | 
1 | 
 | 
 | 
T13 | 
11 | 
 | 
T16 | 
8 | 
 | 
T28 | 
48 | 
| one_byte | 
3190 | 
1 | 
 | 
 | 
T13 | 
9 | 
 | 
T16 | 
8 | 
 | 
T28 | 
44 | 
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] | 
171885 | 
1 | 
 | 
 | 
T13 | 
352 | 
 | 
T16 | 
306 | 
 | 
T27 | 
546 | 
| auto[1] | 
3320 | 
1 | 
 | 
 | 
T13 | 
4 | 
 | 
T16 | 
4 | 
 | 
T27 | 
14 | 
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] | 
175205 | 
1 | 
 | 
 | 
T13 | 
356 | 
 | 
T16 | 
310 | 
 | 
T27 | 
560 | 
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] | 
175187 | 
1 | 
 | 
 | 
T13 | 
356 | 
 | 
T16 | 
310 | 
 | 
T27 | 
560 | 
| auto[1] | 
18 | 
1 | 
 | 
 | 
T45 | 
1 | 
 | 
T41 | 
1 | 
 | 
T139 | 
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 | 
1115 | 
1 | 
 | 
 | 
T13 | 
1 | 
 | 
T16 | 
1 | 
 | 
T27 | 
7 | 
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 | 
3320 | 
1 | 
 | 
 | 
T13 | 
4 | 
 | 
T16 | 
4 | 
 | 
T27 | 
14 |