riscv-formal-nmigen/README.md

20 lines
404 B
Markdown
Raw Normal View History

2020-07-14 10:30:37 +08:00
# riscv-formal-nmigen
2020-07-14 10:42:06 +08:00
A port of [riscv-formal](https://github.com/SymbioticEDA/riscv-formal) to nMigen
2020-07-21 16:13:52 +08:00
## Dependencies
- [nMigen](https://github.com/m-labs/nmigen)
## Build
TODO
2020-08-05 12:54:46 +08:00
## 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).
2020-07-21 16:13:52 +08:00
## License
See [LICENSE](./LICENSE)