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] | 
164826 | 
1 | 
 | 
 | 
T7 | 
3312 | 
 | 
T10 | 
555 | 
 | 
T20 | 
729 | 
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 | 
90556 | 
Excluded | 
Covered bins
| NAME | COUNT | AT LEAST | STATUS |  | TEST | COUNT |  | TEST | COUNT |  | TEST | COUNT | 
| full_data_beat | 
52809 | 
1 | 
 | 
 | 
T7 | 
104 | 
 | 
T10 | 
545 | 
 | 
T20 | 
12 | 
| seven_bytes | 
3071 | 
1 | 
 | 
 | 
T7 | 
70 | 
 | 
T20 | 
30 | 
 | 
T21 | 
77 | 
| six_bytes | 
2986 | 
1 | 
 | 
 | 
T7 | 
94 | 
 | 
T20 | 
21 | 
 | 
T21 | 
72 | 
| five_bytes | 
3105 | 
1 | 
 | 
 | 
T7 | 
95 | 
 | 
T20 | 
19 | 
 | 
T21 | 
68 | 
| four_bytes | 
3015 | 
1 | 
 | 
 | 
T7 | 
83 | 
 | 
T20 | 
13 | 
 | 
T21 | 
84 | 
| three_bytes | 
3141 | 
1 | 
 | 
 | 
T7 | 
100 | 
 | 
T20 | 
17 | 
 | 
T21 | 
71 | 
| two_bytes | 
3045 | 
1 | 
 | 
 | 
T7 | 
95 | 
 | 
T20 | 
16 | 
 | 
T21 | 
72 | 
| one_byte | 
3098 | 
1 | 
 | 
 | 
T7 | 
91 | 
 | 
T20 | 
19 | 
 | 
T21 | 
79 | 
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] | 
161756 | 
1 | 
 | 
 | 
T7 | 
3270 | 
 | 
T10 | 
535 | 
 | 
T20 | 
715 | 
| auto[1] | 
3070 | 
1 | 
 | 
 | 
T7 | 
42 | 
 | 
T10 | 
20 | 
 | 
T20 | 
14 | 
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] | 
164826 | 
1 | 
 | 
 | 
T7 | 
3312 | 
 | 
T10 | 
555 | 
 | 
T20 | 
729 | 
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] | 
164818 | 
1 | 
 | 
 | 
T7 | 
3312 | 
 | 
T10 | 
555 | 
 | 
T20 | 
729 | 
| auto[1] | 
8 | 
1 | 
 | 
 | 
T173 | 
1 | 
 | 
T174 | 
1 | 
 | 
T175 | 
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 | 
1028 | 
1 | 
 | 
 | 
T7 | 
7 | 
 | 
T10 | 
10 | 
 | 
T20 | 
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 | 
3070 | 
1 | 
 | 
 | 
T7 | 
42 | 
 | 
T10 | 
20 | 
 | 
T20 | 
14 | 
 
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] | 
161461 | 
1 | 
 | 
 | 
T7 | 
3270 | 
 | 
T10 | 
1081 | 
 | 
T20 | 
1599 | 
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 | 
86235 | 
Excluded | 
Covered bins
| NAME | COUNT | AT LEAST | STATUS |  | TEST | COUNT |  | TEST | COUNT |  | TEST | COUNT | 
| full_data_beat | 
54962 | 
1 | 
 | 
 | 
T7 | 
83 | 
 | 
T10 | 
1068 | 
 | 
T20 | 
41 | 
| seven_bytes | 
2973 | 
1 | 
 | 
 | 
T7 | 
91 | 
 | 
T20 | 
35 | 
 | 
T21 | 
30 | 
| six_bytes | 
2846 | 
1 | 
 | 
 | 
T7 | 
92 | 
 | 
T20 | 
50 | 
 | 
T21 | 
32 | 
| five_bytes | 
2968 | 
1 | 
 | 
 | 
T7 | 
105 | 
 | 
T20 | 
39 | 
 | 
T21 | 
32 | 
| four_bytes | 
2900 | 
1 | 
 | 
 | 
T7 | 
85 | 
 | 
T20 | 
47 | 
 | 
T21 | 
31 | 
| three_bytes | 
2892 | 
1 | 
 | 
 | 
T7 | 
79 | 
 | 
T20 | 
58 | 
 | 
T21 | 
40 | 
| two_bytes | 
2835 | 
1 | 
 | 
 | 
T7 | 
85 | 
 | 
T20 | 
43 | 
 | 
