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] | 
358377 | 
1 | 
 | 
 | 
T16 | 
1973 | 
 | 
T17 | 
4986 | 
 | 
T22 | 
359 | 
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 | 
198756 | 
Excluded | 
Covered bins
| NAME | COUNT | AT LEAST | STATUS |  | TEST | COUNT |  | TEST | COUNT |  | TEST | COUNT | 
| full_data_beat | 
112355 | 
1 | 
 | 
 | 
T16 | 
1939 | 
 | 
T17 | 
137 | 
 | 
T22 | 
355 | 
| seven_bytes | 
6792 | 
1 | 
 | 
 | 
T17 | 
152 | 
 | 
T31 | 
26 | 
 | 
T27 | 
57 | 
| six_bytes | 
6861 | 
1 | 
 | 
 | 
T17 | 
146 | 
 | 
T31 | 
34 | 
 | 
T27 | 
62 | 
| five_bytes | 
6745 | 
1 | 
 | 
 | 
T17 | 
118 | 
 | 
T31 | 
30 | 
 | 
T27 | 
64 | 
| four_bytes | 
6726 | 
1 | 
 | 
 | 
T17 | 
127 | 
 | 
T31 | 
34 | 
 | 
T27 | 
61 | 
| three_bytes | 
6788 | 
1 | 
 | 
 | 
T17 | 
106 | 
 | 
T31 | 
41 | 
 | 
T27 | 
85 | 
| two_bytes | 
6628 | 
1 | 
 | 
 | 
T17 | 
144 | 
 | 
T31 | 
37 | 
 | 
T27 | 
72 | 
| one_byte | 
6726 | 
1 | 
 | 
 | 
T17 | 
117 | 
 | 
T31 | 
38 | 
 | 
T27 | 
58 | 
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] | 
351787 | 
1 | 
 | 
 | 
T16 | 
1905 | 
 | 
T17 | 
4920 | 
 | 
T22 | 
351 | 
| auto[1] | 
6590 | 
1 | 
 | 
 | 
T16 | 
68 | 
 | 
T17 | 
66 | 
 | 
T22 | 
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] | 
358377 | 
1 | 
 | 
 | 
T16 | 
1973 | 
 | 
T17 | 
4986 | 
 | 
T22 | 
359 | 
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] | 
358349 | 
1 | 
 | 
 | 
T16 | 
1972 | 
 | 
T17 | 
4986 | 
 | 
T22 | 
359 | 
| auto[1] | 
28 | 
1 | 
 | 
 | 
T16 | 
1 | 
 | 
T164 | 
1 | 
 | 
T165 | 
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 | 
2156 | 
1 | 
 | 
 | 
T16 | 
34 | 
 | 
T17 | 
7 | 
 | 
T22 | 
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 | 
6590 | 
1 | 
 | 
 | 
T16 | 
68 | 
 | 
T17 | 
66 | 
 | 
T22 | 
8 | 
 
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] | 
178606 | 
1 | 
 | 
 | 
T16 | 
922 | 
 | 
T17 | 
2540 | 
 | 
T26 | 
203 | 
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 | 
95593 | 
Excluded | 
Covered bins
| NAME | COUNT | AT LEAST | STATUS |  | TEST | COUNT |  | TEST | COUNT |  | TEST | COUNT | 
| full_data_beat | 
60282 | 
1 | 
 | 
 | 
T16 | 
907 | 
 | 
T17 | 
85 | 
 | 
T26 | 
199 | 
| seven_bytes | 
3217 | 
1 | 
 | 
 | 
T17 | 
64 | 
 | 
T27 | 
27 | 
 | 
T58 | 
47 | 
| six_bytes | 
3185 | 
1 | 
 | 
 | 
T17 | 
65 | 
 | 
T27 | 
33 | 
 | 
T58 | 
56 | 
| five_bytes | 
3271 | 
1 | 
 | 
 | 
T17 | 
62 | 
 | 
T27 | 
39 | 
 | 
T58 | 
59 | 
| four_bytes | 
3364 | 
1 | 
 | 
 | 
T17 | 
55 | 
 | 
T27 | 
42 | 
 | 
T58 | 
52 | 
| three_bytes | 
3349 | 
1 | 
 | 
 | 
T17 | 
83 | 
 | 
T27 | 
48 | 
 | 
