Use techmap -share_map in btor scripts

diff --git a/backends/btor/btor.ys b/backends/btor/btor.ys
index 7f3882b571f820de62578d346745509a458e4fb5..20bce87e101c561783e56f82af659fbd6cd6de79 100644 (file)
--- 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 ef0134e07d59730b923efd8496ab86c746222fd0..a2f9ebc7ef8ab93a667e28564d4046693a7f17e9 100755 (executable)
--- 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;