Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

[dv] Verify data_rvalid_i hardening #2021

Open
GregAC opened this issue Apr 21, 2023 · 1 comment
Open

[dv] Verify data_rvalid_i hardening #2021

GregAC opened this issue Apr 21, 2023 · 1 comment
Labels
Component:DV Design verification (DV) or testing issue Priority:P3 Type:Task Tasks, to-do list.
Milestone

Comments

@GregAC
Copy link
Collaborator

GregAC commented Apr 21, 2023

This PR: #1968 altered the handling of data_rvalid_i so that it will only cause a register write if a load is expected. Add a test that glitches data_rvalid_i when a load isn't in progress to verify this hardening.

@GregAC GregAC added this to the OT-M2.5 milestone Apr 21, 2023
@GregAC GregAC added Priority:P2 Priority:P3 Component:DV Design verification (DV) or testing issue Type:Task Tasks, to-do list. and removed Priority:P2 labels Apr 21, 2023
@GregAC
Copy link
Collaborator Author

GregAC commented Apr 21, 2023

As this is a trivial feature that looks correct on inspection and is well tested under normal (i.e. no glitches) operation and isn't a critical countermeasure, but rather useful to have, this is assigned a low priority.

@GregAC GregAC modified the milestones: OT-M2.5, V3 Jun 16, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Component:DV Design verification (DV) or testing issue Priority:P3 Type:Task Tasks, to-do list.
Projects
None yet
Development

No branches or pull requests

1 participant