diff options
| author | Clifford Wolf <clifford@clifford.at> | 2014-02-13 08:09:17 +0100 |
|---|---|---|
| committer | Clifford Wolf <clifford@clifford.at> | 2014-02-13 08:09:17 +0100 |
| commit | c6236c9e9708f38675eb7199370a5722709e341e (patch) | |
| tree | 48f8fb60b5bc4f19ef102beb08b479ed8207d5fc /backends/btor/verilog2btor.sh | |
| parent | 7664f5d92b9fd78c7a858702544887d48c1d5aec (diff) | |
| parent | 6b210d2b6f4ec6c2bf9a51d43a75e987e79cc4a5 (diff) | |
| download | yosys-c6236c9e9708f38675eb7199370a5722709e341e.tar.gz yosys-c6236c9e9708f38675eb7199370a5722709e341e.tar.bz2 yosys-c6236c9e9708f38675eb7199370a5722709e341e.zip | |
Merge branch 'master' of github.com:cliffordwolf/yosys
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; |