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] | 
330755 | 
1 | 
 | 
 | 
T1 | 
12 | 
 | 
T18 | 
379 | 
 | 
T19 | 
3086 | 
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 | 
174335 | 
Excluded | 
Covered bins
| NAME | COUNT | AT LEAST | STATUS |  | TEST | COUNT |  | TEST | COUNT |  | TEST | COUNT | 
| full_data_beat | 
115443 | 
1 | 
 | 
 | 
T1 | 
12 | 
 | 
T18 | 
372 | 
 | 
T19 | 
67 | 
| seven_bytes | 
5925 | 
1 | 
 | 
 | 
T19 | 
73 | 
 | 
T27 | 
58 | 
 | 
T48 | 
14 | 
| six_bytes | 
5944 | 
1 | 
 | 
 | 
T19 | 
78 | 
 | 
T27 | 
68 | 
 | 
T48 | 
22 | 
| five_bytes | 
5902 | 
1 | 
 | 
 | 
T19 | 
80 | 
 | 
T27 | 
49 | 
 | 
T48 | 
21 | 
| four_bytes | 
5779 | 
1 | 
 | 
 | 
T19 | 
70 | 
 | 
T27 | 
50 | 
 | 
T48 | 
17 | 
| three_bytes | 
5828 | 
1 | 
 | 
 | 
T19 | 
87 | 
 | 
T27 | 
68 | 
 | 
T48 | 
22 | 
| two_bytes | 
5798 | 
1 | 
 | 
 | 
T19 | 
81 | 
 | 
T27 | 
53 | 
 | 
T48 | 
25 | 
| one_byte | 
5801 | 
1 | 
 | 
 | 
T19 | 
65 | 
 | 
T27 | 
57 | 
 | 
T48 | 
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] | 
324435 | 
1 | 
 | 
 | 
T1 | 
11 | 
 | 
T18 | 
365 | 
 | 
T19 | 
3046 | 
| auto[1] | 
6320 | 
1 | 
 | 
 | 
T1 | 
1 | 
 | 
T18 | 
14 | 
 | 
T19 | 
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] | 
330755 | 
1 | 
 | 
 | 
T1 | 
12 | 
 | 
T18 | 
379 | 
 | 
T19 | 
3086 | 
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] | 
330734 | 
1 | 
 | 
 | 
T1 | 
12 | 
 | 
T18 | 
379 | 
 | 
T19 | 
3086 | 
| auto[1] | 
21 | 
1 | 
 | 
 | 
T28 | 
1 | 
 | 
T29 | 
1 | 
 | 
T55 | 
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 | 
2153 | 
1 | 
 | 
 | 
T1 | 
1 | 
 | 
T18 | 
7 | 
 | 
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 | 
6320 | 
1 | 
 | 
 | 
T1 | 
1 | 
 | 
T18 | 
14 | 
 | 
T19 | 
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] | 
173578 | 
1 | 
 | 
 | 
T17 | 
200 | 
 | 
T18 | 
344 | 
 | 
T19 | 
1356 | 
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 | 
89718 | 
Excluded | 
Covered bins
| NAME | COUNT | AT LEAST | STATUS |  | TEST | COUNT |  | TEST | COUNT |  | TEST | COUNT | 
| full_data_beat | 
62889 | 
1 | 
 | 
 | 
T17 | 
5 | 
 | 
T18 | 
337 | 
 | 
T19 | 
40 | 
| seven_bytes | 
2966 | 
1 | 
 | 
 | 
T17 | 
4 | 
 | 
T19 | 
38 | 
 | 
T27 | 
28 | 
| six_bytes | 
3009 | 
1 | 
 | 
 | 
T17 | 
3 | 
 | 
T19 | 
40 | 
 | 
T27 | 
25 | 
| five_bytes | 
2953 | 
1 | 
 | 
 | 
T17 | 
5 | 
 | 
T19 | 
35 | 
 | 
T27 | 
41 | 
| four_bytes | 
3008 | 
1 | 
 | 
 | 
T17 | 
2 | 
 | 
T19 | 
40 | 
 | 
T27 | 
28 | 
| three_bytes | 
3047 | 
1 | 
 | 
 | 
T17 | 
1 | 
 | 
T19 | 
52 | 
 | 
T27 | 
29 | 
| two_bytes | 
3052 | 
1 | 
 | 
 | 
