Group : keymgr_dpe_env_pkg::keymgr_dpe_env_cov::state_and_op_cg
dashboard | hierarchy | modlist | groups | tests | asserts

Group : keymgr_dpe_env_pkg::keymgr_dpe_env_cov::state_and_op_cg
SCOREWEIGHTGOALAT LEASTAUTO BIN MAXPRINT MISSING
17.51 1 100 1 64 64


Source File(s) :
/workspace/default/sim-vcs/../src/lowrisc_dv_keymgr_dpe_env_0.1/keymgr_dpe_env_cov.sv



Summary for Group keymgr_dpe_env_pkg::keymgr_dpe_env_cov::state_and_op_cg

CATEGORYEXPECTEDUNCOVEREDCOVEREDPERCENT
Variables 17 4 13 76.47
Crosses 240 208 32 13.33


Variables for Group keymgr_dpe_env_pkg::keymgr_dpe_env_cov::state_and_op_cg
VARIABLEEXPECTEDUNCOVEREDCOVEREDPERCENTGOALWEIGHTAT LEASTAUTO BIN MAXCOMMENT
cdi_cp 2 1 1 50.00 100 1 1 0
dest_cp 4 0 4 100.00 100 1 1 0
op_cp 5 1 4 80.00 100 1 1 0
op_status_cp 2 0 2 100.00 100 1 1 0
state_cp 4 2 2 50.00 100 1 1 0


Crosses for Group keymgr_dpe_env_pkg::keymgr_dpe_env_cov::state_and_op_cg
CROSSEXPECTEDUNCOVEREDCOVEREDPERCENTGOALWEIGHTAT LEASTPRINT MISSINGCOMMENT
op_x_state_cross 160 144 16 10.00 100 1 1 0
op_x_status_cross 80 64 16 20.00 100 1 1 0


Summary for Variable cdi_cp

CATEGORYEXPECTEDUNCOVEREDCOVEREDPERCENT
Automatically Generated Bins 2 1 1 50.00


Automatically Generated Bins for cdi_cp

Uncovered bins
NAMECOUNTAT LEASTNUMBERSTATUS
auto[Attestation] 0 1 1


Covered bins
NAMECOUNTAT LEASTSTATUSTESTCOUNTTESTCOUNTTESTCOUNT
auto[Sealing] 7065 1 T1 152 T2 133 T3 147



Summary for Variable dest_cp

CATEGORYEXPECTEDUNCOVEREDCOVEREDPERCENT
Automatically Generated Bins 4 0 4 100.00


Automatically Generated Bins for dest_cp

Bins
NAMECOUNTAT LEASTSTATUSTESTCOUNTTESTCOUNTTESTCOUNT
auto[None] 1790 1 T1 33 T2 39 T3 40
auto[Aes] 1750 1 T1 42 T2 24 T3 32
auto[Kmac] 1765 1 T1 35 T2 30 T3 36
auto[Otbn] 1760 1 T1 42 T2 40 T3 39



Summary for Variable op_cp

CATEGORYEXPECTEDUNCOVEREDCOVEREDPERCENT
Automatically Generated Bins 5 1 4 80.00


Automatically Generated Bins for op_cp

Uncovered bins
NAMECOUNTAT LEASTNUMBERSTATUS
auto[OpDpeErase] 0 1 1


Covered bins
NAMECOUNTAT LEASTSTATUSTESTCOUNTTESTCOUNTTESTCOUNT
auto[OpDpeAdvance] 1568 1 T1 34 T2 31 T3 29
auto[OpDpeGenSwOut] 3496 1 T1 76 T2 68 T3 69
auto[OpDpeGenHwOut] 3569 1 T1 76 T2 65 T3 78
auto[OpDpeDisable] 100 1 T1 2 T2 2 T3 2



Summary for Variable op_status_cp

CATEGORYEXPECTEDUNCOVEREDCOVEREDPERCENT
Automatically Generated Bins 2 0 2 100.00


Automatically Generated Bins for op_status_cp

Excluded/Illegal bins
NAMECOUNTSTATUS
auto[OpIdle] 0 Excluded
auto[OpWip] 0 Excluded
illegal 0 Excluded


