Group : keymgr_env_pkg::keymgr_env_cov::key_version_compare_cg
dashboard | hierarchy | modlist | groups | tests | asserts

Group : keymgr_env_pkg::keymgr_env_cov::key_version_compare_cg
SCOREWEIGHTGOALAT LEASTAUTO BIN MAXPRINT MISSING
100.00 1 100 1 64 64


Source File(s) :
/workspace/default/sim-vcs/../src/lowrisc_dv_keymgr_env_0.1/keymgr_env_cov.sv



Summary for Group keymgr_env_pkg::keymgr_env_cov::key_version_compare_cg

CATEGORYEXPECTEDUNCOVEREDCOVEREDPERCENT
Variables 8 0 8 100.00
Crosses 18 0 18 100.00


Variables for Group keymgr_env_pkg::keymgr_env_cov::key_version_compare_cg
VARIABLEEXPECTEDUNCOVEREDCOVEREDPERCENTGOALWEIGHTAT LEASTAUTO BIN MAXCOMMENT
key_version_cmp_cp 3 0 3 100.00 100 1 1 0
op_cp 2 0 2 100.00 100 1 1 0
state_cp 3 0 3 100.00 100 1 1 0


Crosses for Group keymgr_env_pkg::keymgr_env_cov::key_version_compare_cg
CROSSEXPECTEDUNCOVEREDCOVEREDPERCENTGOALWEIGHTAT LEASTPRINT MISSINGCOMMENT
key_ver_x_state_x_op_cross 18 0 18 100.00 100 1 1 0


Summary for Variable key_version_cmp_cp

CATEGORYEXPECTEDUNCOVEREDCOVEREDPERCENT
User Defined Bins 3 0 3 100.00


User Defined Bins for key_version_cmp_cp

Bins
NAMECOUNTAT LEASTSTATUSTESTCOUNTTESTCOUNTTESTCOUNT
legal_values[CompareOpEq] 13735 1 T2 13 T3 26 T4 6
legal_values[CompareOpGt] 2960 1 T4 2 T5 4 T19 1
legal_values[CompareOpLt] 3893 1 T2 2 T3 4 T4 7



Summary for Variable op_cp

CATEGORYEXPECTEDUNCOVEREDCOVEREDPERCENT
User Defined Bins 2 0 2 100.00


User Defined Bins for op_cp

Bins
NAMECOUNTAT LEASTSTATUSTESTCOUNTTESTCOUNTTESTCOUNT
legal_states[OpGenSwOut] 4331 1 T3 12 T4 3 T5 5
legal_states[OpGenHwOut] 5178 1 T2 8 T3 2 T4 6



Summary for Variable state_cp

CATEGORYEXPECTEDUNCOVEREDCOVEREDPERCENT
User Defined Bins 3 0 3 100.00


User Defined Bins for state_cp

Bins
NAMECOUNTAT LEASTSTATUSTESTCOUNTTESTCOUNTTESTCOUNT
legal_states[StCreatorRootKey] 2956 1 T2 2 T3 4 T4 3
legal_states[StOwnerIntKey] 2636 1 T2 2 T3 4 T4 2
legal_states[StOwnerKey] 2357 1 T2 2 T3 4 T4 6



Summary for Cross key_ver_x_state_x_op_cross

Samples crossed: key_version_cmp_cp state_cp op_cp
CATEGORYEXPECTEDUNCOVEREDCOVEREDPERCENTMISSING
Automatically Generated Cross Bins 18 0 18 100.00


Automatically Generated Cross Bins for key_ver_x_state_x_op_cross

Bins
key_version_cmp_cpstate_cpop_cpCOUNTAT LEASTSTATUSTESTCOUNTTESTCOUNTTESTCOUNT
legal_values[CompareOpEq] legal_states[StCreatorRootKey] legal_states[OpGenSwOut] 340 1 T3 1 T4 1 T26 2
legal_values[CompareOpEq] legal_states[StCreatorRootKey] legal_states[OpGenHwOut] 442 1 T2 1 T3 1 T15 1
legal_values[CompareOpEq] legal_states[StOwnerIntKey] legal_states[OpGenSwOut] 47 1 T6 3 T47 1 T232 1
legal_values[CompareOpEq] legal_states[StOwnerIntKey] legal_states[OpGenHwOut] 39 1 T6 1 T47 2 T236 1
legal_values[CompareOpEq] legal_states[StOwnerKey] legal_states[OpGenSwOut] 252 1 T3 2 T86 1 T151 1
legal_values[CompareOpEq] legal_states[StOwnerKey] legal_states[OpGenHwOut] 337 1 T2 1 T15 1 T17 1
legal_values[CompareOpGt] legal_states[StCreatorRootKey] legal_states[OpGenSwOut] 54 1 T26 1 T27 1 T47 1
legal_values[CompareOpGt] legal_states[StCreatorRootKey] legal_states[OpGenHwOut] 52 1 T47 1 T238 1 T45 2
legal_values[CompareOpGt] legal_states[StOwnerIntKey] legal_states[OpGenSwOut] 41 1 T27 1 T275 1 T45 1
legal_values[CompareOpGt] legal_states[StOwnerIntKey] legal_states[OpGenHwOut] 37 1 T26 1 T27 1 T6 1
legal_values[CompareOpGt] legal_states[StOwnerKey] legal_states[OpGenSwOut] 39 1 T26 1 T27 1 T6 1
legal_values[CompareOpGt] legal_states[StOwnerKey] legal_states[OpGenHwOut] 41 1 T26 2 T27 1 T6 2
legal_values[CompareOpLt] legal_states[StCreatorRootKey] legal_states[OpGenSwOut] 219 1 T19 1 T44 2 T9 1
legal_values[CompareOpLt] legal_states[StCreatorRootKey] legal_states[OpGenHwOut] 249 1 T44 3 T9 1 T6 2
legal_values[CompareOpLt] legal_states[StOwnerIntKey] legal_states[OpGenSwOut] 452 1 T3 2 T26 1 T35 3
legal_values[CompareOpLt] legal_states[StOwnerIntKey] legal_states[OpGenHwOut] 601 1 T2 1 T15 1 T17 1
legal_values[CompareOpLt] legal_states[StOwnerKey] legal_states[OpGenSwOut] 190 1 T4 2 T26 1 T43 2
legal_values[CompareOpLt] legal_states[StOwnerKey] legal_states[OpGenHwOut] 208 1 T4 4 T26 1 T6 1

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