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] | 
339250 | 
1 | 
 | 
 | 
T12 | 
72 | 
 | 
T13 | 
705 | 
 | 
T27 | 
1934 | 
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 | 
180561 | 
Excluded | 
Covered bins
| NAME | COUNT | AT LEAST | STATUS |  | TEST | COUNT |  | TEST | COUNT |  | TEST | COUNT | 
| full_data_beat | 
116057 | 
1 | 
 | 
 | 
T12 | 
71 | 
 | 
T13 | 
18 | 
 | 
T27 | 
1909 | 
| seven_bytes | 
6165 | 
1 | 
 | 
 | 
T13 | 
22 | 
 | 
T24 | 
78 | 
 | 
T28 | 
63 | 
| six_bytes | 
6263 | 
1 | 
 | 
 | 
T13 | 
19 | 
 | 
T24 | 
85 | 
 | 
T28 | 
80 | 
| five_bytes | 
6024 | 
1 | 
 | 
 | 
T13 | 
12 | 
 | 
T24 | 
75 | 
 | 
T28 | 
56 | 
| four_bytes | 
6249 | 
1 | 
 | 
 | 
T13 | 
27 | 
 | 
T24 | 
85 | 
 | 
T28 | 
60 | 
| three_bytes | 
5970 | 
1 | 
 | 
 | 
T13 | 
12 | 
 | 
T24 | 
69 | 
 | 
T28 | 
55 | 
| two_bytes | 
5934 | 
1 | 
 | 
 | 
T13 | 
20 | 
 | 
T24 | 
61 | 
 | 
T28 | 
64 | 
| one_byte | 
6027 | 
1 | 
 | 
 | 
T13 | 
29 | 
 | 
T24 | 
73 | 
 | 
T28 | 
61 | 
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] | 
332930 | 
1 | 
 | 
 | 
T12 | 
70 | 
 | 
T13 | 
697 | 
 | 
T27 | 
1884 | 
| auto[1] | 
6320 | 
1 | 
 | 
 | 
T12 | 
2 | 
 | 
T13 | 
8 | 
 | 
T27 | 
50 | 
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] | 
339250 | 
1 | 
 | 
 | 
T12 | 
72 | 
 | 
T13 | 
705 | 
 | 
T27 | 
1934 | 
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] | 
339226 | 
1 | 
 | 
 | 
T12 | 
72 | 
 | 
T13 | 
705 | 
 | 
T27 | 
1934 | 
| auto[1] | 
24 | 
1 | 
 | 
 | 
T28 | 
1 | 
 | 
T139 | 
1 | 
 | 
T140 | 
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 | 
2165 | 
1 | 
 | 
 | 
T12 | 
1 | 
 | 
T13 | 
1 | 
 | 
T27 | 
25 | 
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 | 
6320 | 
1 | 
 | 
 | 
T12 | 
2 | 
 | 
T13 | 
8 | 
 | 
T27 | 
50 | 
 
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] | 
171474 | 
1 | 
 | 
 | 
T13 | 
127 | 
 | 
T27 | 
1261 | 
 | 
T24 | 
2424 | 
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 | 
90342 | 
Excluded | 
Covered bins
| NAME | COUNT | AT LEAST | STATUS |  | TEST | COUNT |  | TEST | COUNT |  | TEST | COUNT | 
| full_data_beat | 
59706 | 
1 | 
 | 
 | 
T13 | 
2 | 
 | 
T27 | 
1235 | 
 | 
T24 | 
408 | 
| seven_bytes | 
3081 | 
1 | 
 | 
 | 
T13 | 
1 | 
 | 
T24 | 
57 | 
 | 
T28 | 
39 | 
| six_bytes | 
3086 | 
1 | 
 | 
 | 
T13 | 
2 | 
 | 
T24 | 
52 | 
 | 
T28 | 
49 | 
| five_bytes | 
3031 | 
1 | 
 | 
 | 
T13 | 
4 | 
 | 
T24 | 
64 | 
 | 
T28 | 
54 | 
| four_bytes | 
3012 | 
1 | 
 | 
 | 
T24 | 
65 | 
 | 
T28 | 
36 | 
 | 
T25 | 
78 | 
| three_bytes | 
3085 | 
1 | 
 | 
 | 
T13 | 
2 | 
 | 
T24 | 
42 | 
 | 
