From: Clifford Wolf <clifford@clifford.at>
Date: Fri, 24 Jan 2014 14:52:16 +0000 (+0100)
Subject: Use techmap -share_map in btor scripts
X-Git-Tag: yosys-0.2.0~146^2~3
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=210dda286f234db1c9a25acb6ca0be6e3c159358;p=yosys.git

Use techmap -share_map in btor scripts
---

diff --git a/backends/btor/btor.ys b/backends/btor/btor.ys
index 7f3882b57..20bce87e1 100644
--- a/backends/btor/btor.ys
+++ b/backends/btor/btor.ys
@@ -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;;
diff --git a/backends/btor/verilog2btor.sh b/backends/btor/verilog2btor.sh
index ef0134e07..a2f9ebc7e 100755
--- a/backends/btor/verilog2btor.sh
+++ b/backends/btor/verilog2btor.sh
@@ -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;