disabling splice command in the script

diff --git a/backends/btor/btor.ys b/backends/btor/btor.ys
index e58db8a385f3822dd2bf0f2443d881424fcf324b..bcfd65cdd90adf8d607d216aa8617c4c97725494 100644 (file)
--- a/backends/btor/btor.ys
+++ b/backends/btor/btor.ys
@@ -1,5 +1,7 @@
 proc; 
-opt; opt_const -mux_undef; splice; opt;
+opt; opt_const -mux_undef; 
+#splice; 
+opt;
 rename -hide;;;
 #converting pmux to mux
 techmap -share_map pmux2mux.v;;

diff --git a/backends/btor/verilog2btor.sh b/backends/btor/verilog2btor.sh
index 6485b6db8c6288a3a2045f87bc68d6c878d0ca0b..972b8dfbe99ef261922bbc209bac1d2cb9455602 100755 (executable)
--- a/backends/btor/verilog2btor.sh
+++ b/backends/btor/verilog2btor.sh
@@ -22,7 +22,9 @@ hierarchy -top $3;
 hierarchy -libdir $DIR; 
 hierarchy -check; 
 proc; 
-opt; opt_const -mux_undef; splice; opt;
+opt; opt_const -mux_undef; 
+#splice; 
+opt;
 rename -hide;;;
 techmap -share_map pmux2mux.v;;
 memory_dff -wr_only;