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] |
189102 |
1 |
|
|
T7 |
246 |
|
T49 |
856 |
|
T9 |
997 |
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 |
100201 |
Excluded |
Covered bins
NAME | COUNT | AT LEAST | STATUS | | TEST | COUNT | | TEST | COUNT | | TEST | COUNT |
full_data_beat |
65112 |
1 |
|
|
T7 |
244 |
|
T49 |
20 |
|
T9 |
419 |
seven_bytes |
3405 |
1 |
|
|
T49 |
13 |
|
T9 |
11 |
|
T11 |
12 |
six_bytes |
3438 |
1 |
|
|
T49 |
22 |
|
T9 |
18 |
|
T11 |
17 |
five_bytes |
3430 |
1 |
|
|
T49 |
29 |
|
T9 |
13 |
|
T11 |
10 |
four_bytes |
3309 |
1 |
|
|
T49 |
17 |
|
T9 |
16 |
|
T11 |
15 |
three_bytes |
3393 |
1 |
|
|
T49 |
23 |
|
T9 |
15 |
|
T11 |
15 |
two_bytes |
3444 |
1 |
|
|
T49 |
22 |
|
T9 |
14 |
|
T11 |
11 |
one_byte |
3370 |
1 |
|
|
T49 |
25 |
|
T9 |
13 |
|
T11 |
15 |
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] |
185506 |
1 |
|
|
T7 |
242 |
|
T49 |
838 |
|
T9 |
977 |
auto[1] |
3596 |
1 |
|
|
T7 |
4 |
|
T49 |
18 |
|
T9 |
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] |
189102 |
1 |
|
|
T7 |
246 |
|
T49 |
856 |
|
T9 |
997 |
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] |
189089 |
1 |
|
|
T7 |
246 |
|
T49 |
856 |
|
T9 |
997 |
auto[1] |
13 |
1 |
|
|
T48 |
1 |
|
T78 |
1 |
|
T81 |
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 |
1232 |
1 |
|
|
T7 |
2 |
|
T49 |
2 |
|
T9 |
7 |
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 |
3596 |
1 |
|
|
T7 |
4 |
|
T49 |
18 |
|
T9 |
20 |
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] |
183473 |
1 |
|
|
T7 |
22 |
|
T49 |
456 |
|
T9 |
835 |
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 |
93593 |
Excluded |
Covered bins
NAME | COUNT | AT LEAST | STATUS | | TEST | COUNT | | TEST | COUNT | | TEST | COUNT |
full_data_beat |
67753 |
1 |
|
|
T7 |
21 |
|
T49 |
14 |
|
T9 |
520 |
seven_bytes |
3191 |
1 |
|
|
T49 |
12 |
|
T9 |
10 |
|
T11 |
11 |
six_bytes |
3202 |
1 |
|
|
T49 |
19 |
|
T9 |
8 |
|
T11 |
12 |
five_bytes |
3093 |
1 |
|
|
T49 |
15 |
|
T9 |
7 |
|
T11 |
16 |
four_bytes |
3181 |
1 |
|
|
T49 |
7 |
|
T9 |
8 |
|
T11 |
15 |
three_bytes |
3165 |
1 |
|
|
T49 |
9 |
|
T9 |
8 |
|
T11 |
18 |
two_bytes |
3076 |
1 |
|
|
T49 |
12 |
|
T9 |
12 |
|
T11 |
14 |
one_byte |
3219 |
1 |
|
|
T49 |
18 |
|
T9 |
4 |
|
T11 |
9 |
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] |
179847 |
1 |
|
|
T7 |
20 |
|
T49 |
452 |
|
T9 |
811 |
auto[1] |
3626 |
1 |
|
|
T7 |
2 |
|
T49 |
4 |
|
T9 |
24 |
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] |
183473 |
1 |
|
|
T7 |
22 |
|
T49 |
456 |
|
T9 |
835 |
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] |
183462 |
1 |
|
|
T7 |
22 |
|
T49 |
456 |
|
T9 |
835 |
auto[1] |
11 |
1 |
|
|
T108 |
1 |
|
T162 |
1 |
|
T163 |
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 |
1272 |
1 |
|
|
T7 |
1 |
|
T49 |
1 |
|
T9 |
9 |
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 |
3626 |
1 |
|
|
T7 |
2 |
|
T49 |
4 |
|
T9 |
24 |
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] |
369462 |
1 |
|
|
T2 |
1525 |
|
T7 |
31 |
|
T49 |
1389 |
auto[1] |
506 |
1 |
|
|
T41 |
17 |
|
T42 |
89 |
|
T43 |
83 |
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 |
192609 |
Excluded |
Covered bins
NAME | COUNT | AT LEAST | STATUS | | TEST | COUNT | | TEST | COUNT | | TEST | COUNT |
full_data_beat |
131822 |
1 |
|
|
T2 |
33 |
|
T7 |
30 |
|
T49 |
32 |
seven_bytes |
6484 |
1 |
|
|
T2 |
34 |
|
T49 |
44 |
|
T9 |
48 |
six_bytes |
6496 |
1 |
|
|
T2 |
37 |
|
T49 |
30 |
|
T9 |
37 |
five_bytes |
6592 |
1 |
|
|
T2 |
38 |
|
T49 |
38 |
|
T9 |
44 |
four_bytes |
6499 |
1 |
|
|
T2 |
58 |
|
T49 |
39 |
|
T9 |
47 |
three_bytes |
6463 |
1 |
|
|
T2 |
34 |
|
T49 |
31 |
|
T9 |
39 |
two_bytes |
6549 |
1 |
|
|
T2 |
48 |
|
T49 |
45 |
|
T9 |
40 |
one_byte |
6454 |
1 |
|
|
T2 |
49 |
|
T49 |
36 |
|
T9 |
33 |
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] |
362939 |
1 |
|
|
T2 |
1509 |
|
T7 |
29 |
|
T49 |
1369 |
auto[1] |
7029 |
1 |
|
|
T2 |
16 |
|
T7 |
2 |
|
T49 |
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] |
369968 |
1 |
|
|
T2 |
1525 |
|
T7 |
31 |
|
T49 |
1389 |
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] |
369939 |
1 |
|
|
T2 |
1525 |
|
T7 |
31 |
|
T49 |
1389 |
auto[1] |
29 |
1 |
|
|
T61 |
1 |
|
T164 |
1 |
|
T108 |
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 |
2433 |
1 |
|
|
T2 |
3 |
|
T7 |
1 |
|
T49 |
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 |
7029 |
1 |
|
|
T2 |
16 |
|
T7 |
2 |
|
T49 |
20 |