Eddie Hung 6f4f795953 aiger/xaiger: use odd for negedge clk, even for posedge ... Since abc9 doesn't like negative mergeability values		2020-05-14 10:33:56 -07:00
..
aiger
ast
blif
ilang
json
liberty
rpc
verific
verilog