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


Summary for Group otp_ctrl_env_pkg::otp_ctrl_env_cov::keymgr_o_cg

CATEGORY   EXPECTED   UNCOVERED   COVERED   PERCENT   
Variables 4 0 4 100.00
Crosses 4 0 4 100.00


Variables for Group otp_ctrl_env_pkg::otp_ctrl_env_cov::keymgr_o_cg
VARIABLE   EXPECTED   UNCOVERED   COVERED   PERCENT   GOAL   WEIGHT   AT LEAST   AUTO BIN MAX   COMMENT   
keymgr_rd_en 2 0 2 100.00 100 1 1 2
secret2_lock 2 0 2 100.00 100 1 1 2


Crosses for Group otp_ctrl_env_pkg::otp_ctrl_env_cov::keymgr_o_cg
CROSSEXPECTEDUNCOVEREDCOVEREDPERCENTGOALWEIGHTAT LEASTPRINT MISSINGCOMMENT
keymgr_output_conditions 4 0 4 100.00 100 1 1 0


Summary for Variable keymgr_rd_en

CATEGORYEXPECTEDUNCOVEREDCOVEREDPERCENT
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] 3667 1 T3 1 T7 1 T4 4
auto[1] 2437 1 T2 2 T3 1 T4 2



Summary for Variable secret2_lock

CATEGORYEXPECTEDUNCOVEREDCOVEREDPERCENT
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] 4083 1 T2 1 T3 2 T7 1
auto[1] 2021 1 T2 1 T4 3 T6 1



Summary for Cross keymgr_output_conditions

Samples crossed: keymgr_rd_en secret2_lock
CATEGORYEXPECTEDUNCOVEREDCOVEREDPERCENTMISSING
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] 2451 1 T3 1 T7 1 T4 2
auto[0] auto[1] 1216 1 T4 2 T6 1 T10 1
auto[1] auto[0] 1632 1 T2 1 T3 1 T4 1
auto[1] auto[1] 805 1 T2 1 T4 1 T10 1