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] | 
321419 | 
1 | 
 | 
 | 
T1 | 
60 | 
 | 
T12 | 
1043 | 
 | 
T14 | 
88 | 
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 | 
157739 | 
Excluded | 
Covered bins
| NAME | COUNT | AT LEAST | STATUS |  | TEST | COUNT |  | TEST | COUNT |  | TEST | COUNT | 
| full_data_beat | 
126122 | 
1 | 
 | 
 | 
T1 | 
59 | 
 | 
T12 | 
1028 | 
 | 
T14 | 
86 | 
| seven_bytes | 
5462 | 
1 | 
 | 
 | 
T25 | 
105 | 
 | 
T28 | 
73 | 
 | 
T42 | 
64 | 
| six_bytes | 
5369 | 
1 | 
 | 
 | 
T25 | 
118 | 
 | 
T28 | 
69 | 
 | 
T42 | 
65 | 
| five_bytes | 
5393 | 
1 | 
 | 
 | 
T25 | 
93 | 
 | 
T28 | 
72 | 
 | 
T42 | 
45 | 
| four_bytes | 
5326 | 
1 | 
 | 
 | 
T25 | 
106 | 
 | 
T28 | 
56 | 
 | 
T42 | 
45 | 
| three_bytes | 
5375 | 
1 | 
 | 
 | 
T25 | 
108 | 
 | 
T28 | 
75 | 
 | 
T42 | 
60 | 
| two_bytes | 
5349 | 
1 | 
 | 
 | 
T25 | 
115 | 
 | 
T28 | 
74 | 
 | 
T42 | 
54 | 
| one_byte | 
5284 | 
1 | 
 | 
 | 
T25 | 
87 | 
 | 
T28 | 
70 | 
 | 
T42 | 
53 | 
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] | 
315016 | 
1 | 
 | 
 | 
T1 | 
58 | 
 | 
T12 | 
1013 | 
 | 
T14 | 
84 | 
| auto[1] | 
6403 | 
1 | 
 | 
 | 
T1 | 
2 | 
 | 
T12 | 
30 | 
 | 
T14 | 
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] | 
321419 | 
1 | 
 | 
 | 
T1 | 
60 | 
 | 
T12 | 
1043 | 
 | 
T14 | 
88 | 
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] | 
321397 | 
1 | 
 | 
 | 
T1 | 
60 | 
 | 
T12 | 
1043 | 
 | 
T14 | 
88 | 
| auto[1] | 
22 | 
1 | 
 | 
 | 
T76 | 
1 | 
 | 
T100 | 
1 | 
 | 
T153 | 
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 | 
2296 | 
1 | 
 | 
 | 
T1 | 
1 | 
 | 
T12 | 
15 | 
 | 
T14 | 
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 | 
6403 | 
1 | 
 | 
 | 
T1 | 
2 | 
 | 
T12 | 
30 | 
 | 
T14 | 
4 | 
 
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] | 
160803 | 
1 | 
 | 
 | 
T1 | 
115 | 
 | 
T12 | 
1079 | 
 | 
T17 | 
339 | 
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 | 
75176 | 
Excluded | 
Covered bins
| NAME | COUNT | AT LEAST | STATUS |  | TEST | COUNT |  | TEST | COUNT |  | TEST | COUNT | 
| full_data_beat | 
67739 | 
1 | 
 | 
 | 
T1 | 
114 | 
 | 
T12 | 
1066 | 
 | 
T17 | 
334 | 
| seven_bytes | 
2534 | 
1 | 
 | 
 | 
T25 | 
24 | 
 | 
T28 | 
36 | 
 | 
T42 | 
8 | 
| six_bytes | 
2596 | 
1 | 
 | 
 | 
T25 | 
15 | 
 | 
T28 | 
32 | 
 | 
T42 | 
7 | 
| five_bytes | 
2670 | 
1 | 
 | 
 | 
T25 | 
17 | 
 | 
T28 | 
26 | 
 | 
T42 | 
16 | 
| four_bytes | 
2540 | 
1 | 
 | 
 | 
T25 | 
23 | 
 | 
T28 | 
30 | 
 | 
T42 | 
12 | 
| three_bytes | 
2555 | 
1 | 
 | 
 | 
T25 | 
27 | 
 | 
T28 | 
29 | 
 | 
