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


Covered bins
NAMECOUNTAT LEASTSTATUSTESTCOUNTTESTCOUNTTESTCOUNT
len_801_1000 5458 1 T22 4 T96 1 T37 6
len_601_800 12336 1 T4 1 T22 8 T96 9
len_401_600 8323 1 T4 1 T22 7 T62 1
len_201_400 4445 1 T4 1 T22 1 T96 2
len_65_200 8522 1 T60 84 T83 64 T22 1
len_min_for_xof_require_squeeze 92 1 T60 2 T133 1 T190 9
len_keccak_block_sizes[72] 86 1 T60 3 T83 1 T190 9
len_keccak_block_sizes[104] 87 1 T60 3 T84 1 T90 1
len_keccak_block_sizes[136] 90 1 T60 2 T84 2 T90 1
len_keccak_block_sizes[144] 48 1 T84 1 T39 1 T130 1
len_keccak_block_sizes[168] 41 1 T60 1 T191 1 T192 1
len_datapath_width 1029 1 T13 3 T15 3 T16 73
len_2_63 15465 1 T2 3 T3 3 T12 32
len_1 59 1 T84 1 T90 1 T38 1

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