T17 | 
9 | 
 | 
T19 | 
37 | 
 | 
T27 | 
29 | 
| one_byte | 
2936 | 
1 | 
 | 
 | 
T17 | 
3 | 
 | 
T19 | 
34 | 
 | 
T27 | 
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] | 
170190 | 
1 | 
 | 
 | 
T17 | 
198 | 
 | 
T18 | 
330 | 
 | 
T19 | 
1342 | 
| auto[1] | 
3388 | 
1 | 
 | 
 | 
T17 | 
2 | 
 | 
T18 | 
14 | 
 | 
T19 | 
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] | 
173578 | 
1 | 
 | 
 | 
T17 | 
200 | 
 | 
T18 | 
344 | 
 | 
T19 | 
1356 | 
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] | 
173570 | 
1 | 
 | 
 | 
T17 | 
200 | 
 | 
T18 | 
344 | 
 | 
T19 | 
1356 | 
| auto[1] | 
8 | 
1 | 
 | 
 | 
T169 | 
1 | 
 | 
T170 | 
1 | 
 | 
T171 | 
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 | 
1164 | 
1 | 
 | 
 | 
T18 | 
7 | 
 | 
T19 | 
1 | 
 | 
T27 | 
4 | 
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 | 
3388 | 
1 | 
 | 
 | 
T17 | 
2 | 
 | 
T18 | 
14 | 
 | 
T19 | 
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] | 
168506 | 
1 | 
 | 
 | 
T17 | 
114 | 
 | 
T18 | 
32 | 
 | 
T19 | 
1523 | 
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 | 
87175 | 
Excluded | 
Covered bins
| NAME | COUNT | AT LEAST | STATUS |  | TEST | COUNT |  | TEST | COUNT |  | TEST | COUNT | 
| full_data_beat | 
60526 | 
1 | 
 | 
 | 
T17 | 
5 | 
 | 
T18 | 
31 | 
 | 
T19 | 
50 | 
| seven_bytes | 
2915 | 
1 | 
 | 
 | 
T17 | 
2 | 
 | 
T19 | 
30 | 
 | 
T27 | 
52 | 
| six_bytes | 
3049 | 
1 | 
 | 
 | 
T17 | 
3 | 
 | 
T19 | 
42 | 
 | 
T27 | 
48 | 
| five_bytes | 
2948 | 
1 | 
 | 
 | 
T17 | 
4 | 
 | 
T19 | 
36 | 
 | 
T27 | 
56 | 
| four_bytes | 
2987 | 
1 | 
 | 
 | 
T17 | 
8 | 
 | 
T19 | 
37 | 
 | 
T27 | 
44 | 
| three_bytes | 
2941 | 
1 | 
 | 
 | 
T17 | 
3 | 
 | 
T19 | 
38 | 
 | 
T27 | 
60 | 
| two_bytes | 
3079 | 
1 | 
 | 
 | 
T17 | 
3 | 
 | 
T19 | 
53 | 
 | 
T27 | 
48 | 
| one_byte | 
2886 | 
1 | 
 | 
 | 
T17 | 
1 | 
 | 
T19 | 
40 | 
 | 
T27 | 
39 | 
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] | 
165278 | 
1 | 
 | 
 | 
T17 | 
112 | 
 | 
T18 | 
30 | 
 | 
T19 | 
1509 | 
| auto[1] | 
3228 | 
1 | 
 | 
 | 
T17 | 
2 | 
 | 
T18 | 
2 | 
 | 
T19 | 
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] | 
168506 | 
1 | 
 | 
 | 
T17 | 
114 | 
 | 
T18 | 
32 | 
 | 
T19 | 
1523 | 
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] | 
168489 | 
1 | 
 | 
 | 
T17 | 
114 | 
 | 
T18 | 
32 | 
 | 
T19 | 
1523 | 
| auto[1] | 
17 | 
1 | 
 | 
 | 
T93 | 
1 | 
 | 
T169 | 
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 | 
1115 | 
1 | 
 | 
 | 
T18 | 
1 | 
 | 
T27 | 
5 | 
 | 
T30 | 
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 | 
3228 | 
1 | 
 | 
 | 
T17 | 
2 | 
 | 
T18 | 
2 | 
 | 
T19 | 
14 |