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 | 
 |