diff options
| author | Clifford Wolf <clifford@clifford.at> | 2014-02-12 23:46:58 +0100 |
|---|---|---|
| committer | Clifford Wolf <clifford@clifford.at> | 2014-02-12 23:46:58 +0100 |
| commit | 6b210d2b6f4ec6c2bf9a51d43a75e987e79cc4a5 (patch) | |
| tree | 16367a934125bba74f956fd2f0608e1350faea19 /backends/btor/verilog2btor.sh | |
| parent | 08caa631dd3327b3b40938eeb942a58ef4ca9e16 (diff) | |
| parent | ac896c63e287aeeb7947602af0e5f8b115e0b833 (diff) | |
| download | yosys-6b210d2b6f4ec6c2bf9a51d43a75e987e79cc4a5.tar.gz yosys-6b210d2b6f4ec6c2bf9a51d43a75e987e79cc4a5.tar.bz2 yosys-6b210d2b6f4ec6c2bf9a51d43a75e987e79cc4a5.zip | |
Merge pull request #26 from ahmedirfan1983/btor
Btor
Diffstat (limited to 'backends/btor/verilog2btor.sh')
| -rwxr-xr-x | backends/btor/verilog2btor.sh | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/backends/btor/verilog2btor.sh b/backends/btor/verilog2btor.sh index 06a32c81d..870f0a28d 100755 --- a/backends/btor/verilog2btor.sh +++ b/backends/btor/verilog2btor.sh @@ -25,7 +25,8 @@ proc; opt; opt_const -mux_undef; opt; rename -hide;;; techmap -share_map pmux2mux.v;; -memory_dff -wr_only +splice; opt; +memory_dff -wr_only; memory_collect;; flatten;; memory_unpack; |