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] |
372139 |
1 |
|
|
T14 |
2016 |
|
T15 |
1482 |
|
T17 |
1087 |
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 |
198774 |
Excluded |
Covered bins
NAME | COUNT | AT LEAST | STATUS | | TEST | COUNT | | TEST | COUNT | | TEST | COUNT |
full_data_beat |
125790 |
1 |
|
|
T14 |
1979 |
|
T15 |
49 |
|
T17 |
19 |
seven_bytes |
6827 |
1 |
|
|
T15 |
32 |
|
T17 |
32 |
|
T24 |
27 |
six_bytes |
6881 |
1 |
|
|
T15 |
46 |
|
T17 |
34 |
|
T24 |
20 |
five_bytes |
6783 |
1 |
|
|
T15 |
46 |
|
T17 |
45 |
|
T24 |
19 |
four_bytes |
6713 |
1 |
|
|
T15 |
38 |
|
T17 |
30 |
|
T24 |
33 |
three_bytes |
6902 |
1 |
|
|
T15 |
46 |
|
T17 |
29 |
|
T24 |
26 |
two_bytes |
6719 |
1 |
|
|
T15 |
42 |
|
T17 |
25 |
|
T24 |
23 |
one_byte |
6750 |
1 |
|
|
T15 |
37 |
|
T17 |
26 |
|
T24 |
22 |
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] |
365137 |
1 |
|
|
T14 |
1942 |
|
T15 |
1466 |
|
T17 |
1071 |
auto[1] |
7002 |
1 |
|
|
T14 |
74 |
|
T15 |
16 |
|
T17 |
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] |
372139 |
1 |
|
|
T14 |
2016 |
|
T15 |
1482 |
|
T17 |
1087 |
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] |
372111 |
1 |
|
|
T14 |
2015 |
|
T15 |
1482 |
|
T17 |
1087 |
auto[1] |
28 |
1 |
|
|
T14 |
1 |
|
T39 |
1 |
|
T162 |
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 |
2349 |
1 |
|
|
T14 |
37 |
|
T15 |
2 |
|
T17 |
3 |
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 |
7002 |
1 |
|
|
T14 |
74 |
|
T15 |
16 |
|
T17 |
16 |
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] |
179759 |
1 |
|
|
T14 |
1378 |
|
T15 |
154 |
|
T17 |
639 |
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 |
91611 |
Excluded |
Covered bins
NAME | COUNT | AT LEAST | STATUS | | TEST | COUNT | | TEST | COUNT | | TEST | COUNT |
full_data_beat |
66175 |
1 |
|
|
T14 |
1362 |
|
T15 |
25 |
|
T17 |
23 |
seven_bytes |
3150 |
1 |
|
|
T15 |
7 |
|
T17 |
16 |
|
T24 |
29 |
six_bytes |
3113 |
1 |
|
|
T15 |
3 |
|
T17 |
20 |
|
T24 |
24 |
five_bytes |
3162 |
1 |
|
|
T15 |
4 |
|
T17 |
22 |
|
T24 |
15 |
four_bytes |
3190 |
1 |
|
|
T15 |
4 |
|
T17 |
19 |
|
T24 |
23 |
three_bytes |
3115 |
1 |
|
|
T15 |
2 |
|
T17 |
14 |
|
T24 |
16 |
two_bytes |
3130 |
1 |
|
|
T15 |
5 |
|
T17 |
22 |
|
T24 |
17 |
one_byte |
3113 |
1 |
|
|
T15 |
6 |
|
T17 |
15 |
|
T24 |
19 |
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] |
176201 |
1 |
|
|
T14 |
1346 |
|
T15 |
150 |
|
T17 |
629 |
auto[1] |
3558 |
1 |
|
|
T14 |
32 |
|
T15 |
4 |
|
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] |
179759 |
1 |
|
|
T14 |
1378 |
|
T15 |
154 |
|
T17 |
639 |
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] |
179747 |
1 |
|
|
T14 |
1378 |
|
T15 |
154 |
|
T17 |
639 |
auto[1] |
12 |
1 |
|
|
T163 |
1 |
|
T164 |
1 |
|
T165 |
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 |
1243 |
1 |
|
|
T14 |
16 |
|
T15 |
1 |
|
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 |
3558 |
1 |
|
|
T14 |
32 |
|
T15 |
4 |
|
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] |
197230 |
1 |
|
|
T14 |
880 |
|
T15 |
820 |
|
T17 |
630 |
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 |
105188 |
Excluded |
Covered bins
NAME | COUNT | AT LEAST | STATUS | | TEST | COUNT | | TEST | COUNT | | TEST | COUNT |
full_data_beat |
67452 |
1 |
|
|
T14 |
870 |
|
T15 |
25 |
|
T17 |
11 |
seven_bytes |
3504 |
1 |
|
|
T15 |
15 |
|
T17 |
24 |
|
T24 |
14 |
six_bytes |
3537 |
1 |
|
|
T15 |
25 |
|
T17 |
28 |
|
T24 |
11 |
five_bytes |
3623 |
1 |
|
|
T15 |
22 |
|
T17 |
13 |
|
T24 |
12 |
four_bytes |
3572 |
1 |
|
|
T15 |
17 |
|
T17 |
25 |
|
T24 |
9 |
three_bytes |
3520 |
1 |
|
|
T15 |
24 |
|
T17 |
16 |
|
T24 |
12 |
two_bytes |
3403 |
1 |
|
|
T15 |
16 |
|
T17 |
16 |
|
T24 |
13 |
one_byte |
3431 |
1 |
|
|
T15 |
20 |
|
T17 |
22 |
|
T24 |
13 |
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] |
193492 |
1 |
|
|
T14 |
860 |
|
T15 |
806 |
|
T17 |
622 |
auto[1] |
3738 |
1 |
|
|
T14 |
20 |
|
T15 |
14 |
|
T17 |
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] |
197230 |
1 |
|
|
T14 |
880 |
|
T15 |
820 |
|
T17 |
630 |
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] |
197218 |
1 |
|
|
T14 |
880 |
|
T15 |
819 |
|
T17 |
630 |
auto[1] |
12 |
1 |
|
|
T15 |
1 |
|
T166 |
1 |
|
T47 |
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 |
1297 |
1 |
|
|
T14 |
10 |
|
T15 |
4 |
|
T17 |
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 |
3738 |
1 |
|
|
T14 |
20 |
|
T15 |
14 |
|
T17 |
8 |