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] |
3860 |
1 |
|
|
T1 |
2 |
|
T2 |
1 |
|
T3 |
1 |
auto[1] |
2571 |
1 |
|
|
T3 |
1 |
|
T4 |
1 |
|
T5 |
1 |
Summary for Variable secret2_lock
CATEGORY | EXPECTED | UNCOVERED | COVERED | PERCENT |
Automatically Generated Bins |
2 |
0 |
2 |
100.00 |
Automatically Generated Bins for secret2_lock
Bins
NAME | COUNT | AT LEAST | STATUS | | TEST | COUNT | | TEST | COUNT | | TEST | COUNT |
auto[0] |
4484 |
1 |
|
|
T1 |
2 |
|
T2 |
1 |
|
T3 |
2 |
auto[1] |
1947 |
1 |
|
|
T12 |
59 |
|
T44 |
1 |
|
T27 |
7 |
Summary for Cross keymgr_output_conditions
Samples crossed: keymgr_rd_en secret2_lock
CATEGORY | EXPECTED | UNCOVERED | COVERED | PERCENT | MISSING |
Automatically Generated Cross Bins |
4 |
0 |
4 |
100.00 |
|
Automatically Generated Cross Bins for keymgr_output_conditions
Bins
keymgr_rd_en | secret2_lock | COUNT | AT LEAST | STATUS | | TEST | COUNT | | TEST | COUNT | | TEST | COUNT |
auto[0] |
auto[0] |
2635 |
1 |
|
|
T1 |
2 |
|
T2 |
1 |
|
T3 |
1 |
auto[0] |
auto[1] |
1225 |
1 |
|
|
T12 |
38 |
|
T27 |
4 |
|
T72 |
2 |
auto[1] |
auto[0] |
1849 |
1 |
|
|
T3 |
1 |
|
T4 |
1 |
|
T5 |
1 |
auto[1] |
auto[1] |
722 |
1 |
|
|
T12 |
21 |
|
T44 |
1 |
|
T27 |
3 |