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] | 
163310 | 
1 | 
 | 
 | 
T1 | 
686 | 
 | 
T6 | 
1113 | 
 | 
T7 | 
190 | 
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 | 
80660 | 
Excluded | 
Covered bins
| NAME | COUNT | AT LEAST | STATUS |  | TEST | COUNT |  | TEST | COUNT |  | TEST | COUNT | 
| full_data_beat | 
63611 | 
1 | 
 | 
 | 
T1 | 
676 | 
 | 
T6 | 
38 | 
 | 
T7 | 
187 | 
| seven_bytes | 
2793 | 
1 | 
 | 
 | 
T6 | 
31 | 
 | 
T21 | 
63 | 
 | 
T18 | 
34 | 
| six_bytes | 
2673 | 
1 | 
 | 
 | 
T6 | 
35 | 
 | 
T21 | 
56 | 
 | 
T18 | 
34 | 
| five_bytes | 
2739 | 
1 | 
 | 
 | 
T6 | 
26 | 
 | 
T21 | 
61 | 
 | 
T18 | 
40 | 
| four_bytes | 
2741 | 
1 | 
 | 
 | 
T6 | 
45 | 
 | 
T21 | 
57 | 
 | 
T18 | 
43 | 
| three_bytes | 
2637 | 
1 | 
 | 
 | 
T6 | 
23 | 
 | 
T21 | 
54 | 
 | 
T18 | 
33 | 
| two_bytes | 
2722 | 
1 | 
 | 
 | 
T6 | 
19 | 
 | 
T21 | 
59 | 
 | 
T18 | 
35 | 
| one_byte | 
2734 | 
1 | 
 | 
 | 
T6 | 
33 | 
 | 
T21 | 
56 | 
 | 
T18 | 
36 | 
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] | 
160022 | 
1 | 
 | 
 | 
T1 | 
666 | 
 | 
T6 | 
1095 | 
 | 
T7 | 
184 | 
| auto[1] | 
3288 | 
1 | 
 | 
 | 
T1 | 
20 | 
 | 
T6 | 
18 | 
 | 
T7 | 
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] | 
163310 | 
1 | 
 | 
 | 
T1 | 
686 | 
 | 
T6 | 
1113 | 
 | 
T7 | 
190 | 
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] | 
163294 | 
1 | 
 | 
 | 
T1 | 
686 | 
 | 
T6 | 
1113 | 
 | 
T7 | 
190 | 
| auto[1] | 
16 | 
1 | 
 | 
 | 
T80 | 
1 | 
 | 
T171 | 
1 | 
 | 
T172 | 
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 | 
1170 | 
1 | 
 | 
 | 
T1 | 
10 | 
 | 
T6 | 
2 | 
 | 
T7 | 
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 | 
3288 | 
1 | 
 | 
 | 
T1 | 
20 | 
 | 
T6 | 
18 | 
 | 
T7 | 
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] | 
159544 | 
1 | 
 | 
 | 
T1 | 
875 | 
 | 
T6 | 
1542 | 
 | 
T21 | 
1662 | 
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 | 
78123 | 
Excluded | 
Covered bins
| NAME | COUNT | AT LEAST | STATUS |  | TEST | COUNT |  | TEST | COUNT |  | TEST | COUNT | 
| full_data_beat | 
63293 | 
1 | 
 | 
 | 
T1 | 
861 | 
 | 
T6 | 
30 | 
 | 
T21 | 
57 | 
| seven_bytes | 
2532 | 
1 | 
 | 
 | 
T6 | 
34 | 
 | 
T21 | 
46 | 
 | 
T18 | 
20 | 
| six_bytes | 
2591 | 
1 | 
 | 
 | 
T6 | 
43 | 
 | 
T21 | 
46 | 
 | 
T18 | 
29 | 
| five_bytes | 
2572 | 
1 | 
 | 
 | 
T6 | 
49 | 
 | 
T21 | 
36 | 
 | 
T18 | 
24 | 
| four_bytes | 
2602 | 
1 | 
 | 
 | 
T6 | 
42 | 
 | 
T21 | 
29 | 
 | 
T18 | 
17 | 
| three_bytes | 
2652 | 
1 | 
 | 
 | 
T6 | 
52 | 
 | 
T21 | 
40 | 
 | 
T18 | 
21 | 
| two_bytes | 
2638 | 
1 | 
 | 
 | 
T6 | 
66 | 
 | 
T21 | 
48 | 
 | 
T18 | 
25 | 
| one_byte | 
2541 | 
1 | 
 | 
 | 
T6 | 
29 | 
 | 
T21 | 
50 | 
 | 
