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] |
364334 |
1 |
|
|
T4 |
180 |
|
T22 |
87 |
|
T23 |
608 |
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 |
200637 |
Excluded |
Covered bins
NAME | COUNT | AT LEAST | STATUS | | TEST | COUNT | | TEST | COUNT | | TEST | COUNT |
full_data_beat |
115627 |
1 |
|
|
T4 |
178 |
|
T22 |
85 |
|
T23 |
17 |
seven_bytes |
7029 |
1 |
|
|
T23 |
14 |
|
T30 |
72 |
|
T33 |
99 |
six_bytes |
6998 |
1 |
|
|
T23 |
15 |
|
T30 |
74 |
|
T33 |
106 |
five_bytes |
6872 |
1 |
|
|
T23 |
17 |
|
T30 |
70 |
|
T33 |
110 |
four_bytes |
6808 |
1 |
|
|
T23 |
19 |
|
T30 |
49 |
|
T33 |
112 |
three_bytes |
6870 |
1 |
|
|
T23 |
9 |
|
T30 |
62 |
|
T33 |
94 |
two_bytes |
6773 |
1 |
|
|
T23 |
13 |
|
T30 |
67 |
|
T33 |
98 |
one_byte |
6720 |
1 |
|
|
T23 |
20 |
|
T30 |
69 |
|
T33 |
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] |
357696 |
1 |
|
|
T4 |
176 |
|
T22 |
83 |
|
T23 |
598 |
auto[1] |
6638 |
1 |
|
|
T4 |
4 |
|
T22 |
4 |
|
T23 |
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] |
364334 |
1 |
|
|
T4 |
180 |
|
T22 |
87 |
|
T23 |
608 |
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] |
364309 |
1 |
|
|
T4 |
180 |
|
T22 |
87 |
|
T23 |
608 |
auto[1] |
25 |
1 |
|
|
T49 |
1 |
|
T32 |
1 |
|
T98 |
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 |
2211 |
1 |
|
|
T4 |
2 |
|
T22 |
2 |
|
T23 |
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 |
6638 |
1 |
|
|
T4 |
4 |
|
T22 |
4 |
|
T23 |
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] |
185302 |
1 |
|
|
T22 |
20 |
|
T23 |
348 |
|
T30 |
1872 |
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 |
103140 |
Excluded |
Covered bins
NAME | COUNT | AT LEAST | STATUS | | TEST | COUNT | | TEST | COUNT | | TEST | COUNT |
full_data_beat |
57448 |
1 |
|
|
T22 |
19 |
|
T23 |
6 |
|
T30 |
50 |
seven_bytes |
3477 |
1 |
|
|
T23 |
6 |
|
T30 |
42 |
|
T33 |
46 |
six_bytes |
3514 |
1 |
|
|
T23 |
8 |
|
T30 |
53 |
|
T33 |
52 |
five_bytes |
3582 |
1 |
|
|
T23 |
17 |
|
T30 |
44 |
|
T33 |
50 |
four_bytes |
3599 |
1 |
|
|
T23 |
10 |
|
T30 |
48 |
|
T33 |
45 |
three_bytes |
3344 |
1 |
|
|
T23 |
6 |
|
T30 |
47 |
|
T33 |
57 |
two_bytes |
3594 |
1 |
|
|
T23 |
10 |
|
T30 |
52 |
|
T33 |
47 |
one_byte |
3604 |
1 |
|
|
T23 |
13 |
|
T30 |
55 |
|
T33 |
47 |
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] |
181962 |
1 |
|
|
T22 |
18 |
|
T23 |
344 |
|
T30 |
1844 |
auto[1] |
3340 |
1 |
|
|
T22 |
2 |
|
T23 |
4 |
|
T30 |
28 |
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] |
185302 |
1 |
|
|
T22 |
20 |
|
T23 |
348 |
|
T30 |
1872 |
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] |
185291 |
1 |
|
|
T22 |
20 |
|
T23 |
348 |
|
T30 |
1872 |
auto[1] |
11 |
1 |
|
|
T188 |
1 |
|
T189 |
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 |
1092 |
1 |
|
|
T22 |
1 |
|
T23 |
1 |
|
T30 |
4 |
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 |
3340 |
1 |
|
|
T22 |
2 |
|
T23 |
4 |
|
T30 |
28 |
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] |
174025 |
1 |
|
|
T4 |
142 |
|
T23 |
197 |
|
T30 |
1736 |
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 |
96424 |
Excluded |
Covered bins
NAME | COUNT | AT LEAST | STATUS | | TEST | COUNT | | TEST | COUNT | | TEST | COUNT |
full_data_beat |
54872 |
1 |
|
|
T4 |
140 |
|
T23 |
6 |
|
T30 |
46 |
seven_bytes |
3247 |
1 |
|
|
T23 |
5 |
|
T30 |
43 |
|
T33 |
51 |
six_bytes |
3367 |
1 |
|
|
T23 |
4 |
|
T30 |
47 |
|
T33 |
52 |
five_bytes |
3170 |
1 |
|
|
T23 |
6 |
|
T30 |
40 |
|
T33 |
58 |
four_bytes |
3271 |
1 |
|
|
T23 |
4 |
|
T30 |
47 |
|
T33 |
53 |
three_bytes |
3276 |
1 |
|
|
T23 |
2 |
|
T30 |
38 |
|
T33 |
44 |
two_bytes |
3255 |
1 |
|
|
T23 |
7 |
|
T30 |
46 |
|
T33 |
59 |
one_byte |
3143 |
1 |
|
|
T23 |
6 |
|
T30 |
44 |
|
T33 |
51 |
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] |
170733 |
1 |
|
|
T4 |
138 |
|
T23 |
195 |
|
T30 |
1716 |
auto[1] |
3292 |
1 |
|
|
T4 |
4 |
|
T23 |
2 |
|
T30 |
20 |
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] |
174025 |
1 |
|
|
T4 |
142 |
|
T23 |
197 |
|
T30 |
1736 |
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] |
174007 |
1 |
|
|
T4 |
142 |
|
T23 |
197 |
|
T30 |
1736 |
auto[1] |
18 |
1 |
|
|
T33 |
1 |
|
T188 |
1 |
|
T190 |
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 |
1085 |
1 |
|
|
T4 |
2 |
|
T30 |
4 |
|
T33 |
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 |
3292 |
1 |
|
|
T4 |
4 |
|
T23 |
2 |
|
T30 |
20 |