silabs-robin

The bad cross-connection has been fixed.

This issue is fixed. The PMP assertion files now use `always_comb`. Please close the issue.

Here are my immediate thoughts: > The interrupt virtual peripheral cannot be used on its own because it relies on another component, the interrupt agent, to de-assert interrupts. This is...

But I also feel like maybe I don't think it is a big problem. Things work. People have overcome the problems. Changing it requires work. Changing it might break stuff....

> Ensure functional verification of the following scenario: > > * core is in debug mode. > * a `dret` instruction is fetched, and begins working its way through the...

Hi Lee. I want to have a look at this, but we currently have a problem with the PMP CSRs' default values and overrides. Once we have sorted that out...

That test/config is not failing anymore. And we have had several ISS updates since. So I'd say we close this.

> Issue has been fixed for X_EXT = 0. The issue will remain open to look at it again once we start fixing the X interface (X_EXT = 1) (and...

Closed as stale. (Might resume if it becomes relevant again.)

Related: https://github.com/openhwgroup/core-v-verif/pull/2314