aboutsummaryrefslogtreecommitdiff
path: root/model/riscv_insts_next.sail
AgeCommit message (Collapse)AuthorFilesLines
2019-11-05Add a hook to allow extensions to veto xret. This will be used by CHERI ↵xret_extRobert Norton1-0/+2
extension. Note that illegal exception on mode check failure takes precedence over CHERI to allow for virtualisation.
2019-05-10Use an explicit enum to indicate the retire status as opposed to a boolean ↵Prashanth Mundkur1-1/+1
to improve clarity.
2019-05-03Fix inconsistency in accessing PC/nextPC, which also clarifies which ↵Prashanth Mundkur1-1/+1
handlers return nextPC values as opposed to setting them.
2019-01-29Add more of the 'N' standard extension.Prashanth Mundkur1-0/+16
- add URET and handle its trap - simplify interrupt delegation for 'N', and also make it handle M-only operation