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] | 
328833 | 
1 | 
 | 
 | 
T3 | 
3185 | 
 | 
T23 | 
523 | 
 | 
T4 | 
4 | 
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 | 
163185 | 
Excluded | 
Covered bins
| NAME | COUNT | AT LEAST | STATUS |  | TEST | COUNT |  | TEST | COUNT |  | TEST | COUNT | 
| full_data_beat | 
127029 | 
1 | 
 | 
 | 
T3 | 
3134 | 
 | 
T23 | 
127 | 
 | 
T4 | 
4 | 
| seven_bytes | 
5522 | 
1 | 
 | 
 | 
T23 | 
10 | 
 | 
T30 | 
50 | 
 | 
T31 | 
57 | 
| six_bytes | 
5618 | 
1 | 
 | 
 | 
T23 | 
9 | 
 | 
T30 | 
69 | 
 | 
T31 | 
45 | 
| five_bytes | 
5460 | 
1 | 
 | 
 | 
T23 | 
11 | 
 | 
T30 | 
59 | 
 | 
T31 | 
50 | 
| four_bytes | 
5356 | 
1 | 
 | 
 | 
T23 | 
10 | 
 | 
T30 | 
44 | 
 | 
T31 | 
46 | 
| three_bytes | 
5615 | 
1 | 
 | 
 | 
T23 | 
9 | 
 | 
T30 | 
69 | 
 | 
T31 | 
44 | 
| two_bytes | 
5424 | 
1 | 
 | 
 | 
T23 | 
18 | 
 | 
T30 | 
62 | 
 | 
T31 | 
47 | 
| one_byte | 
5624 | 
1 | 
 | 
 | 
T23 | 
15 | 
 | 
T30 | 
61 | 
 | 
T31 | 
40 | 
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] | 
322423 | 
1 | 
 | 
 | 
T3 | 
3083 | 
 | 
T23 | 
511 | 
 | 
T4 | 
4 | 
| auto[1] | 
6410 | 
1 | 
 | 
 | 
T3 | 
102 | 
 | 
T23 | 
12 | 
 | 
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] | 
328833 | 
1 | 
 | 
 | 
T3 | 
3185 | 
 | 
T23 | 
523 | 
 | 
T4 | 
4 | 
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] | 
328810 | 
1 | 
 | 
 | 
T3 | 
3185 | 
 | 
T23 | 
523 | 
 | 
T4 | 
4 | 
| auto[1] | 
23 | 
1 | 
 | 
 | 
T41 | 
2 | 
 | 
T149 | 
1 | 
 | 
T150 | 
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 | 
2254 | 
1 | 
 | 
 | 
T3 | 
51 | 
 | 
T23 | 
3 | 
 | 
T27 | 
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 | 
6410 | 
1 | 
 | 
 | 
T3 | 
102 | 
 | 
T23 | 
12 | 
 | 
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] | 
161701 | 
1 | 
 | 
 | 
T3 | 
1083 | 
 | 
T27 | 
44 | 
 | 
T30 | 
1091 | 
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 | 
82790 | 
Excluded | 
Covered bins
| NAME | COUNT | AT LEAST | STATUS |  | TEST | COUNT |  | TEST | COUNT |  | TEST | COUNT | 
| full_data_beat | 
59241 | 
1 | 
 | 
 | 
T3 | 
1068 | 
 | 
T27 | 
43 | 
 | 
T30 | 
26 | 
| seven_bytes | 
2767 | 
1 | 
 | 
 | 
T30 | 
22 | 
 | 
T31 | 
62 | 
 | 
T28 | 
10 | 
| six_bytes | 
2841 | 
1 | 
 | 
 | 
T30 | 
37 | 
 | 
T31 | 
72 | 
 | 
T42 | 
7 | 
| five_bytes | 
2796 | 
1 | 
 | 
 | 
T30 | 
26 | 
 | 
T31 | 
81 | 
 | 
T42 | 
7 | 
| four_bytes | 
2819 | 
1 | 
 | 
 | 
T30 | 
35 | 
 | 
T31 | 
69 | 
 | 
T42 | 
5 | 
| three_bytes | 
2826 | 
1 | 
 | 
 | 
T30 | 
30 | 
 | 
T31 | 
61 | 
 | 
T42 | 
4 | 
| two_bytes | 
2799 | 
1 | 
 | 
 | 
