diff options
| author | Robert Norton <rmn30@cam.ac.uk> | 2019-09-04 17:28:22 +0100 |
|---|---|---|
| committer | Robert Norton <rmn30@cam.ac.uk> | 2019-09-04 17:28:22 +0100 |
| commit | e918e17c081bc24bbf2ae213c211b9dabc276324 (patch) | |
| tree | 7621be42dcb86adfaf59f4351498dc7325f6bed2 /model/riscv_insts_aext.sail | |
| parent | 50033a227e89d679cd42b070e7e096586275357c (diff) | |
| parent | 3d75de27c854072b82493a73e01c69d27624bf94 (diff) | |
| download | sail-riscv-e918e17c081bc24bbf2ae213c211b9dabc276324.zip sail-riscv-e918e17c081bc24bbf2ae213c211b9dabc276324.tar.gz sail-riscv-e918e17c081bc24bbf2ae213c211b9dabc276324.tar.bz2 | |
Merge remote-tracking branch 'origin/master' into vmem_ext.vmem_ext
Diffstat (limited to 'model/riscv_insts_aext.sail')
| -rw-r--r-- | model/riscv_insts_aext.sail | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/model/riscv_insts_aext.sail b/model/riscv_insts_aext.sail index b950747..7eb01c5 100644 --- a/model/riscv_insts_aext.sail +++ b/model/riscv_insts_aext.sail @@ -53,7 +53,7 @@ function clause execute(LOADRES(aq, rl, rs1, width, rd)) = { */ match width { BYTE => true, - HALF => vaddr[0] == 0b0, + HALF => vaddr[0..0] == 0b0, WORD => vaddr[1..0] == 0b00, DOUBLE => vaddr[2..0] == 0b000 }; @@ -112,7 +112,7 @@ function clause execute (STORECON(aq, rl, rs2, rs1, width, rd)) = { */ match width { BYTE => true, - HALF => vaddr[0] == 0b0, + HALF => vaddr[0..0] == 0b0, WORD => vaddr[1..0] == 0b00, DOUBLE => vaddr[2..0] == 0b000 }; |