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] | 
346021 | 
1 | 
 | 
 | 
T13 | 
1674 | 
 | 
T23 | 
33 | 
 | 
T4 | 
1 | 
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 | 
182359 | 
Excluded | 
Covered bins
| NAME | COUNT | AT LEAST | STATUS |  | TEST | COUNT |  | TEST | COUNT |  | TEST | COUNT | 
| full_data_beat | 
120710 | 
1 | 
 | 
 | 
T13 | 
1647 | 
 | 
T23 | 
32 | 
 | 
T4 | 
1 | 
| seven_bytes | 
6235 | 
1 | 
 | 
 | 
T27 | 
86 | 
 | 
T26 | 
85 | 
 | 
T25 | 
101 | 
| six_bytes | 
6186 | 
1 | 
 | 
 | 
T27 | 
63 | 
 | 
T26 | 
86 | 
 | 
T25 | 
82 | 
| five_bytes | 
6144 | 
1 | 
 | 
 | 
T27 | 
71 | 
 | 
T26 | 
93 | 
 | 
T25 | 
97 | 
| four_bytes | 
6129 | 
1 | 
 | 
 | 
T27 | 
63 | 
 | 
T26 | 
114 | 
 | 
T25 | 
71 | 
| three_bytes | 
6077 | 
1 | 
 | 
 | 
T27 | 
78 | 
 | 
T26 | 
88 | 
 | 
T25 | 
77 | 
| two_bytes | 
6224 | 
1 | 
 | 
 | 
T27 | 
58 | 
 | 
T26 | 
80 | 
 | 
T25 | 
88 | 
| one_byte | 
5957 | 
1 | 
 | 
 | 
T27 | 
62 | 
 | 
T26 | 
69 | 
 | 
T25 | 
104 | 
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] | 
339461 | 
1 | 
 | 
 | 
T13 | 
1620 | 
 | 
T23 | 
31 | 
 | 
T4 | 
1 | 
| auto[1] | 
6560 | 
1 | 
 | 
 | 
T13 | 
54 | 
 | 
T23 | 
2 | 
 | 
T27 | 
30 | 
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] | 
346021 | 
1 | 
 | 
 | 
T13 | 
1674 | 
 | 
T23 | 
33 | 
 | 
T4 | 
1 | 
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] | 
345987 | 
1 | 
 | 
 | 
T13 | 
1674 | 
 | 
T23 | 
33 | 
 | 
T4 | 
1 | 
| auto[1] | 
34 | 
1 | 
 | 
 | 
T152 | 
1 | 
 | 
T153 | 
1 | 
 | 
T154 | 
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 | 
2236 | 
1 | 
 | 
 | 
T13 | 
27 | 
 | 
T23 | 
1 | 
 | 
T27 | 
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 | 
6560 | 
1 | 
 | 
 | 
T13 | 
54 | 
 | 
T23 | 
2 | 
 | 
T27 | 
30 | 
 
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] | 
181504 | 
1 | 
 | 
 | 
T13 | 
816 | 
 | 
T17 | 
192 | 
 | 
T27 | 
1267 | 
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 | 
94894 | 
Excluded | 
Covered bins
| NAME | COUNT | AT LEAST | STATUS |  | TEST | COUNT |  | TEST | COUNT |  | TEST | COUNT | 
| full_data_beat | 
63858 | 
1 | 
 | 
 | 
T13 | 
800 | 
 | 
T17 | 
190 | 
 | 
T27 | 
39 | 
| seven_bytes | 
3224 | 
1 | 
 | 
 | 
T27 | 
29 | 
 | 
T26 | 
51 | 
 | 
T25 | 
41 | 
| six_bytes | 
3242 | 
1 | 
 | 
 | 
T27 | 
28 | 
 | 
T26 | 
61 | 
 | 
T25 | 
59 | 
| five_bytes | 
3323 | 
1 | 
 | 
 | 
T27 | 
34 | 
 | 
T26 | 
97 | 
 | 
T25 | 
61 | 
| four_bytes | 
3214 | 
1 | 
 | 
 | 
T27 | 
30 | 
 | 
T26 | 
64 | 
 | 
T25 | 
42 | 
| three_bytes | 
3277 | 
1 | 
 | 
 | 
T27 | 
30 | 
 | 
T26 | 
66 | 
 | 
