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


Covered bins
NAMECOUNTAT LEASTSTATUSTESTCOUNTTESTCOUNTTESTCOUNT
len_801_1000 5584 1 T13 3 T17 6 T21 7
len_601_800 12677 1 T13 5 T4 1 T17 15
len_401_600 8321 1 T13 4 T17 10 T68 2
len_201_400 3924 1 T13 1 T4 1 T17 6
len_65_200 6680 1 T17 7 T39 31 T68 1
len_min_for_xof_require_squeeze 63 1 T39 1 T119 9 T170 9
len_keccak_block_sizes[72] 74 1 T17 1 T84 2 T119 9
len_keccak_block_sizes[104] 70 1 T84 3 T119 9 T123 1
len_keccak_block_sizes[136] 59 1 T84 1 T119 9 T123 1
len_keccak_block_sizes[144] 30 1 T123 2 T171 1 T172 1
len_keccak_block_sizes[168] 27 1 T173 1 T174 1 T146 1
len_datapath_width 1162 1 T2 3 T17 1 T39 3
len_2_63 15490 1 T1 2 T3 3 T13 8
len_1 62 1 T84 2 T7 1 T140 2

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