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


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


Summary for Variable invalid_hw_input_cp

CATEGORYEXPECTEDUNCOVEREDCOVEREDPERCENT
Automatically Generated Bins 8 1 7 87.50


Automatically Generated Bins for invalid_hw_input_cp

Uncovered bins
NAMECOUNTAT LEASTNUMBERSTATUS
auto[OtpDevIdInvalid] 0 1 1


Covered bins
NAME   COUNT   AT LEAST   STATUS   TEST   COUNT   TEST   COUNT   TEST   COUNT   
auto[OtpRootKeyInvalid] 594 1 T4 10 T22 10 T23 20
auto[OtpRootKeyValidLow] 153 1 T4 1 T22 1 T23 7
auto[LcStateInvalid] 72 1 T82 12 T368 24 T369 12
auto[RomDigestInvalid] 48 1 T346 12 T370 12 T371 24
auto[RomDigestValidLow] 60 1 T79 48 T346 12 - -
auto[FlashCreatorSeedInvalid] 36 1 T78 24 T79 12 - -
auto[FlashOwnerSeedInvalid] 156 1 T19 60 T83 24 T85 12