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

CATEGORY   EXPECTED   UNCOVERED   COVERED   PERCENT   
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
VARIABLE   EXPECTED   UNCOVERED   COVERED   PERCENT   GOAL   WEIGHT   AT LEAST   AUTO BIN MAX   COMMENT   
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
NAME   COUNT   AT LEAST   STATUS   TEST   COUNT   TEST   COUNT   TEST   COUNT   
legal_values[CompareOpEq] 12747 1 T1 13 T2 13 T3 13
legal_values[CompareOpGt] 2838 1 T5 11 T6 1 T24 3
legal_values[CompareOpLt] 3723 1 T1 2 T2 2 T3 2



Summary for Variable op_cp

CATEGORYEXPECTEDUNCOVEREDCOVEREDPERCENT
User Defined Bins 2 0 2 100.00


User Defined Bins for op_cp

Bins
NAME   COUNT   AT LEAST   STATUS   TEST   COUNT   TEST   COUNT   TEST   COUNT   
legal_states[OpGenSwOut] 4112 1 T3 4 T5 7 T6 6
legal_states[OpGenHwOut] 5088 1 T1 8 T2 8 T4 8



Summary for Variable state_cp

CATEGORYEXPECTEDUNCOVEREDCOVEREDPERCENT
User Defined Bins 3 0 3 100.00


User Defined Bins for state_cp

Bins
NAME   COUNT   AT LEAST   STATUS   TEST   COUNT   TEST   COUNT   TEST   COUNT   
legal_states[StCreatorRootKey] 2724 1 T1 2 T2 2 T3 2
legal_states[StOwnerIntKey] 2390 1 T1 2 T2 2 T3 2
legal_states[StOwnerKey] 2141 1 T1 2 T2 2 T3 2



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_cp   state_cp   op_cp   COUNT   AT LEAST   STATUS   TEST   COUNT   TEST   COUNT   TEST   COUNT   
legal_values[CompareOpEq] legal_states[StCreatorRootKey] legal_states[OpGenSwOut] 291 1 T6 2 T44 2 T219 1
legal_values[CompareOpEq] legal_states[StCreatorRootKey] legal_states[OpGenHwOut] 406 1 T1 1 T2 1 T4 1
legal_values[CompareOpEq] legal_states[StOwnerIntKey] legal_states[OpGenSwOut] 40 1 T7 3 T54 1 T285 3
legal_values[CompareOpEq] legal_states[StOwnerIntKey] legal_states[OpGenHwOut] 27 1 T122 1 T27 3 T416 1
legal_values[CompareOpEq] legal_states[StOwnerKey] legal_states[OpGenSwOut] 185 1 T5 1 T6 2 T216 1
legal_values[CompareOpEq] legal_states[StOwnerKey] legal_states[OpGenHwOut] 316 1 T1 1 T2 1 T4 1
legal_values[CompareOpGt] legal_states[StCreatorRootKey] legal_states[OpGenSwOut] 42 1 T20 1 T25 1 T7 2
legal_values[CompareOpGt] legal_states[StCreatorRootKey] legal_states[OpGenHwOut] 41 1 T20 1 T53 1 T220 1
legal_values[CompareOpGt] legal_states[StOwnerIntKey] legal_states[OpGenSwOut] 35 1 T54 1 T93 1 T68 1
legal_values[CompareOpGt] legal_states[StOwnerIntKey] legal_states[OpGenHwOut] 37 1 T53 1 T221 1 T54 1
legal_values[CompareOpGt] legal_states[StOwnerKey] legal_states[OpGenSwOut] 34 1 T5 1 T7 2 T53 1
legal_values[CompareOpGt] legal_states[StOwnerKey] legal_states[OpGenHwOut] 41 1 T7 1 T53 1 T417 2
legal_values[CompareOpLt] legal_states[StCreatorRootKey] legal_states[OpGenSwOut] 233 1 T20 1 T7 6 T145 1
legal_values[CompareOpLt] legal_states[StCreatorRootKey] legal_states[OpGenHwOut] 268 1 T5 1 T24 1 T43 8
legal_values[CompareOpLt] legal_states[StOwnerIntKey] legal_states[OpGenSwOut] 405 1 T3 1 T6 1 T44 2
legal_values[CompareOpLt] legal_states[StOwnerIntKey] legal_states[OpGenHwOut] 552 1 T1 1 T2 1 T4 1
legal_values[CompareOpLt] legal_states[StOwnerKey] legal_states[OpGenSwOut] 191 1 T20 1 T7 5 T145 1
legal_values[CompareOpLt] legal_states[StOwnerKey] legal_states[OpGenHwOut] 226 1 T5 1 T7 8 T145 3