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] | 
380011 | 
1 | 
 | 
 | 
T1 | 
1203 | 
 | 
T18 | 
2659 | 
 | 
T23 | 
1310 | 
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 | 
188009 | 
Excluded | 
Covered bins
| NAME | COUNT | AT LEAST | STATUS |  | TEST | COUNT |  | TEST | COUNT |  | TEST | COUNT | 
| full_data_beat | 
146998 | 
1 | 
 | 
 | 
T1 | 
1187 | 
 | 
T18 | 
89 | 
 | 
T23 | 
1288 | 
| seven_bytes | 
6383 | 
1 | 
 | 
 | 
T18 | 
82 | 
 | 
T38 | 
20 | 
 | 
T40 | 
23 | 
| six_bytes | 
6465 | 
1 | 
 | 
 | 
T18 | 
61 | 
 | 
T38 | 
23 | 
 | 
T40 | 
27 | 
| five_bytes | 
6400 | 
1 | 
 | 
 | 
T18 | 
72 | 
 | 
T38 | 
16 | 
 | 
T40 | 
31 | 
| four_bytes | 
6505 | 
1 | 
 | 
 | 
T18 | 
62 | 
 | 
T38 | 
24 | 
 | 
T40 | 
27 | 
| three_bytes | 
6418 | 
1 | 
 | 
 | 
T18 | 
78 | 
 | 
T38 | 
27 | 
 | 
T40 | 
34 | 
| two_bytes | 
6429 | 
1 | 
 | 
 | 
T18 | 
61 | 
 | 
T38 | 
29 | 
 | 
T40 | 
27 | 
| one_byte | 
6404 | 
1 | 
 | 
 | 
T18 | 
69 | 
 | 
T38 | 
15 | 
 | 
T40 | 
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] | 
372525 | 
1 | 
 | 
 | 
T1 | 
1171 | 
 | 
T18 | 
2631 | 
 | 
T23 | 
1266 | 
| auto[1] | 
7486 | 
1 | 
 | 
 | 
T1 | 
32 | 
 | 
T18 | 
28 | 
 | 
T23 | 
44 | 
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] | 
380011 | 
1 | 
 | 
 | 
T1 | 
1203 | 
 | 
T18 | 
2659 | 
 | 
T23 | 
1310 | 
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] | 
379985 | 
1 | 
 | 
 | 
T1 | 
1203 | 
 | 
T18 | 
2659 | 
 | 
T23 | 
1309 | 
| auto[1] | 
26 | 
1 | 
 | 
 | 
T23 | 
1 | 
 | 
T30 | 
1 | 
 | 
T42 | 
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 | 
2701 | 
1 | 
 | 
 | 
T1 | 
16 | 
 | 
T18 | 
4 | 
 | 
T23 | 
22 | 
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 | 
7486 | 
1 | 
 | 
 | 
T1 | 
32 | 
 | 
T18 | 
28 | 
 | 
T23 | 
44 | 
 
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] | 
196450 | 
1 | 
 | 
 | 
T1 | 
549 | 
 | 
T18 | 
1185 | 
 | 
T23 | 
636 | 
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 | 
95154 | 
Excluded | 
Covered bins
| NAME | COUNT | AT LEAST | STATUS |  | TEST | COUNT |  | TEST | COUNT |  | TEST | COUNT | 
| full_data_beat | 
78680 | 
1 | 
 | 
 | 
T1 | 
541 | 
 | 
T18 | 
36 | 
 | 
T23 | 
625 | 
| seven_bytes | 
3217 | 
1 | 
 | 
 | 
T18 | 
31 | 
 | 
T38 | 
4 | 
 | 
T40 | 
7 | 
| six_bytes | 
3174 | 
1 | 
 | 
 | 
T18 | 
31 | 
 | 
T38 | 
6 | 
 | 
T40 | 
8 | 
| five_bytes | 
3198 | 
1 | 
 | 
 | 
T18 | 
35 | 
 | 
T38 | 
7 | 
 | 
T40 | 
5 | 
| four_bytes | 
3148 | 
1 | 
 | 
 | 
T18 | 
32 | 
 | 
T38 | 
8 | 
 | 
T40 | 
4 | 
| three_bytes | 
3288 | 
1 | 
 | 
 | 
T18 | 
34 | 
 | 
T38 | 
7 | 
 | 
