search

YosysHQ / riscv-formal

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

Updates to the bus checks #16

Closed jix closed 1 year ago

jix commented 1 year ago

This includes an early version of the AXI observer and improved handling of faults.