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] 14101 1 T1 13 T2 12 T3 13
legal_values[CompareOpGt] 3176 1 T2 1 T4 7 T5 8
legal_values[CompareOpLt] 4176 1 T1 2 T2 4 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] 4584 1 T2 3 T4 4 T5 3
legal_states[OpGenHwOut] 5600 1 T1 8 T2 5 T3 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] 2984 1 T1 2 T2 3 T3 2
legal_states[StOwnerIntKey] 2810 1 T1 2 T2 5 T3 2
legal_states[StOwnerKey] 2343 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] 288 1 T129 2 T131 1 T6 4
legal_values[CompareOpEq] legal_states[StCreatorRootKey] legal_states[OpGenHwOut] 411 1 T1 1 T3 1 T4 1
legal_values[CompareOpEq] legal_states[StOwnerIntKey] legal_states[OpGenSwOut] 57 1 T2 1 T6 1 T60 2
legal_values[CompareOpEq] legal_states[StOwnerIntKey] legal_states[OpGenHwOut] 68 1 T2 2 T6 1 T50 3
legal_values[CompareOpEq] legal_states[StOwnerKey] legal_states[OpGenSwOut] 220 1 T19 2 T30 1 T104 1
legal_values[CompareOpEq] legal_states[StOwnerKey] legal_states[OpGenHwOut] 340 1 T1 1 T3 1 T15 1
legal_values[CompareOpGt] legal_states[StCreatorRootKey] legal_states[OpGenSwOut] 43 1 T6 1 T50 1 T7 2
legal_values[CompareOpGt] legal_states[StCreatorRootKey] legal_states[OpGenHwOut] 48 1 T4 1 T6 2 T50 1
legal_values[CompareOpGt] legal_states[StOwnerIntKey] legal_states[OpGenSwOut] 41 1 T6 3 T7 2 T245 2
legal_values[CompareOpGt] legal_states[StOwnerIntKey] legal_states[OpGenHwOut] 39 1 T6 1 T86 1 T7 2
legal_values[CompareOpGt] legal_states[StOwnerKey] legal_states[OpGenSwOut] 45 1 T50 1 T60 3 T7 1
legal_values[CompareOpGt] legal_states[StOwnerKey] legal_states[OpGenHwOut] 48 1 T30 1 T6 2 T7 1
legal_values[CompareOpLt] legal_states[StCreatorRootKey] legal_states[OpGenSwOut] 247 1 T2 1 T30 1 T6 4
legal_values[CompareOpLt] legal_states[StCreatorRootKey] legal_states[OpGenHwOut] 320 1 T2 1 T119 2 T6 4
legal_values[CompareOpLt] legal_states[StOwnerIntKey] legal_states[OpGenSwOut] 471 1 T4 1 T5 1 T19 2
legal_values[CompareOpLt] legal_states[StOwnerIntKey] legal_states[OpGenHwOut] 662 1 T1 1 T3 1 T15 1
legal_values[CompareOpLt] legal_states[StOwnerKey] legal_states[OpGenSwOut] 187 1 T4 2 T18 1 T119 3
legal_values[CompareOpLt] legal_states[StOwnerKey] legal_states[OpGenHwOut] 220 1 T2 1 T4 1 T18 1