write_xaiger: add support and test for (* keep *) on wires
authorEddie Hung <eddie@fpgeh.com>
Tue, 14 Jan 2020 03:07:55 +0000 (19:07 -0800)
committerEddie Hung <eddie@fpgeh.com>
Tue, 14 Jan 2020 03:07:55 +0000 (19:07 -0800)
commit9ec948f3965eef214bee3af778b67fdd6ee86929
treedfe7b7b345876c0d172647a36ebaceeb752a2ae2
parent0d2c06ee47a5008ba79d14d52f72d9b08ac2c7fc
write_xaiger: add support and test for (* keep *) on wires
backends/aiger/xaiger.cc
tests/techmap/abc9.ys