summaryrefslogtreecommitdiff
path: root/backends/btor/btor.ys
diff options
context:
space:
mode:
Diffstat (limited to 'backends/btor/btor.ys')
-rw-r--r--backends/btor/btor.ys15
1 files changed, 15 insertions, 0 deletions
diff --git a/backends/btor/btor.ys b/backends/btor/btor.ys
new file mode 100644
index 00000000..20bce87e
--- /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 -share_map 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;;;
+