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] | 
157443 | 
1 | 
 | 
 | 
T7 | 
628 | 
 | 
T8 | 
285 | 
 | 
T9 | 
1236 | 
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 | 
77550 | 
Excluded | 
Covered bins
| NAME | COUNT | AT LEAST | STATUS |  | TEST | COUNT |  | TEST | COUNT |  | TEST | COUNT | 
| full_data_beat | 
61303 | 
1 | 
 | 
 | 
T7 | 
616 | 
 | 
T8 | 
280 | 
 | 
T9 | 
46 | 
| seven_bytes | 
2649 | 
1 | 
 | 
 | 
T9 | 
30 | 
 | 
T21 | 
17 | 
 | 
T19 | 
28 | 
| six_bytes | 
2625 | 
1 | 
 | 
 | 
T9 | 
36 | 
 | 
T21 | 
13 | 
 | 
T19 | 
39 | 
| five_bytes | 
2610 | 
1 | 
 | 
 | 
T9 | 
45 | 
 | 
T21 | 
13 | 
 | 
T19 | 
33 | 
| four_bytes | 
2715 | 
1 | 
 | 
 | 
T9 | 
33 | 
 | 
T21 | 
11 | 
 | 
T19 | 
32 | 
| three_bytes | 
2642 | 
1 | 
 | 
 | 
T9 | 
23 | 
 | 
T21 | 
12 | 
 | 
T19 | 
44 | 
| two_bytes | 
2676 | 
1 | 
 | 
 | 
T9 | 
31 | 
 | 
T21 | 
15 | 
 | 
T19 | 
28 | 
| one_byte | 
2673 | 
1 | 
 | 
 | 
T9 | 
29 | 
 | 
T21 | 
12 | 
 | 
T19 | 
32 | 
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] | 
154367 | 
1 | 
 | 
 | 
T7 | 
604 | 
 | 
T8 | 
275 | 
 | 
T9 | 
1218 | 
| auto[1] | 
3076 | 
1 | 
 | 
 | 
T7 | 
24 | 
 | 
T8 | 
10 | 
 | 
T9 | 
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] | 
157443 | 
1 | 
 | 
 | 
T7 | 
628 | 
 | 
T8 | 
285 | 
 | 
T9 | 
1236 | 
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] | 
157432 | 
1 | 
 | 
 | 
T7 | 
628 | 
 | 
T8 | 
285 | 
 | 
T9 | 
1236 | 
| auto[1] | 
11 | 
1 | 
 | 
 | 
T192 | 
2 | 
 | 
T77 | 
1 | 
 | 
T193 | 
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 | 
1107 | 
1 | 
 | 
 | 
T7 | 
12 | 
 | 
T8 | 
5 | 
 | 
T9 | 
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 | 
3076 | 
1 | 
 | 
 | 
T7 | 
24 | 
 | 
T8 | 
10 | 
 | 
T9 | 
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] | 
163135 | 
1 | 
 | 
 | 
T7 | 
998 | 
 | 
T8 | 
126 | 
 | 
T9 | 
784 | 
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 | 
78052 | 
Excluded | 
Covered bins
| NAME | COUNT | AT LEAST | STATUS |  | TEST | COUNT |  | TEST | COUNT |  | TEST | COUNT | 
| full_data_beat | 
66569 | 
1 | 
 | 
 | 
T7 | 
981 | 
 | 
T8 | 
124 | 
 | 
T9 | 
419 | 
| seven_bytes | 
2699 | 
1 | 
 | 
 | 
T9 | 
6 | 
 | 
T21 | 
12 | 
 | 
T19 | 
57 | 
| six_bytes | 
2639 | 
1 | 
 | 
 | 
T9 | 
9 | 
 | 
T21 | 
7 | 
 | 
T19 | 
44 | 
| five_bytes | 
2643 | 
1 | 
 | 
 | 
T9 | 
7 | 
 | 
T21 | 
14 | 
 | 
T19 | 
50 | 
| four_bytes | 
2590 | 
1 | 
 | 
 | 
T9 | 
12 | 
 | 
T21 | 
7 | 
 | 
T19 | 
52 | 
| three_bytes | 
2677 | 
1 | 
 | 
 | 
T9 | 
11 | 
 | 
T21 | 
3 | 
 | 
T19 | 
59 | 
| two_bytes | 
2662 | 
1 | 
 | 
 | 
T9 | 
8 | 
 | 
T21 | 
6 | 
 | 
T19 | 
41 | 
| one_byte | 
2604 | 
1 | 
 | 
 | 
T9 | 
11 | 
 | 
T21 | 
10 | 
 | 
