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


Covered bins
NAMECOUNTAT LEASTSTATUSTESTCOUNTTESTCOUNTTESTCOUNT
len_801_1000 5624 1 T10 3 T26 5 T13 4
len_601_800 12528 1 T10 5 T26 9 T13 11
len_401_600 8212 1 T10 3 T26 6 T13 8
len_201_400 4426 1 T25 1 T26 4 T13 2
len_65_200 8520 1 T25 1 T33 62 T10 1
len_min_for_xof_require_squeeze 109 1 T113 1 T197 9 T194 9
len_keccak_block_sizes[72] 81 1 T80 3 T197 9 T194 9
len_keccak_block_sizes[104] 85 1 T58 1 T80 1 T197 9
len_keccak_block_sizes[136] 79 1 T33 2 T52 1 T197 9
len_keccak_block_sizes[144] 46 1 T58 1 T130 1 T52 2
len_keccak_block_sizes[168] 53 1 T33 1 T130 1 T198 5
len_datapath_width 1085 1 T48 3 T33 10 T47 73
len_2_63 15114 1 T11 3 T12 3 T17 3
len_1 48 1 T33 2 T199 3 T154 1

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