Summary for Variable secret1_lock
| CATEGORY | EXPECTED | UNCOVERED | COVERED | PERCENT | 
| Automatically Generated Bins | 
2 | 
0 | 
2 | 
100.00 | 
Automatically Generated Bins for secret1_lock
Bins
| NAME | COUNT | AT LEAST | STATUS |  | TEST | COUNT |  | TEST | COUNT |  | TEST | COUNT | 
| auto[0] | 
806 | 
1 | 
 | 
 | 
T2 | 
30 | 
 | 
T5 | 
3 | 
 | 
T16 | 
22 | 
| auto[1] | 
1188 | 
1 | 
 | 
 | 
T16 | 
57 | 
 | 
T100 | 
14 | 
 | 
T107 | 
9 | 
Summary for Variable sram_index
| CATEGORY | EXPECTED | UNCOVERED | COVERED | PERCENT | 
| User Defined Bins | 
4 | 
0 | 
4 | 
100.00 | 
User Defined Bins for sram_index
Excluded/Illegal bins
| NAME | COUNT | STATUS | 
| il | 
0 | 
Illegal | 
Covered bins
| NAME | COUNT | AT LEAST | STATUS |  | TEST | COUNT |  | TEST | COUNT |  | TEST | COUNT | 
| sram_key[0x0] | 
81 | 
1 | 
 | 
 | 
T2 | 
5 | 
 | 
T5 | 
1 | 
 | 
T16 | 
1 | 
| sram_key[0x1] | 
653 | 
1 | 
 | 
 | 
T2 | 
10 | 
 | 
T5 | 
1 | 
 | 
T16 | 
26 | 
| sram_key[0x2] | 
626 | 
1 | 
 | 
 | 
T2 | 
15 | 
 | 
T16 | 
25 | 
 | 
T100 | 
2 | 
| sram_key[0x3] | 
634 | 
1 | 
 | 
 | 
T5 | 
1 | 
 | 
T16 | 
27 | 
 | 
T100 | 
3 | 
Summary for Cross sram_req_lock_cross
Samples crossed: sram_index secret1_lock
| CATEGORY | EXPECTED | UNCOVERED | COVERED | PERCENT | MISSING | 
| Automatically Generated Cross Bins | 
8 | 
0 | 
8 | 
100.00 | 
 | 
Automatically Generated Cross Bins for sram_req_lock_cross
Bins
| sram_index | secret1_lock | COUNT | AT LEAST | STATUS |  | TEST | COUNT |  | TEST | COUNT |  | TEST | COUNT | 
| sram_key[0x0] | 
auto[0] | 
27 | 
1 | 
 | 
 | 
T2 | 
5 | 
 | 
T5 | 
1 | 
 | 
T16 | 
1 | 
| sram_key[0x0] | 
auto[1] | 
54 | 
1 | 
 | 
 | 
T100 | 
4 | 
 | 
T107 | 
3 | 
 | 
T203 | 
15 | 
| sram_key[0x1] | 
auto[0] | 
267 | 
1 | 
 | 
 | 
T2 | 
10 | 
 | 
T5 | 
1 | 
 | 
T16 | 
7 | 
| sram_key[0x1] | 
auto[1] | 
386 | 
1 | 
 | 
 | 
T16 | 
19 | 
 | 
T100 | 
5 | 
 | 
T107 | 
1 | 
| sram_key[0x2] | 
auto[0] | 
262 | 
1 | 
 | 
 | 
T2 | 
15 | 
 | 
T16 | 
7 | 
 | 
T103 | 
3 | 
| sram_key[0x2] | 
auto[1] | 
364 | 
1 | 
 | 
 | 
T16 | 
18 | 
 | 
T100 | 
2 | 
 | 
T107 | 
3 | 
| sram_key[0x3] | 
auto[0] | 
250 | 
1 | 
 | 
 | 
T5 | 
1 | 
 | 
T16 | 
7 | 
 | 
T103 | 
2 | 
| sram_key[0x3] | 
auto[1] | 
384 | 
1 | 
 | 
 | 
T16 | 
20 | 
 | 
T100 | 
3 | 
 | 
T107 | 
2 |