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] 13468 1 T1 13 T2 13 T3 10
legal_values[CompareOpGt] 2486 1 T3 2 T4 6 T15 2
legal_values[CompareOpLt] 4423 1 T1 2 T2 2 T3 5



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] 4233 1 T1 5 T3 3 T4 9
legal_states[OpGenHwOut] 5098 1 T2 8 T3 8 T4 8



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] 3306 1 T1 2 T2 2 T3 2
legal_states[StOwnerIntKey] 2813 1 T1 2 T2 2 T3 5
legal_states[StOwnerKey] 2503 1 T1 2 T2 2 T3 4



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] 370 1 T1 1 T4 3 T84 1
legal_values[CompareOpEq] legal_states[StCreatorRootKey] legal_states[OpGenHwOut] 441 1 T2 1 T3 1 T4 1
legal_values[CompareOpEq] legal_states[StOwnerIntKey] legal_states[OpGenSwOut] 45 1 T44 1 T60 1 T7 1
legal_values[CompareOpEq] legal_states[StOwnerIntKey] legal_states[OpGenHwOut] 49 1 T78 1 T98 2 T7 1
legal_values[CompareOpEq] legal_states[StOwnerKey] legal_states[OpGenSwOut] 218 1 T3 1 T84 1 T186 1
legal_values[CompareOpEq] legal_states[StOwnerKey] legal_states[OpGenHwOut] 347 1 T2 1 T3 2 T14 1
legal_values[CompareOpGt] legal_states[StCreatorRootKey] legal_states[OpGenSwOut] 35 1 T27 1 T44 1 T7 1
legal_values[CompareOpGt] legal_states[StCreatorRootKey] legal_states[OpGenHwOut] 46 1 T183 1 T44 2 T77 1
legal_values[CompareOpGt] legal_states[StOwnerIntKey] legal_states[OpGenSwOut] 37 1 T78 2 T327 1 T51 2
legal_values[CompareOpGt] legal_states[StOwnerIntKey] legal_states[OpGenHwOut] 39 1 T183 1 T99 1 T70 2
legal_values[CompareOpGt] legal_states[StOwnerKey] legal_states[OpGenSwOut] 48 1 T42 1 T193 2 T7 1
legal_values[CompareOpGt] legal_states[StOwnerKey] legal_states[OpGenHwOut] 33 1 T44 1 T327 1 T117 1
legal_values[CompareOpLt] legal_states[StCreatorRootKey] legal_states[OpGenSwOut] 265 1 T37 1 T26 1 T66 2
legal_values[CompareOpLt] legal_states[StCreatorRootKey] legal_states[OpGenHwOut] 318 1 T4 3 T26 3 T66 1
legal_values[CompareOpLt] legal_states[StOwnerIntKey] legal_states[OpGenSwOut] 489 1 T1 1 T3 1 T15 2
legal_values[CompareOpLt] legal_states[StOwnerIntKey] legal_states[OpGenHwOut] 639 1 T2 1 T3 2 T14 1
legal_values[CompareOpLt] legal_states[StOwnerKey] legal_states[OpGenSwOut] 221 1 T4 2 T37 2 T187 1
legal_values[CompareOpLt] legal_states[StOwnerKey] legal_states[OpGenHwOut] 253 1 T4 1 T37 2 T187 1

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