Use sigmap signal
authorEddie Hung <eddie@fpgeh.com>
Tue, 17 Dec 2019 00:40:52 +0000 (16:40 -0800)
committerEddie Hung <eddie@fpgeh.com>
Tue, 17 Dec 2019 00:49:42 +0000 (16:49 -0800)
commit42f990f3a6b7928841fa0e290fa2688925485907
treeb0dad9518895229dd564ecd04c8f35afbbdea9ea
parentb19fc8839bdbf652d136790fe94cdaa1b520c75b
Use sigmap signal
backends/aiger/xaiger.cc