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] | 
349159 | 
1 | 
 | 
 | 
T2 | 
2785 | 
 | 
T27 | 
2022 | 
 | 
T28 | 
2540 | 
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 | 
190336 | 
Excluded | 
Covered bins
| NAME | COUNT | AT LEAST | STATUS |  | TEST | COUNT |  | TEST | COUNT |  | TEST | COUNT | 
| full_data_beat | 
113531 | 
1 | 
 | 
 | 
T2 | 
72 | 
 | 
T27 | 
57 | 
 | 
T28 | 
2505 | 
| seven_bytes | 
6397 | 
1 | 
 | 
 | 
T2 | 
89 | 
 | 
T27 | 
39 | 
 | 
T41 | 
90 | 
| six_bytes | 
6453 | 
1 | 
 | 
 | 
T2 | 
78 | 
 | 
T27 | 
46 | 
 | 
T41 | 
91 | 
| five_bytes | 
6471 | 
1 | 
 | 
 | 
T2 | 
91 | 
 | 
T27 | 
59 | 
 | 
T41 | 
65 | 
| four_bytes | 
6478 | 
1 | 
 | 
 | 
T2 | 
82 | 
 | 
T27 | 
53 | 
 | 
T41 | 
99 | 
| three_bytes | 
6534 | 
1 | 
 | 
 | 
T2 | 
73 | 
 | 
T27 | 
56 | 
 | 
T41 | 
87 | 
| two_bytes | 
6451 | 
1 | 
 | 
 | 
T2 | 
77 | 
 | 
T27 | 
66 | 
 | 
T41 | 
101 | 
| one_byte | 
6508 | 
1 | 
 | 
 | 
T2 | 
63 | 
 | 
T27 | 
45 | 
 | 
T41 | 
81 | 
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] | 
342679 | 
1 | 
 | 
 | 
T2 | 
2751 | 
 | 
T27 | 
1996 | 
 | 
T28 | 
2470 | 
| auto[1] | 
6480 | 
1 | 
 | 
 | 
T2 | 
34 | 
 | 
T27 | 
26 | 
 | 
T28 | 
70 | 
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] | 
349159 | 
1 | 
 | 
 | 
T2 | 
2785 | 
 | 
T27 | 
2022 | 
 | 
T28 | 
2540 | 
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] | 
349141 | 
1 | 
 | 
 | 
T2 | 
2785 | 
 | 
T27 | 
2022 | 
 | 
T28 | 
2540 | 
| auto[1] | 
18 | 
1 | 
 | 
 | 
T45 | 
1 | 
 | 
T75 | 
1 | 
 | 
T158 | 
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 | 
2146 | 
1 | 
 | 
 | 
T2 | 
8 | 
 | 
T27 | 
4 | 
 | 
T28 | 
35 | 
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 | 
6480 | 
1 | 
 | 
 | 
T2 | 
34 | 
 | 
T27 | 
26 | 
 | 
T28 | 
70 | 
 
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] | 
174752 | 
1 | 
 | 
 | 
T2 | 
1479 | 
 | 
T4 | 
124 | 
 | 
T27 | 
722 | 
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 | 
97941 | 
Excluded | 
Covered bins
| NAME | COUNT | AT LEAST | STATUS |  | TEST | COUNT |  | TEST | COUNT |  | TEST | COUNT | 
| full_data_beat | 
53398 | 
1 | 
 | 
 | 
T2 | 
159 | 
 | 
T4 | 
123 | 
 | 
T27 | 
15 | 
| seven_bytes | 
3357 | 
1 | 
 | 
 | 
T2 | 
42 | 
 | 
T27 | 
20 | 
 | 
T41 | 
11 | 
| six_bytes | 
3329 | 
1 | 
 | 
 | 
T2 | 
37 | 
 | 
T27 | 
20 | 
 | 
T41 | 
20 | 
| five_bytes | 
3348 | 
1 | 
 | 
 | 
T2 | 
28 | 
 | 
T27 | 
20 | 
 | 
T41 | 
15 | 
| four_bytes | 
3489 | 
1 | 
 | 
 | 
T2 | 
36 | 
 | 
T27 | 
26 | 
 | 
T41 | 
23 | 
| three_bytes | 
3299 | 
1 | 
 | 
 | 
T2 | 
34 | 
 | 
T27 | 
19 | 
 | 
