RVFI updates for A_EXT (!786) · Merge requests · OpenHW Group / backup-20241120 / cv32e40x

Eclipse Webmaster requested to merge github/fork/silabs-oysteink/silabs-oysteink_a-ext-rvfi into master Feb 16, 2023

Created by: silabs-oysteink

Misaligned atomic instruction will get rvfi_trap.cause_type == 0 Aligned atomic instructions to non-atomic PMA regions will get rvfi_trap.cause_type == 1

Note that AMOs are not properly supported within RVFI yet. This will be implemented once verification is closer to start looking at AMOs.

RVFI updates for A_EXT

Merge request reports