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


Covered bins
NAMECOUNTAT LEASTSTATUSTESTCOUNTTESTCOUNTTESTCOUNT
len_801_1000 5266 1 T11 3 T12 2 T65 1
len_601_800 11965 1 T12 2 T57 5 T65 2
len_401_600 8058 1 T11 2 T57 3 T13 5
len_201_400 4009 1 T11 1 T12 2 T65 1
len_65_200 7810 1 T60 37 T62 43 T91 77
len_min_for_xof_require_squeeze 79 1 T91 2 T156 1 T96 1
len_keccak_block_sizes[72] 79 1 T62 1 T91 1 T206 1
len_keccak_block_sizes[104] 65 1 T60 2 T156 1 T206 1
len_keccak_block_sizes[136] 67 1 T62 1 T206 2 T207 9
len_keccak_block_sizes[144] 33 1 T60 2 T208 1 T77 1
len_keccak_block_sizes[168] 30 1 T209 1 T210 5 T211 1
len_datapath_width 1019 1 T17 3 T49 3 T44 73
len_2_63 14594 1 T1 3 T2 3 T51 3
len_1 60 1 T62 1 T91 2 T156 1

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