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] | 
379621 | 
1 | 
 | 
 | 
T2 | 
87 | 
 | 
T23 | 
4134 | 
 | 
T24 | 
1281 | 
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 | 
207242 | 
Excluded | 
Covered bins
| NAME | COUNT | AT LEAST | STATUS |  | TEST | COUNT |  | TEST | COUNT |  | TEST | COUNT | 
| full_data_beat | 
123152 | 
1 | 
 | 
 | 
T2 | 
86 | 
 | 
T23 | 
125 | 
 | 
T24 | 
1261 | 
| seven_bytes | 
7176 | 
1 | 
 | 
 | 
T23 | 
123 | 
 | 
T29 | 
38 | 
 | 
T30 | 
51 | 
| six_bytes | 
7116 | 
1 | 
 | 
 | 
T23 | 
118 | 
 | 
T29 | 
36 | 
 | 
T30 | 
57 | 
| five_bytes | 
6969 | 
1 | 
 | 
 | 
T23 | 
106 | 
 | 
T29 | 
31 | 
 | 
T30 | 
61 | 
| four_bytes | 
7142 | 
1 | 
 | 
 | 
T23 | 
99 | 
 | 
T29 | 
45 | 
 | 
T30 | 
59 | 
| three_bytes | 
7051 | 
1 | 
 | 
 | 
T23 | 
94 | 
 | 
T29 | 
37 | 
 | 
T30 | 
68 | 
| two_bytes | 
6954 | 
1 | 
 | 
 | 
T23 | 
117 | 
 | 
T29 | 
33 | 
 | 
T30 | 
55 | 
| one_byte | 
6819 | 
1 | 
 | 
 | 
T23 | 
94 | 
 | 
T29 | 
29 | 
 | 
T30 | 
52 | 
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] | 
372616 | 
1 | 
 | 
 | 
T2 | 
85 | 
 | 
T23 | 
4082 | 
 | 
T24 | 
1241 | 
| auto[1] | 
7005 | 
1 | 
 | 
 | 
T2 | 
2 | 
 | 
T23 | 
52 | 
 | 
T24 | 
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] | 
379621 | 
1 | 
 | 
 | 
T2 | 
87 | 
 | 
T23 | 
4134 | 
 | 
T24 | 
1281 | 
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] | 
379600 | 
1 | 
 | 
 | 
T2 | 
87 | 
 | 
T23 | 
4134 | 
 | 
T24 | 
1281 | 
| auto[1] | 
21 | 
1 | 
 | 
 | 
T167 | 
1 | 
 | 
T168 | 
1 | 
 | 
T169 | 
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 | 
2320 | 
1 | 
 | 
 | 
T2 | 
1 | 
 | 
T23 | 
8 | 
 | 
T24 | 
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 | 
7005 | 
1 | 
 | 
 | 
T2 | 
2 | 
 | 
T23 | 
52 | 
 | 
T24 | 
40 | 
 
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] | 
186608 | 
1 | 
 | 
 | 
T2 | 
185 | 
 | 
T23 | 
1982 | 
 | 
T24 | 
652 | 
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 | 
100452 | 
Excluded | 
Covered bins
| NAME | COUNT | AT LEAST | STATUS |  | TEST | COUNT |  | TEST | COUNT |  | TEST | COUNT | 
| full_data_beat | 
62274 | 
1 | 
 | 
 | 
T2 | 
183 | 
 | 
T23 | 
57 | 
 | 
T24 | 
643 | 
| seven_bytes | 
3352 | 
1 | 
 | 
 | 
T23 | 
58 | 
 | 
T29 | 
33 | 
 | 
T30 | 
36 | 
| six_bytes | 
3482 | 
1 | 
 | 
 | 
T23 | 
47 | 
 | 
T29 | 
32 | 
 | 
T30 | 
41 | 
| five_bytes | 
3353 | 
1 | 
 | 
 | 
T23 | 
52 | 
 | 
T29 | 
37 | 
 | 
T30 | 
36 | 
| four_bytes | 
3341 | 
1 | 
 | 
 | 
T23 | 
50 | 
 | 
T29 | 
43 | 
 | 
T30 | 
35 | 
| three_bytes | 
3424 | 
1 | 
 | 
 | 
T23 | 
74 | 
 | 
T29 | 
31 | 
 | 
T30 | 
38 | 
| two_bytes | 
3440 | 
1 | 
 | 
 | 