T19 | 
56 | 
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] | 
159886 | 
1 | 
 | 
 | 
T7 | 
964 | 
 | 
T8 | 
122 | 
 | 
T9 | 
768 | 
| auto[1] | 
3249 | 
1 | 
 | 
 | 
T7 | 
34 | 
 | 
T8 | 
4 | 
 | 
T9 | 
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] | 
163135 | 
1 | 
 | 
 | 
T7 | 
998 | 
 | 
T8 | 
126 | 
 | 
T9 | 
784 | 
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] | 
163120 | 
1 | 
 | 
 | 
T7 | 
998 | 
 | 
T8 | 
126 | 
 | 
T9 | 
784 | 
| auto[1] | 
15 | 
1 | 
 | 
 | 
T44 | 
1 | 
 | 
T72 | 
1 | 
 | 
T194 | 
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 | 
1192 | 
1 | 
 | 
 | 
T7 | 
17 | 
 | 
T8 | 
2 | 
 | 
T9 | 
7 | 
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 | 
3249 | 
1 | 
 | 
 | 
T7 | 
34 | 
 | 
T8 | 
4 | 
 | 
T9 | 
16 | 
 
Summary for Variable app_err
| CATEGORY | EXPECTED | UNCOVERED | COVERED | PERCENT | 
| Automatically Generated Bins | 
2 | 
0 | 
2 | 
100.00 | 
Automatically Generated Bins for app_err
Bins
| NAME | COUNT | AT LEAST | STATUS |  | TEST | COUNT |  | TEST | COUNT |  | TEST | COUNT | 
| auto[0] | 
297021 | 
1 | 
 | 
 | 
T7 | 
794 | 
 | 
T8 | 
315 | 
 | 
T9 | 
1842 | 
| auto[1] | 
503 | 
1 | 
 | 
 | 
T10 | 
59 | 
 | 
T11 | 
79 | 
 | 
T12 | 
75 | 
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 | 
144462 | 
Excluded | 
Covered bins
| NAME | COUNT | AT LEAST | STATUS |  | TEST | COUNT |  | TEST | COUNT |  | TEST | COUNT | 
| full_data_beat | 
118664 | 
1 | 
 | 
 | 
T7 | 
779 | 
 | 
T8 | 
309 | 
 | 
T9 | 
339 | 
| seven_bytes | 
5100 | 
1 | 
 | 
 | 
T9 | 
51 | 
 | 
T21 | 
42 | 
 | 
T19 | 
91 | 
| six_bytes | 
4941 | 
1 | 
 | 
 | 
T9 | 
34 | 
 | 
T21 | 
40 | 
 | 
T19 | 
95 | 
| five_bytes | 
4921 | 
1 | 
 | 
 | 
T9 | 
37 | 
 | 
T21 | 
42 | 
 | 
T19 | 
86 | 
| four_bytes | 
4861 | 
1 | 
 | 
 | 
T9 | 
37 | 
 | 
T21 | 
42 | 
 | 
T19 | 
78 | 
| three_bytes | 
4748 | 
1 | 
 | 
 | 
T9 | 
37 | 
 | 
T21 | 
30 | 
 | 
T19 | 
90 | 
| two_bytes | 
4884 | 
1 | 
 | 
 | 
T9 | 
46 | 
 | 
T21 | 
37 | 
 | 
T19 | 
76 | 
| one_byte | 
4943 | 
1 | 
 | 
 | 
T9 | 
53 | 
 | 
T21 | 
43 | 
 | 
T19 | 
79 | 
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] | 
291587 | 
1 | 
 | 
 | 
T7 | 
764 | 
 | 
T8 | 
303 | 
 | 
T9 | 
1816 | 
| auto[1] | 
5937 | 
1 | 
 | 
 | 
T7 | 
30 | 
 | 
T8 | 
12 | 
 | 
T9 | 
26 | 
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] | 
297524 | 
1 | 
 | 
 | 
T7 | 
794 | 
 | 
T8 | 
315 | 
 | 
T9 | 
1842 | 
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] | 
297508 | 
1 | 
 | 
 | 
T7 | 
794 | 
 | 
T8 | 
315 | 
 | 
T9 | 
1842 | 
| auto[1] | 
16 | 
1 | 
 | 
 | 
T108 | 
1 | 
 | 
T195 | 
1 | 
 | 
T196 | 
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 | 
2150 | 
1 | 
 | 
 | 
T7 | 
15 | 
 | 
T8 | 
6 | 
 | 
T9 | 
7 | 
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 | 
5937 | 
1 | 
 | 
 | 
T7 | 
30 | 
 | 
T8 | 
12 | 
 | 
T9 | 
26 |