Group : keymgr_env_pkg::keymgr_env_cov::invalid_hw_input_cg
dashboard | hierarchy | modlist | groups | tests | asserts

Group : keymgr_env_pkg::keymgr_env_cov::invalid_hw_input_cg
SCOREWEIGHTGOALAT LEASTAUTO BIN MAXPRINT MISSING
100.00 1 100 1 64 64


Source File(s) :
/workspace/default/sim-vcs/../src/lowrisc_dv_keymgr_env_0.1/keymgr_env_cov.sv



Summary for Group keymgr_env_pkg::keymgr_env_cov::invalid_hw_input_cg

CATEGORYEXPECTEDUNCOVEREDCOVEREDPERCENT
Variables 8 0 8 100.00


Variables for Group keymgr_env_pkg::keymgr_env_cov::invalid_hw_input_cg
VARIABLEEXPECTEDUNCOVEREDCOVEREDPERCENTGOALWEIGHTAT LEASTAUTO BIN MAXCOMMENT
invalid_hw_input_cp 8 0 8 100.00 100 1 1 0


Summary for Variable invalid_hw_input_cp

CATEGORYEXPECTEDUNCOVEREDCOVEREDPERCENT
Automatically Generated Bins 8 0 8 100.00


Automatically Generated Bins for invalid_hw_input_cp

Bins
NAME   COUNT   AT LEAST   STATUS   TEST   COUNT   TEST   COUNT   TEST   COUNT   
auto[OtpRootKeyInvalid] 739 1 T23 10 T91 2 T24 10
auto[OtpRootKeyValidLow] 145 1 T23 3 T24 1 T156 1
auto[LcStateInvalid] 156 1 T77 48 T85 36 T372 12
auto[OtpDevIdInvalid] 60 1 T78 24 T373 36 - -
auto[RomDigestInvalid] 180 1 T78 36 T250 12 T357 72
auto[RomDigestValidLow] 24 1 T374 12 T375 12 - -
auto[FlashCreatorSeedInvalid] 72 1 T76 12 T77 12 T374 48
auto[FlashOwnerSeedInvalid] 96 1 T84 36 T85 24 T81 12