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 |