20 lines
404 B
Markdown
20 lines
404 B
Markdown
# 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
|
|
|
|
## 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](./LICENSE)
|