diff options
Diffstat (limited to 'model/riscv_regs.sail')
| -rw-r--r-- | model/riscv_regs.sail | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/model/riscv_regs.sail b/model/riscv_regs.sail index c852677..4b4a1ea 100644 --- a/model/riscv_regs.sail +++ b/model/riscv_regs.sail @@ -139,7 +139,13 @@ function wX (r, in_v) = { } } -overload X = {rX, wX} +function rX_bits(i: bits(5)) -> xlenbits = rX(unsigned(i)) + +function wX_bits(i: bits(5), data: xlenbits) -> unit = { + wX(unsigned(i)) = data +} + +overload X = {rX_bits, wX_bits, rX, wX} /* register names */ |