backends/smt2/example.ys - third_party/yosys - Git at Google


            
            read_verilog -formal example.v

            
            hierarchy; proc; opt; memory -nordff -nomap; opt -fast

            
            write_smt2 -bv -mem -wires example.smt2
	read_verilog -formal example.v
	hierarchy; proc; opt; memory -nordff -nomap; opt -fast
	write_smt2 -bv -mem -wires example.smt2