A port of [riscv-formal](https://github.com/SymbioticEDA/riscv-formal) to nMigen
You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
Donald Sebastian Leung 5a78e7aba0 Fix copyright holder in license 2 days ago
checks Add rvfi_unique_check 6 days ago
insns Add RV32IM ISA 1 week ago
LICENSE Fix copyright holder in license 2 days ago
README.md Update README.md 1 week ago

README.md

riscv-formal-nmigen

A port of riscv-formal to nMigen

Dependencies

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 (except FENCE, ECALL and EBREAK) and perhaps RV32IM. Support for other extensions of the RISC-V specification may be added in the future.

License

See LICENSE