xaiger: add check for $__ABC9_DELAY model
authorEddie Hung <eddie@fpgeh.com>
Thu, 26 Mar 2020 16:22:27 +0000 (09:22 -0700)
committerEddie Hung <eddie@fpgeh.com>
Tue, 14 Apr 2020 02:11:23 +0000 (19:11 -0700)
commit0808318d55a4ac6ccb374393ab73c3b2bb27be6d
tree49df6a2c5b6621db1931ea128fe9435036a3dbc8
parent840bb170896c1acbbd321c4214df1f3b15108466
xaiger: add check for $__ABC9_DELAY model
backends/aiger/xaiger.cc