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


Covered bins
NAMECOUNTAT LEASTSTATUSTESTCOUNTTESTCOUNTTESTCOUNT
len_801_1000 5614 1 T21 5 T22 2 T25 3
len_601_800 12967 1 T21 7 T22 1 T25 4
len_401_600 8351 1 T21 2 T22 1 T25 2
len_201_400 4117 1 T22 1 T25 5 T34 2
len_65_200 5797 1 T15 30 T18 47 T105 1
len_min_for_xof_require_squeeze 58 1 T188 9 T189 1 T160 1
len_keccak_block_sizes[72] 61 1 T18 1 T188 9 T190 1
len_keccak_block_sizes[104] 49 1 T188 9 T191 1 T78 1
len_keccak_block_sizes[136] 50 1 T188 9 T191 1 T157 1
len_keccak_block_sizes[144] 31 1 T192 2 T190 2 T149 1
len_keccak_block_sizes[168] 33 1 T18 2 T78 1 T190 1
len_datapath_width 1053 1 T15 4 T17 3 T18 4
len_2_63 14538 1 T1 3 T2 3 T14 3
len_1 42 1 T15 3 T156 1 T149 2

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