T25 | 
55 | 
| two_bytes | 
3246 | 
1 | 
 | 
 | 
T27 | 
37 | 
 | 
T26 | 
74 | 
 | 
T25 | 
48 | 
| one_byte | 
3226 | 
1 | 
 | 
 | 
T27 | 
41 | 
 | 
T26 | 
70 | 
 | 
T25 | 
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] | 
178036 | 
1 | 
 | 
 | 
T13 | 
784 | 
 | 
T17 | 
188 | 
 | 
T27 | 
1255 | 
| auto[1] | 
3468 | 
1 | 
 | 
 | 
T13 | 
32 | 
 | 
T17 | 
4 | 
 | 
T27 | 
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] | 
181504 | 
1 | 
 | 
 | 
T13 | 
816 | 
 | 
T17 | 
192 | 
 | 
T27 | 
1267 | 
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] | 
181489 | 
1 | 
 | 
 | 
T13 | 
815 | 
 | 
T17 | 
192 | 
 | 
T27 | 
1267 | 
| auto[1] | 
15 | 
1 | 
 | 
 | 
T13 | 
1 | 
 | 
T155 | 
1 | 
 | 
T156 | 
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 | 
 | 
 | 
T13 | 
16 | 
 | 
T17 | 
2 | 
 | 
T27 | 
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 | 
3468 | 
1 | 
 | 
 | 
T13 | 
32 | 
 | 
T17 | 
4 | 
 | 
T27 | 
12 | 
 
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] | 
174664 | 
1 | 
 | 
 | 
T13 | 
571 | 
 | 
T17 | 
142 | 
 | 
T23 | 
156 | 
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 | 
88664 | 
Excluded | 
Covered bins
| NAME | COUNT | AT LEAST | STATUS |  | TEST | COUNT |  | TEST | COUNT |  | TEST | COUNT | 
| full_data_beat | 
64636 | 
1 | 
 | 
 | 
T13 | 
560 | 
 | 
T17 | 
140 | 
 | 
T23 | 
154 | 
| seven_bytes | 
3036 | 
1 | 
 | 
 | 
T27 | 
47 | 
 | 
T26 | 
54 | 
 | 
T25 | 
19 | 
| six_bytes | 
3094 | 
1 | 
 | 
 | 
T27 | 
42 | 
 | 
T26 | 
50 | 
 | 
T25 | 
21 | 
| five_bytes | 
3038 | 
1 | 
 | 
 | 
T27 | 
35 | 
 | 
T26 | 
34 | 
 | 
T25 | 
33 | 
| four_bytes | 
2986 | 
1 | 
 | 
 | 
T27 | 
43 | 
 | 
T26 | 
50 | 
 | 
T25 | 
34 | 
| three_bytes | 
3061 | 
1 | 
 | 
 | 
T27 | 
33 | 
 | 
T26 | 
44 | 
 | 
T25 | 
25 | 
| two_bytes | 
3034 | 
1 | 
 | 
 | 
T27 | 
33 | 
 | 
T26 | 
67 | 
 | 
T25 | 
26 | 
| one_byte | 
3115 | 
1 | 
 | 
 | 
T27 | 
39 | 
 | 
T26 | 
41 | 
 | 
T25 | 
19 | 
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] | 
171321 | 
1 | 
 | 
 | 
T13 | 
549 | 
 | 
T17 | 
138 | 
 | 
T23 | 
152 | 
| auto[1] | 
3343 | 
1 | 
 | 
 | 
T13 | 
22 | 
 | 
T17 | 
4 | 
 | 
T23 | 
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] | 
174664 | 
1 | 
 | 
 | 
T13 | 
571 | 
 | 
T17 | 
142 | 
 | 
T23 | 
156 | 
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] | 
174647 | 
1 | 
 | 
 | 
T13 | 
570 | 
 | 
T17 | 
142 | 
 | 
T23 | 
156 | 
| auto[1] | 
17 | 
1 | 
 | 
 | 
T13 | 
1 | 
 | 
T100 | 
1 | 
 | 
T39 | 
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 | 
1160 | 
1 | 
 | 
 | 
T13 | 
11 | 
 | 
T17 | 
2 | 
 | 
T23 | 
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 | 
3343 | 
1 | 
 | 
 | 
T13 | 
22 | 
 | 
T17 | 
4 | 
 | 
T23 | 
4 |