[libre-riscv-dev] formal verification
Luke Kenneth Casson Leighton
lkcl at lkcl.net
Fri Mar 29 19:24:13 GMT 2019
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