From 6804edd5d4cc6cca1fbdf7cf6db236d0fcd46538 Mon Sep 17 00:00:00 2001
From: Clifford Wolf <clifford@clifford.at>
Date: Fri, 24 Jan 2014 15:48:07 +0100
Subject: Moved btor scripts to backends/btor/

---
 backends/btor/btor.ys | 15 +++++++++++++++
 1 file changed, 15 insertions(+)
 create mode 100644 backends/btor/btor.ys

(limited to 'backends/btor/btor.ys')

diff --git a/backends/btor/btor.ys b/backends/btor/btor.ys
new file mode 100644
index 00000000..7f3882b5
--- /dev/null
+++ b/backends/btor/btor.ys
@@ -0,0 +1,15 @@
+proc; 
+opt; opt_const -mux_undef; opt;
+rename -hide;;;
+#converting pmux to mux
+techmap -map techlibs/common/pmux2mux.v;;
+memory -nomap;;
+#flatten design
+flatten;;
+#converting asyn memory write to syn memory
+memory_unpack; 
+#cell output to be a single wire
+splitnets -driver;
+setundef -zero -undriven;
+opt;;;
+
-- 
cgit v1.2.1