2021-01-15 04:37:51 +00:00
|
|
|
///////////////////////////////////////////
|
|
|
|
// exceptions.sv
|
|
|
|
//
|
|
|
|
// Written: David_Harris@hmc.edu 5 January 2021
|
|
|
|
// Modified:
|
|
|
|
//
|
|
|
|
// Purpose: Implements the CSRs, Exceptions, and Privileged operations
|
|
|
|
// See RISC-V Privileged Mode Specification 20190608
|
|
|
|
//
|
|
|
|
// A component of the Wally configurable RISC-V project.
|
|
|
|
//
|
|
|
|
// Copyright (C) 2021 Harvey Mudd College & Oklahoma State University
|
|
|
|
//
|
|
|
|
// Permission is hereby granted, free of charge, to any person obtaining a copy of this software and associated documentation
|
|
|
|
// files (the "Software"), to deal in the Software without restriction, including without limitation the rights to use, copy,
|
|
|
|
// modify, merge, publish, distribute, sublicense, and/or sell copies of the Software, and to permit persons to whom the Software
|
|
|
|
// is furnished to do so, subject to the following conditions:
|
|
|
|
//
|
|
|
|
// The above copyright notice and this permission notice shall be included in all copies or substantial portions of the Software.
|
|
|
|
//
|
|
|
|
// THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES
|
|
|
|
// OF MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS
|
|
|
|
// BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT
|
|
|
|
// OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE.
|
|
|
|
///////////////////////////////////////////
|
|
|
|
|
2021-01-23 15:48:12 +00:00
|
|
|
`include "wally-config.vh"
|
2021-01-15 04:37:51 +00:00
|
|
|
|
2021-01-23 15:48:12 +00:00
|
|
|
module privileged (
|
2021-02-02 04:44:41 +00:00
|
|
|
input logic clk, reset,
|
2021-02-02 18:02:31 +00:00
|
|
|
input logic FlushW,
|
2021-02-02 04:44:41 +00:00
|
|
|
input logic CSRWriteM,
|
2021-01-23 15:48:12 +00:00
|
|
|
input logic [`XLEN-1:0] SrcAM,
|
2021-02-02 04:44:41 +00:00
|
|
|
input logic [31:0] InstrM,
|
2021-01-23 15:48:12 +00:00
|
|
|
input logic [`XLEN-1:0] PCM,
|
2021-02-02 18:02:31 +00:00
|
|
|
output logic [`XLEN-1:0] CSRReadValW,
|
2021-01-23 15:48:12 +00:00
|
|
|
output logic [`XLEN-1:0] PrivilegedNextPCM,
|
2021-02-02 04:44:41 +00:00
|
|
|
output logic RetM, TrapM,
|
|
|
|
input logic InstrValidW, FloatRegWriteW, LoadStallD,
|
|
|
|
input logic PrivilegedM,
|
|
|
|
input logic InstrMisalignedFaultM, InstrAccessFaultF, IllegalIEUInstrFaultD,
|
|
|
|
input logic LoadMisalignedFaultM, LoadAccessFaultM,
|
|
|
|
input logic StoreMisalignedFaultM, StoreAccessFaultM,
|
|
|
|
input logic TimerIntM, ExtIntM, SwIntM,
|
2021-02-02 20:09:24 +00:00
|
|
|
input logic [`XLEN-1:0] InstrMisalignedAdrM, MemAdrM,
|
2021-02-02 04:44:41 +00:00
|
|
|
input logic [4:0] SetFflagsM,
|
|
|
|
output logic [2:0] FRM_REGW,
|
|
|
|
input logic FlushD, FlushE, FlushM, StallD
|
2021-01-15 04:37:51 +00:00
|
|
|
);
|
|
|
|
|
|
|
|
logic [1:0] NextPrivilegeModeM, PrivilegeModeW;
|
|
|
|
|
2021-01-23 15:48:12 +00:00
|
|
|
logic [`XLEN-1:0] CauseM, NextFaultMtvalM;
|
|
|
|
logic [`XLEN-1:0] MEPC_REGW, SEPC_REGW, UEPC_REGW, UTVEC_REGW, STVEC_REGW, MTVEC_REGW;
|
|
|
|
logic [`XLEN-1:0] MEDELEG_REGW, MIDELEG_REGW, SEDELEG_REGW, SIDELEG_REGW;
|
2021-01-15 04:37:51 +00:00
|
|
|
// logic [11:0] MIP_REGW, SIP_REGW, UIP_REGW, MIE_REGW, SIE_REGW, UIE_REGW;
|
|
|
|
|
|
|
|
logic uretM, sretM, mretM, ecallM, ebreakM, wfiM, sfencevmaM;
|
2021-01-27 12:46:52 +00:00
|
|
|
logic IllegalCSRAccessM;
|
|
|
|
logic IllegalIEUInstrFaultE, IllegalIEUInstrFaultM;
|
|
|
|
logic InstrAccessFaultD, InstrAccessFaultE, InstrAccessFaultM;
|
|
|
|
logic IllegalInstrFaultM;
|
2021-01-15 04:37:51 +00:00
|
|
|
|
|
|
|
logic BreakpointFaultM, EcallFaultM;
|
|
|
|
logic InstrPageFaultM, LoadPageFaultM, StorePageFaultM;
|
|
|
|
logic MTrapM, STrapM, UTrapM;
|
|
|
|
|
|
|
|
logic [1:0] STATUS_MPP;
|
|
|
|
logic STATUS_SPP, STATUS_TSR;
|
|
|
|
logic STATUS_MIE, STATUS_SIE;
|
|
|
|
logic [11:0] MIP_REGW, MIE_REGW;
|
2021-01-29 04:21:12 +00:00
|
|
|
logic md, sd;
|
2021-01-15 04:37:51 +00:00
|
|
|
|
2021-01-29 04:21:12 +00:00
|
|
|
///////////////////////////////////////////
|
2021-01-15 04:37:51 +00:00
|
|
|
// track the current privilege level
|
2021-01-29 04:21:12 +00:00
|
|
|
///////////////////////////////////////////
|
2021-01-15 04:37:51 +00:00
|
|
|
|
2021-01-29 04:21:12 +00:00
|
|
|
// get bits of DELEG registers based on CAUSE
|
|
|
|
assign md = CauseM[`XLEN-1] ? MIDELEG_REGW[CauseM[4:0]] : MEDELEG_REGW[CauseM[4:0]];
|
|
|
|
assign sd = CauseM[`XLEN-1] ? SIDELEG_REGW[CauseM[4:0]] : SEDELEG_REGW[CauseM[4:0]]; // depricated
|
2021-01-15 04:37:51 +00:00
|
|
|
|
2021-01-29 04:21:12 +00:00
|
|
|
// PrivilegeMode FSM
|
|
|
|
always_comb
|
|
|
|
if (reset) NextPrivilegeModeM = `M_MODE; // Privilege resets to 11 (Machine Mode)
|
|
|
|
else if (mretM) NextPrivilegeModeM = STATUS_MPP;
|
|
|
|
else if (sretM) NextPrivilegeModeM = {1'b0, STATUS_SPP};
|
|
|
|
else if (uretM) NextPrivilegeModeM = `U_MODE;
|
|
|
|
else if (TrapM) begin // Change privilege based on DELEG registers (see 3.1.8)
|
|
|
|
if (PrivilegeModeW == `U_MODE)
|
|
|
|
if (`N_SUPPORTED & `U_SUPPORTED & md & sd) NextPrivilegeModeM = `U_MODE;
|
|
|
|
else if (`S_SUPPORTED & md) NextPrivilegeModeM = `S_MODE;
|
|
|
|
else NextPrivilegeModeM = `M_MODE;
|
|
|
|
else if (PrivilegeModeW == `S_MODE)
|
|
|
|
if (`S_SUPPORTED & md) NextPrivilegeModeM = `S_MODE;
|
|
|
|
else NextPrivilegeModeM = `M_MODE;
|
|
|
|
else NextPrivilegeModeM = `M_MODE;
|
|
|
|
end else NextPrivilegeModeM = PrivilegeModeW;
|
|
|
|
|
|
|
|
flop #(2) privmodereg(clk, NextPrivilegeModeM, PrivilegeModeW);
|
|
|
|
|
|
|
|
///////////////////////////////////////////
|
|
|
|
// decode privileged instructions
|
|
|
|
///////////////////////////////////////////
|
|
|
|
|
|
|
|
privdec pmd(.InstrM(InstrM[31:20]), .*);
|
|
|
|
|
|
|
|
///////////////////////////////////////////
|
|
|
|
// Control and Status Registers
|
|
|
|
///////////////////////////////////////////
|
|
|
|
|
|
|
|
csr csr(.*);
|
|
|
|
|
|
|
|
///////////////////////////////////////////
|
2021-01-15 04:37:51 +00:00
|
|
|
// Extract exceptions by name and handle them
|
2021-01-29 04:21:12 +00:00
|
|
|
///////////////////////////////////////////
|
|
|
|
|
2021-01-15 04:37:51 +00:00
|
|
|
assign BreakpointFaultM = ebreakM; // could have other causes too
|
|
|
|
assign EcallFaultM = ecallM;
|
|
|
|
assign InstrPageFaultM = 0;
|
|
|
|
assign LoadPageFaultM = 0;
|
|
|
|
assign StorePageFaultM = 0;
|
2021-01-27 12:46:52 +00:00
|
|
|
|
|
|
|
// pipeline fault signals
|
|
|
|
flopenrc #(1) faultregD(clk, reset, FlushD, ~StallD, InstrAccessFaultF, InstrAccessFaultD);
|
|
|
|
floprc #(2) faultregE(clk, reset, FlushE,
|
|
|
|
{IllegalIEUInstrFaultD, InstrAccessFaultD}, // ** vs IllegalInstrFaultInD
|
|
|
|
{IllegalIEUInstrFaultE, InstrAccessFaultE});
|
|
|
|
floprc #(2) faultregM(clk, reset, FlushM,
|
|
|
|
{IllegalIEUInstrFaultE, InstrAccessFaultE},
|
|
|
|
{IllegalIEUInstrFaultM, InstrAccessFaultM});
|
|
|
|
|
2021-01-29 04:21:12 +00:00
|
|
|
trap trap(.*);
|
2021-01-27 12:46:52 +00:00
|
|
|
|
2021-01-15 04:37:51 +00:00
|
|
|
endmodule
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|