[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