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


Covered bins
NAMECOUNTAT LEASTSTATUSTESTCOUNTTESTCOUNTTESTCOUNT
len_801_1000 5692 1 T20 4 T9 2 T10 2
len_601_800 12704 1 T20 11 T9 1 T10 6
len_401_600 8530 1 T20 5 T10 6 T11 22
len_201_400 4494 1 T20 1 T9 1 T10 1
len_65_200 7331 1 T20 4 T29 100 T9 1
len_min_for_xof_require_squeeze 80 1 T132 1 T13 1 T179 9
len_keccak_block_sizes[72] 64 1 T29 1 T132 1 T17 1
len_keccak_block_sizes[104] 66 1 T29 1 T47 1 T75 1
len_keccak_block_sizes[136] 76 1 T29 1 T132 2 T179 9
len_keccak_block_sizes[144] 40 1 T88 1 T180 2 T178 5
len_keccak_block_sizes[168] 44 1 T178 5 T139 1 T181 5
len_datapath_width 993 1 T43 73 T30 3 T31 3
len_2_63 14374 1 T1 105 T2 145 T3 137
len_1 46 1 T29 5 T22 2 T182 1

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