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


Covered bins
NAMECOUNTAT LEASTSTATUSTESTCOUNTTESTCOUNTTESTCOUNT
len_801_1000 5297 1 T80 1 T23 2 T96 3
len_601_800 12052 1 T14 1 T18 2 T80 7
len_401_600 7974 1 T14 2 T80 6 T23 8
len_201_400 4331 1 T80 2 T23 1 T24 2
len_65_200 7284 1 T14 1 T64 50 T65 89
len_min_for_xof_require_squeeze 78 1 T36 1 T184 9 T52 1
len_keccak_block_sizes[72] 88 1 T65 2 T83 2 T33 1
len_keccak_block_sizes[104] 76 1 T83 1 T23 1 T185 1
len_keccak_block_sizes[136] 73 1 T83 1 T185 1 T119 1
len_keccak_block_sizes[144] 44 1 T65 1 T87 1 T186 5
len_keccak_block_sizes[168] 43 1 T65 1 T83 1 T185 1
len_datapath_width 1011 1 T64 4 T65 9 T81 3
len_2_63 15365 1 T1 6 T2 3 T3 3
len_1 43 1 T65 1 T83 1 T187 1

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