riscv
/
yosys
mirror of https://github.com/YosysHQ/yosys.git
1
0
Fork 0
Code Issues Projects Releases Wiki Activity

minor change in script

This commit is contained in:
Ahmed Irfan 2014-01-24 15:00:43 +01:00
parent 9d07d83c5a
commit 761b8f99d7
1 changed files with 11 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

13
verilog2btor.sh
View File

@ -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;"