RVFI bugfixes
Created by: halfdan-dolva
Fixed rvfi issue where rvfi_intr could get set due to an mret that is killed before getting to writeback. Fixed rvfi branch handing (#452 (closed) )
Also fixed formal warning in load-store unit.
Created by: halfdan-dolva
Fixed rvfi issue where rvfi_intr could get set due to an mret that is killed before getting to writeback. Fixed rvfi branch handing (#452 (closed) )
Also fixed formal warning in load-store unit.
Copyright © Eclipse Foundation, Inc. All Rights Reserved. Privacy Policy | Terms of Use | Copyright Agent