2022-05-12 16:16:42 +00:00
|
|
|
///////////////////////////////////////////
|
|
|
|
// privmode.sv
|
|
|
|
//
|
|
|
|
// Written: David_Harris@hmc.edu 12 May 2022
|
|
|
|
// Modified:
|
|
|
|
//
|
|
|
|
// Purpose: Track privilege mode
|
|
|
|
// See RISC-V Privileged Mode Specification 20190608 3.1.10-11
|
|
|
|
//
|
2023-01-11 23:15:08 +00:00
|
|
|
// A component of the CORE-V-WALLY configurable RISC-V project.
|
2022-05-12 16:16:42 +00:00
|
|
|
//
|
2023-01-10 19:35:20 +00:00
|
|
|
// Copyright (C) 2021-23 Harvey Mudd College & Oklahoma State University
|
2022-05-12 16:16:42 +00:00
|
|
|
//
|
2023-01-10 19:35:20 +00:00
|
|
|
// SPDX-License-Identifier: Apache-2.0 WITH SHL-2.1
|
2022-05-12 16:16:42 +00:00
|
|
|
//
|
2023-01-10 19:35:20 +00:00
|
|
|
// Licensed under the Solderpad Hardware License v 2.1 (the “License”); you may not use this file
|
|
|
|
// except in compliance with the License, or, at your option, the Apache License version 2.0. You
|
|
|
|
// may obtain a copy of the License at
|
2022-05-12 16:16:42 +00:00
|
|
|
//
|
2023-01-10 19:35:20 +00:00
|
|
|
// https://solderpad.org/licenses/SHL-2.1/
|
|
|
|
//
|
|
|
|
// Unless required by applicable law or agreed to in writing, any work distributed under the
|
|
|
|
// License is distributed on an “AS IS” BASIS, WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND,
|
|
|
|
// either express or implied. See the License for the specific language governing permissions
|
|
|
|
// and limitations under the License.
|
2022-05-12 16:16:42 +00:00
|
|
|
////////////////////////////////////////////////////////////////////////////////////////////////
|
|
|
|
|
|
|
|
`include "wally-config.vh"
|
|
|
|
|
|
|
|
module privmode (
|
|
|
|
input logic clk, reset,
|
2022-05-31 14:58:11 +00:00
|
|
|
input logic StallW, TrapM, mretM, sretM,
|
|
|
|
input logic DelegateM,
|
2022-05-12 16:16:42 +00:00
|
|
|
input logic [1:0] STATUS_MPP,
|
|
|
|
input logic STATUS_SPP,
|
|
|
|
output logic [1:0] NextPrivilegeModeM, PrivilegeModeW
|
|
|
|
);
|
|
|
|
|
|
|
|
if (`U_SUPPORTED) begin:privmode
|
|
|
|
// PrivilegeMode FSM
|
|
|
|
always_comb begin
|
|
|
|
if (TrapM) begin // Change privilege based on DELEG registers (see 3.1.8)
|
2022-05-31 21:12:17 +00:00
|
|
|
if (`S_SUPPORTED & DelegateM) NextPrivilegeModeM = `S_MODE;
|
|
|
|
else NextPrivilegeModeM = `M_MODE;
|
|
|
|
end else if (mretM) NextPrivilegeModeM = STATUS_MPP;
|
|
|
|
else if (sretM) NextPrivilegeModeM = {1'b0, STATUS_SPP};
|
|
|
|
else NextPrivilegeModeM = PrivilegeModeW;
|
2022-05-12 16:16:42 +00:00
|
|
|
end
|
|
|
|
|
|
|
|
flopenl #(2) privmodereg(clk, reset, ~StallW, NextPrivilegeModeM, `M_MODE, PrivilegeModeW);
|
|
|
|
end else begin // only machine mode supported
|
|
|
|
assign NextPrivilegeModeM = `M_MODE;
|
|
|
|
assign PrivilegeModeW = `M_MODE;
|
|
|
|
end
|
|
|
|
endmodule
|