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] | 
330138 | 
1 | 
 | 
 | 
T12 | 
3753 | 
 | 
T18 | 
1260 | 
 | 
T24 | 
488 | 
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 | 
182921 | 
Excluded | 
Covered bins
| NAME | COUNT | AT LEAST | STATUS |  | TEST | COUNT |  | TEST | COUNT |  | TEST | COUNT | 
| full_data_beat | 
103781 | 
1 | 
 | 
 | 
T12 | 
114 | 
 | 
T18 | 
147 | 
 | 
T24 | 
480 | 
| seven_bytes | 
6153 | 
1 | 
 | 
 | 
T12 | 
82 | 
 | 
T18 | 
42 | 
 | 
T28 | 
4 | 
| six_bytes | 
6320 | 
1 | 
 | 
 | 
T12 | 
111 | 
 | 
T18 | 
35 | 
 | 
T28 | 
6 | 
| five_bytes | 
6215 | 
1 | 
 | 
 | 
T12 | 
103 | 
 | 
T18 | 
25 | 
 | 
T28 | 
12 | 
| four_bytes | 
6234 | 
1 | 
 | 
 | 
T12 | 
109 | 
 | 
T18 | 
36 | 
 | 
T28 | 
6 | 
| three_bytes | 
6140 | 
1 | 
 | 
 | 
T12 | 
84 | 
 | 
T18 | 
27 | 
 | 
T28 | 
6 | 
| two_bytes | 
6181 | 
1 | 
 | 
 | 
T12 | 
98 | 
 | 
T18 | 
26 | 
 | 
T28 | 
8 | 
| one_byte | 
6193 | 
1 | 
 | 
 | 
T12 | 
97 | 
 | 
T18 | 
35 | 
 | 
T28 | 
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] | 
324067 | 
1 | 
 | 
 | 
T12 | 
3701 | 
 | 
T18 | 
1236 | 
 | 
T24 | 
472 | 
| auto[1] | 
6071 | 
1 | 
 | 
 | 
T12 | 
52 | 
 | 
T18 | 
24 | 
 | 
T24 | 
16 | 
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] | 
330138 | 
1 | 
 | 
 | 
T12 | 
3753 | 
 | 
T18 | 
1260 | 
 | 
T24 | 
488 | 
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] | 
330119 | 
1 | 
 | 
 | 
T12 | 
3753 | 
 | 
T18 | 
1260 | 
 | 
T24 | 
488 | 
| auto[1] | 
19 | 
1 | 
 | 
 | 
T163 | 
1 | 
 | 
T151 | 
1 | 
 | 
T164 | 
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 | 
1990 | 
1 | 
 | 
 | 
T12 | 
6 | 
 | 
T18 | 
3 | 
 | 
T24 | 
8 | 
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 | 
6071 | 
1 | 
 | 
 | 
T12 | 
52 | 
 | 
T18 | 
24 | 
 | 
T24 | 
16 | 
 
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] | 
165343 | 
1 | 
 | 
 | 
T2 | 
79 | 
 | 
T12 | 
2118 | 
 | 
T18 | 
677 | 
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 | 
85543 | 
Excluded | 
Covered bins
| NAME | COUNT | AT LEAST | STATUS |  | TEST | COUNT |  | TEST | COUNT |  | TEST | COUNT | 
| full_data_beat | 
59063 | 
1 | 
 | 
 | 
T2 | 
77 | 
 | 
T12 | 
75 | 
 | 
T18 | 
94 | 
| seven_bytes | 
2928 | 
1 | 
 | 
 | 
T12 | 
66 | 
 | 
T18 | 
15 | 
 | 
T28 | 
10 | 
| six_bytes | 
3009 | 
1 | 
 | 
 | 
T12 | 
51 | 
 | 
T18 | 
10 | 
 | 
T28 | 
13 | 
| five_bytes | 
2967 | 
1 | 
 | 
 | 
T12 | 
55 | 
 | 
T18 | 
11 | 
 | 
T28 | 
9 | 
| four_bytes | 
2971 | 
1 | 
 | 
 | 
T12 | 
51 | 
 | 
T18 | 
12 | 
 | 
T28 | 
14 | 
| three_bytes | 
2956 | 
1 | 
 | 
 | 
T12 | 
72 | 
 | 
T18 | 
19 | 
 | 
