From df7e373c697c3976e711487ad7f2f49a51a9aa97 Mon Sep 17 00:00:00 2001
From: David Harris <david_harris@hmc.edu>
Date: Fri, 18 Jun 2021 08:13:15 -0400
Subject: [PATCH] Cleaned up PMAAccessFult logic but it still doesn't accomdate
 TIM and BootTim depending on AccessRWX

---
 wally-pipelined/src/mmu/pmachecker.sv | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/wally-pipelined/src/mmu/pmachecker.sv b/wally-pipelined/src/mmu/pmachecker.sv
index 0aaa8b97..703bb81b 100644
--- a/wally-pipelined/src/mmu/pmachecker.sv
+++ b/wally-pipelined/src/mmu/pmachecker.sv
@@ -70,9 +70,9 @@ module pmachecker (
   assign AtomicAllowed = HSELRegions[4];
 
   // Detect access faults
-  assign PMAAccessFault = ~|HSELRegions;
+  assign PMAAccessFault = (~|HSELRegions)  && AccessRWX;  
   assign PMAInstrAccessFaultF = ExecuteAccessF && PMAAccessFault;
   assign PMALoadAccessFaultM  = ReadAccessM    && PMAAccessFault;
   assign PMAStoreAccessFaultM = WriteAccessM   && PMAAccessFault;
-  assign PMASquashBusAccess = PMAAccessFault && AccessRWX;
+  assign PMASquashBusAccess = PMAAccessFault;
 endmodule