[libre-riscv-dev] formal verification

[Luke Kenneth Casson Leighton]

https://github.com/m-labs/nmigen/blob/master/nmigen/lib/fifo.py

hendrik, hi,

it turns out that nmigen has integration with yosys formal
verification.  example above.

i meant to mention earlier, that formal verification tools for verilog
might be hard to find, however formal verification tools in *python*
may be a lot easier... plus there is the link to yosys via nmigen.

l.