YosysHQ / riscv-formal

RISC-V Formal Verification Framework
ISC License
94 stars 21 forks source link

Rebase of the memcheck_bus branch #22

Closed jix closed 1 year ago

jix commented 1 year ago

This is a rebase of the memcheck_bus branch (from the review meeting) on top of the main branch already containing the CSR work. It also includes two small fixes to the NERV examples, but no further changes to the memory checks themselves.