aiger/xaiger: use odd for negedge clk, even for posedge
authorEddie Hung <eddie@fpgeh.com>
Wed, 15 Apr 2020 19:15:36 +0000 (12:15 -0700)
committerEddie Hung <eddie@fpgeh.com>
Thu, 14 May 2020 17:33:56 +0000 (10:33 -0700)
commit6f4f795953b2a38ec77984c7e1b50f579b59272e
tree1f02c67304e08240b384a499954b7ed04daa5c81
parentfb447951be5ac481106f06a911234614b576b40f
aiger/xaiger: use odd for negedge clk, even for posedge

Since abc9 doesn't like negative mergeability values
backends/aiger/xaiger.cc
frontends/aiger/aigerparse.cc