diff options
| author | Clifford Wolf <clifford@clifford.at> | 2014-02-03 13:01:45 +0100 |
|---|---|---|
| committer | Clifford Wolf <clifford@clifford.at> | 2014-02-03 13:01:45 +0100 |
| commit | a6750b375301f2c2ebb51a2496cdf2c820b2546b (patch) | |
| tree | e3a91710abab3a7a89858426b0d17601946d8fec /backends/btor/verilog2btor.sh | |
| parent | de9226a64f96a3731008218727d6b3897c58f593 (diff) | |
| download | yosys-a6750b375301f2c2ebb51a2496cdf2c820b2546b.tar.gz yosys-a6750b375301f2c2ebb51a2496cdf2c820b2546b.tar.bz2 yosys-a6750b375301f2c2ebb51a2496cdf2c820b2546b.zip | |
Added TRANSPARENT parameter to $memrd (and RD_TRANSPARENT to $mem)
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 a2f9ebc7e..06a32c81d 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 -nomap;; +memory_dff -wr_only +memory_collect;; flatten;; memory_unpack; splitnets -driver; |