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] | 
352293 | 
1 | 
 | 
 | 
T4 | 
578 | 
 | 
T21 | 
1923 | 
 | 
T27 | 
1746 | 
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 | 
186459 | 
Excluded | 
Covered bins
| NAME | COUNT | AT LEAST | STATUS |  | TEST | COUNT |  | TEST | COUNT |  | TEST | COUNT | 
| full_data_beat | 
121338 | 
1 | 
 | 
 | 
T4 | 
571 | 
 | 
T21 | 
1893 | 
 | 
T27 | 
1717 | 
| seven_bytes | 
6352 | 
1 | 
 | 
 | 
T28 | 
113 | 
 | 
T29 | 
16 | 
 | 
T24 | 
21 | 
| six_bytes | 
6365 | 
1 | 
 | 
 | 
T28 | 
112 | 
 | 
T29 | 
19 | 
 | 
T24 | 
17 | 
| five_bytes | 
6325 | 
1 | 
 | 
 | 
T28 | 
110 | 
 | 
T29 | 
17 | 
 | 
T24 | 
22 | 
| four_bytes | 
6422 | 
1 | 
 | 
 | 
T28 | 
111 | 
 | 
T29 | 
18 | 
 | 
T24 | 
19 | 
| three_bytes | 
6342 | 
1 | 
 | 
 | 
T28 | 
115 | 
 | 
T29 | 
15 | 
 | 
T24 | 
25 | 
| two_bytes | 
6407 | 
1 | 
 | 
 | 
T28 | 
114 | 
 | 
T29 | 
15 | 
 | 
T24 | 
21 | 
| one_byte | 
6283 | 
1 | 
 | 
 | 
T28 | 
127 | 
 | 
T29 | 
15 | 
 | 
T24 | 
23 | 
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] | 
345769 | 
1 | 
 | 
 | 
T4 | 
564 | 
 | 
T21 | 
1863 | 
 | 
T27 | 
1688 | 
| auto[1] | 
6524 | 
1 | 
 | 
 | 
T4 | 
14 | 
 | 
T21 | 
60 | 
 | 
T27 | 
58 | 
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] | 
352293 | 
1 | 
 | 
 | 
T4 | 
578 | 
 | 
T21 | 
1923 | 
 | 
T27 | 
1746 | 
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] | 
352271 | 
1 | 
 | 
 | 
T4 | 
578 | 
 | 
T21 | 
1923 | 
 | 
T27 | 
1746 | 
| auto[1] | 
22 | 
1 | 
 | 
 | 
T25 | 
2 | 
 | 
T26 | 
1 | 
 | 
T137 | 
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 | 
2245 | 
1 | 
 | 
 | 
T4 | 
7 | 
 | 
T21 | 
30 | 
 | 
T27 | 
29 | 
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 | 
6524 | 
1 | 
 | 
 | 
T4 | 
14 | 
 | 
T21 | 
60 | 
 | 
T27 | 
58 | 
 
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] | 
168795 | 
1 | 
 | 
 | 
T4 | 
159 | 
 | 
T21 | 
1166 | 
 | 
T27 | 
734 | 
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 | 
85508 | 
Excluded | 
Covered bins
| NAME | COUNT | AT LEAST | STATUS |  | TEST | COUNT |  | TEST | COUNT |  | TEST | COUNT | 
| full_data_beat | 
63189 | 
1 | 
 | 
 | 
T4 | 
157 | 
 | 
T21 | 
1150 | 
 | 
T27 | 
722 | 
| seven_bytes | 
2903 | 
1 | 
 | 
 | 
T28 | 
78 | 
 | 
T29 | 
6 | 
 | 
T24 | 
16 | 
| six_bytes | 
2966 | 
1 | 
 | 
 | 
T28 | 
70 | 
 | 
T29 | 
4 | 
 | 
T24 | 
19 | 
| five_bytes | 
2917 | 
1 | 
 | 
 | 
T28 | 
80 | 
 | 
T29 | 
5 | 
 | 
T24 | 
25 | 
| four_bytes | 
2794 | 
1 | 
 | 
 | 
T28 | 
75 | 
 | 
T29 | 
1 | 
 | 
T24 | 
17 | 
| three_bytes | 
2888 | 
1 | 
 | 
 | 
T28 | 
82 | 
 | 
T29 | 
4 | 
 | 
