Group : kmac_env_pkg::kmac_env_cov::output_digest_len_cg
dashboard | hierarchy | modlist | groups | tests | asserts


Summary for Group kmac_env_pkg::kmac_env_cov::output_digest_len_cg

CATEGORYEXPECTEDUNCOVEREDCOVEREDPERCENT
Variables 14 0 14 100.00


Variables for Group kmac_env_pkg::kmac_env_cov::output_digest_len_cg
VARIABLEEXPECTEDUNCOVEREDCOVEREDPERCENTGOALWEIGHTAT LEASTAUTO BIN MAXCOMMENT
output_digest_len 14 0 14 100.00 100 1 1 0


Summary for Variable output_digest_len

CATEGORYEXPECTEDUNCOVEREDCOVEREDPERCENT
User Defined Bins 14 0 14 100.00


User Defined Bins for output_digest_len

Excluded/Illegal bins
NAMECOUNTSTATUS
remainder 677 Excluded


Covered bins
NAMECOUNTAT LEASTSTATUSTESTCOUNTTESTCOUNTTESTCOUNT
len_801_1000 5829 1 T9 1 T13 10 T14 3
len_601_800 12995 1 T9 1 T72 1 T13 21
len_401_600 8642 1 T9 2 T72 2 T13 16
len_201_400 4146 1 T9 2 T13 4 T14 2
len_65_200 6737 1 T40 20 T75 95 T72 1
len_min_for_xof_require_squeeze 56 1 T83 2 T13 1 T181 9
len_keccak_block_sizes[72] 79 1 T83 2 T181 9 T182 1
len_keccak_block_sizes[104] 66 1 T75 2 T83 1 T181 9
len_keccak_block_sizes[136] 62 1 T83 1 T181 9 T182 1
len_keccak_block_sizes[144] 40 1 T75 1 T83 1 T183 1
len_keccak_block_sizes[168] 39 1 T75 1 T183 1 T144 1
len_datapath_width 1069 1 T2 3 T12 3 T39 3
len_2_63 14976 1 T1 3 T40 13 T9 7
len_1 53 1 T75 2 T83 1 T183 3

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