T30 | 
39 | 
 | 
T31 | 
59 | 
 | 
T42 | 
3 | 
| one_byte | 
2822 | 
1 | 
 | 
 | 
T30 | 
42 | 
 | 
T31 | 
59 | 
 | 
T42 | 
7 | 
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] | 
158585 | 
1 | 
 | 
 | 
T3 | 
1053 | 
 | 
T27 | 
42 | 
 | 
T30 | 
1073 | 
| auto[1] | 
3116 | 
1 | 
 | 
 | 
T3 | 
30 | 
 | 
T27 | 
2 | 
 | 
T30 | 
18 | 
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] | 
161701 | 
1 | 
 | 
 | 
T3 | 
1083 | 
 | 
T27 | 
44 | 
 | 
T30 | 
1091 | 
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] | 
161688 | 
1 | 
 | 
 | 
T3 | 
1083 | 
 | 
T27 | 
44 | 
 | 
T30 | 
1091 | 
| auto[1] | 
13 | 
1 | 
 | 
 | 
T41 | 
1 | 
 | 
T111 | 
1 | 
 | 
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 | 
1109 | 
1 | 
 | 
 | 
T3 | 
15 | 
 | 
T27 | 
1 | 
 | 
T30 | 
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 | 
3116 | 
1 | 
 | 
 | 
T3 | 
30 | 
 | 
T27 | 
2 | 
 | 
T30 | 
18 | 
 
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] | 
161340 | 
1 | 
 | 
 | 
T3 | 
722 | 
 | 
T23 | 
186 | 
 | 
T27 | 
217 | 
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 | 
78805 | 
Excluded | 
Covered bins
| NAME | COUNT | AT LEAST | STATUS |  | TEST | COUNT |  | TEST | COUNT |  | TEST | COUNT | 
| full_data_beat | 
63701 | 
1 | 
 | 
 | 
T3 | 
706 | 
 | 
T23 | 
111 | 
 | 
T27 | 
212 | 
| seven_bytes | 
2730 | 
1 | 
 | 
 | 
T23 | 
2 | 
 | 
T30 | 
34 | 
 | 
T31 | 
30 | 
| six_bytes | 
2726 | 
1 | 
 | 
 | 
T30 | 
32 | 
 | 
T31 | 
41 | 
 | 
T28 | 
29 | 
| five_bytes | 
2636 | 
1 | 
 | 
 | 
T23 | 
1 | 
 | 
T30 | 
20 | 
 | 
T31 | 
29 | 
| four_bytes | 
2770 | 
1 | 
 | 
 | 
T23 | 
3 | 
 | 
T30 | 
29 | 
 | 
T31 | 
32 | 
| three_bytes | 
2640 | 
1 | 
 | 
 | 
T23 | 
1 | 
 | 
T30 | 
36 | 
 | 
T31 | 
25 | 
| two_bytes | 
2693 | 
1 | 
 | 
 | 
T23 | 
2 | 
 | 
T30 | 
23 | 
 | 
T31 | 
39 | 
| one_byte | 
2639 | 
1 | 
 | 
 | 
T23 | 
2 | 
 | 
T30 | 
33 | 
 | 
T31 | 
27 | 
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] | 
158094 | 
1 | 
 | 
 | 
T3 | 
690 | 
 | 
T23 | 
182 | 
 | 
T27 | 
207 | 
| auto[1] | 
3246 | 
1 | 
 | 
 | 
T3 | 
32 | 
 | 
T23 | 
4 | 
 | 
T27 | 
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] | 
161340 | 
1 | 
 | 
 | 
T3 | 
722 | 
 | 
T23 | 
186 | 
 | 
T27 | 
217 | 
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] | 
161325 | 
1 | 
 | 
 | 
T3 | 
722 | 
 | 
T23 | 
186 | 
 | 
T27 | 
217 | 
| auto[1] | 
15 | 
1 | 
 | 
 | 
T41 | 
1 | 
 | 
T29 | 
1 | 
 | 
T152 | 
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 | 
1174 | 
1 | 
 | 
 | 
T3 | 
16 | 
 | 
T23 | 
2 | 
 | 
T27 | 
5 | 
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 | 
3246 | 
1 | 
 | 
 | 
T3 | 
32 | 
 | 
T23 | 
4 | 
 | 
T27 | 
10 |