write_xaiger to not use module POs but only write outputs if driven
authorEddie Hung <eddie@fpgeh.com>
Fri, 22 Nov 2019 00:19:28 +0000 (16:19 -0800)
committerEddie Hung <eddie@fpgeh.com>
Fri, 22 Nov 2019 00:19:28 +0000 (16:19 -0800)
commit0ab1e496dc601f8e9d5efbcc5b2be7cf6b2d9673
treeb880f946a818019dc1bad255ab60a04e1c68e9f3
parentc4ec42ac38bd5678d9f3018d3921a3f0f4239986
write_xaiger to not use module POs but only write outputs if driven
backends/aiger/xaiger.cc