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] 13739 1 T1 84 T2 10 T3 5
legal_values[CompareOpGt] 2936 1 T1 25 T14 7 T32 12
legal_values[CompareOpLt] 4059 1 T1 33 T2 3 T3 1



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] 4547 1 T1 23 T2 2 T13 1
legal_states[OpGenHwOut] 5226 1 T1 29 T2 4 T3 2



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] 3003 1 T1 23 T2 3 T3 1
legal_states[StOwnerIntKey] 2673 1 T1 17 T2 3 T12 2
legal_states[StOwnerKey] 2245 1 T1 19 T2 4 T12 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] 294 1 T1 1 T2 1 T16 1
legal_values[CompareOpEq] legal_states[StCreatorRootKey] legal_states[OpGenHwOut] 423 1 T1 3 T2 1 T12 1
legal_values[CompareOpEq] legal_states[StOwnerIntKey] legal_states[OpGenSwOut] 48 1 T115 1 T39 1 T59 1
legal_values[CompareOpEq] legal_states[StOwnerIntKey] legal_states[OpGenHwOut] 79 1 T39 2 T174 2 T91 2
legal_values[CompareOpEq] legal_states[StOwnerKey] legal_states[OpGenSwOut] 246 1 T1 1 T32 4 T104 1
legal_values[CompareOpEq] legal_states[StOwnerKey] legal_states[OpGenHwOut] 322 1 T2 2 T12 1 T17 1
legal_values[CompareOpGt] legal_states[StCreatorRootKey] legal_states[OpGenSwOut] 40 1 T49 1 T178 2 T377 1
legal_values[CompareOpGt] legal_states[StCreatorRootKey] legal_states[OpGenHwOut] 41 1 T1 2 T39 1 T94 1
legal_values[CompareOpGt] legal_states[StOwnerIntKey] legal_states[OpGenSwOut] 35 1 T39 2 T173 1 T49 1
legal_values[CompareOpGt] legal_states[StOwnerIntKey] legal_states[OpGenHwOut] 39 1 T49 2 T191 1 T365 1
legal_values[CompareOpGt] legal_states[StOwnerKey] legal_states[OpGenSwOut] 33 1 T39 1 T173 1 T49 1
legal_values[CompareOpGt] legal_states[StOwnerKey] legal_states[OpGenHwOut] 43 1 T1 1 T39 1 T250 1
legal_values[CompareOpLt] legal_states[StCreatorRootKey] legal_states[OpGenSwOut] 288 1 T1 2 T38 1 T76 3
legal_values[CompareOpLt] legal_states[StCreatorRootKey] legal_states[OpGenHwOut] 287 1 T1 1 T3 1 T32 2
legal_values[CompareOpLt] legal_states[StOwnerIntKey] legal_states[OpGenSwOut] 449 1 T1 1 T16 1 T18 1
legal_values[CompareOpLt] legal_states[StOwnerIntKey] legal_states[OpGenHwOut] 587 1 T1 3 T2 1 T12 1
legal_values[CompareOpLt] legal_states[StOwnerKey] legal_states[OpGenSwOut] 186 1 T1 2 T32 1 T38 1
legal_values[CompareOpLt] legal_states[StOwnerKey] legal_states[OpGenHwOut] 184 1 T1 2 T32 3 T38 1