M-Labs/riscv-formal-nmigen
6
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity
A port of [riscv-formal](https://github.com/SymbioticEDA/riscv-formal) to nMigen
74 Commits 1 Branch 0 Tags 683 KiB
Python 99.4%
Nix 0.6%
032e4c254d
Go to file
Donald Sebastian Leung 032e4c254d Create template for RVFI instruction check
2020-07-28 14:25:14 +08:00
checks Create template for RVFI instruction check 2020-07-28 14:25:14 +08:00
insns Add RV32IM ISA 2020-07-24 13:51:04 +08:00
LICENSE Copy license from source 2020-07-14 10:42:06 +08:00
README.md Update README.md 2020-07-22 16:44:46 +08:00

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