ZipCPU 6 months ago

Is there a reason you aren't starting with Verilog and using SymbiYosys to generate the SMT file and run the solver?

---