Group : otp_ctrl_env_pkg::otp_ctrl_env_cov::sram_req_cg
dashboard | hierarchy | modlist | groups | tests | asserts


Summary for Group otp_ctrl_env_pkg::otp_ctrl_env_cov::sram_req_cg

CATEGORY   EXPECTED   UNCOVERED   COVERED   PERCENT   
Variables 6 0 6 100.00
Crosses 8 0 8 100.00


Variables for Group otp_ctrl_env_pkg::otp_ctrl_env_cov::sram_req_cg
VARIABLE   EXPECTED   UNCOVERED   COVERED   PERCENT   GOAL   WEIGHT   AT LEAST   AUTO BIN MAX   COMMENT   
secret1_lock 2 0 2 100.00 100 1 1 2
sram_index 4 0 4 100.00 100 1 1 0


Crosses for Group otp_ctrl_env_pkg::otp_ctrl_env_cov::sram_req_cg
CROSSEXPECTEDUNCOVEREDCOVEREDPERCENTGOALWEIGHTAT LEASTPRINT MISSINGCOMMENT
sram_req_lock_cross 8 0 8 100.00 100 1 1 0


Summary for Variable secret1_lock

CATEGORYEXPECTEDUNCOVEREDCOVEREDPERCENT
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] 840 1 T3 2 T121 2 T125 2
auto[1] 1012 1 T143 3 T125 26 T300 2



Summary for Variable sram_index

CATEGORYEXPECTEDUNCOVEREDCOVEREDPERCENT
User Defined Bins 4 0 4 100.00


User Defined Bins for sram_index

Excluded/Illegal bins
NAMECOUNTSTATUS
il 0 Illegal


Covered bins
NAME   COUNT   AT LEAST   STATUS   TEST   COUNT   TEST   COUNT   TEST   COUNT   
sram_key[0x0] 73 1 T245 3 T215 4 T369 2
sram_key[0x1] 596 1 T3 1 T121 1 T143 1
sram_key[0x2] 571 1 T121 1 T143 1 T125 10
sram_key[0x3] 612 1 T3 1 T143 1 T125 10



Summary for Cross sram_req_lock_cross

Samples crossed: sram_index secret1_lock
CATEGORYEXPECTEDUNCOVEREDCOVEREDPERCENTMISSING
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] 40 1 T245 1 T215 1 T369 1
sram_key[0x0] auto[1] 33 1 T245 2 T215 3 T369 1
sram_key[0x1] auto[0] 271 1 T3 1 T121 1 T115 3
sram_key[0x1] auto[1] 325 1 T143 1 T125 8 T300 1
sram_key[0x2] auto[0] 263 1 T121 1 T125 1 T115 4
sram_key[0x2] auto[1] 308 1 T143 1 T125 9 T300 1
sram_key[0x3] auto[0] 266 1 T3 1 T125 1 T115 4
sram_key[0x3] auto[1] 346 1 T143 1 T125 9 T82 3