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] | 
347061 | 
1 | 
 | 
 | 
T13 | 
643 | 
 | 
T15 | 
1319 | 
 | 
T19 | 
3854 | 
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 | 
168176 | 
Excluded | 
Covered bins
| NAME | COUNT | AT LEAST | STATUS |  | TEST | COUNT |  | TEST | COUNT |  | TEST | COUNT | 
| full_data_beat | 
139153 | 
1 | 
 | 
 | 
T13 | 
16 | 
 | 
T15 | 
154 | 
 | 
T19 | 
122 | 
| seven_bytes | 
5598 | 
1 | 
 | 
 | 
T13 | 
16 | 
 | 
T15 | 
24 | 
 | 
T19 | 
110 | 
| six_bytes | 
5658 | 
1 | 
 | 
 | 
T13 | 
18 | 
 | 
T15 | 
37 | 
 | 
T19 | 
98 | 
| five_bytes | 
5564 | 
1 | 
 | 
 | 
T13 | 
11 | 
 | 
T15 | 
39 | 
 | 
T19 | 
107 | 
| four_bytes | 
5916 | 
1 | 
 | 
 | 
T13 | 
21 | 
 | 
T15 | 
29 | 
 | 
T19 | 
115 | 
| three_bytes | 
5687 | 
1 | 
 | 
 | 
T13 | 
16 | 
 | 
T15 | 
28 | 
 | 
T19 | 
100 | 
| two_bytes | 
5674 | 
1 | 
 | 
 | 
T13 | 
10 | 
 | 
T15 | 
35 | 
 | 
T19 | 
99 | 
| one_byte | 
5635 | 
1 | 
 | 
 | 
T13 | 
15 | 
 | 
T15 | 
34 | 
 | 
T19 | 
105 | 
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] | 
340101 | 
1 | 
 | 
 | 
T13 | 
635 | 
 | 
T15 | 
1303 | 
 | 
T19 | 
3796 | 
| auto[1] | 
6960 | 
1 | 
 | 
 | 
T13 | 
8 | 
 | 
T15 | 
16 | 
 | 
T19 | 
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] | 
347061 | 
1 | 
 | 
 | 
T13 | 
643 | 
 | 
T15 | 
1319 | 
 | 
T19 | 
3854 | 
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] | 
347034 | 
1 | 
 | 
 | 
T13 | 
643 | 
 | 
T15 | 
1319 | 
 | 
T19 | 
3854 | 
| auto[1] | 
27 | 
1 | 
 | 
 | 
T109 | 
1 | 
 | 
T160 | 
1 | 
 | 
T41 | 
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 | 
2508 | 
1 | 
 | 
 | 
T13 | 
3 | 
 | 
T15 | 
4 | 
 | 
T19 | 
5 | 
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 | 
6960 | 
1 | 
 | 
 | 
T13 | 
8 | 
 | 
T15 | 
16 | 
 | 
T19 | 
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] | 
177309 | 
1 | 
 | 
 | 
T13 | 
960 | 
 | 
T15 | 
1013 | 
 | 
T19 | 
587 | 
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 | 
89052 | 
Excluded | 
Covered bins
| NAME | COUNT | AT LEAST | STATUS |  | TEST | COUNT |  | TEST | COUNT |  | TEST | COUNT | 
| full_data_beat | 
66973 | 
1 | 
 | 
 | 
T13 | 
34 | 
 | 
T15 | 
104 | 
 | 
T19 | 
15 | 
| seven_bytes | 
3055 | 
1 | 
 | 
 | 
T13 | 
21 | 
 | 
T15 | 
28 | 
 | 
T19 | 
16 | 
| six_bytes | 
3057 | 
1 | 
 | 
 | 
T13 | 
25 | 
 | 
T15 | 
27 | 
 | 
T19 | 
16 | 
| five_bytes | 
3109 | 
1 | 
 | 
 | 
T13 | 
28 | 
 | 
T15 | 
28 | 
 | 
T19 | 
22 | 
| four_bytes | 
3072 | 
1 | 
 | 
 | 
T13 | 
24 | 
 | 
T15 | 
26 | 
 | 
T19 | 
16 | 
| three_bytes | 
3102 | 
1 | 
 | 
 | 
T13 | 
33 | 
 | 
T15 | 
23 | 
 | 