T28 | 
45 | 
| two_bytes | 
3095 | 
1 | 
 | 
 | 
T13 | 
2 | 
 | 
T24 | 
43 | 
 | 
T28 | 
44 | 
| one_byte | 
3036 | 
1 | 
 | 
 | 
T13 | 
4 | 
 | 
T24 | 
52 | 
 | 
T28 | 
50 | 
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] | 
168240 | 
1 | 
 | 
 | 
T13 | 
125 | 
 | 
T27 | 
1209 | 
 | 
T24 | 
2390 | 
| auto[1] | 
3234 | 
1 | 
 | 
 | 
T13 | 
2 | 
 | 
T27 | 
52 | 
 | 
T24 | 
34 | 
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] | 
171474 | 
1 | 
 | 
 | 
T13 | 
127 | 
 | 
T27 | 
1261 | 
 | 
T24 | 
2424 | 
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] | 
171466 | 
1 | 
 | 
 | 
T13 | 
127 | 
 | 
T27 | 
1261 | 
 | 
T24 | 
2424 | 
| auto[1] | 
8 | 
1 | 
 | 
 | 
T141 | 
1 | 
 | 
T47 | 
1 | 
 | 
T142 | 
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 | 
1120 | 
1 | 
 | 
 | 
T27 | 
26 | 
 | 
T24 | 
8 | 
 | 
T28 | 
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 | 
3234 | 
1 | 
 | 
 | 
T13 | 
2 | 
 | 
T27 | 
52 | 
 | 
T24 | 
34 | 
 
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] | 
163783 | 
1 | 
 | 
 | 
T13 | 
451 | 
 | 
T27 | 
898 | 
 | 
T24 | 
2063 | 
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 | 
83337 | 
Excluded | 
Covered bins
| NAME | COUNT | AT LEAST | STATUS |  | TEST | COUNT |  | TEST | COUNT |  | TEST | COUNT | 
| full_data_beat | 
60998 | 
1 | 
 | 
 | 
T13 | 
11 | 
 | 
T27 | 
884 | 
 | 
T24 | 
171 | 
| seven_bytes | 
2758 | 
1 | 
 | 
 | 
T13 | 
19 | 
 | 
T24 | 
47 | 
 | 
T28 | 
22 | 
| six_bytes | 
2851 | 
1 | 
 | 
 | 
T13 | 
10 | 
 | 
T24 | 
58 | 
 | 
T28 | 
35 | 
| five_bytes | 
2771 | 
1 | 
 | 
 | 
T13 | 
9 | 
 | 
T24 | 
59 | 
 | 
T28 | 
20 | 
| four_bytes | 
2755 | 
1 | 
 | 
 | 
T13 | 
8 | 
 | 
T24 | 
51 | 
 | 
T28 | 
14 | 
| three_bytes | 
2770 | 
1 | 
 | 
 | 
T13 | 
8 | 
 | 
T24 | 
57 | 
 | 
T28 | 
23 | 
| two_bytes | 
2835 | 
1 | 
 | 
 | 
T13 | 
15 | 
 | 
T24 | 
50 | 
 | 
T28 | 
19 | 
| one_byte | 
2708 | 
1 | 
 | 
 | 
T13 | 
10 | 
 | 
T24 | 
41 | 
 | 
T28 | 
21 | 
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] | 
160647 | 
1 | 
 | 
 | 
T13 | 
447 | 
 | 
T27 | 
870 | 
 | 
T24 | 
2041 | 
| auto[1] | 
3136 | 
1 | 
 | 
 | 
T13 | 
4 | 
 | 
T27 | 
28 | 
 | 
T24 | 
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] | 
163783 | 
1 | 
 | 
 | 
T13 | 
451 | 
 | 
T27 | 
898 | 
 | 
T24 | 
2063 | 
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] | 
163776 | 
1 | 
 | 
 | 
T13 | 
451 | 
 | 
T27 | 
898 | 
 | 
T24 | 
2063 | 
| auto[1] | 
7 | 
1 | 
 | 
 | 
T25 | 
1 | 
 | 
T93 | 
1 | 
 | 
T95 | 
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 | 
1096 | 
1 | 
 | 
 | 
T27 | 
14 | 
 | 
T24 | 
4 | 
 | 
T28 | 
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 | 
3136 | 
1 | 
 | 
 | 
T13 | 
4 | 
 | 
T27 | 
28 | 
 | 
T24 | 
22 |