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


Covered bins
NAMECOUNTAT LEASTSTATUSTESTCOUNTTESTCOUNTTESTCOUNT
len_801_1000 5447 1 T26 6 T41 5 T143 4
len_601_800 12076 1 T23 3 T25 2 T26 15
len_401_600 8186 1 T23 1 T25 2 T26 8
len_201_400 4357 1 T23 1 T25 1 T26 3
len_65_200 8338 1 T40 16 T51 61 T121 101
len_min_for_xof_require_squeeze 88 1 T121 1 T143 1 T116 1
len_keccak_block_sizes[72] 92 1 T40 1 T51 1 T121 2
len_keccak_block_sizes[104] 92 1 T121 1 T194 1 T151 9
len_keccak_block_sizes[136] 82 1 T51 1 T121 3 T195 1
len_keccak_block_sizes[144] 48 1 T51 1 T121 1 T195 1
len_keccak_block_sizes[168] 47 1 T51 2 T196 5 T197 5
len_datapath_width 1019 1 T2 3 T12 3 T13 3
len_2_63 16013 1 T1 3 T16 137 T95 105
len_1 51 1 T51 2 T121 1 T195 2

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