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


Covered bins
NAMECOUNTAT LEASTSTATUSTESTCOUNTTESTCOUNTTESTCOUNT
len_801_1000 5501 1 T13 7 T14 7 T69 9
len_601_800 12202 1 T13 23 T14 16 T69 10
len_401_600 8249 1 T12 1 T13 10 T14 12
len_201_400 4493 1 T13 10 T14 9 T69 8
len_65_200 9070 1 T16 12 T50 48 T71 64
len_min_for_xof_require_squeeze 91 1 T16 1 T71 1 T177 9
len_keccak_block_sizes[72] 95 1 T50 1 T177 9 T185 9
len_keccak_block_sizes[104] 97 1 T139 2 T162 1 T177 9
len_keccak_block_sizes[136] 87 1 T71 2 T177 9 T185 9
len_keccak_block_sizes[144] 44 1 T50 1 T186 1 T187 5
len_keccak_block_sizes[168] 44 1 T50 2 T71 1 T186 1
len_datapath_width 1109 1 T11 3 T16 1 T50 1
len_2_63 15919 1 T1 6 T2 3 T7 8
len_1 63 1 T16 1 T186 2 T188 2

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