summaryrefslogtreecommitdiff
path: root/backends/btor/btor.ys
diff options
context:
space:
mode:
authorAhmed Irfan <irfan@ubuntu.(none)>2014-02-11 13:06:01 +0100
committerAhmed Irfan <irfan@ubuntu.(none)>2014-02-11 13:06:01 +0100
commite8f6b8f201c0ead8c17f9c9ae4de3e859e9e13ef (patch)
tree5ba60416a07c5c0a273440d0a49beaa1b307ef1b /backends/btor/btor.ys
parentfb186e6299f9e26f0011c9623f10adcf8eadb304 (diff)
added concat and slice cell translation
Diffstat (limited to 'backends/btor/btor.ys')
-rw-r--r--backends/btor/btor.ys4
1 files changed, 2 insertions, 2 deletions
diff --git a/backends/btor/btor.ys b/backends/btor/btor.ys
index 20bce87e..e58db8a3 100644
--- a/backends/btor/btor.ys
+++ b/backends/btor/btor.ys
@@ -1,9 +1,9 @@
proc;
-opt; opt_const -mux_undef; opt;
+opt; opt_const -mux_undef; splice; opt;
rename -hide;;;
#converting pmux to mux
techmap -share_map pmux2mux.v;;
-memory -nomap;;
+memory_dff -wr_only; memory_collect;;
#flatten design
flatten;;
#converting asyn memory write to syn memory