[libre-riscv-dev] formal verification

Luke Kenneth Casson Leighton lkcl at lkcl.net
Fri Mar 29 19:24:13 GMT 2019


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.


More information about the libre-riscv-dev mailing list