chipsalliance / Cores-VeeR-EL2

VeeR EL2 Core
https://chipsalliance.github.io/Cores-VeeR-EL2/html/main/docs_rendered/html/index.html
Apache License 2.0
238 stars 70 forks source link

Update FENCE/FENCE.I decoding #138

Closed mkurc-ant closed 7 months ago

mkurc-ant commented 8 months ago

This PR updates the instruction decoder so that it does not treat FENCE / FENCE.I with non-zero supplementary arguments as illegal. This behavior conforms to the spec in version "20190608-Base-Ratified" which VeeR is compatible with.

With that PR I also updated the instructions on how to re-generate instruction decoder equations.

Solves https://github.com/chipsalliance/Cores-VeeR-EL2/issues/128

github-actions[bot] commented 7 months ago

Links to coverage and verification reports for this PR (#138) are available at https://chipsalliance.github.io/Cores-VeeR-EL2/

tmichalak commented 7 months ago

LGTM