T42 | 
11 | 
| two_bytes | 
2555 | 
1 | 
 | 
 | 
T25 | 
21 | 
 | 
T28 | 
32 | 
 | 
T42 | 
9 | 
| one_byte | 
2438 | 
1 | 
 | 
 | 
T25 | 
20 | 
 | 
T28 | 
36 | 
 | 
T42 | 
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] | 
157539 | 
1 | 
 | 
 | 
T1 | 
113 | 
 | 
T12 | 
1053 | 
 | 
T17 | 
329 | 
| auto[1] | 
3264 | 
1 | 
 | 
 | 
T1 | 
2 | 
 | 
T12 | 
26 | 
 | 
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] | 
160803 | 
1 | 
 | 
 | 
T1 | 
115 | 
 | 
T12 | 
1079 | 
 | 
T17 | 
339 | 
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] | 
160791 | 
1 | 
 | 
 | 
T1 | 
115 | 
 | 
T12 | 
1079 | 
 | 
T17 | 
339 | 
| auto[1] | 
12 | 
1 | 
 | 
 | 
T29 | 
1 | 
 | 
T81 | 
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 | 
1196 | 
1 | 
 | 
 | 
T1 | 
1 | 
 | 
T12 | 
13 | 
 | 
T17 | 
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 | 
3264 | 
1 | 
 | 
 | 
T1 | 
2 | 
 | 
T12 | 
26 | 
 | 
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] | 
159254 | 
1 | 
 | 
 | 
T1 | 
71 | 
 | 
T12 | 
760 | 
 | 
T14 | 
107 | 
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 | 
78336 | 
Excluded | 
Covered bins
| NAME | COUNT | AT LEAST | STATUS |  | TEST | COUNT |  | TEST | COUNT |  | TEST | COUNT | 
| full_data_beat | 
62316 | 
1 | 
 | 
 | 
T1 | 
70 | 
 | 
T12 | 
748 | 
 | 
T14 | 
106 | 
| seven_bytes | 
2631 | 
1 | 
 | 
 | 
T25 | 
42 | 
 | 
T28 | 
22 | 
 | 
T42 | 
15 | 
| six_bytes | 
2694 | 
1 | 
 | 
 | 
T25 | 
53 | 
 | 
T28 | 
22 | 
 | 
T42 | 
11 | 
| five_bytes | 
2677 | 
1 | 
 | 
 | 
T25 | 
49 | 
 | 
T28 | 
26 | 
 | 
T42 | 
13 | 
| four_bytes | 
2662 | 
1 | 
 | 
 | 
T25 | 
57 | 
 | 
T28 | 
26 | 
 | 
T42 | 
13 | 
| three_bytes | 
2637 | 
1 | 
 | 
 | 
T25 | 
53 | 
 | 
T28 | 
22 | 
 | 
T42 | 
20 | 
| two_bytes | 
2708 | 
1 | 
 | 
 | 
T25 | 
48 | 
 | 
T28 | 
26 | 
 | 
T42 | 
16 | 
| one_byte | 
2593 | 
1 | 
 | 
 | 
T25 | 
51 | 
 | 
T28 | 
28 | 
 | 
T42 | 
17 | 
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] | 
156060 | 
1 | 
 | 
 | 
T1 | 
69 | 
 | 
T12 | 
736 | 
 | 
T14 | 
105 | 
| auto[1] | 
3194 | 
1 | 
 | 
 | 
T1 | 
2 | 
 | 
T12 | 
24 | 
 | 
T14 | 
2 | 
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] | 
159254 | 
1 | 
 | 
 | 
T1 | 
71 | 
 | 
T12 | 
760 | 
 | 
T14 | 
107 | 
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] | 
159250 | 
1 | 
 | 
 | 
T1 | 
71 | 
 | 
T12 | 
760 | 
 | 
T14 | 
107 | 
| auto[1] | 
4 | 
1 | 
 | 
 | 
T155 | 
1 | 
 | 
T156 | 
1 | 
 | 
T157 | 
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 | 
1161 | 
1 | 
 | 
 | 
T1 | 
1 | 
 | 
T12 | 
12 | 
 | 
T14 | 
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 | 
3194 | 
1 | 
 | 
 | 
T1 | 
2 | 
 | 
T12 | 
24 | 
 | 
T14 | 
2 |