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 5582 1 T1 8 T21 3 T22 3
len_601_800 12204 1 T1 23 T16 1 T21 5
len_401_600 8415 1 T1 20 T16 1 T21 4
len_201_400 4745 1 T1 4 T22 1 T36 5
len_65_200 7260 1 T1 5 T57 6 T71 79
len_min_for_xof_require_squeeze 77 1 T71 1 T75 1 T47 1
len_keccak_block_sizes[72] 76 1 T184 1 T24 1 T185 5
len_keccak_block_sizes[104] 74 1 T75 1 T186 1 T187 1
len_keccak_block_sizes[136] 54 1 T71 2 T75 1 T185 5
len_keccak_block_sizes[144] 48 1 T71 1 T75 2 T185 5
len_keccak_block_sizes[168] 43 1 T71 1 T36 1 T188 2
len_datapath_width 1003 1 T1 1 T57 2 T71 3
len_2_63 14540 1 T1 2 T2 3 T3 3
len_1 67 1 T71 1 T75 2 T103 1

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