summaryrefslogtreecommitdiff
path: root/passes/sat/example.ys
blob: b6d131c917c4c0f2b01b99364a32c8ed013e22fa (plain)
1
2
3
read_verilog example.v
techmap; opt; abc; opt
sat_solve -set y 1'b1