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] | 
351390 | 
1 | 
 | 
 | 
T14 | 
1709 | 
 | 
T26 | 
465 | 
 | 
T30 | 
842 | 
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 | 
176621 | 
Excluded | 
Covered bins
| NAME | COUNT | AT LEAST | STATUS |  | TEST | COUNT |  | TEST | COUNT |  | TEST | COUNT | 
| full_data_beat | 
132891 | 
1 | 
 | 
 | 
T14 | 
47 | 
 | 
T26 | 
458 | 
 | 
T30 | 
831 | 
| seven_bytes | 
6030 | 
1 | 
 | 
 | 
T14 | 
48 | 
 | 
T27 | 
23 | 
 | 
T32 | 
123 | 
| six_bytes | 
6111 | 
1 | 
 | 
 | 
T14 | 
54 | 
 | 
T27 | 
22 | 
 | 
T32 | 
106 | 
| five_bytes | 
5968 | 
1 | 
 | 
 | 
T14 | 
42 | 
 | 
T27 | 
14 | 
 | 
T32 | 
91 | 
| four_bytes | 
5864 | 
1 | 
 | 
 | 
T14 | 
40 | 
 | 
T27 | 
11 | 
 | 
T32 | 
110 | 
| three_bytes | 
6169 | 
1 | 
 | 
 | 
T14 | 
53 | 
 | 
T27 | 
19 | 
 | 
T32 | 
133 | 
| two_bytes | 
5926 | 
1 | 
 | 
 | 
T14 | 
36 | 
 | 
T27 | 
13 | 
 | 
T32 | 
124 | 
| one_byte | 
5810 | 
1 | 
 | 
 | 
T14 | 
47 | 
 | 
T27 | 
15 | 
 | 
T32 | 
115 | 
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] | 
344590 | 
1 | 
 | 
 | 
T14 | 
1685 | 
 | 
T26 | 
451 | 
 | 
T30 | 
820 | 
| auto[1] | 
6800 | 
1 | 
 | 
 | 
T14 | 
24 | 
 | 
T26 | 
14 | 
 | 
T30 | 
22 | 
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] | 
351390 | 
1 | 
 | 
 | 
T14 | 
1709 | 
 | 
T26 | 
465 | 
 | 
T30 | 
842 | 
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] | 
351368 | 
1 | 
 | 
 | 
T14 | 
1709 | 
 | 
T26 | 
465 | 
 | 
T30 | 
842 | 
| auto[1] | 
22 | 
1 | 
 | 
 | 
T27 | 
1 | 
 | 
T47 | 
1 | 
 | 
T32 | 
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 | 
2440 | 
1 | 
 | 
 | 
T14 | 
5 | 
 | 
T26 | 
7 | 
 | 
T30 | 
11 | 
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 | 
6800 | 
1 | 
 | 
 | 
T14 | 
24 | 
 | 
T26 | 
14 | 
 | 
T30 | 
22 | 
 
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] | 
186504 | 
1 | 
 | 
 | 
T1 | 
67 | 
 | 
T4 | 
2 | 
 | 
T14 | 
1737 | 
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 | 
94298 | 
Excluded | 
Covered bins
| NAME | COUNT | AT LEAST | STATUS |  | TEST | COUNT |  | TEST | COUNT |  | TEST | COUNT | 
| full_data_beat | 
69742 | 
1 | 
 | 
 | 
T1 | 
66 | 
 | 
T4 | 
2 | 
 | 
T14 | 
43 | 
| seven_bytes | 
3225 | 
1 | 
 | 
 | 
T14 | 
46 | 
 | 
T27 | 
5 | 
 | 
T32 | 
96 | 
| six_bytes | 
3267 | 
1 | 
 | 
 | 
T14 | 
56 | 
 | 
T27 | 
8 | 
 | 
T32 | 
73 | 
| five_bytes | 
3242 | 
1 | 
 | 
 | 
T14 | 
55 | 
 | 
T27 | 
5 | 
 | 
T32 | 
78 | 
| four_bytes | 
3171 | 
1 | 
 | 
 | 
T14 | 
31 | 
 | 
T27 | 
10 | 
 | 
T32 | 
78 | 
| three_bytes | 
3192 | 
1 | 
 | 
 | 
T14 | 
49 | 
 | 
T27 | 
6 | 
 | 