T24 | 
26 | 
| two_bytes | 
2820 | 
1 | 
 | 
 | 
T28 | 
73 | 
 | 
T29 | 
3 | 
 | 
T24 | 
22 | 
| one_byte | 
2810 | 
1 | 
 | 
 | 
T28 | 
74 | 
 | 
T29 | 
6 | 
 | 
T24 | 
13 | 
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] | 
165495 | 
1 | 
 | 
 | 
T4 | 
155 | 
 | 
T21 | 
1134 | 
 | 
T27 | 
710 | 
| auto[1] | 
3300 | 
1 | 
 | 
 | 
T4 | 
4 | 
 | 
T21 | 
32 | 
 | 
T27 | 
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] | 
168795 | 
1 | 
 | 
 | 
T4 | 
159 | 
 | 
T21 | 
1166 | 
 | 
T27 | 
734 | 
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] | 
168788 | 
1 | 
 | 
 | 
T4 | 
159 | 
 | 
T21 | 
1166 | 
 | 
T27 | 
734 | 
| auto[1] | 
7 | 
1 | 
 | 
 | 
T138 | 
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 | 
1137 | 
1 | 
 | 
 | 
T4 | 
2 | 
 | 
T21 | 
16 | 
 | 
T27 | 
12 | 
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 | 
3300 | 
1 | 
 | 
 | 
T4 | 
4 | 
 | 
T21 | 
32 | 
 | 
T27 | 
24 | 
 
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] | 
172130 | 
1 | 
 | 
 | 
T4 | 
115 | 
 | 
T21 | 
616 | 
 | 
T27 | 
1331 | 
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 | 
88642 | 
Excluded | 
Covered bins
| NAME | COUNT | AT LEAST | STATUS |  | TEST | COUNT |  | TEST | COUNT |  | TEST | COUNT | 
| full_data_beat | 
62645 | 
1 | 
 | 
 | 
T4 | 
112 | 
 | 
T21 | 
606 | 
 | 
T27 | 
1311 | 
| seven_bytes | 
2965 | 
1 | 
 | 
 | 
T28 | 
64 | 
 | 
T29 | 
15 | 
 | 
T24 | 
3 | 
| six_bytes | 
2901 | 
1 | 
 | 
 | 
T28 | 
59 | 
 | 
T29 | 
7 | 
 | 
T24 | 
2 | 
| five_bytes | 
3055 | 
1 | 
 | 
 | 
T28 | 
50 | 
 | 
T29 | 
15 | 
 | 
T24 | 
3 | 
| four_bytes | 
3011 | 
1 | 
 | 
 | 
T28 | 
54 | 
 | 
T29 | 
9 | 
 | 
T24 | 
6 | 
| three_bytes | 
2957 | 
1 | 
 | 
 | 
T28 | 
46 | 
 | 
T29 | 
8 | 
 | 
T24 | 
3 | 
| two_bytes | 
2924 | 
1 | 
 | 
 | 
T28 | 
56 | 
 | 
T29 | 
16 | 
 | 
T24 | 
5 | 
| one_byte | 
3030 | 
1 | 
 | 
 | 
T28 | 
62 | 
 | 
T29 | 
14 | 
 | 
T24 | 
4 | 
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] | 
168773 | 
1 | 
 | 
 | 
T4 | 
109 | 
 | 
T21 | 
596 | 
 | 
T27 | 
1291 | 
| auto[1] | 
3357 | 
1 | 
 | 
 | 
T4 | 
6 | 
 | 
T21 | 
20 | 
 | 
T27 | 
40 | 
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] | 
172130 | 
1 | 
 | 
 | 
T4 | 
115 | 
 | 
T21 | 
616 | 
 | 
T27 | 
1331 | 
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] | 
172119 | 
1 | 
 | 
 | 
T4 | 
115 | 
 | 
T21 | 
615 | 
 | 
T27 | 
1331 | 
| auto[1] | 
11 | 
1 | 
 | 
 | 
T21 | 
1 | 
 | 
T141 | 
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 | 
1168 | 
1 | 
 | 
 | 
T4 | 
3 | 
 | 
T21 | 
10 | 
 | 
T27 | 
20 | 
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 | 
3357 | 
1 | 
 | 
 | 
T4 | 
6 | 
 | 
T21 | 
20 | 
 | 
T27 | 
40 |