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


Covered bins
NAMECOUNTAT LEASTSTATUSTESTCOUNTTESTCOUNTTESTCOUNT
len_801_1000 5283 1 T13 2 T4 1 T21 7
len_601_800 12069 1 T13 2 T4 2 T31 1
len_401_600 8029 1 T4 1 T21 19 T38 25
len_201_400 3958 1 T13 1 T4 1 T31 1
len_65_200 6692 1 T49 44 T77 100 T75 65
len_min_for_xof_require_squeeze 71 1 T77 1 T51 1 T177 2
len_keccak_block_sizes[72] 81 1 T49 1 T75 2 T151 9
len_keccak_block_sizes[104] 65 1 T49 1 T77 2 T177 1
len_keccak_block_sizes[136] 70 1 T77 2 T39 1 T177 1
len_keccak_block_sizes[144] 39 1 T75 2 T42 1 T129 5
len_keccak_block_sizes[168] 28 1 T178 1 T42 1 T129 5
len_datapath_width 940 1 T1 3 T12 73 T15 3
len_2_63 14938 1 T2 3 T13 8 T4 7
len_1 46 1 T77 1 T75 1 T21 1

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