Summary for Variable secret1_lock
CATEGORY | EXPECTED | UNCOVERED | COVERED | PERCENT |
Automatically Generated Bins |
2 |
2 |
0 |
0.00 |
Automatically Generated Bins for secret1_lock
Uncovered bins
NAME | COUNT | AT LEAST | NUMBER | STATUS |
[auto[0] - auto[1]] |
-- |
-- |
2 |
|
Summary for Variable sram_index
CATEGORY | EXPECTED | UNCOVERED | COVERED | PERCENT |
User Defined Bins |
4 |
4 |
0 |
0.00 |
User Defined Bins for sram_index
Uncovered bins
NAME | COUNT | AT LEAST | NUMBER | STATUS |
sram_key[0x0] |
0 |
1 |
1 |
|
sram_key[0x1] |
0 |
1 |
1 |
|
sram_key[0x2] |
0 |
1 |
1 |
|
sram_key[0x3] |
0 |
1 |
1 |
|
Excluded/Illegal bins
NAME | COUNT | STATUS |
il |
0 |
Illegal |
Summary for Cross sram_req_lock_cross
Samples crossed: sram_index secret1_lock
CATEGORY | EXPECTED | UNCOVERED | COVERED | PERCENT | MISSING |
Automatically Generated Cross Bins |
8 |
8 |
0 |
0.00 |
8 |
Automatically Generated Cross Bins for sram_req_lock_cross
Uncovered bins
sram_index | secret1_lock | COUNT | AT LEAST | NUMBER | STATUS |
* |
* |
-- |
-- |
8 |
|