T21 | 
32 | 
| one_byte | 
2850 | 
1 | 
 | 
 | 
T7 | 
95 | 
 | 
T20 | 
49 | 
 | 
T21 | 
30 | 
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] | 
158355 | 
1 | 
 | 
 | 
T7 | 
3234 | 
 | 
T10 | 
1055 | 
 | 
T20 | 
1585 | 
| auto[1] | 
3106 | 
1 | 
 | 
 | 
T7 | 
36 | 
 | 
T10 | 
26 | 
 | 
T20 | 
14 | 
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] | 
161461 | 
1 | 
 | 
 | 
T7 | 
3270 | 
 | 
T10 | 
1081 | 
 | 
T20 | 
1599 | 
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] | 
161449 | 
1 | 
 | 
 | 
T7 | 
3269 | 
 | 
T10 | 
1081 | 
 | 
T20 | 
1599 | 
| auto[1] | 
12 | 
1 | 
 | 
 | 
T7 | 
1 | 
 | 
T176 | 
1 | 
 | 
T56 | 
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 | 
1064 | 
1 | 
 | 
 | 
T7 | 
7 | 
 | 
T10 | 
13 | 
 | 
T20 | 
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 | 
3106 | 
1 | 
 | 
 | 
T7 | 
36 | 
 | 
T10 | 
26 | 
 | 
T20 | 
14 | 
 
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] | 
318900 | 
1 | 
 | 
 | 
T7 | 
8233 | 
 | 
T8 | 
3 | 
 | 
T9 | 
194 | 
| auto[1] | 
336 | 
1 | 
 | 
 | 
T11 | 
24 | 
 | 
T12 | 
9 | 
 | 
T13 | 
10 | 
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 | 
174761 | 
Excluded | 
Covered bins
| NAME | COUNT | AT LEAST | STATUS |  | TEST | COUNT |  | TEST | COUNT |  | TEST | COUNT | 
| full_data_beat | 
102934 | 
1 | 
 | 
 | 
T7 | 
213 | 
 | 
T8 | 
3 | 
 | 
T9 | 
190 | 
| seven_bytes | 
5882 | 
1 | 
 | 
 | 
T7 | 
229 | 
 | 
T20 | 
61 | 
 | 
T21 | 
93 | 
| six_bytes | 
6055 | 
1 | 
 | 
 | 
T7 | 
240 | 
 | 
T20 | 
63 | 
 | 
T21 | 
83 | 
| five_bytes | 
6017 | 
1 | 
 | 
 | 
T7 | 
229 | 
 | 
T20 | 
76 | 
 | 
T21 | 
83 | 
| four_bytes | 
5911 | 
1 | 
 | 
 | 
T7 | 
189 | 
 | 
T20 | 
84 | 
 | 
T21 | 
74 | 
| three_bytes | 
5852 | 
1 | 
 | 
 | 
T7 | 
220 | 
 | 
T20 | 
86 | 
 | 
T21 | 
82 | 
| two_bytes | 
6050 | 
1 | 
 | 
 | 
T7 | 
224 | 
 | 
T20 | 
94 | 
 | 
T21 | 
114 | 
| one_byte | 
5774 | 
1 | 
 | 
 | 
T7 | 
225 | 
 | 
T20 | 
68 | 
 | 
T21 | 
75 | 
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] | 
313286 | 
1 | 
 | 
 | 
T7 | 
8135 | 
 | 
T8 | 
3 | 
 | 
T9 | 
186 | 
| auto[1] | 
5950 | 
1 | 
 | 
 | 
T7 | 
98 | 
 | 
T9 | 
8 | 
 | 
T10 | 
42 | 
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] | 
319236 | 
1 | 
 | 
 | 
T7 | 
8233 | 
 | 
T8 | 
3 | 
 | 
T9 | 
194 | 
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] | 
319220 | 
1 | 
 | 
 | 
T7 | 
8233 | 
 | 
T8 | 
3 | 
 | 
T9 | 
194 | 
| auto[1] | 
16 | 
1 | 
 | 
 | 
T177 | 
1 | 
 | 
T19 | 
1 | 
 | 
T178 | 
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 | 
1995 | 
1 | 
 | 
 | 
T7 | 
17 | 
 | 
T9 | 
4 | 
 | 
T10 | 
21 | 
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 | 
5950 | 
1 | 
 | 
 | 
T7 | 
98 | 
 | 
T9 | 
8 | 
 | 
T10 | 
42 |