[libre-riscv-dev] formal proof NLnet proposal in
Luke Kenneth Casson Leighton
lkcl at lkcl.net
Tue Oct 29 03:16:39 GMT 2019
On Tuesday, October 29, 2019, Hendrik Boom <hendrik at topoi.pooq.com> wrote:
>
> So I should get myself a copy of nmigen and yosys.
> An maybe a passel of SAT solvers.
>
> nmigen from https://github.com/m-labs/nmigen
>
> yosys from https://github.com/YosysHQ/
> or following instructions in
> https://symbiyosys.readthedocs.io/en/latest/quickstart.html#installing
Yep, all of those. I think I got sby, then yices and z3, maybe one more,
there were a heck of a lot of solvers.
>
> Or are there better places? Do we use our own modified versions?
No, just latest git on yosys and nmigen, as per install instructions for
nmigen.
--
---
crowd-funded eco-conscious hardware: https://www.crowdsupply.com/eoma68
More information about the libre-riscv-dev
mailing list