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] | 
368296 | 
1 | 
 | 
 | 
T2 | 
2585 | 
 | 
T23 | 
2343 | 
 | 
T24 | 
115 | 
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 | 
200260 | 
Excluded | 
Covered bins
| NAME | COUNT | AT LEAST | STATUS |  | TEST | COUNT |  | TEST | COUNT |  | TEST | COUNT | 
| full_data_beat | 
120090 | 
1 | 
 | 
 | 
T2 | 
2546 | 
 | 
T23 | 
62 | 
 | 
T24 | 
114 | 
| seven_bytes | 
6884 | 
1 | 
 | 
 | 
T23 | 
56 | 
 | 
T30 | 
73 | 
 | 
T31 | 
106 | 
| six_bytes | 
6880 | 
1 | 
 | 
 | 
T23 | 
74 | 
 | 
T30 | 
73 | 
 | 
T31 | 
90 | 
| five_bytes | 
6753 | 
1 | 
 | 
 | 
T23 | 
64 | 
 | 
T30 | 
77 | 
 | 
T31 | 
96 | 
| four_bytes | 
6733 | 
1 | 
 | 
 | 
T23 | 
59 | 
 | 
T30 | 
76 | 
 | 
T31 | 
129 | 
| three_bytes | 
6874 | 
1 | 
 | 
 | 
T23 | 
70 | 
 | 
T30 | 
60 | 
 | 
T31 | 
102 | 
| two_bytes | 
6934 | 
1 | 
 | 
 | 
T23 | 
48 | 
 | 
T30 | 
67 | 
 | 
T31 | 
121 | 
| one_byte | 
6888 | 
1 | 
 | 
 | 
T23 | 
55 | 
 | 
T30 | 
70 | 
 | 
T31 | 
106 | 
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] | 
361430 | 
1 | 
 | 
 | 
T2 | 
2507 | 
 | 
T23 | 
2313 | 
 | 
T24 | 
113 | 
| auto[1] | 
6866 | 
1 | 
 | 
 | 
T2 | 
78 | 
 | 
T23 | 
30 | 
 | 
T24 | 
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] | 
368296 | 
1 | 
 | 
 | 
T2 | 
2585 | 
 | 
T23 | 
2343 | 
 | 
T24 | 
115 | 
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] | 
368271 | 
1 | 
 | 
 | 
T2 | 
2585 | 
 | 
T23 | 
2343 | 
 | 
T24 | 
115 | 
| auto[1] | 
25 | 
1 | 
 | 
 | 
T161 | 
1 | 
 | 
T79 | 
1 | 
 | 
T162 | 
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 | 
2277 | 
1 | 
 | 
 | 
T2 | 
39 | 
 | 
T23 | 
4 | 
 | 
T24 | 
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 | 
6866 | 
1 | 
 | 
 | 
T2 | 
78 | 
 | 
T23 | 
30 | 
 | 
T24 | 
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] | 
182102 | 
1 | 
 | 
 | 
T2 | 
1977 | 
 | 
T23 | 
1033 | 
 | 
T29 | 
324 | 
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 | 
95822 | 
Excluded | 
Covered bins
| NAME | COUNT | AT LEAST | STATUS |  | TEST | COUNT |  | TEST | COUNT |  | TEST | COUNT | 
| full_data_beat | 
63504 | 
1 | 
 | 
 | 
T2 | 
1947 | 
 | 
T23 | 
33 | 
 | 
T29 | 
316 | 
| seven_bytes | 
3223 | 
1 | 
 | 
 | 
T23 | 
26 | 
 | 
T30 | 
28 | 
 | 
T31 | 
37 | 
| six_bytes | 
3307 | 
1 | 
 | 
 | 
T23 | 
26 | 
 | 
T30 | 
38 | 
 | 
T31 | 
49 | 
| five_bytes | 
3352 | 
1 | 
 | 
 | 
T23 | 
31 | 
 | 
T30 | 
33 | 
 | 
T31 | 
42 | 
| four_bytes | 
3195 | 
1 | 
 | 
 | 
T23 | 
27 | 
 | 
T30 | 
49 | 
 | 
T31 | 
49 | 
| three_bytes | 
3267 | 
1 | 
 | 
 | 
T23 | 
26 | 
 | 
T30 | 
46 | 
 | 
T31 | 
31 | 
| two_bytes | 
3261 | 
1 | 
 | 
 | 