T28 | 
14 | 
| two_bytes | 
2960 | 
1 | 
 | 
 | 
T12 | 
59 | 
 | 
T18 | 
15 | 
 | 
T28 | 
8 | 
| one_byte | 
2946 | 
1 | 
 | 
 | 
T12 | 
64 | 
 | 
T18 | 
16 | 
 | 
T28 | 
14 | 
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] | 
162122 | 
1 | 
 | 
 | 
T2 | 
75 | 
 | 
T12 | 
2092 | 
 | 
T18 | 
661 | 
| auto[1] | 
3221 | 
1 | 
 | 
 | 
T2 | 
4 | 
 | 
T12 | 
26 | 
 | 
T18 | 
16 | 
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] | 
165343 | 
1 | 
 | 
 | 
T2 | 
79 | 
 | 
T12 | 
2118 | 
 | 
T18 | 
677 | 
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] | 
165338 | 
1 | 
 | 
 | 
T2 | 
78 | 
 | 
T12 | 
2118 | 
 | 
T18 | 
676 | 
| auto[1] | 
5 | 
1 | 
 | 
 | 
T2 | 
1 | 
 | 
T18 | 
1 | 
 | 
T165 | 
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 | 
1086 | 
1 | 
 | 
 | 
T2 | 
2 | 
 | 
T12 | 
8 | 
 | 
T18 | 
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 | 
3221 | 
1 | 
 | 
 | 
T2 | 
4 | 
 | 
T12 | 
26 | 
 | 
T18 | 
16 | 
 
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] | 
164514 | 
1 | 
 | 
 | 
T2 | 
20 | 
 | 
T12 | 
2637 | 
 | 
T18 | 
618 | 
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 | 
86820 | 
Excluded | 
Covered bins
| NAME | COUNT | AT LEAST | STATUS |  | TEST | COUNT |  | TEST | COUNT |  | TEST | COUNT | 
| full_data_beat | 
57240 | 
1 | 
 | 
 | 
T2 | 
19 | 
 | 
T12 | 
68 | 
 | 
T18 | 
127 | 
| seven_bytes | 
2912 | 
1 | 
 | 
 | 
T12 | 
78 | 
 | 
T18 | 
13 | 
 | 
T28 | 
18 | 
| six_bytes | 
2858 | 
1 | 
 | 
 | 
T12 | 
68 | 
 | 
T18 | 
13 | 
 | 
T28 | 
27 | 
| five_bytes | 
2933 | 
1 | 
 | 
 | 
T12 | 
69 | 
 | 
T18 | 
15 | 
 | 
T28 | 
15 | 
| four_bytes | 
3025 | 
1 | 
 | 
 | 
T12 | 
70 | 
 | 
T18 | 
15 | 
 | 
T28 | 
16 | 
| three_bytes | 
2863 | 
1 | 
 | 
 | 
T12 | 
59 | 
 | 
T18 | 
14 | 
 | 
T28 | 
18 | 
| two_bytes | 
2891 | 
1 | 
 | 
 | 
T12 | 
74 | 
 | 
T18 | 
9 | 
 | 
T28 | 
19 | 
| one_byte | 
2972 | 
1 | 
 | 
 | 
T12 | 
69 | 
 | 
T18 | 
10 | 
 | 
T28 | 
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] | 
161356 | 
1 | 
 | 
 | 
T2 | 
18 | 
 | 
T12 | 
2605 | 
 | 
T18 | 
608 | 
| auto[1] | 
3158 | 
1 | 
 | 
 | 
T2 | 
2 | 
 | 
T12 | 
32 | 
 | 
T18 | 
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] | 
164514 | 
1 | 
 | 
 | 
T2 | 
20 | 
 | 
T12 | 
2637 | 
 | 
T18 | 
618 | 
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] | 
164501 | 
1 | 
 | 
 | 
T2 | 
20 | 
 | 
T12 | 
2637 | 
 | 
T18 | 
617 | 
| auto[1] | 
13 | 
1 | 
 | 
 | 
T18 | 
1 | 
 | 
T164 | 
1 | 
 | 
T166 | 
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 | 
1082 | 
1 | 
 | 
 | 
T2 | 
1 | 
 | 
T12 | 
2 | 
 | 
T18 | 
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 | 
3158 | 
1 | 
 | 
 | 
T2 | 
2 | 
 | 
T12 | 
32 | 
 | 
T18 | 
10 |