riscv-formal-nmigen/README.md

riscv-formal-nmigen

A port of riscv-formal to nMigen

Dependencies

• nMigen

Build

TODO

Scope

As with the original riscv-formal, support is planned for the RV32I and RV64I base ISAs, as well as the M and C extensions and combinations thereof (e.g. RV32IM, RV64IMC).

License

See LICENSE