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


Covered bins
NAMECOUNTAT LEASTSTATUSTESTCOUNTTESTCOUNTTESTCOUNT
len_801_1000 5501 1 T51 8 T11 6 T12 2
len_601_800 12335 1 T14 1 T51 10 T11 11
len_401_600 8316 1 T14 1 T51 9 T11 12
len_201_400 4210 1 T51 3 T11 2 T13 8
len_65_200 7223 1 T14 1 T31 17 T64 85
len_min_for_xof_require_squeeze 72 1 T66 1 T201 1 T23 1
len_keccak_block_sizes[72] 79 1 T64 2 T197 9 T202 1
len_keccak_block_sizes[104] 61 1 T26 1 T196 1 T197 9
len_keccak_block_sizes[136] 83 1 T64 3 T197 9 T202 1
len_keccak_block_sizes[144] 48 1 T64 1 T201 1 T19 1
len_keccak_block_sizes[168] 40 1 T66 1 T196 1 T24 1
len_datapath_width 1101 1 T2 3 T64 4 T67 73
len_2_63 15207 1 T1 3 T3 3 T46 105
len_1 53 1 T64 1 T101 1 T23 1

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