2021-04-22 19:34:02 +00:00
///////////////////////////////////////////
// pmachecker.sv
//
// Written: tfleming@hmc.edu & jtorrey@hmc.edu 20 April 2021
// Modified:
//
// Purpose: Examines all physical memory accesses and identifies attributes of
// the memory region accessed.
// Can report illegal accesses to the trap unit and cause a fault.
//
// 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.
///////////////////////////////////////////
`include " wally-config.vh "
module pmachecker (
2021-06-08 17:39:32 +00:00
// input logic clk, reset, // *** unused in this module and all sub modules.
2021-04-29 06:20:39 +00:00
2021-04-22 19:34:02 +00:00
input logic [ 31 : 0 ] HADDR ,
2021-04-24 00:11:43 +00:00
input logic [ 2 : 0 ] HSIZE ,
2021-06-08 17:39:32 +00:00
// input logic [2:0] HBURST, // *** in AHBlite, HBURST is hardwired to zero for single bursts only allowed. consider removing from this module if unused.
2021-04-22 19:34:02 +00:00
2021-06-08 17:39:32 +00:00
input logic AtomicAccessM , ExecuteAccessF , WriteAccessM , ReadAccessM , // *** atomicaccessM is unused but might want to stay in for future use.
2021-04-22 19:34:02 +00:00
output logic Cacheable , Idempotent , AtomicAllowed ,
2021-04-29 06:20:39 +00:00
output logic PMASquashBusAccess ,
2021-04-22 19:34:02 +00:00
output logic [ 5 : 0 ] HSELRegions ,
2021-04-29 06:20:39 +00:00
output logic PMAInstrAccessFaultF ,
output logic PMALoadAccessFaultM ,
output logic PMAStoreAccessFaultM
2021-04-22 19:34:02 +00:00
) ;
// Signals are high if the memory access is within the given region
2021-05-03 21:37:42 +00:00
logic BootTim , Tim , CLINT , GPIO , UART , PLIC ;
logic [ 5 : 0 ] Regions ;
// Actual HSEL signals sent to uncore
2021-04-22 19:34:02 +00:00
logic HSELBootTim , HSELTim , HSELCLINT , HSELGPIO , HSELUART , HSELPLIC ;
2021-05-03 21:37:42 +00:00
logic ValidBootTim , ValidTim , ValidCLINT , ValidGPIO , ValidUART , ValidPLIC ;
2021-04-22 19:34:02 +00:00
2021-06-17 20:28:06 +00:00
logic PMAAccessFault ;
logic AccessRW , AccessRWX , AccessRX ;
2021-04-22 19:34:02 +00:00
2021-06-17 20:28:06 +00:00
// Determine what type of access is being made
assign AccessRW = ReadAccessM | WriteAccessM ;
assign AccessRWX = ReadAccessM | WriteAccessM | ExecuteAccessF ;
assign AccessRX = ReadAccessM | ExecuteAccessF ;
2021-04-22 19:34:02 +00:00
2021-05-03 21:37:42 +00:00
2021-06-17 20:28:06 +00:00
// Determine which region of physical memory (if any) is being accessed
2021-06-18 01:36:32 +00:00
pmaadrdec boottimdec ( HADDR , `BOOTTIMBASE , `BOOTTIMRANGE , `BOOTTIMSUPPORTED , AccessRX , HSIZE , 4 'b1111 , BootTim ) ;
pmaadrdec timdec ( HADDR , `TIMBASE , `TIMRANGE , `TIMSUPPORTED , AccessRWX , HSIZE , 4 'b1111 , Tim ) ;
pmaadrdec clintdec ( HADDR , `CLINTBASE , `CLINTRANGE , `CLINTSUPPORTED , AccessRW , HSIZE , ( `XLEN = = 64 ? 4 'b1000 : 4 'b0100 ) , CLINT ) ;
pmaadrdec gpiodec ( HADDR , `GPIOBASE , `GPIORANGE , `GPIOSUPPORTED , AccessRW , HSIZE , 4 'b0100 , GPIO ) ;
pmaadrdec uartdec ( HADDR , `UARTBASE , `UARTRANGE , `UARTSUPPORTED , AccessRW , HSIZE , 4 'b0001 , UART ) ;
pmaadrdec plicdec ( HADDR , `PLICBASE , `PLICRANGE , `PLICSUPPORTED , AccessRW , HSIZE , 4 'b0100 , PLIC ) ;
2021-06-17 20:28:06 +00:00
// Swizzle region bits
assign Regions = { BootTim , Tim , CLINT , GPIO , UART , PLIC } ;
// Only RAM memory regions are cacheable
assign Cacheable = BootTim | Tim ;
2021-06-17 22:54:39 +00:00
assign Idempotent = Tim ;
assign AtomicAllowed = Tim ;
2021-04-22 19:34:02 +00:00
2021-05-03 21:37:42 +00:00
assign ValidBootTim = '1 ;
assign ValidTim = '1 ;
2021-06-04 15:59:14 +00:00
assign ValidCLINT = ~ ExecuteAccessF & & ( ( HSIZE = = 3 'b011 & & `XLEN = = 64 ) | | ( HSIZE = = 3 'b010 & & `XLEN = = 32 ) ) ;
2021-05-03 21:37:42 +00:00
assign ValidGPIO = ~ ExecuteAccessF & & ( HSIZE = = 3 'b010 ) ;
assign ValidUART = ~ ExecuteAccessF & & ( HSIZE = = 3 'b000 ) ;
2021-05-04 01:58:32 +00:00
assign ValidPLIC = ~ ExecuteAccessF & & ( HSIZE = = 3 'b010 ) ;
2021-05-03 21:37:42 +00:00
assign HSELBootTim = BootTim & & ValidBootTim ;
assign HSELTim = Tim & & ValidTim ;
assign HSELCLINT = CLINT & & ValidCLINT ;
assign HSELGPIO = GPIO & & ValidGPIO ;
assign HSELUART = UART & & ValidUART ; // only byte writes to UART are supported
assign HSELPLIC = PLIC & & ValidPLIC ;
2021-04-22 19:34:02 +00:00
// Swizzle region bits
assign HSELRegions = { HSELBootTim , HSELTim , HSELCLINT , HSELGPIO , HSELUART , HSELPLIC } ;
2021-06-17 20:28:06 +00:00
assign PMAAccessFault = ~ | HSELRegions ;
2021-04-22 19:34:02 +00:00
2021-06-17 22:54:39 +00:00
// Detect access faults
2021-06-17 20:28:06 +00:00
assign PMAInstrAccessFaultF = ExecuteAccessF & & PMAAccessFault ;
assign PMALoadAccessFaultM = ReadAccessM & & PMAAccessFault ;
assign PMAStoreAccessFaultM = WriteAccessM & & PMAAccessFault ;
assign PMASquashBusAccess = PMAAccessFault & & AccessRWX ;
2021-04-26 16:48:58 +00:00
endmodule