T19 | 
16 | 
| two_bytes | 
2965 | 
1 | 
 | 
 | 
T13 | 
23 | 
 | 
T15 | 
20 | 
 | 
T19 | 
12 | 
| one_byte | 
2924 | 
1 | 
 | 
 | 
T13 | 
21 | 
 | 
T15 | 
26 | 
 | 
T19 | 
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] | 
173773 | 
1 | 
 | 
 | 
T13 | 
950 | 
 | 
T15 | 
1001 | 
 | 
T19 | 
575 | 
| auto[1] | 
3536 | 
1 | 
 | 
 | 
T13 | 
10 | 
 | 
T15 | 
12 | 
 | 
T19 | 
12 | 
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] | 
177309 | 
1 | 
 | 
 | 
T13 | 
960 | 
 | 
T15 | 
1013 | 
 | 
T19 | 
587 | 
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] | 
177294 | 
1 | 
 | 
 | 
T13 | 
960 | 
 | 
T15 | 
1013 | 
 | 
T19 | 
587 | 
| auto[1] | 
15 | 
1 | 
 | 
 | 
T161 | 
1 | 
 | 
T162 | 
1 | 
 | 
T163 | 
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 | 
1255 | 
1 | 
 | 
 | 
T13 | 
1 | 
 | 
T15 | 
2 | 
 | 
T19 | 
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 | 
3536 | 
1 | 
 | 
 | 
T13 | 
10 | 
 | 
T15 | 
12 | 
 | 
T19 | 
12 | 
 
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] | 
177450 | 
1 | 
 | 
 | 
T3 | 
57 | 
 | 
T4 | 
1 | 
 | 
T15 | 
803 | 
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 | 
88137 | 
Excluded | 
Covered bins
| NAME | COUNT | AT LEAST | STATUS |  | TEST | COUNT |  | TEST | COUNT |  | TEST | COUNT | 
| full_data_beat | 
68695 | 
1 | 
 | 
 | 
T3 | 
57 | 
 | 
T4 | 
1 | 
 | 
T15 | 
24 | 
| seven_bytes | 
2961 | 
1 | 
 | 
 | 
T15 | 
18 | 
 | 
T19 | 
54 | 
 | 
T37 | 
38 | 
| six_bytes | 
2954 | 
1 | 
 | 
 | 
T15 | 
17 | 
 | 
T19 | 
45 | 
 | 
T37 | 
40 | 
| five_bytes | 
2988 | 
1 | 
 | 
 | 
T15 | 
18 | 
 | 
T19 | 
49 | 
 | 
T37 | 
60 | 
| four_bytes | 
2919 | 
1 | 
 | 
 | 
T15 | 
22 | 
 | 
T19 | 
54 | 
 | 
T37 | 
46 | 
| three_bytes | 
3021 | 
1 | 
 | 
 | 
T15 | 
19 | 
 | 
T19 | 
55 | 
 | 
T37 | 
55 | 
| two_bytes | 
2854 | 
1 | 
 | 
 | 
T15 | 
24 | 
 | 
T19 | 
44 | 
 | 
T37 | 
52 | 
| one_byte | 
2921 | 
1 | 
 | 
 | 
T15 | 
29 | 
 | 
T19 | 
46 | 
 | 
T37 | 
47 | 
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] | 
173961 | 
1 | 
 | 
 | 
T3 | 
56 | 
 | 
T4 | 
1 | 
 | 
T15 | 
795 | 
| auto[1] | 
3489 | 
1 | 
 | 
 | 
T3 | 
1 | 
 | 
T15 | 
8 | 
 | 
T19 | 
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] | 
177450 | 
1 | 
 | 
 | 
T3 | 
57 | 
 | 
T4 | 
1 | 
 | 
T15 | 
803 | 
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] | 
177435 | 
1 | 
 | 
 | 
T3 | 
57 | 
 | 
T4 | 
1 | 
 | 
T15 | 
802 | 
| auto[1] | 
15 | 
1 | 
 | 
 | 
T15 | 
1 | 
 | 
T142 | 
1 | 
 | 
T75 | 
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 | 
1262 | 
1 | 
 | 
 | 
T3 | 
1 | 
 | 
T15 | 
3 | 
 | 
T19 | 
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 | 
3489 | 
1 | 
 | 
 | 
T3 | 
1 | 
 | 
T15 | 
8 | 
 | 
T19 | 
22 |