T41 | 
10 | 
| two_bytes | 
3323 | 
1 | 
 | 
 | 
T2 | 
35 | 
 | 
T27 | 
20 | 
 | 
T41 | 
15 | 
| one_byte | 
3268 | 
1 | 
 | 
 | 
T2 | 
34 | 
 | 
T27 | 
21 | 
 | 
T41 | 
25 | 
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] | 
171626 | 
1 | 
 | 
 | 
T2 | 
1459 | 
 | 
T4 | 
122 | 
 | 
T27 | 
714 | 
| auto[1] | 
3126 | 
1 | 
 | 
 | 
T2 | 
20 | 
 | 
T4 | 
2 | 
 | 
T27 | 
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] | 
174752 | 
1 | 
 | 
 | 
T2 | 
1479 | 
 | 
T4 | 
124 | 
 | 
T27 | 
722 | 
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] | 
174742 | 
1 | 
 | 
 | 
T2 | 
1479 | 
 | 
T4 | 
124 | 
 | 
T27 | 
722 | 
| auto[1] | 
10 | 
1 | 
 | 
 | 
T69 | 
1 | 
 | 
T47 | 
2 | 
 | 
T159 | 
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 | 
1020 | 
1 | 
 | 
 | 
T2 | 
6 | 
 | 
T4 | 
1 | 
 | 
T27 | 
1 | 
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 | 
3126 | 
1 | 
 | 
 | 
T2 | 
20 | 
 | 
T4 | 
2 | 
 | 
T27 | 
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] | 
173259 | 
1 | 
 | 
 | 
T2 | 
767 | 
 | 
T4 | 
114 | 
 | 
T27 | 
1747 | 
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 | 
93645 | 
Excluded | 
Covered bins
| NAME | COUNT | AT LEAST | STATUS |  | TEST | COUNT |  | TEST | COUNT |  | TEST | COUNT | 
| full_data_beat | 
57357 | 
1 | 
 | 
 | 
T2 | 
19 | 
 | 
T4 | 
113 | 
 | 
T27 | 
32 | 
| seven_bytes | 
3178 | 
1 | 
 | 
 | 
T2 | 
28 | 
 | 
T27 | 
47 | 
 | 
T41 | 
51 | 
| six_bytes | 
3233 | 
1 | 
 | 
 | 
T2 | 
19 | 
 | 
T27 | 
46 | 
 | 
T41 | 
65 | 
| five_bytes | 
3152 | 
1 | 
 | 
 | 
T2 | 
16 | 
 | 
T27 | 
36 | 
 | 
T41 | 
53 | 
| four_bytes | 
3111 | 
1 | 
 | 
 | 
T2 | 
20 | 
 | 
T27 | 
60 | 
 | 
T41 | 
54 | 
| three_bytes | 
3171 | 
1 | 
 | 
 | 
T2 | 
16 | 
 | 
T27 | 
46 | 
 | 
T41 | 
49 | 
| two_bytes | 
3190 | 
1 | 
 | 
 | 
T2 | 
15 | 
 | 
T27 | 
53 | 
 | 
T41 | 
61 | 
| one_byte | 
3222 | 
1 | 
 | 
 | 
T2 | 
19 | 
 | 
T27 | 
47 | 
 | 
T41 | 
48 | 
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] | 
169987 | 
1 | 
 | 
 | 
T2 | 
757 | 
 | 
T4 | 
112 | 
 | 
T27 | 
1731 | 
| auto[1] | 
3272 | 
1 | 
 | 
 | 
T2 | 
10 | 
 | 
T4 | 
2 | 
 | 
T27 | 
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] | 
173259 | 
1 | 
 | 
 | 
T2 | 
767 | 
 | 
T4 | 
114 | 
 | 
T27 | 
1747 | 
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] | 
173245 | 
1 | 
 | 
 | 
T2 | 
767 | 
 | 
T4 | 
114 | 
 | 
T27 | 
1747 | 
| auto[1] | 
14 | 
1 | 
 | 
 | 
T73 | 
1 | 
 | 
T160 | 
1 | 
 | 
T161 | 
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 | 
1096 | 
1 | 
 | 
 | 
T2 | 
1 | 
 | 
T4 | 
1 | 
 | 
T28 | 
15 | 
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 | 
3272 | 
1 | 
 | 
 | 
T2 | 
10 | 
 | 
T4 | 
2 | 
 | 
T27 | 
16 |