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


Covered bins
NAMECOUNTAT LEASTSTATUSTESTCOUNTTESTCOUNTTESTCOUNT
len_801_1000 5370 1 T19 13 T21 3 T97 3
len_601_800 12364 1 T19 25 T21 3 T97 4
len_401_600 8182 1 T19 23 T21 3 T97 1
len_201_400 4111 1 T19 12 T21 1 T97 3
len_65_200 6119 1 T19 4 T51 39 T100 88
len_min_for_xof_require_squeeze 65 1 T190 1 T191 1 T192 1
len_keccak_block_sizes[72] 62 1 T100 1 T190 2 T37 1
len_keccak_block_sizes[104] 68 1 T100 1 T23 1 T190 2
len_keccak_block_sizes[136] 60 1 T51 1 T100 2 T93 1
len_keccak_block_sizes[144] 43 1 T93 1 T39 1 T192 2
len_keccak_block_sizes[168] 30 1 T116 1 T193 1 T194 5
len_datapath_width 923 1 T15 73 T16 3 T51 2
len_2_63 14652 1 T1 3 T2 3 T5 7
len_1 48 1 T51 1 T100 1 T93 2

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