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] | 
351604 | 
1 | 
 | 
 | 
T13 | 
1751 | 
 | 
T14 | 
4551 | 
 | 
T17 | 
741 | 
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 | 
186578 | 
Excluded | 
Covered bins
| NAME | COUNT | AT LEAST | STATUS |  | TEST | COUNT |  | TEST | COUNT |  | TEST | COUNT | 
| full_data_beat | 
120322 | 
1 | 
 | 
 | 
T13 | 
451 | 
 | 
T14 | 
116 | 
 | 
T17 | 
25 | 
| seven_bytes | 
6467 | 
1 | 
 | 
 | 
T13 | 
35 | 
 | 
T14 | 
130 | 
 | 
T17 | 
21 | 
| six_bytes | 
6460 | 
1 | 
 | 
 | 
T13 | 
38 | 
 | 
T14 | 
145 | 
 | 
T17 | 
16 | 
| five_bytes | 
6215 | 
1 | 
 | 
 | 
T13 | 
28 | 
 | 
T14 | 
112 | 
 | 
T17 | 
11 | 
| four_bytes | 
6363 | 
1 | 
 | 
 | 
T13 | 
39 | 
 | 
T14 | 
131 | 
 | 
T17 | 
18 | 
| three_bytes | 
6318 | 
1 | 
 | 
 | 
T13 | 
30 | 
 | 
T14 | 
117 | 
 | 
T17 | 
20 | 
| two_bytes | 
6456 | 
1 | 
 | 
 | 
T13 | 
35 | 
 | 
T14 | 
124 | 
 | 
T17 | 
30 | 
| one_byte | 
6425 | 
1 | 
 | 
 | 
T13 | 
38 | 
 | 
T14 | 
122 | 
 | 
T17 | 
20 | 
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] | 
344952 | 
1 | 
 | 
 | 
T13 | 
1727 | 
 | 
T14 | 
4501 | 
 | 
T17 | 
731 | 
| auto[1] | 
6652 | 
1 | 
 | 
 | 
T13 | 
24 | 
 | 
T14 | 
50 | 
 | 
T17 | 
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] | 
351604 | 
1 | 
 | 
 | 
T13 | 
1751 | 
 | 
T14 | 
4551 | 
 | 
T17 | 
741 | 
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] | 
351583 | 
1 | 
 | 
 | 
T13 | 
1751 | 
 | 
T14 | 
4551 | 
 | 
T17 | 
741 | 
| auto[1] | 
21 | 
1 | 
 | 
 | 
T26 | 
1 | 
 | 
T41 | 
3 | 
 | 
T151 | 
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 | 
 | 
 | 
T13 | 
6 | 
 | 
T14 | 
6 | 
 | 
T17 | 
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 | 
6652 | 
1 | 
 | 
 | 
T13 | 
24 | 
 | 
T14 | 
50 | 
 | 
T17 | 
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] | 
187847 | 
1 | 
 | 
 | 
T13 | 
990 | 
 | 
T14 | 
1331 | 
 | 
T17 | 
570 | 
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 | 
98359 | 
Excluded | 
Covered bins
| NAME | COUNT | AT LEAST | STATUS |  | TEST | COUNT |  | TEST | COUNT |  | TEST | COUNT | 
| full_data_beat | 
66108 | 
1 | 
 | 
 | 
T13 | 
201 | 
 | 
T14 | 
37 | 
 | 
T17 | 
12 | 
| seven_bytes | 
3357 | 
1 | 
 | 
 | 
T13 | 
25 | 
 | 
T14 | 
38 | 
 | 
T17 | 
13 | 
| six_bytes | 
3331 | 
1 | 
 | 
 | 
T13 | 
29 | 
 | 
T14 | 
31 | 
 | 
T17 | 
14 | 
| five_bytes | 
3374 | 
1 | 
 | 
 | 
T13 | 
21 | 
 | 
T14 | 
37 | 
 | 
T17 | 
20 | 
| four_bytes | 
3322 | 
1 | 
 | 
 | 
T13 | 
25 | 
 | 
T14 | 
34 | 
 | 
T17 | 
16 | 
| three_bytes | 
3351 | 
1 | 
 | 
 | 
T13 | 
23 | 
 | 
T14 | 
28 | 
 | 
T17 | 
15 | 
| two_bytes | 
3340 | 
1 | 
 | 
 | 
