From 234d0d0e1c316d7253c56c522dcc982a5e6049a1 Mon Sep 17 00:00:00 2001
From: Ahmed Irfan <irfan@ubuntu.(none)>
Date: Sat, 18 Jan 2014 21:54:52 +0100
Subject: script added

---
 btor.ys | 11 ++---------
 1 file changed, 2 insertions(+), 9 deletions(-)

(limited to 'btor.ys')

diff --git a/btor.ys b/btor.ys
index 65accc95c..7f3882b57 100644
--- a/btor.ys
+++ b/btor.ys
@@ -1,10 +1,3 @@
-#design should be loaded before executing 
-#set the: hierarchy -top <module_top>
-#set the: hierarchy -libdir <dir>
-
-#high level synthesis
-#################
-#converting processes to cells
 proc; 
 opt; opt_const -mux_undef; opt;
 rename -hide;;;
@@ -17,6 +10,6 @@ flatten;;
 memory_unpack; 
 #cell output to be a single wire
 splitnets -driver;
+setundef -zero -undriven;
 opt;;;
-#writing btor
-write_btor design.btor;
+
-- 
cgit v1.2.3