example.ys « sat « passes - yosys - Debian dgit repo for package yosys

summary refs log tree commit diff

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