xaiger: output $_DFF_[NP]_ with mergeability if -dff option
authorEddie Hung <eddie@fpgeh.com>
Thu, 9 Apr 2020 21:26:52 +0000 (14:26 -0700)
committerEddie Hung <eddie@fpgeh.com>
Thu, 14 May 2020 17:33:56 +0000 (10:33 -0700)
commitffa52738fba1264ef2eb37d5333babfa0758fe48
tree95c1b68439ae525c9b77b0ef34a044484ec79cfd
parent5bcde7ccc331e575682823222c97cc414bb3d808
xaiger: output $_DFF_[NP]_ with mergeability if -dff option
backends/aiger/xaiger.cc