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


Covered bins
NAMECOUNTAT LEASTSTATUSTESTCOUNTTESTCOUNTTESTCOUNT
len_801_1000 5311 1 T13 4 T14 9 T27 3
len_601_800 12260 1 T13 12 T14 17 T27 4
len_401_600 8024 1 T13 11 T14 9 T5 1
len_201_400 3920 1 T13 7 T14 8 T27 1
len_65_200 6543 1 T13 3 T14 6 T27 1
len_min_for_xof_require_squeeze 69 1 T74 1 T193 2 T194 1
len_keccak_block_sizes[72] 63 1 T95 1 T74 2 T195 2
len_keccak_block_sizes[104] 63 1 T79 1 T195 1 T194 2
len_keccak_block_sizes[136] 59 1 T95 1 T74 3 T138 1
len_keccak_block_sizes[144] 37 1 T138 1 T196 1 T195 1
len_keccak_block_sizes[168] 41 1 T138 1 T111 1 T196 1
len_datapath_width 1042 1 T17 3 T80 73 T81 73
len_2_63 15753 1 T1 3 T2 3 T12 3
len_1 49 1 T138 3 T197 1 T194 1

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