diff options
| author | Clifford Wolf <clifford@clifford.at> | 2014-12-14 17:45:03 +0100 |
|---|---|---|
| committer | Clifford Wolf <clifford@clifford.at> | 2014-12-14 17:45:03 +0100 |
| commit | 59d11978fc096734163731bb523a6d240ae1a41f (patch) | |
| tree | ac533ee074b078d65124bcd606a495b6d4df8db9 /backends/btor/verilog2btor.sh | |
| parent | 32dce4a870e8f556897096a0c252b2e43f5622e5 (diff) | |
| download | yosys-59d11978fc096734163731bb523a6d240ae1a41f.tar.gz yosys-59d11978fc096734163731bb523a6d240ae1a41f.tar.bz2 yosys-59d11978fc096734163731bb523a6d240ae1a41f.zip | |
Added "write_blif -blackbox"
based on code by Eddie Hung from
https://github.com/eddiehung/yosys/commit/1e481661cb4a4
Diffstat (limited to 'backends/btor/verilog2btor.sh')
0 files changed, 0 insertions, 0 deletions