T40 | 
7 | 
| two_bytes | 
3274 | 
1 | 
 | 
 | 
T18 | 
38 | 
 | 
T38 | 
8 | 
 | 
T40 | 
8 | 
| one_byte | 
3317 | 
1 | 
 | 
 | 
T18 | 
37 | 
 | 
T38 | 
5 | 
 | 
T40 | 
7 | 
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] | 
192460 | 
1 | 
 | 
 | 
T1 | 
533 | 
 | 
T18 | 
1169 | 
 | 
T23 | 
614 | 
| auto[1] | 
3990 | 
1 | 
 | 
 | 
T1 | 
16 | 
 | 
T18 | 
16 | 
 | 
T23 | 
22 | 
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] | 
196450 | 
1 | 
 | 
 | 
T1 | 
549 | 
 | 
T18 | 
1185 | 
 | 
T23 | 
636 | 
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] | 
196434 | 
1 | 
 | 
 | 
T1 | 
549 | 
 | 
T18 | 
1185 | 
 | 
T23 | 
635 | 
| auto[1] | 
16 | 
1 | 
 | 
 | 
T23 | 
1 | 
 | 
T148 | 
1 | 
 | 
T149 | 
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 | 
1435 | 
1 | 
 | 
 | 
T1 | 
8 | 
 | 
T18 | 
2 | 
 | 
T23 | 
11 | 
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 | 
3990 | 
1 | 
 | 
 | 
T1 | 
16 | 
 | 
T18 | 
16 | 
 | 
T23 | 
22 | 
 
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] | 
193952 | 
1 | 
 | 
 | 
T1 | 
686 | 
 | 
T18 | 
1458 | 
 | 
T23 | 
414 | 
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 | 
94374 | 
Excluded | 
Covered bins
| NAME | COUNT | AT LEAST | STATUS |  | TEST | COUNT |  | TEST | COUNT |  | TEST | COUNT | 
| full_data_beat | 
77218 | 
1 | 
 | 
 | 
T1 | 
674 | 
 | 
T18 | 
39 | 
 | 
T23 | 
406 | 
| seven_bytes | 
3253 | 
1 | 
 | 
 | 
T18 | 
35 | 
 | 
T38 | 
8 | 
 | 
T40 | 
5 | 
| six_bytes | 
3220 | 
1 | 
 | 
 | 
T18 | 
40 | 
 | 
T38 | 
6 | 
 | 
T40 | 
2 | 
| five_bytes | 
3272 | 
1 | 
 | 
 | 
T18 | 
50 | 
 | 
T38 | 
8 | 
 | 
T40 | 
3 | 
| four_bytes | 
3211 | 
1 | 
 | 
 | 
T18 | 
29 | 
 | 
T38 | 
9 | 
 | 
T40 | 
4 | 
| three_bytes | 
3198 | 
1 | 
 | 
 | 
T18 | 
40 | 
 | 
T38 | 
5 | 
 | 
T40 | 
2 | 
| two_bytes | 
3180 | 
1 | 
 | 
 | 
T18 | 
50 | 
 | 
T38 | 
7 | 
 | 
T40 | 
6 | 
| one_byte | 
3026 | 
1 | 
 | 
 | 
T18 | 
33 | 
 | 
T38 | 
4 | 
 | 
T40 | 
5 | 
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] | 
190100 | 
1 | 
 | 
 | 
T1 | 
662 | 
 | 
T18 | 
1436 | 
 | 
T23 | 
398 | 
| auto[1] | 
3852 | 
1 | 
 | 
 | 
T1 | 
24 | 
 | 
T18 | 
22 | 
 | 
T23 | 
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] | 
193952 | 
1 | 
 | 
 | 
T1 | 
686 | 
 | 
T18 | 
1458 | 
 | 
T23 | 
414 | 
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] | 
193938 | 
1 | 
 | 
 | 
T1 | 
685 | 
 | 
T18 | 
1458 | 
 | 
T23 | 
414 | 
| auto[1] | 
14 | 
1 | 
 | 
 | 
T1 | 
1 | 
 | 
T150 | 
1 | 
 | 
T112 | 
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 | 
1376 | 
1 | 
 | 
 | 
T1 | 
12 | 
 | 
T18 | 
1 | 
 | 
T23 | 
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 | 
3852 | 
1 | 
 | 
 | 
T1 | 
24 | 
 | 
T18 | 
22 | 
 | 
T23 | 
16 |