From 761b8f99d71128fbcf193ded7b59184811199324 Mon Sep 17 00:00:00 2001
From: Ahmed Irfan <irfan@ubuntu.(none)>
Date: Fri, 24 Jan 2014 15:00:43 +0100
Subject: minor change in script

---
 verilog2btor.sh | 13 +++++++++++--
 1 file changed, 11 insertions(+), 2 deletions(-)

diff --git a/verilog2btor.sh b/verilog2btor.sh
index e01d1508..ef0134e0 100755
--- a/verilog2btor.sh
+++ b/verilog2btor.sh
@@ -16,11 +16,20 @@ fi
 FULL_PATH=$(readlink -f $1)
 DIR=$(dirname $FULL_PATH)
 
-./yosys -p "
+./yosys -q -p "
 read_verilog $1; 
 hierarchy -top $3; 
 hierarchy -libdir $DIR; 
 hierarchy -check; 
-script btor.ys; 
+proc; 
+opt; opt_const -mux_undef; opt;
+rename -hide;;;
+techmap -map $YOSYS_HOME/techlibs/common/pmux2mux.v;;
+memory -nomap;;
+flatten;;
+memory_unpack; 
+splitnets -driver;
+setundef -zero -undriven;
+opt;;;
 write_btor $2;"
 
-- 
cgit v1.2.3