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 659 Excluded


Covered bins
NAMECOUNTAT LEASTSTATUSTESTCOUNTTESTCOUNTTESTCOUNT
len_801_1000 5512 1 T9 7 T12 2 T31 6
len_601_800 12566 1 T9 19 T30 1 T12 4
len_401_600 8319 1 T9 10 T30 2 T12 5
len_201_400 4341 1 T9 3 T12 3 T13 2
len_65_200 8102 1 T9 5 T29 20 T60 38
len_min_for_xof_require_squeeze 87 1 T193 9 T194 9 T195 1
len_keccak_block_sizes[72] 72 1 T193 9 T194 9 T190 5
len_keccak_block_sizes[104] 76 1 T32 1 T193 9 T194 9
len_keccak_block_sizes[136] 88 1 T32 1 T140 2 T193 9
len_keccak_block_sizes[144] 38 1 T60 1 T140 1 T190 5
len_keccak_block_sizes[168] 44 1 T195 1 T190 5 T196 1
len_datapath_width 1017 1 T10 3 T16 3 T45 3
len_2_63 14526 1 T9 35 T4 5 T29 12
len_1 50 1 T29 1 T140 1 T197 1

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