Covered bins
NAMECOUNTAT LEASTSTATUSTESTCOUNTTESTCOUNTTESTCOUNT
auto[OpDoneSuccess] 3998 1 T1 94 T2 56 T3 100
auto[OpDoneFail] 4735 1 T1 94 T2 110 T3 78



Summary for Variable state_cp

CATEGORYEXPECTEDUNCOVEREDCOVEREDPERCENT
Automatically Generated Bins 4 2 2 50.00


Automatically Generated Bins for state_cp

Uncovered bins
NAMECOUNTAT LEASTNUMBERSTATUS
auto[StWorkDpeDisabled] 0 1 1
auto[StWorkDpeInvalid] 0 1 1


Covered bins
NAMECOUNTAT LEASTSTATUSTESTCOUNTTESTCOUNTTESTCOUNT
auto[StWorkDpeReset] 273 1 T1 2 T2 5 T3 6
auto[StWorkDpeAvailable] 8460 1 T1 186 T2 161 T3 172



Summary for Cross op_x_state_cross

Samples crossed: op_cp cdi_cp dest_cp state_cp
CATEGORYEXPECTEDUNCOVEREDCOVEREDPERCENTMISSING
Automatically Generated Cross Bins 160 144 16 10.00 144


Automatically Generated Cross Bins for op_x_state_cross

Element holes
op_cpcdi_cpdest_cpstate_cpCOUNTAT LEASTNUMBERSTATUS
[auto[OpDpeAdvance] , auto[OpDpeErase]] * * * -- -- 64
[auto[OpDpeGenSwOut] , auto[OpDpeGenHwOut]] [auto[Sealing]] * [auto[StWorkDpeDisabled] , auto[StWorkDpeInvalid]] -- -- 16
[auto[OpDpeGenSwOut] , auto[OpDpeGenHwOut]] [auto[Attestation]] * * -- -- 32
[auto[OpDpeDisable]] * * * -- -- 32


Covered bins
op_cpcdi_cpdest_cpstate_cpCOUNTAT LEASTSTATUSTESTCOUNTTESTCOUNTTESTCOUNT
auto[OpDpeGenSwOut] auto[Sealing] auto[None] auto[StWorkDpeReset] 18 1 T8 2 T27 1 T28 1
auto[OpDpeGenSwOut] auto[Sealing] auto[None] auto[StWorkDpeAvailable] 832 1 T1 15 T2 20 T3 15
auto[OpDpeGenSwOut] auto[Sealing] auto[Aes] auto[StWorkDpeReset] 21 1 T89 1 T27 1 T28 1
auto[OpDpeGenSwOut] auto[Sealing] auto[Aes] auto[StWorkDpeAvailable] 859 1 T1 22 T2 15 T3 15
auto[OpDpeGenSwOut] auto[Sealing] auto[Kmac] auto[StWorkDpeReset] 26 1 T3 1 T13 1 T25 1
auto[OpDpeGenSwOut] auto[Sealing] auto[Kmac] auto[StWorkDpeAvailable] 854 1 T1 20 T2 14 T3 19
auto[OpDpeGenSwOut] auto[Sealing] auto[Otbn] auto[StWorkDpeReset] 19 1 T3 2 T8 2 T13 1
auto[OpDpeGenSwOut] auto[Sealing] auto[Otbn] auto[StWorkDpeAvailable] 867 1 T1 19 T2 19 T3 17
auto[OpDpeGenHwOut] auto[Sealing] auto[None] auto[StWorkDpeReset] 23 1 T2 2 T13 1 T28 1
auto[OpDpeGenHwOut] auto[Sealing] auto[None] auto[StWorkDpeAvailable] 917 1 T1 18 T2 17 T3 25
auto[OpDpeGenHwOut] auto[Sealing] auto[Aes] auto[StWorkDpeReset] 21 1 T8 1 T13 1 T87 1
auto[OpDpeGenHwOut] auto[Sealing] auto[Aes] auto[StWorkDpeAvailable] 849 1 T1 20 T2 9 T3 17
auto[OpDpeGenHwOut] auto[Sealing] auto[Kmac] auto[StWorkDpeReset] 21 1 T2 1 T25 1 T26 1
auto[OpDpeGenHwOut] auto[Sealing] auto[Kmac] auto[StWorkDpeAvailable] 864 1 T1 15 T2 15 T3 16
auto[OpDpeGenHwOut] auto[Sealing] auto[Otbn] auto[StWorkDpeReset] 24 1 T3 1 T8 2 T25 1
auto[OpDpeGenHwOut] auto[Sealing] auto[Otbn] auto[StWorkDpeAvailable] 850 1 T1 23 T2 21 T3 19



