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] | 
377009 | 
1 | 
 | 
 | 
T1 | 
581 | 
 | 
T3 | 
613 | 
 | 
T13 | 
612 | 
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 | 
205276 | 
Excluded | 
Covered bins
| NAME | COUNT | AT LEAST | STATUS |  | TEST | COUNT |  | TEST | COUNT |  | TEST | COUNT | 
| full_data_beat | 
122973 | 
1 | 
 | 
 | 
T1 | 
570 | 
 | 
T3 | 
603 | 
 | 
T13 | 
18 | 
| seven_bytes | 
7058 | 
1 | 
 | 
 | 
T13 | 
16 | 
 | 
T15 | 
70 | 
 | 
T28 | 
121 | 
| six_bytes | 
6881 | 
1 | 
 | 
 | 
T13 | 
20 | 
 | 
T15 | 
77 | 
 | 
T36 | 
1 | 
| five_bytes | 
6919 | 
1 | 
 | 
 | 
T13 | 
18 | 
 | 
T15 | 
87 | 
 | 
T36 | 
1 | 
| four_bytes | 
7009 | 
1 | 
 | 
 | 
T13 | 
14 | 
 | 
T15 | 
64 | 
 | 
T28 | 
129 | 
| three_bytes | 
7023 | 
1 | 
 | 
 | 
T13 | 
16 | 
 | 
T15 | 
84 | 
 | 
T28 | 
135 | 
| two_bytes | 
6929 | 
1 | 
 | 
 | 
T13 | 
15 | 
 | 
T15 | 
70 | 
 | 
T36 | 
1 | 
| one_byte | 
6941 | 
1 | 
 | 
 | 
T13 | 
18 | 
 | 
T15 | 
82 | 
 | 
T36 | 
1 | 
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] | 
370039 | 
1 | 
 | 
 | 
T1 | 
559 | 
 | 
T3 | 
593 | 
 | 
T13 | 
604 | 
| auto[1] | 
6970 | 
1 | 
 | 
 | 
T1 | 
22 | 
 | 
T3 | 
20 | 
 | 
T13 | 
8 | 
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] | 
377009 | 
1 | 
 | 
 | 
T1 | 
581 | 
 | 
T3 | 
613 | 
 | 
T13 | 
612 | 
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] | 
376986 | 
1 | 
 | 
 | 
T1 | 
581 | 
 | 
T3 | 
613 | 
 | 
T13 | 
612 | 
| auto[1] | 
23 | 
1 | 
 | 
 | 
T28 | 
1 | 
 | 
T26 | 
2 | 
 | 
T148 | 
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 | 
2353 | 
1 | 
 | 
 | 
T1 | 
11 | 
 | 
T3 | 
10 | 
 | 
T15 | 
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 | 
6970 | 
1 | 
 | 
 | 
T1 | 
22 | 
 | 
T3 | 
20 | 
 | 
T13 | 
8 | 
 
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] | 
179357 | 
1 | 
 | 
 | 
T1 | 
186 | 
 | 
T3 | 
550 | 
 | 
T13 | 
405 | 
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 | 
94952 | 
Excluded | 
Covered bins
| NAME | COUNT | AT LEAST | STATUS |  | TEST | COUNT |  | TEST | COUNT |  | TEST | COUNT | 
| full_data_beat | 
61811 | 
1 | 
 | 
 | 
T1 | 
181 | 
 | 
T3 | 
542 | 
 | 
T13 | 
11 | 
| seven_bytes | 
3115 | 
1 | 
 | 
 | 
T13 | 
8 | 
 | 
T15 | 
26 | 
 | 
T36 | 
8 | 
| six_bytes | 
3299 | 
1 | 
 | 
 | 
T13 | 
18 | 
 | 
T15 | 
30 | 
 | 
T36 | 
3 | 
| five_bytes | 
3218 | 
1 | 
 | 
 | 
T13 | 
11 | 
 | 
T15 | 
26 | 
 | 
T36 | 
4 | 
| four_bytes | 
3289 | 
1 | 
 | 
 | 
T13 | 
8 | 
 | 
T15 | 
25 | 
 | 
T36 | 
5 | 
| three_bytes | 
3261 | 
1 | 
 | 
 | 
T13 | 
14 | 
 | 
T15 | 
16 | 
 | 
