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


Covered bins
NAMECOUNTAT LEASTSTATUSTESTCOUNTTESTCOUNTTESTCOUNT
len_801_1000 5112 1 T10 5 T14 1 T15 6
len_601_800 11918 1 T9 3 T10 2 T14 1
len_401_600 7745 1 T9 1 T10 4 T14 3
len_201_400 3970 1 T9 1 T10 2 T14 2
len_65_200 6744 1 T29 37 T23 3 T87 96
len_min_for_xof_require_squeeze 63 1 T99 9 T188 1 T189 1
len_keccak_block_sizes[72] 66 1 T87 2 T99 9 T25 1
len_keccak_block_sizes[104] 59 1 T87 1 T103 1 T99 9
len_keccak_block_sizes[136] 81 1 T170 3 T99 9 T190 1
len_keccak_block_sizes[144] 25 1 T29 1 T103 1 T191 5
len_keccak_block_sizes[168] 25 1 T192 2 T191 5 T72 1
len_datapath_width 989 1 T11 3 T12 3 T13 73
len_2_63 14911 1 T30 3 T9 4 T4 18
len_1 56 1 T29 2 T87 1 T193 2

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