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] |
166065 |
1 |
|
|
T4 |
1005 |
|
T9 |
87 |
|
T11 |
426 |
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 |
91155 |
Excluded |
Covered bins
| NAME | COUNT | AT LEAST | STATUS | | TEST | COUNT | | TEST | COUNT | | TEST | COUNT |
| full_data_beat |
52953 |
1 |
|
|
T4 |
992 |
|
T9 |
86 |
|
T11 |
420 |
| seven_bytes |
3186 |
1 |
|
|
T12 |
28 |
|
T13 |
23 |
|
T28 |
61 |
| six_bytes |
3067 |
1 |
|
|
T12 |
25 |
|
T13 |
26 |
|
T28 |
53 |
| five_bytes |
3234 |
1 |
|
|
T12 |
34 |
|
T13 |
23 |
|
T28 |
80 |
| four_bytes |
3174 |
1 |
|
|
T12 |
26 |
|
T13 |
45 |
|
T28 |
51 |
| three_bytes |
3008 |
1 |
|
|
T12 |
14 |
|
T13 |
24 |
|
T28 |
64 |
| two_bytes |
3119 |
1 |
|
|
T12 |
19 |
|
T13 |
25 |
|
T28 |
60 |
| one_byte |
3169 |
1 |
|
|
T12 |
27 |
|
T13 |
29 |
|
T28 |
65 |
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] |
162925 |
1 |
|
|
T4 |
979 |
|
T9 |
85 |
|
T11 |
414 |
| auto[1] |
3140 |
1 |
|
|
T4 |
26 |
|
T9 |
2 |
|
T11 |
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] |
166065 |
1 |
|
|
T4 |
1005 |
|
T9 |
87 |
|
T11 |
426 |
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] |
166041 |
1 |
|
|
T4 |
1005 |
|
T9 |
87 |
|
T11 |
426 |
| auto[1] |
24 |
1 |
|
|
T6 |
1 |
|
T109 |
1 |
|
T17 |
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 |
1028 |
1 |
|
|
T4 |
13 |
|
T9 |
1 |
|
T11 |
6 |
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 |
3140 |
1 |
|
|
T4 |
26 |
|
T9 |
2 |
|
T11 |
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] |
161985 |
1 |
|
|
T4 |
823 |
|
T9 |
118 |
|
T11 |
418 |
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 |
89174 |
Excluded |
Covered bins
| NAME | COUNT | AT LEAST | STATUS | | TEST | COUNT | | TEST | COUNT | | TEST | COUNT |
| full_data_beat |
51604 |
1 |
|
|
T4 |
802 |
|
T9 |
117 |
|
T11 |
413 |
| seven_bytes |
3079 |
1 |
|
|
T12 |
58 |
|
T13 |
36 |
|
T28 |
71 |
| six_bytes |
3003 |
1 |
|
|
T12 |
51 |
|
T13 |
37 |
|
T28 |
58 |
| five_bytes |
2997 |
1 |
|
|
T12 |
40 |
|
T13 |
46 |
|
T28 |
55 |
| four_bytes |
3016 |
1 |
|
|
T12 |
53 |
|
T13 |
34 |
|
T28 |
50 |
| three_bytes |
3033 |
1 |
|
|
T12 |
60 |
|
T13 |
41 |
|
T28 |
58 |
| two_bytes |
3059 |
1 |
|
|
T12 |
45 |
|
T13 |
42 |
|
T28 |
63 |
| one_byte |
3020 |
1 |
|
|
T12 |
61 |
|
T13 |
42 |
|
T28 |
65 |
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] |
158921 |
1 |
|
|
T4 |
781 |
|
T9 |
116 |
|
T11 |
408 |
| auto[1] |
3064 |
1 |
|
|
T4 |
42 |
|
T9 |
2 |
|
T11 |
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] |
161985 |
1 |
|
|
T4 |
823 |
|
T9 |
118 |
|
T11 |
418 |
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] |
161975 |
1 |
|
|
T4 |
823 |
|
T9 |
118 |
|
T11 |
418 |
| auto[1] |
10 |
1 |
|
|
T107 |
1 |
|
T109 |
1 |
|
T169 |
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 |
1025 |
1 |
|
|
T4 |
21 |
|
T9 |
1 |
|
T11 |
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 |
3064 |
1 |
|
|
T4 |
42 |
|
T9 |
2 |
|
T11 |
10 |
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] |
338292 |
1 |
|
|
T4 |
2211 |
|
T9 |
36 |
|
T11 |
1632 |
| auto[1] |
478 |
1 |
|
|
T4 |
36 |
|
T5 |
69 |
|
T6 |
72 |
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 |
185805 |
Excluded |
Covered bins
| NAME | COUNT | AT LEAST | STATUS | | TEST | COUNT | | TEST | COUNT | | TEST | COUNT |
| full_data_beat |
108629 |
1 |
|
|
T4 |
2211 |
|
T9 |
35 |
|
T11 |
1612 |
| seven_bytes |
6490 |
1 |
|
|
T12 |
59 |
|
T13 |
52 |
|
T28 |
172 |
| six_bytes |
6327 |
1 |
|
|
T12 |
48 |
|
T13 |
40 |
|
T28 |
163 |
| five_bytes |
6345 |
1 |
|
|
T12 |
49 |
|
T31 |
1 |
|
T13 |
47 |
| four_bytes |
6435 |
1 |
|
|
T12 |
42 |
|
T31 |
1 |
|
T13 |
68 |
| three_bytes |
6284 |
1 |
|
|
T12 |
53 |
|
T13 |
43 |
|
T28 |
127 |
| two_bytes |
6382 |
1 |
|
|
T12 |
51 |
|
T31 |
2 |
|
T13 |
36 |
| one_byte |
6073 |
1 |
|
|
T12 |
48 |
|
T13 |
44 |
|
T28 |
127 |
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] |
332537 |
1 |
|
|
T4 |
2175 |
|
T9 |
34 |
|
T11 |
1592 |
| auto[1] |
6233 |
1 |
|
|
T4 |
72 |
|
T9 |
2 |
|
T11 |
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] |
338770 |
1 |
|
|
T4 |
2247 |
|
T9 |
36 |
|
T11 |
1632 |
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] |
338744 |
1 |
|
|
T4 |
2247 |
|
T9 |
36 |
|
T11 |
1632 |
| auto[1] |
26 |
1 |
|
|
T5 |
1 |
|
T48 |
1 |
|
T6 |
2 |
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 |
2082 |
1 |
|
|
T4 |
36 |
|
T9 |
1 |
|
T11 |
20 |
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 |
6233 |
1 |
|
|
T4 |
72 |
|
T9 |
2 |
|
T11 |
40 |