diff options
Diffstat (limited to 'model/riscv_pmp_control.sail')
| -rw-r--r-- | model/riscv_pmp_control.sail | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/model/riscv_pmp_control.sail b/model/riscv_pmp_control.sail index 4c65f7d..233602f 100644 --- a/model/riscv_pmp_control.sail +++ b/model/riscv_pmp_control.sail @@ -29,10 +29,10 @@ function pmpAddrRange(cfg: Pmpcfg_ent, pmpaddr: xlenbits, prev_pmpaddr: xlenbits val pmpCheckRWX: (Pmpcfg_ent, AccessType) -> bool function pmpCheckRWX(ent, acc) = { match acc { - Read => ent.R() == true, - Write => ent.W() == true, - ReadWrite => ent.R() == true & ent.W() == true, - Execute => ent.X() == true + Read => ent.R() == 0b1, + Write => ent.W() == 0b1, + ReadWrite => ent.R() == 0b1 & ent.W() == 0b1, + Execute => ent.X() == 0b1 } } @@ -40,7 +40,7 @@ function pmpCheckRWX(ent, acc) = { val pmpCheckPerms: (Pmpcfg_ent, AccessType, Privilege) -> bool function pmpCheckPerms(ent, acc, priv) = { match priv { - Machine => if ent.L() == true + Machine => if ent.L() == 0b1 then pmpCheckRWX(ent, acc) else true, _ => pmpCheckRWX(ent, acc) |