aboutsummaryrefslogtreecommitdiff
path: root/model/riscv_addr_checks.sail
AgeCommit message (Expand)AuthorFilesLines
2023-05-29apply_headers: regenerate copyright headersupdate-copyright-headersPhilipp Tomsich1-1/+3
2021-07-29Use headache to apply copyright header at request of Peter Sewell.Robert Norton1-0/+68
2021-07-16Add an extension point to allow validation of physical memory accesses.Robert Norton1-0/+7
2019-07-15Allow extensions to types of memory access, and factor out PTE and PTW defini...Prashanth Mundkur1-1/+1
2019-06-24Add PMP checks to physical memory accesses.Prashanth Mundkur1-1/+1
2019-05-10Rename regbits to regidx, to clarify the type is an index and not the content...Prashanth Mundkur1-1/+1
2019-05-06Factor out sync_exception to fix dependencies in cheri, and similarly split o...Prashanth Mundkur1-17/+0
2019-05-02Push address calculation inside the data_check_addr hook and rename it to dat...rmn30Robert Norton1-2/+7
2019-05-01Add base address register as extra argument to ext_data_check_addr hook to as...Robert Norton1-1/+1
2019-04-24Add extended model from cheri-merge.Prashanth Mundkur1-0/+67