T13 | 
24 | 
 | 
T14 | 
37 | 
 | 
T17 | 
18 | 
| one_byte | 
3305 | 
1 | 
 | 
 | 
T13 | 
23 | 
 | 
T14 | 
30 | 
 | 
T17 | 
23 | 
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] | 
184357 | 
1 | 
 | 
 | 
T13 | 
976 | 
 | 
T14 | 
1315 | 
 | 
T17 | 
564 | 
| auto[1] | 
3490 | 
1 | 
 | 
 | 
T13 | 
14 | 
 | 
T14 | 
16 | 
 | 
T17 | 
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] | 
187847 | 
1 | 
 | 
 | 
T13 | 
990 | 
 | 
T14 | 
1331 | 
 | 
T17 | 
570 | 
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] | 
187836 | 
1 | 
 | 
 | 
T13 | 
990 | 
 | 
T14 | 
1331 | 
 | 
T17 | 
570 | 
| auto[1] | 
11 | 
1 | 
 | 
 | 
T41 | 
2 | 
 | 
T152 | 
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 | 
1202 | 
1 | 
 | 
 | 
T13 | 
4 | 
 | 
T14 | 
2 | 
 | 
T38 | 
14 | 
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 | 
3490 | 
1 | 
 | 
 | 
T13 | 
14 | 
 | 
T14 | 
16 | 
 | 
T17 | 
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] | 
181695 | 
1 | 
 | 
 | 
T13 | 
1493 | 
 | 
T14 | 
1802 | 
 | 
T38 | 
372 | 
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 | 
95596 | 
Excluded | 
Covered bins
| NAME | COUNT | AT LEAST | STATUS |  | TEST | COUNT |  | TEST | COUNT |  | TEST | COUNT | 
| full_data_beat | 
63173 | 
1 | 
 | 
 | 
T13 | 
388 | 
 | 
T14 | 
47 | 
 | 
T38 | 
366 | 
| seven_bytes | 
3340 | 
1 | 
 | 
 | 
T13 | 
34 | 
 | 
T14 | 
43 | 
 | 
T25 | 
77 | 
| six_bytes | 
3358 | 
1 | 
 | 
 | 
T13 | 
27 | 
 | 
T14 | 
55 | 
 | 
T25 | 
82 | 
| five_bytes | 
3211 | 
1 | 
 | 
 | 
T13 | 
37 | 
 | 
T14 | 
48 | 
 | 
T25 | 
74 | 
| four_bytes | 
3233 | 
1 | 
 | 
 | 
T13 | 
34 | 
 | 
T14 | 
50 | 
 | 
T25 | 
70 | 
| three_bytes | 
3275 | 
1 | 
 | 
 | 
T13 | 
32 | 
 | 
T14 | 
43 | 
 | 
T25 | 
87 | 
| two_bytes | 
3187 | 
1 | 
 | 
 | 
T13 | 
32 | 
 | 
T14 | 
48 | 
 | 
T25 | 
68 | 
| one_byte | 
3322 | 
1 | 
 | 
 | 
T13 | 
31 | 
 | 
T14 | 
54 | 
 | 
T25 | 
101 | 
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] | 
178251 | 
1 | 
 | 
 | 
T13 | 
1465 | 
 | 
T14 | 
1778 | 
 | 
T38 | 
360 | 
| auto[1] | 
3444 | 
1 | 
 | 
 | 
T13 | 
28 | 
 | 
T14 | 
24 | 
 | 
T38 | 
12 | 
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] | 
181695 | 
1 | 
 | 
 | 
T13 | 
1493 | 
 | 
T14 | 
1802 | 
 | 
T38 | 
372 | 
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] | 
181682 | 
1 | 
 | 
 | 
T13 | 
1493 | 
 | 
T14 | 
1802 | 
 | 
T38 | 
372 | 
| auto[1] | 
13 | 
1 | 
 | 
 | 
T28 | 
1 | 
 | 
T154 | 
1 | 
 | 
T155 | 
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 | 
1197 | 
1 | 
 | 
 | 
T13 | 
8 | 
 | 
T14 | 
5 | 
 | 
T38 | 
6 | 
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 | 
3444 | 
1 | 
 | 
 | 
T13 | 
28 | 
 | 
T14 | 
24 | 
 | 
T38 | 
12 |