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: b7798ab2e5309975e1973ab0b70c6f5e40b4f7dc (
plain
)
1
2
3
read_verilog example.v techmap; opt sat_solve -show a -set y 1'b1