Search code examples
hdlchiselformal-verification

Formal verification with Chisel

Is it possible to do formal verification with Chisel3 HDL language? If yes, is there an open-source software to do that ? I know that we can do verilog formal verification with Yosys, but with chisel ?

Solution

  • formal verification is now integrated under chiseltest official test library.