A port of [riscv-formal](https://github.com/SymbioticEDA/riscv-formal) to nMigen

Go to file

Donald Sebastian Leung 61393b9a4f Add AND instruction for RV32I		2020-07-22 16:39:08 +08:00
insns	Add AND instruction for RV32I	2020-07-22 16:39:08 +08:00
LICENSE	Copy license from source	2020-07-14 10:42:06 +08:00
README.md	Mention expected scope of project in README	2020-07-21 17:55:28 +08:00

README.md

riscv-formal-nmigen

A port of riscv-formal to nMigen

Dependencies

nMigen

Build

TODO

Support

The full RISC-V specification is hundreds of pages long including numerous possible extensions, some of which are still under active development at the time of writing. Therefore, this project does not aim to formalize the entire specification, but only the core parts of the specification, namely RV32I and perhaps RV32IM. Support for other extensions of the RISC-V specification may be added in the future.

License

See LICENSE