T18 | 
38 | 
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] | 
156363 | 
1 | 
 | 
 | 
T1 | 
847 | 
 | 
T6 | 
1526 | 
 | 
T21 | 
1638 | 
| auto[1] | 
3181 | 
1 | 
 | 
 | 
T1 | 
28 | 
 | 
T6 | 
16 | 
 | 
T21 | 
24 | 
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] | 
159544 | 
1 | 
 | 
 | 
T1 | 
875 | 
 | 
T6 | 
1542 | 
 | 
T21 | 
1662 | 
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] | 
159526 | 
1 | 
 | 
 | 
T1 | 
875 | 
 | 
T6 | 
1542 | 
 | 
T21 | 
1662 | 
| auto[1] | 
18 | 
1 | 
 | 
 | 
T173 | 
1 | 
 | 
T172 | 
1 | 
 | 
T174 | 
2 | 
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 | 
1143 | 
1 | 
 | 
 | 
T1 | 
14 | 
 | 
T6 | 
1 | 
 | 
T21 | 
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 | 
3181 | 
1 | 
 | 
 | 
T1 | 
28 | 
 | 
T6 | 
16 | 
 | 
T21 | 
24 | 
 
Summary for Variable app_err
| CATEGORY | EXPECTED | UNCOVERED | COVERED | PERCENT | 
| Automatically Generated Bins | 
2 | 
0 | 
2 | 
100.00 | 
Automatically Generated Bins for app_err
Bins
| NAME | COUNT | AT LEAST | STATUS |  | TEST | COUNT |  | TEST | COUNT |  | TEST | COUNT | 
| auto[0] | 
318686 | 
1 | 
 | 
 | 
T1 | 
1868 | 
 | 
T6 | 
1680 | 
 | 
T7 | 
182 | 
| auto[1] | 
450 | 
1 | 
 | 
 | 
T8 | 
59 | 
 | 
T9 | 
50 | 
 | 
T10 | 
90 | 
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 | 
158793 | 
Excluded | 
Covered bins
| NAME | COUNT | AT LEAST | STATUS |  | TEST | COUNT |  | TEST | COUNT |  | TEST | COUNT | 
| full_data_beat | 
122614 | 
1 | 
 | 
 | 
T1 | 
1841 | 
 | 
T6 | 
41 | 
 | 
T7 | 
177 | 
| seven_bytes | 
5365 | 
1 | 
 | 
 | 
T6 | 
32 | 
 | 
T21 | 
105 | 
 | 
T18 | 
41 | 
| six_bytes | 
5339 | 
1 | 
 | 
 | 
T6 | 
45 | 
 | 
T21 | 
119 | 
 | 
T18 | 
48 | 
| five_bytes | 
5343 | 
1 | 
 | 
 | 
T6 | 
34 | 
 | 
T21 | 
121 | 
 | 
T18 | 
38 | 
| four_bytes | 
5485 | 
1 | 
 | 
 | 
T6 | 
46 | 
 | 
T21 | 
115 | 
 | 
T18 | 
48 | 
| three_bytes | 
5442 | 
1 | 
 | 
 | 
T6 | 
43 | 
 | 
T21 | 
129 | 
 | 
T18 | 
57 | 
| two_bytes | 
5322 | 
1 | 
 | 
 | 
T6 | 
34 | 
 | 
T21 | 
96 | 
 | 
T18 | 
48 | 
| one_byte | 
5433 | 
1 | 
 | 
 | 
T6 | 
46 | 
 | 
T21 | 
120 | 
 | 
T18 | 
46 | 
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] | 
312720 | 
1 | 
 | 
 | 
T1 | 
1814 | 
 | 
T6 | 
1648 | 
 | 
T7 | 
172 | 
| auto[1] | 
6416 | 
1 | 
 | 
 | 
T1 | 
54 | 
 | 
T6 | 
32 | 
 | 
T7 | 
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] | 
319136 | 
1 | 
 | 
 | 
T1 | 
1868 | 
 | 
T6 | 
1680 | 
 | 
T7 | 
182 | 
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] | 
319110 | 
1 | 
 | 
 | 
T1 | 
1868 | 
 | 
T6 | 
1680 | 
 | 
T7 | 
182 | 
| auto[1] | 
26 | 
1 | 
 | 
 | 
T20 | 
1 | 
 | 
T14 | 
1 | 
 | 
T69 | 
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 | 
2312 | 
1 | 
 | 
 | 
T1 | 
27 | 
 | 
T6 | 
2 | 
 | 
T7 | 
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 | 
6416 | 
1 | 
 | 
 | 
T1 | 
54 | 
 | 
T6 | 
32 | 
 | 
T7 | 
10 |