example.ys « smt2 « backends - yosys - Debian dgit repo for package yosys

summary refs log tree commit diff

path: root/backends/smt2/example.ys

blob: 6fccb344f38c49400a2b281e5350966a784abdd7 (plain)

1
2
3

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