T58 | 
56 | 
| two_bytes | 
3175 | 
1 | 
 | 
 | 
T17 | 
68 | 
 | 
T27 | 
31 | 
 | 
T58 | 
49 | 
| one_byte | 
3170 | 
1 | 
 | 
 | 
T17 | 
77 | 
 | 
T27 | 
38 | 
 | 
T58 | 
48 | 
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] | 
175266 | 
1 | 
 | 
 | 
T16 | 
892 | 
 | 
T17 | 
2508 | 
 | 
T26 | 
195 | 
| auto[1] | 
3340 | 
1 | 
 | 
 | 
T16 | 
30 | 
 | 
T17 | 
32 | 
 | 
T26 | 
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] | 
178606 | 
1 | 
 | 
 | 
T16 | 
922 | 
 | 
T17 | 
2540 | 
 | 
T26 | 
203 | 
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] | 
178596 | 
1 | 
 | 
 | 
T16 | 
922 | 
 | 
T17 | 
2540 | 
 | 
T26 | 
203 | 
| auto[1] | 
10 | 
1 | 
 | 
 | 
T47 | 
1 | 
 | 
T166 | 
1 | 
 | 
T50 | 
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 | 
 | 
 | 
T16 | 
15 | 
 | 
T17 | 
4 | 
 | 
T26 | 
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 | 
 | 
 | 
T16 | 
30 | 
 | 
T17 | 
32 | 
 | 
T26 | 
8 | 
 
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] | 
173162 | 
1 | 
 | 
 | 
T16 | 
734 | 
 | 
T17 | 
2612 | 
 | 
T22 | 
211 | 
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 | 
91469 | 
Excluded | 
Covered bins
| NAME | COUNT | AT LEAST | STATUS |  | TEST | COUNT |  | TEST | COUNT |  | TEST | COUNT | 
| full_data_beat | 
60111 | 
1 | 
 | 
 | 
T16 | 
722 | 
 | 
T17 | 
79 | 
 | 
T22 | 
207 | 
| seven_bytes | 
3074 | 
1 | 
 | 
 | 
T17 | 
60 | 
 | 
T31 | 
3 | 
 | 
T27 | 
41 | 
| six_bytes | 
3064 | 
1 | 
 | 
 | 
T17 | 
74 | 
 | 
T31 | 
2 | 
 | 
T27 | 
36 | 
| five_bytes | 
3151 | 
1 | 
 | 
 | 
T17 | 
84 | 
 | 
T31 | 
4 | 
 | 
T27 | 
40 | 
| four_bytes | 
3096 | 
1 | 
 | 
 | 
T17 | 
67 | 
 | 
T31 | 
3 | 
 | 
T27 | 
40 | 
| three_bytes | 
3064 | 
1 | 
 | 
 | 
T17 | 
53 | 
 | 
T31 | 
7 | 
 | 
T27 | 
46 | 
| two_bytes | 
3056 | 
1 | 
 | 
 | 
T17 | 
78 | 
 | 
T31 | 
7 | 
 | 
T27 | 
45 | 
| one_byte | 
3077 | 
1 | 
 | 
 | 
T17 | 
64 | 
 | 
T31 | 
5 | 
 | 
T27 | 
49 | 
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] | 
169860 | 
1 | 
 | 
 | 
T16 | 
710 | 
 | 
T17 | 
2582 | 
 | 
T22 | 
203 | 
| auto[1] | 
3302 | 
1 | 
 | 
 | 
T16 | 
24 | 
 | 
T17 | 
30 | 
 | 
T22 | 
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] | 
173162 | 
1 | 
 | 
 | 
T16 | 
734 | 
 | 
T17 | 
2612 | 
 | 
T22 | 
211 | 
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] | 
173154 | 
1 | 
 | 
 | 
T16 | 
733 | 
 | 
T17 | 
2612 | 
 | 
T22 | 
210 | 
| auto[1] | 
8 | 
1 | 
 | 
 | 
T16 | 
1 | 
 | 
T22 | 
1 | 
 | 
T167 | 
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 | 
1134 | 
1 | 
 | 
 | 
T16 | 
12 | 
 | 
T17 | 
6 | 
 | 
T22 | 
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 | 
3302 | 
1 | 
 | 
 | 
T16 | 
24 | 
 | 
T17 | 
30 | 
 | 
T22 | 
8 |