# riscv-formal-nmigen
A port of [riscv-formal](https://github.com/SymbioticEDA/riscv-formal) to nMigen
## Dependencies
- [nMigen](https://github.com/m-labs/nmigen)
## Build
TODO
## License
See [LICENSE](./LICENSE)