summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorAhmed Irfan <irfan@ubuntu.(none)>2014-01-24 15:00:43 +0100
committerAhmed Irfan <irfan@ubuntu.(none)>2014-01-24 15:00:43 +0100
commit761b8f99d71128fbcf193ded7b59184811199324 (patch)
tree54684e3aa3091f333dc786ea28ec8a8de0b67705
parent9d07d83c5a3b6a69a992a442fa88ba6114fade45 (diff)
minor change in script
-rwxr-xr-xverilog2btor.sh13
1 files 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;"