riscv-formal-nmigen/README.md

# 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

## License

See [LICENSE](./LICENSE)
Initial commit 2020-07-14 10:30:37 +08:00			`# riscv-formal-nmigen`

Copy license from source 2020-07-14 10:42:06 +08:00			`A port of [riscv-formal](https://github.com/SymbioticEDA/riscv-formal) to nMigen`
Add LUI instruction for RV32I 2020-07-21 16:13:52 +08:00
			`## Dependencies`

			`- [nMigen](https://github.com/m-labs/nmigen)`

			`## Build`

			`TODO`

			`## License`

			`See [LICENSE](./LICENSE)`