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

Use techmap -share_map in btor scripts

This commit is contained in:
Clifford Wolf 2014-01-24 15:52:16 +01:00
parent 6804edd5d4
commit 210dda286f
2 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
backends/btor/btor.ys
View File

@ -2,7 +2,7 @@ proc;
opt; opt_const -mux_undef; opt;
rename -hide;;;
#converting pmux to mux
techmap -map techlibs/common/pmux2mux.v;;
techmap -share_map pmux2mux.v;;
memory -nomap;;
#flatten design
flatten;;

2
backends/btor/verilog2btor.sh
View File

@ -24,7 +24,7 @@ hierarchy -check;
proc;
opt; opt_const -mux_undef; opt;
rename -hide;;;
techmap -map $YOSYS_HOME/techlibs/common/pmux2mux.v;;
techmap -share_map pmux2mux.v;;
memory -nomap;;
flatten;;
memory_unpack;