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


Covered bins
NAMECOUNTAT LEASTSTATUSTESTCOUNTTESTCOUNTTESTCOUNT
len_801_1000 5165 1 T21 15 T10 6 T12 6
len_601_800 11985 1 T21 22 T10 16 T13 2
len_401_600 7946 1 T21 19 T10 12 T13 1
len_201_400 4299 1 T21 4 T10 3 T12 7
len_65_200 7097 1 T1 23 T21 7 T10 3
len_min_for_xof_require_squeeze 79 1 T192 9 T190 1 T193 10
len_keccak_block_sizes[72] 71 1 T192 9 T146 1 T193 5
len_keccak_block_sizes[104] 72 1 T21 1 T90 1 T192 9
len_keccak_block_sizes[136] 68 1 T192 9 T193 5 T162 5
len_keccak_block_sizes[144] 48 1 T58 1 T193 5 T162 5
len_keccak_block_sizes[168] 48 1 T21 1 T14 1 T26 1
len_datapath_width 959 1 T2 73 T21 1 T58 5
len_2_63 15187 1 T1 17 T3 3 T28 3
len_1 48 1 T58 3 T194 1 T164 1

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