Summary for Variable keymgr_rd_en
CATEGORY | EXPECTED | UNCOVERED | COVERED | PERCENT |
Automatically Generated Bins |
2 |
0 |
2 |
100.00 |
Automatically Generated Bins for keymgr_rd_en
Bins
NAME | COUNT | AT LEAST | STATUS | | TEST | COUNT | | TEST | COUNT | | TEST | COUNT |
auto[0] |
44 |
1 |
|
|
T1 |
1 |
|
T7 |
1 |
|
T11 |
1 |
auto[1] |
26 |
1 |
|
|
T3 |
1 |
|
T8 |
1 |
|
T14 |
1 |
Summary for Variable secret2_lock
CATEGORY | EXPECTED | UNCOVERED | COVERED | PERCENT |
Automatically Generated Bins |
2 |
1 |
1 |
50.00 |
Automatically Generated Bins for secret2_lock
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] |
70 |
1 |
|
|
T1 |
1 |
|
T3 |
1 |
|
T7 |
1 |
Summary for Cross keymgr_output_conditions
Samples crossed: keymgr_rd_en secret2_lock
CATEGORY | EXPECTED | UNCOVERED | COVERED | PERCENT | MISSING |
Automatically Generated Cross Bins |
4 |
2 |
2 |
50.00 |
2 |
Automatically Generated Cross Bins for keymgr_output_conditions
Element holes
keymgr_rd_en | secret2_lock | COUNT | AT LEAST | NUMBER | STATUS |
* |
[auto[1]] |
-- |
-- |
2 |
|
Covered bins
keymgr_rd_en | secret2_lock | COUNT | AT LEAST | STATUS | | TEST | COUNT | | TEST | COUNT | | TEST | COUNT |
auto[0] |
auto[0] |
44 |
1 |
|
|
T1 |
1 |
|
T7 |
1 |
|
T11 |
1 |
auto[1] |
auto[0] |
26 |
1 |
|
|
T3 |
1 |
|
T8 |
1 |
|
T14 |
1 |