diff options
Diffstat (limited to 'model/riscv_addr_checks.sail')
| -rw-r--r-- | model/riscv_addr_checks.sail | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/model/riscv_addr_checks.sail b/model/riscv_addr_checks.sail index f9c7835..0d29d4c 100644 --- a/model/riscv_addr_checks.sail +++ b/model/riscv_addr_checks.sail @@ -54,7 +54,7 @@ type ext_data_addr_error = unit /* Default data addr is just base register + immediate offset (may be zero). Extensions might override and add additional checks. */ -function ext_data_get_addr(base : regidx, offset : xlenbits, acc : AccessType(ext_access_type), width : word_width) +function ext_data_get_addr(base : regidx, offset : xlenbits, acc : AccessType(ext_access_type), width : range(1, max_mem_access)) -> Ext_DataAddr_Check(ext_data_addr_error) = let addr = X(base) + offset in Ext_DataAddr_OK(addr) |