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


Covered bins
NAMECOUNTAT LEASTSTATUSTESTCOUNTTESTCOUNTTESTCOUNT
len_801_1000 5478 1 T12 1 T13 3 T58 2
len_601_800 12466 1 T12 3 T13 2 T58 4
len_401_600 8168 1 T13 5 T23 7 T14 11
len_201_400 4280 1 T12 1 T23 8 T88 1
len_65_200 7060 1 T11 31 T31 7 T94 33
len_min_for_xof_require_squeeze 64 1 T202 2 T203 1 T77 1
len_keccak_block_sizes[72] 71 1 T130 2 T203 2 T204 9
len_keccak_block_sizes[104] 58 1 T94 1 T130 1 T203 2
len_keccak_block_sizes[136] 63 1 T94 1 T203 2 T36 1
len_keccak_block_sizes[144] 39 1 T36 1 T79 1 T205 5
len_keccak_block_sizes[168] 41 1 T11 1 T206 1 T96 1
len_datapath_width 1000 1 T2 3 T11 4 T63 3
len_2_63 14353 1 T1 3 T11 33 T49 105
len_1 52 1 T11 1 T94 3 T203 3

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