This commit is contained in:
bbracker 2021-06-18 08:15:40 -04:00
commit 0980ce92bc

View File

@ -70,9 +70,9 @@ module pmachecker (
assign AtomicAllowed = HSELRegions[4]; assign AtomicAllowed = HSELRegions[4];
// Detect access faults // Detect access faults
assign PMAAccessFault = ~|HSELRegions; assign PMAAccessFault = (~|HSELRegions) && AccessRWX;
assign PMAInstrAccessFaultF = ExecuteAccessF && PMAAccessFault; assign PMAInstrAccessFaultF = ExecuteAccessF && PMAAccessFault;
assign PMALoadAccessFaultM = ReadAccessM && PMAAccessFault; assign PMALoadAccessFaultM = ReadAccessM && PMAAccessFault;
assign PMAStoreAccessFaultM = WriteAccessM && PMAAccessFault; assign PMAStoreAccessFaultM = WriteAccessM && PMAAccessFault;
assign PMASquashBusAccess = PMAAccessFault && AccessRWX; assign PMASquashBusAccess = PMAAccessFault;
endmodule endmodule