diff --git a/wally-pipelined/src/privileged/pmachecker.sv b/wally-pipelined/src/privileged/pmachecker.sv index 37c780c42..2526ec5e6 100644 --- a/wally-pipelined/src/privileged/pmachecker.sv +++ b/wally-pipelined/src/privileged/pmachecker.sv @@ -66,9 +66,10 @@ module pmachecker ( assign ValidBootTim = '1; assign ValidTim = '1; - assign ValidCLINT = ~ExecuteAccessF && (HSIZE == 3'b010); + assign ValidCLINT = ~ExecuteAccessF && ((HSIZE == 3'b011) || (HSIZE == 3'b010)); assign ValidGPIO = ~ExecuteAccessF && (HSIZE == 3'b010); assign ValidUART = ~ExecuteAccessF && (HSIZE == 3'b000); + assign ValidPLIC = ~ExecuteAccessF && (HSIZE == 3'b010); assign HSELBootTim = BootTim && ValidBootTim; assign HSELTim = Tim && ValidTim;