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

Wrong cause_code if pte.a == 0 and dc.iohgatp.mode == 0 #28

Open
mhayat-10xe opened this issue Jul 2, 2024 · 0 comments
Open

Wrong cause_code if pte.a == 0 and dc.iohgatp.mode == 0 #28

mhayat-10xe opened this issue Jul 2, 2024 · 0 comments

Comments

@mhayat-10xe
Copy link
Contributor

I wrote an assertion that states:

if dc.iohgatp.mode == 0, pte.v == 1, pte.r or pte.x is equal to 1 and pte.a == 0 then in the next cycle cause_code must be equal to load_page_fault or store_page_fault(cause_code == 13/15).

Here is the counter-example of the violation of the assertion, in the 11th cycle, when iohgatp.mode == 0, pte.v ==1, pte.r ==1 and pte.a == 0 then in the next cycle cause_code must be load or store page fault but it is giving load_guest_page_fault (cause_code == 21) which is wrong.

image

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

1 participant