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