Skip to content

ptw: Wait for rvalid on flush#1184

Merged
JeanRochCoulon merged 1 commit intoopenhwgroup:masterfrom
pulp-platform:fix/ptw-flush
Apr 16, 2023
Merged

ptw: Wait for rvalid on flush#1184
JeanRochCoulon merged 1 commit intoopenhwgroup:masterfrom
pulp-platform:fix/ptw-flush

Conversation

@niwis
Copy link
Copy Markdown
Contributor

@niwis niwis commented Apr 13, 2023

When the PTW is flushed, we need any pending transactions to complete before returning to the IDLE state. Currently, the PTW returns toIDLE after one cycle. Remain in WAIT_RVALID until we have actually received rvalid.

When the PTW is flushed, we need any pending transactions to
complete before returning to the IDLE state. Currently, the PTW returns
to IDLE after one cycle. Remain in WAIT_RVALID until we have actually
received rvalid.

Signed-off-by: Nils Wistoff <nwistoff@iis.ee.ethz.ch>
Co-authored-by: Marcelo Orenes <movera@princeton.edu>
Co-authored-by: Hyunsung Yun <88669963+yuhysu@users.noreply.github.com>
@niwis niwis requested a review from zarubaf as a code owner April 13, 2023 13:18
@JeanRochCoulon
Copy link
Copy Markdown
Contributor

@zarubaf As MMU is not a very known module from my side, can you approve the modification ?

Copy link
Copy Markdown
Contributor

@zarubaf zarubaf left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Thanks and indeed - very strange we never saw an error with that. How did you find this?

@JeanRochCoulon JeanRochCoulon merged commit 109f9e9 into openhwgroup:master Apr 16, 2023
@niwis
Copy link
Copy Markdown
Contributor Author

niwis commented Apr 16, 2023

@hs-yun and @morenes found this while testing a new formal tool we've been working on (more on that to come :)) I guess we never saw an error because you'd need a multi-cycle flush_i or multiple flush_i shortly after one another, which doesn't seem to happen too often.

morenes added a commit to morenes/cva6 that referenced this pull request Aug 4, 2023
When the PTW is flushed, we need any pending transactions to
complete before returning to the IDLE state. Currently, the PTW returns
to IDLE after one cycle. Remain in WAIT_RVALID until we have actually
received rvalid.

Signed-off-by: Nils Wistoff <nwistoff@iis.ee.ethz.ch>
Co-authored-by: Marcelo Orenes <movera@princeton.edu>
Co-authored-by: Hyunsung Yun <88669963+yuhysu@users.noreply.github.com>
@niwis niwis deleted the fix/ptw-flush branch May 1, 2026 00:17
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

Successfully merging this pull request may close these issues.

3 participants