diff options
| author | Eddie Hung <eddieh@ece.ubc.ca> | 2019-02-15 11:51:21 -0800 |
|---|---|---|
| committer | Eddie Hung <eddieh@ece.ubc.ca> | 2019-02-15 11:51:21 -0800 |
| commit | 3ac5b651973debe76d4d41aef86a9d6376bdae46 (patch) | |
| tree | deb33173abcf6cc84f86cfe25b66d5412e225ac1 /backends/smv | |
| parent | c69fba8de5056e5892014b143856993d404e7c84 (diff) | |
| download | yosys-3ac5b651973debe76d4d41aef86a9d6376bdae46.tar.gz yosys-3ac5b651973debe76d4d41aef86a9d6376bdae46.tar.bz2 yosys-3ac5b651973debe76d4d41aef86a9d6376bdae46.zip | |
write_xaiger to cope with unknown cells by transforming them to CI/CO
Diffstat (limited to 'backends/smv')
0 files changed, 0 insertions, 0 deletions