T23 | 
49 | 
 | 
T29 | 
30 | 
 | 
T30 | 
35 | 
| one_byte | 
3490 | 
1 | 
 | 
 | 
T23 | 
53 | 
 | 
T29 | 
32 | 
 | 
T30 | 
41 | 
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] | 
183098 | 
1 | 
 | 
 | 
T2 | 
181 | 
 | 
T23 | 
1958 | 
 | 
T24 | 
634 | 
| auto[1] | 
3510 | 
1 | 
 | 
 | 
T2 | 
4 | 
 | 
T23 | 
24 | 
 | 
T24 | 
18 | 
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] | 
186608 | 
1 | 
 | 
 | 
T2 | 
185 | 
 | 
T23 | 
1982 | 
 | 
T24 | 
652 | 
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] | 
186592 | 
1 | 
 | 
 | 
T2 | 
185 | 
 | 
T23 | 
1982 | 
 | 
T24 | 
652 | 
| auto[1] | 
16 | 
1 | 
 | 
 | 
T48 | 
1 | 
 | 
T89 | 
1 | 
 | 
T170 | 
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 | 
1201 | 
1 | 
 | 
 | 
T2 | 
2 | 
 | 
T23 | 
4 | 
 | 
T24 | 
9 | 
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 | 
3510 | 
1 | 
 | 
 | 
T2 | 
4 | 
 | 
T23 | 
24 | 
 | 
T24 | 
18 | 
 
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] | 
190422 | 
1 | 
 | 
 | 
T23 | 
3213 | 
 | 
T24 | 
809 | 
 | 
T31 | 
105 | 
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 | 
103763 | 
Excluded | 
Covered bins
| NAME | COUNT | AT LEAST | STATUS |  | TEST | COUNT |  | TEST | COUNT |  | TEST | COUNT | 
| full_data_beat | 
61970 | 
1 | 
 | 
 | 
T23 | 
86 | 
 | 
T24 | 
797 | 
 | 
T31 | 
104 | 
| seven_bytes | 
3607 | 
1 | 
 | 
 | 
T23 | 
99 | 
 | 
T29 | 
18 | 
 | 
T30 | 
13 | 
| six_bytes | 
3498 | 
1 | 
 | 
 | 
T23 | 
99 | 
 | 
T29 | 
21 | 
 | 
T30 | 
17 | 
| five_bytes | 
3513 | 
1 | 
 | 
 | 
T23 | 
79 | 
 | 
T29 | 
27 | 
 | 
T30 | 
30 | 
| four_bytes | 
3416 | 
1 | 
 | 
 | 
T23 | 
80 | 
 | 
T29 | 
15 | 
 | 
T30 | 
31 | 
| three_bytes | 
3588 | 
1 | 
 | 
 | 
T23 | 
82 | 
 | 
T29 | 
9 | 
 | 
T30 | 
32 | 
| two_bytes | 
3536 | 
1 | 
 | 
 | 
T23 | 
89 | 
 | 
T29 | 
26 | 
 | 
T30 | 
40 | 
| one_byte | 
3531 | 
1 | 
 | 
 | 
T23 | 
97 | 
 | 
T29 | 
16 | 
 | 
T30 | 
27 | 
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] | 
186930 | 
1 | 
 | 
 | 
T23 | 
3175 | 
 | 
T24 | 
785 | 
 | 
T31 | 
103 | 
| auto[1] | 
3492 | 
1 | 
 | 
 | 
T23 | 
38 | 
 | 
T24 | 
24 | 
 | 
T31 | 
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] | 
190422 | 
1 | 
 | 
 | 
T23 | 
3213 | 
 | 
T24 | 
809 | 
 | 
T31 | 
105 | 
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] | 
190411 | 
1 | 
 | 
 | 
T23 | 
3213 | 
 | 
T24 | 
809 | 
 | 
T31 | 
105 | 
| auto[1] | 
11 | 
1 | 
 | 
 | 
T168 | 
1 | 
 | 
T171 | 
1 | 
 | 
T172 | 
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 | 
1182 | 
1 | 
 | 
 | 
T23 | 
9 | 
 | 
T24 | 
12 | 
 | 
T31 | 
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 | 
3492 | 
1 | 
 | 
 | 
T23 | 
38 | 
 | 
T24 | 
24 | 
 | 
T31 | 
2 |