diff options
| author | Ahmed Irfan <irfan@ubuntu.(none)> | 2014-01-24 15:00:43 +0100 |
|---|---|---|
| committer | Ahmed Irfan <irfan@ubuntu.(none)> | 2014-01-24 15:00:43 +0100 |
| commit | 761b8f99d71128fbcf193ded7b59184811199324 (patch) | |
| tree | 54684e3aa3091f333dc786ea28ec8a8de0b67705 | |
| parent | 9d07d83c5a3b6a69a992a442fa88ba6114fade45 (diff) | |
| download | yosys-761b8f99d71128fbcf193ded7b59184811199324.tar.gz yosys-761b8f99d71128fbcf193ded7b59184811199324.tar.bz2 yosys-761b8f99d71128fbcf193ded7b59184811199324.zip | |
minor change in script
| -rwxr-xr-x | verilog2btor.sh | 13 |
1 files changed, 11 insertions, 2 deletions
diff --git a/verilog2btor.sh b/verilog2btor.sh index e01d15084..ef0134e07 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;" |