T23 | 
27 | 
 | 
T30 | 
38 | 
 | 
T31 | 
41 | 
| one_byte | 
3171 | 
1 | 
 | 
 | 
T23 | 
26 | 
 | 
T30 | 
35 | 
 | 
T31 | 
38 | 
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] | 
178595 | 
1 | 
 | 
 | 
T2 | 
1917 | 
 | 
T23 | 
1021 | 
 | 
T29 | 
308 | 
| auto[1] | 
3507 | 
1 | 
 | 
 | 
T2 | 
60 | 
 | 
T23 | 
12 | 
 | 
T29 | 
16 | 
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] | 
182102 | 
1 | 
 | 
 | 
T2 | 
1977 | 
 | 
T23 | 
1033 | 
 | 
T29 | 
324 | 
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] | 
182090 | 
1 | 
 | 
 | 
T2 | 
1977 | 
 | 
T23 | 
1033 | 
 | 
T29 | 
324 | 
| auto[1] | 
12 | 
1 | 
 | 
 | 
T27 | 
1 | 
 | 
T161 | 
1 | 
 | 
T163 | 
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 | 
1218 | 
1 | 
 | 
 | 
T2 | 
30 | 
 | 
T23 | 
3 | 
 | 
T29 | 
8 | 
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 | 
3507 | 
1 | 
 | 
 | 
T2 | 
60 | 
 | 
T23 | 
12 | 
 | 
T29 | 
16 | 
 
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] | 
181427 | 
1 | 
 | 
 | 
T2 | 
1899 | 
 | 
T23 | 
1822 | 
 | 
T29 | 
96 | 
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 | 
97478 | 
Excluded | 
Covered bins
| NAME | COUNT | AT LEAST | STATUS |  | TEST | COUNT |  | TEST | COUNT |  | TEST | COUNT | 
| full_data_beat | 
60847 | 
1 | 
 | 
 | 
T2 | 
1867 | 
 | 
T23 | 
56 | 
 | 
T29 | 
93 | 
| seven_bytes | 
3380 | 
1 | 
 | 
 | 
T23 | 
56 | 
 | 
T30 | 
47 | 
 | 
T31 | 
52 | 
| six_bytes | 
3190 | 
1 | 
 | 
 | 
T23 | 
33 | 
 | 
T30 | 
57 | 
 | 
T31 | 
57 | 
| five_bytes | 
3388 | 
1 | 
 | 
 | 
T23 | 
41 | 
 | 
T30 | 
51 | 
 | 
T31 | 
51 | 
| four_bytes | 
3289 | 
1 | 
 | 
 | 
T23 | 
54 | 
 | 
T30 | 
43 | 
 | 
T31 | 
46 | 
| three_bytes | 
3311 | 
1 | 
 | 
 | 
T23 | 
57 | 
 | 
T30 | 
42 | 
 | 
T31 | 
53 | 
| two_bytes | 
3297 | 
1 | 
 | 
 | 
T23 | 
44 | 
 | 
T30 | 
33 | 
 | 
T31 | 
46 | 
| one_byte | 
3247 | 
1 | 
 | 
 | 
T23 | 
45 | 
 | 
T30 | 
42 | 
 | 
T31 | 
57 | 
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] | 
177928 | 
1 | 
 | 
 | 
T2 | 
1835 | 
 | 
T23 | 
1804 | 
 | 
T29 | 
90 | 
| auto[1] | 
3499 | 
1 | 
 | 
 | 
T2 | 
64 | 
 | 
T23 | 
18 | 
 | 
T29 | 
6 | 
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] | 
181427 | 
1 | 
 | 
 | 
T2 | 
1899 | 
 | 
T23 | 
1822 | 
 | 
T29 | 
96 | 
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] | 
181419 | 
1 | 
 | 
 | 
T2 | 
1899 | 
 | 
T23 | 
1822 | 
 | 
T29 | 
96 | 
| auto[1] | 
8 | 
1 | 
 | 
 | 
T164 | 
1 | 
 | 
T165 | 
1 | 
 | 
T166 | 
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 | 
1190 | 
1 | 
 | 
 | 
T2 | 
32 | 
 | 
T23 | 
5 | 
 | 
T29 | 
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 | 
3499 | 
1 | 
 | 
 | 
T2 | 
64 | 
 | 
T23 | 
18 | 
 | 
T29 | 
6 |