Summary for Cross op_x_status_cross

Samples crossed: op_cp cdi_cp dest_cp op_status_cp
CATEGORYEXPECTEDUNCOVEREDCOVEREDPERCENTMISSING
Automatically Generated Cross Bins 80 64 16 20.00 64


Automatically Generated Cross Bins for op_x_status_cross

Element holes
op_cpcdi_cpdest_cpop_status_cpCOUNTAT LEASTNUMBERSTATUS
[auto[OpDpeAdvance] , auto[OpDpeErase]] * * * -- -- 32
[auto[OpDpeGenSwOut] , auto[OpDpeGenHwOut]] [auto[Attestation]] * * -- -- 16
[auto[OpDpeDisable]] * * * -- -- 16


Excluded/Illegal bins
op_cpcdi_cpdest_cpop_status_cpCOUNTSTATUS
[auto[OpDpeAdvance] , auto[OpDpeErase] , auto[OpDpeGenSwOut] , auto[OpDpeGenHwOut] , auto[OpDpeDisable]] [auto[Sealing] , auto[Attestation]] [auto[None] , auto[Aes] , auto[Kmac] , auto[Otbn]] [auto[OpIdle] , auto[OpWip]] -- Excluded (80 bins)


Covered bins
op_cpcdi_cpdest_cpop_status_cpCOUNTAT LEASTSTATUSTESTCOUNTTESTCOUNTTESTCOUNT
auto[OpDpeGenSwOut] auto[Sealing] auto[None] auto[OpDoneSuccess] 431 1 T1 10 T2 6 T3 10
auto[OpDpeGenSwOut] auto[Sealing] auto[None] auto[OpDoneFail] 419 1 T1 5 T2 14 T3 5
auto[OpDpeGenSwOut] auto[Sealing] auto[Aes] auto[OpDoneSuccess] 423 1 T1 13 T2 7 T3 10
auto[OpDpeGenSwOut] auto[Sealing] auto[Aes] auto[OpDoneFail] 457 1 T1 9 T2 8 T3 5
auto[OpDpeGenSwOut] auto[Sealing] auto[Kmac] auto[OpDoneSuccess] 428 1 T1 10 T2 4 T3 6
auto[OpDpeGenSwOut] auto[Sealing] auto[Kmac] auto[OpDoneFail] 452 1 T1 10 T2 10 T3 14
auto[OpDpeGenSwOut] auto[Sealing] auto[Otbn] auto[OpDoneSuccess] 437 1 T1 9 T2 4 T3 12
auto[OpDpeGenSwOut] auto[Sealing] auto[Otbn] auto[OpDoneFail] 449 1 T1 10 T2 15 T3 7
auto[OpDpeGenHwOut] auto[Sealing] auto[None] auto[OpDoneSuccess] 472 1 T1 13 T2 9 T3 19
auto[OpDpeGenHwOut] auto[Sealing] auto[None] auto[OpDoneFail] 468 1 T1 5 T2 10 T3 6
auto[OpDpeGenHwOut] auto[Sealing] auto[Aes] auto[OpDoneSuccess] 468 1 T1 11 T2 2 T3 8
auto[OpDpeGenHwOut] auto[Sealing] auto[Aes] auto[OpDoneFail] 402 1 T1 9 T2 7 T3 9
auto[OpDpeGenHwOut] auto[Sealing] auto[Kmac] auto[OpDoneSuccess] 421 1 T1 7 T2 4 T3 11
auto[OpDpeGenHwOut] auto[Sealing] auto[Kmac] auto[OpDoneFail] 464 1 T1 8 T2 12 T3 5
auto[OpDpeGenHwOut] auto[Sealing] auto[Otbn] auto[OpDoneSuccess] 449 1 T1 12 T2 10 T3 14
auto[OpDpeGenHwOut] auto[Sealing] auto[Otbn] auto[OpDoneFail] 425 1 T1 11 T2 11 T3 6

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