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] |
351604 |
1 |
|
|
T13 |
1751 |
|
T14 |
4551 |
|
T17 |
741 |
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 |
186578 |
Excluded |
Covered bins
NAME | COUNT | AT LEAST | STATUS | | TEST | COUNT | | TEST | COUNT | | TEST | COUNT |
full_data_beat |
120322 |
1 |
|
|
T13 |
451 |
|
T14 |
116 |
|
T17 |
25 |
seven_bytes |
6467 |
1 |
|
|
T13 |
35 |
|
T14 |
130 |
|
T17 |
21 |
six_bytes |
6460 |
1 |
|
|
T13 |
38 |
|
T14 |
145 |
|
T17 |
16 |
five_bytes |
6215 |
1 |
|
|
T13 |
28 |
|
T14 |
112 |
|
T17 |
11 |
four_bytes |
6363 |
1 |
|
|
T13 |
39 |
|
T14 |
131 |
|
T17 |
18 |
three_bytes |
6318 |
1 |
|
|
T13 |
30 |
|
T14 |
117 |
|
T17 |
20 |
two_bytes |
6456 |
1 |
|
|
T13 |
35 |
|
T14 |
124 |
|
T17 |
30 |
one_byte |
6425 |
1 |
|
|
T13 |
38 |
|
T14 |
122 |
|
T17 |
20 |
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] |
344952 |
1 |
|
|
T13 |
1727 |
|
T14 |
4501 |
|
T17 |
731 |
auto[1] |
6652 |
1 |
|
|
T13 |
24 |
|
T14 |
50 |
|
T17 |
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] |
351604 |
1 |
|
|
T13 |
1751 |
|
T14 |
4551 |
|
T17 |
741 |
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] |
351583 |
1 |
|
|
T13 |
1751 |
|
T14 |
4551 |
|
T17 |
741 |
auto[1] |
21 |
1 |
|
|
T26 |
1 |
|
T41 |
3 |
|
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 |
2277 |
1 |
|
|
T13 |
6 |
|
T14 |
6 |
|
T17 |
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 |
6652 |
1 |
|
|
T13 |
24 |
|
T14 |
50 |
|
T17 |
10 |
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] |
187847 |
1 |
|
|
T13 |
990 |
|
T14 |
1331 |
|
T17 |
570 |
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 |
98359 |
Excluded |
Covered bins
NAME | COUNT | AT LEAST | STATUS | | TEST | COUNT | | TEST | COUNT | | TEST | COUNT |
full_data_beat |
66108 |
1 |
|
|
T13 |
201 |
|
T14 |
37 |
|
T17 |
12 |
seven_bytes |
3357 |
1 |
|
|
T13 |
25 |
|
T14 |
38 |
|
T17 |
13 |
six_bytes |
3331 |
1 |
|
|
T13 |
29 |
|
T14 |
31 |
|
T17 |
14 |
five_bytes |
3374 |
1 |
|
|
T13 |
21 |
|
T14 |
37 |
|
T17 |
20 |
four_bytes |
3322 |
1 |
|
|
T13 |
25 |
|
T14 |
34 |
|
T17 |
16 |
three_bytes |
3351 |
1 |
|
|
T13 |
23 |
|
T14 |
28 |
|
T17 |
15 |
two_bytes |
3340 |
1 |
|
|
T13 |
24 |
|
T14 |
37 |
|
T17 |
18 |
one_byte |
3305 |
1 |
|
|
T13 |
23 |
|
T14 |
30 |
|
T17 |
23 |
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] |
184357 |
1 |
|
|
T13 |
976 |
|
T14 |
1315 |
|
T17 |
564 |
auto[1] |
3490 |
1 |
|
|
T13 |
14 |
|
T14 |
16 |
|
T17 |
6 |
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] |
187847 |
1 |
|
|
T13 |
990 |
|
T14 |
1331 |
|
T17 |
570 |
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] |
187836 |
1 |
|
|
T13 |
990 |
|
T14 |
1331 |
|
T17 |
570 |
auto[1] |
11 |
1 |
|
|
T41 |
2 |
|
T152 |
1 |
|
T153 |
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 |
1202 |
1 |
|
|
T13 |
4 |
|
T14 |
2 |
|
T38 |
14 |
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 |
3490 |
1 |
|
|
T13 |
14 |
|
T14 |
16 |
|
T17 |
6 |
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] |
181695 |
1 |
|
|
T13 |
1493 |
|
T14 |
1802 |
|
T38 |
372 |
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 |
95596 |
Excluded |
Covered bins
NAME | COUNT | AT LEAST | STATUS | | TEST | COUNT | | TEST | COUNT | | TEST | COUNT |
full_data_beat |
63173 |
1 |
|
|
T13 |
388 |
|
T14 |
47 |
|
T38 |
366 |
seven_bytes |
3340 |
1 |
|
|
T13 |
34 |
|
T14 |
43 |
|
T25 |
77 |
six_bytes |
3358 |
1 |
|
|
T13 |
27 |
|
T14 |
55 |
|
T25 |
82 |
five_bytes |
3211 |
1 |
|
|
T13 |
37 |
|
T14 |
48 |
|
T25 |
74 |
four_bytes |
3233 |
1 |
|
|
T13 |
34 |
|
T14 |
50 |
|
T25 |
70 |
three_bytes |
3275 |
1 |
|
|
T13 |
32 |
|
T14 |
43 |
|
T25 |
87 |
two_bytes |
3187 |
1 |
|
|
T13 |
32 |
|
T14 |
48 |
|
T25 |
68 |
one_byte |
3322 |
1 |
|
|
T13 |
31 |
|
T14 |
54 |
|
T25 |
101 |
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] |
178251 |
1 |
|
|
T13 |
1465 |
|
T14 |
1778 |
|
T38 |
360 |
auto[1] |
3444 |
1 |
|
|
T13 |
28 |
|
T14 |
24 |
|
T38 |
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] |
181695 |
1 |
|
|
T13 |
1493 |
|
T14 |
1802 |
|
T38 |
372 |
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] |
181682 |
1 |
|
|
T13 |
1493 |
|
T14 |
1802 |
|
T38 |
372 |
auto[1] |
13 |
1 |
|
|
T28 |
1 |
|
T154 |
1 |
|
T155 |
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 |
1197 |
1 |
|
|
T13 |
8 |
|
T14 |
5 |
|
T38 |
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 |
3444 |
1 |
|
|
T13 |
28 |
|
T14 |
24 |
|
T38 |
12 |