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 |