yosys/backends/smt2/example.ys

4 lines
126 B
Text
Raw Permalink Normal View History

2015-10-13 17:17:23 +02:00
read_verilog -formal example.v
hierarchy; proc; opt; memory -nordff -nomap; opt -fast
write_smt2 -bv -mem -wires example.smt2