T36 | 
3 | 
| two_bytes | 
3228 | 
1 | 
 | 
 | 
T13 | 
12 | 
 | 
T15 | 
17 | 
 | 
T36 | 
7 | 
| one_byte | 
3184 | 
1 | 
 | 
 | 
T13 | 
10 | 
 | 
T15 | 
20 | 
 | 
T36 | 
3 | 
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] | 
175966 | 
1 | 
 | 
 | 
T1 | 
176 | 
 | 
T3 | 
534 | 
 | 
T13 | 
401 | 
| auto[1] | 
3391 | 
1 | 
 | 
 | 
T1 | 
10 | 
 | 
T3 | 
16 | 
 | 
T13 | 
4 | 
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] | 
179357 | 
1 | 
 | 
 | 
T1 | 
186 | 
 | 
T3 | 
550 | 
 | 
T13 | 
405 | 
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] | 
179342 | 
1 | 
 | 
 | 
T1 | 
186 | 
 | 
T3 | 
550 | 
 | 
T13 | 
405 | 
| auto[1] | 
15 | 
1 | 
 | 
 | 
T101 | 
1 | 
 | 
T47 | 
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 | 
1160 | 
1 | 
 | 
 | 
T1 | 
5 | 
 | 
T3 | 
8 | 
 | 
T15 | 
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 | 
3391 | 
1 | 
 | 
 | 
T1 | 
10 | 
 | 
T3 | 
16 | 
 | 
T13 | 
4 | 
 
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] | 
188110 | 
1 | 
 | 
 | 
T1 | 
465 | 
 | 
T3 | 
111 | 
 | 
T13 | 
626 | 
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 | 
103081 | 
Excluded | 
Covered bins
| NAME | COUNT | AT LEAST | STATUS |  | TEST | COUNT |  | TEST | COUNT |  | TEST | COUNT | 
| full_data_beat | 
60549 | 
1 | 
 | 
 | 
T1 | 
456 | 
 | 
T3 | 
110 | 
 | 
T13 | 
15 | 
| seven_bytes | 
3403 | 
1 | 
 | 
 | 
T13 | 
17 | 
 | 
T15 | 
21 | 
 | 
T28 | 
27 | 
| six_bytes | 
3516 | 
1 | 
 | 
 | 
T13 | 
12 | 
 | 
T15 | 
27 | 
 | 
T28 | 
34 | 
| five_bytes | 
3479 | 
1 | 
 | 
 | 
T13 | 
23 | 
 | 
T15 | 
29 | 
 | 
T28 | 
24 | 
| four_bytes | 
3478 | 
1 | 
 | 
 | 
T13 | 
12 | 
 | 
T15 | 
28 | 
 | 
T28 | 
36 | 
| three_bytes | 
3662 | 
1 | 
 | 
 | 
T13 | 
16 | 
 | 
T15 | 
25 | 
 | 
T28 | 
30 | 
| two_bytes | 
3489 | 
1 | 
 | 
 | 
T13 | 
12 | 
 | 
T15 | 
31 | 
 | 
T28 | 
32 | 
| one_byte | 
3453 | 
1 | 
 | 
 | 
T13 | 
19 | 
 | 
T15 | 
27 | 
 | 
T28 | 
31 | 
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] | 
184638 | 
1 | 
 | 
 | 
T1 | 
447 | 
 | 
T3 | 
109 | 
 | 
T13 | 
616 | 
| auto[1] | 
3472 | 
1 | 
 | 
 | 
T1 | 
18 | 
 | 
T3 | 
2 | 
 | 
T13 | 
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] | 
188110 | 
1 | 
 | 
 | 
T1 | 
465 | 
 | 
T3 | 
111 | 
 | 
T13 | 
626 | 
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] | 
188099 | 
1 | 
 | 
 | 
T1 | 
465 | 
 | 
T3 | 
111 | 
 | 
T13 | 
626 | 
| auto[1] | 
11 | 
1 | 
 | 
 | 
T123 | 
2 | 
 | 
T150 | 
1 | 
 | 
T151 | 
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 | 
1132 | 
1 | 
 | 
 | 
T1 | 
9 | 
 | 
T3 | 
1 | 
 | 
T13 | 
2 | 
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 | 
3472 | 
1 | 
 | 
 | 
T1 | 
18 | 
 | 
T3 | 
2 | 
 | 
T13 | 
10 |