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] |
350671 |
1 |
|
|
T16 |
1671 |
|
T21 |
351 |
|
T22 |
113 |
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 |
186342 |
Excluded |
Covered bins
NAME | COUNT | AT LEAST | STATUS | | TEST | COUNT | | TEST | COUNT | | TEST | COUNT |
full_data_beat |
119945 |
1 |
|
|
T16 |
1647 |
|
T21 |
346 |
|
T22 |
5 |
seven_bytes |
6439 |
1 |
|
|
T22 |
1 |
|
T38 |
92 |
|
T51 |
138 |
six_bytes |
6385 |
1 |
|
|
T22 |
4 |
|
T38 |
94 |
|
T51 |
150 |
five_bytes |
6317 |
1 |
|
|
T22 |
1 |
|
T38 |
110 |
|
T51 |
139 |
four_bytes |
6366 |
1 |
|
|
T22 |
4 |
|
T38 |
118 |
|
T51 |
141 |
three_bytes |
6227 |
1 |
|
|
T22 |
4 |
|
T38 |
84 |
|
T51 |
119 |
two_bytes |
6272 |
1 |
|
|
T22 |
5 |
|
T38 |
120 |
|
T51 |
130 |
one_byte |
6378 |
1 |
|
|
T22 |
4 |
|
T38 |
116 |
|
T51 |
121 |
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] |
343997 |
1 |
|
|
T16 |
1623 |
|
T21 |
341 |
|
T22 |
109 |
auto[1] |
6674 |
1 |
|
|
T16 |
48 |
|
T21 |
10 |
|
T22 |
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] |
350671 |
1 |
|
|
T16 |
1671 |
|
T21 |
351 |
|
T22 |
113 |
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] |
350650 |
1 |
|
|
T16 |
1671 |
|
T21 |
351 |
|
T22 |
113 |
auto[1] |
21 |
1 |
|
|
T158 |
1 |
|
T159 |
3 |
|
T160 |
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 |
2238 |
1 |
|
|
T16 |
24 |
|
T21 |
5 |
|
T22 |
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 |
6674 |
1 |
|
|
T16 |
48 |
|
T21 |
10 |
|
T22 |
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] |
178041 |
1 |
|
|
T16 |
1352 |
|
T22 |
315 |
|
T37 |
1353 |
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 |
96905 |
Excluded |
Covered bins
NAME | COUNT | AT LEAST | STATUS | | TEST | COUNT | | TEST | COUNT | | TEST | COUNT |
full_data_beat |
58172 |
1 |
|
|
T16 |
1335 |
|
T22 |
6 |
|
T37 |
1327 |
seven_bytes |
3286 |
1 |
|
|
T22 |
15 |
|
T38 |
35 |
|
T51 |
46 |
six_bytes |
3332 |
1 |
|
|
T22 |
11 |
|
T38 |
38 |
|
T51 |
52 |
five_bytes |
3297 |
1 |
|
|
T22 |
4 |
|
T38 |
38 |
|
T51 |
52 |
four_bytes |
3302 |
1 |
|
|
T22 |
5 |
|
T38 |
38 |
|
T51 |
56 |
three_bytes |
3219 |
1 |
|
|
T22 |
9 |
|
T38 |
45 |
|
T51 |
50 |
two_bytes |
3303 |
1 |
|
|
T22 |
9 |
|
T38 |
49 |
|
T51 |
58 |
one_byte |
3225 |
1 |
|
|
T22 |
4 |
|
T38 |
42 |
|
T51 |
53 |
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] |
174717 |
1 |
|
|
T16 |
1318 |
|
T22 |
311 |
|
T37 |
1301 |
auto[1] |
3324 |
1 |
|
|
T16 |
34 |
|
T22 |
4 |
|
T37 |
52 |
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] |
178041 |
1 |
|
|
T16 |
1352 |
|
T22 |
315 |
|
T37 |
1353 |
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] |
178022 |
1 |
|
|
T16 |
1352 |
|
T22 |
315 |
|
T37 |
1352 |
auto[1] |
19 |
1 |
|
|
T37 |
1 |
|
T38 |
2 |
|
T59 |
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 |
1101 |
1 |
|
|
T16 |
17 |
|
T37 |
26 |
|
T24 |
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 |
3324 |
1 |
|
|
T16 |
34 |
|
T22 |
4 |
|
T37 |
52 |
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] |
183509 |
1 |
|
|
T16 |
1289 |
|
T21 |
81 |
|
T22 |
263 |
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 |
100097 |
Excluded |
Covered bins
NAME | COUNT | AT LEAST | STATUS | | TEST | COUNT | | TEST | COUNT | | TEST | COUNT |
full_data_beat |
59624 |
1 |
|
|
T16 |
1271 |
|
T21 |
80 |
|
T22 |
6 |
seven_bytes |
3400 |
1 |
|
|
T22 |
8 |
|
T38 |
79 |
|
T51 |
90 |
six_bytes |
3417 |
1 |
|
|
T22 |
8 |
|
T38 |
79 |
|
T51 |
71 |
five_bytes |
3437 |
1 |
|
|
T22 |
9 |
|
T38 |
72 |
|
T51 |
77 |
four_bytes |
3355 |
1 |
|
|
T22 |
10 |
|
T38 |
57 |
|
T51 |
70 |
three_bytes |
3298 |
1 |
|
|
T22 |
6 |
|
T38 |
67 |
|
T51 |
85 |
two_bytes |
3411 |
1 |
|
|
T22 |
8 |
|
T38 |
47 |
|
T51 |
94 |
one_byte |
3470 |
1 |
|
|
T22 |
10 |
|
T38 |
60 |
|
T51 |
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] |
180079 |
1 |
|
|
T16 |
1253 |
|
T21 |
79 |
|
T22 |
261 |
auto[1] |
3430 |
1 |
|
|
T16 |
36 |
|
T21 |
2 |
|
T22 |
2 |
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] |
183509 |
1 |
|
|
T16 |
1289 |
|
T21 |
81 |
|
T22 |
263 |
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] |
183492 |
1 |
|
|
T16 |
1289 |
|
T21 |
81 |
|
T22 |
263 |
auto[1] |
17 |
1 |
|
|
T39 |
1 |
|
T123 |
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 |
1186 |
1 |
|
|
T16 |
18 |
|
T21 |
1 |
|
T37 |
24 |
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 |
3430 |
1 |
|
|
T16 |
36 |
|
T21 |
2 |
|
T22 |
2 |