index
:
yosys
master
Debian dgit repo for package yosys
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
passes
/
sat
/
example.ys
blob: e2eb174973a43afaed432149c502bba70fc8e2f9 (
plain
)
1
2
3
read_verilog example.v techmap; opt; abc; opt sat_solve -show a -set y 1'b1