T32 | 
75 | 
| two_bytes | 
3112 | 
1 | 
 | 
 | 
T14 | 
42 | 
 | 
T27 | 
9 | 
 | 
T32 | 
87 | 
| one_byte | 
3255 | 
1 | 
 | 
 | 
T14 | 
53 | 
 | 
T27 | 
15 | 
 | 
T32 | 
80 | 
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] | 
182938 | 
1 | 
 | 
 | 
T1 | 
65 | 
 | 
T4 | 
2 | 
 | 
T14 | 
1717 | 
| auto[1] | 
3566 | 
1 | 
 | 
 | 
T1 | 
2 | 
 | 
T14 | 
20 | 
 | 
T26 | 
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] | 
186504 | 
1 | 
 | 
 | 
T1 | 
67 | 
 | 
T4 | 
2 | 
 | 
T14 | 
1737 | 
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] | 
186493 | 
1 | 
 | 
 | 
T1 | 
67 | 
 | 
T4 | 
2 | 
 | 
T14 | 
1737 | 
| auto[1] | 
11 | 
1 | 
 | 
 | 
T45 | 
1 | 
 | 
T88 | 
1 | 
 | 
T120 | 
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 | 
1270 | 
1 | 
 | 
 | 
T1 | 
1 | 
 | 
T14 | 
1 | 
 | 
T26 | 
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 | 
3566 | 
1 | 
 | 
 | 
T1 | 
2 | 
 | 
T14 | 
20 | 
 | 
T26 | 
6 | 
 
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] | 
173555 | 
1 | 
 | 
 | 
T1 | 
90 | 
 | 
T14 | 
2102 | 
 | 
T26 | 
183 | 
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 | 
86469 | 
Excluded | 
Covered bins
| NAME | COUNT | AT LEAST | STATUS |  | TEST | COUNT |  | TEST | COUNT |  | TEST | COUNT | 
| full_data_beat | 
66746 | 
1 | 
 | 
 | 
T1 | 
89 | 
 | 
T14 | 
63 | 
 | 
T26 | 
181 | 
| seven_bytes | 
2977 | 
1 | 
 | 
 | 
T14 | 
48 | 
 | 
T27 | 
10 | 
 | 
T32 | 
54 | 
| six_bytes | 
2946 | 
1 | 
 | 
 | 
T14 | 
59 | 
 | 
T27 | 
9 | 
 | 
T32 | 
51 | 
| five_bytes | 
2930 | 
1 | 
 | 
 | 
T14 | 
60 | 
 | 
T27 | 
7 | 
 | 
T32 | 
41 | 
| four_bytes | 
2800 | 
1 | 
 | 
 | 
T14 | 
59 | 
 | 
T27 | 
7 | 
 | 
T32 | 
34 | 
| three_bytes | 
2958 | 
1 | 
 | 
 | 
T14 | 
58 | 
 | 
T27 | 
9 | 
 | 
T32 | 
40 | 
| two_bytes | 
2917 | 
1 | 
 | 
 | 
T14 | 
66 | 
 | 
T27 | 
6 | 
 | 
T32 | 
45 | 
| one_byte | 
2812 | 
1 | 
 | 
 | 
T14 | 
53 | 
 | 
T27 | 
6 | 
 | 
T32 | 
43 | 
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] | 
170112 | 
1 | 
 | 
 | 
T1 | 
88 | 
 | 
T14 | 
2078 | 
 | 
T26 | 
179 | 
| auto[1] | 
3443 | 
1 | 
 | 
 | 
T1 | 
2 | 
 | 
T14 | 
24 | 
 | 
T26 | 
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] | 
173555 | 
1 | 
 | 
 | 
T1 | 
90 | 
 | 
T14 | 
2102 | 
 | 
T26 | 
183 | 
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] | 
173543 | 
1 | 
 | 
 | 
T1 | 
90 | 
 | 
T14 | 
2102 | 
 | 
T26 | 
183 | 
| auto[1] | 
12 | 
1 | 
 | 
 | 
T45 | 
1 | 
 | 
T28 | 
1 | 
 | 
T88 | 
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 | 
1245 | 
1 | 
 | 
 | 
T1 | 
1 | 
 | 
T14 | 
4 | 
 | 
T26 | 
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 | 
3443 | 
1 | 
 | 
 | 
T1 | 
2 | 
 | 
T14 | 
24 | 
 | 
T26 | 
4 |