diff options
| -rwxr-xr-x | verilog2btor.sh | 13 |
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;" |