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


Covered bins
NAMECOUNTAT LEASTSTATUSTESTCOUNTTESTCOUNTTESTCOUNT
len_801_1000 5458 1 T16 3 T22 2 T30 3
len_601_800 12069 1 T16 5 T22 2 T30 15
len_401_600 8179 1 T16 2 T22 5 T30 8
len_201_400 4401 1 T22 1 T30 4 T36 2
len_65_200 9135 1 T14 6 T22 1 T62 84
len_min_for_xof_require_squeeze 112 1 T168 9 T201 9 T38 1
len_keccak_block_sizes[72] 86 1 T31 1 T168 9 T201 9
len_keccak_block_sizes[104] 93 1 T62 2 T79 2 T202 1
len_keccak_block_sizes[136] 104 1 T62 2 T202 2 T168 9
len_keccak_block_sizes[144] 44 1 T203 5 T82 1 T204 5
len_keccak_block_sizes[168] 46 1 T202 1 T203 5 T204 5
len_datapath_width 1099 1 T13 73 T17 3 T18 3
len_2_63 15688 1 T1 3 T2 3 T12 26
len_1 55 1 T62 2 T38 1 T152 1

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