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] 12861 1 T1 13 T2 1 T4 10
legal_values[CompareOpGt] 2751 1 T15 1 T16 2 T9 2
legal_values[CompareOpLt] 3716 1 T1 2 T4 2 T5 5



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] 4171 1 T1 2 T4 4 T5 2
legal_states[OpGenHwOut] 5016 1 T2 1 T4 1 T5 9



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] 2844 1 T1 2 T4 4 T5 5
legal_states[StOwnerIntKey] 2434 1 T1 2 T4 2 T5 5
legal_states[StOwnerKey] 2076 1 T1 2 T4 2 T5 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] 301 1 T4 2 T9 1 T27 2
legal_values[CompareOpEq] legal_states[StCreatorRootKey] legal_states[OpGenHwOut] 419 1 T5 1 T16 1 T17 1
legal_values[CompareOpEq] legal_states[StOwnerIntKey] legal_states[OpGenSwOut] 34 1 T61 1 T59 1 T257 1
legal_values[CompareOpEq] legal_states[StOwnerIntKey] legal_states[OpGenHwOut] 48 1 T61 2 T58 3 T59 3
legal_values[CompareOpEq] legal_states[StOwnerKey] legal_states[OpGenSwOut] 208 1 T1 1 T4 1 T88 1
legal_values[CompareOpEq] legal_states[StOwnerKey] legal_states[OpGenHwOut] 303 1 T5 2 T18 1 T27 1
legal_values[CompareOpGt] legal_states[StCreatorRootKey] legal_states[OpGenSwOut] 42 1 T206 1 T61 1 T247 1
legal_values[CompareOpGt] legal_states[StCreatorRootKey] legal_states[OpGenHwOut] 43 1 T61 1 T100 2 T408 1
legal_values[CompareOpGt] legal_states[StOwnerIntKey] legal_states[OpGenSwOut] 41 1 T28 3 T61 1 T270 1
legal_values[CompareOpGt] legal_states[StOwnerIntKey] legal_states[OpGenHwOut] 39 1 T81 2 T71 1 T72 1
legal_values[CompareOpGt] legal_states[StOwnerKey] legal_states[OpGenSwOut] 35 1 T136 1 T61 3 T270 1
legal_values[CompareOpGt] legal_states[StOwnerKey] legal_states[OpGenHwOut] 38 1 T61 1 T100 1 T101 1
legal_values[CompareOpLt] legal_states[StCreatorRootKey] legal_states[OpGenSwOut] 253 1 T211 2 T89 1 T46 2
legal_values[CompareOpLt] legal_states[StCreatorRootKey] legal_states[OpGenHwOut] 295 1 T46 1 T139 5 T137 2
legal_values[CompareOpLt] legal_states[StOwnerIntKey] legal_states[OpGenSwOut] 420 1 T5 1 T88 1 T90 2
legal_values[CompareOpLt] legal_states[StOwnerIntKey] legal_states[OpGenHwOut] 576 1 T4 1 T5 3 T16 2
legal_values[CompareOpLt] legal_states[StOwnerKey] legal_states[OpGenSwOut] 174 1 T17 1 T6 2 T7 4
legal_values[CompareOpLt] legal_states[StOwnerKey] legal_states[OpGenHwOut] 203 1 T211 4 T137 1 T7 2