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
75.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 2 6 75.00


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


Summary for Variable invalid_hw_input_cp

CATEGORYEXPECTEDUNCOVEREDCOVEREDPERCENT
Automatically Generated Bins 8 2 6 75.00


Automatically Generated Bins for invalid_hw_input_cp

Uncovered bins
NAMECOUNTAT LEASTNUMBERSTATUS
auto[OtpRootKeyInvalid] 0 1 1
auto[OtpRootKeyValidLow] 0 1 1


Covered bins
NAMECOUNTAT LEASTSTATUSTESTCOUNTTESTCOUNTTESTCOUNT
auto[LcStateInvalid] 108 1 T96 12 T200 24 T201 24
auto[OtpDevIdInvalid] 32 1 T93 8 T202 24 - -
auto[RomDigestInvalid] 84 1 T200 24 T201 12 T202 24
auto[RomDigestValidLow] 36 1 T21 12 T202 12 T90 12
auto[FlashCreatorSeedInvalid] 144 1 T20 60 T21 60 T201 12
auto[FlashOwnerSeedInvalid] 60 1 T18 36 T91 24 - -

0% 10% 20% 30% 40% 50% 60% 70% 80% 90% 100%