ecp5: cleanup unused +/ecp5/abc9_model.v

diff --git a/techlibs/ecp5/Makefile.inc b/techlibs/ecp5/Makefile.inc
index 9a337b2b6cd9b143c125d72ac42e6a2e38f8095b..9d564c78cc315a07763d3bac4b28abc4545d7c51 100644 (file)
--- a/techlibs/ecp5/Makefile.inc
+++ b/techlibs/ecp5/Makefile.inc
@@ -23,7 +23,6 @@ $(eval $(call add_share_file,share/ecp5,techlibs/ecp5/brams.txt))
 $(eval $(call add_share_file,share/ecp5,techlibs/ecp5/arith_map.v))
 $(eval $(call add_share_file,share/ecp5,techlibs/ecp5/latches_map.v))
 $(eval $(call add_share_file,share/ecp5,techlibs/ecp5/dsp_map.v))
-$(eval $(call add_share_file,share/ecp5,techlibs/ecp5/abc9_model.v))
 
 EXTRA_OBJS += techlibs/ecp5/brams_init.mk techlibs/ecp5/brams_connect.mk
 .SECONDARY: techlibs/ecp5/brams_init.mk techlibs/ecp5/brams_connect.mk

diff --git a/techlibs/ecp5/abc9_model.v b/techlibs/ecp5/abc9_model.v
deleted file mode 100644 (file)
index b7ecd73..0000000
--- a/techlibs/ecp5/abc9_model.v
+++ /dev/null
@@ -1,12 +0,0 @@
-// ---------------------------------------
-
-(* abc9_box *)
-module \$__ABC9_DPR16X4_COMB (input [3:0] $DO, RAD, output [3:0] DO);
-  specify
-    ($DO => DO) = 0;
-    (RAD[0] *> DO) = 141;
-    (RAD[1] *> DO) = 379;
-    (RAD[2] *> DO) = 275;
-    (RAD[3] *> DO) = 379;
-  endspecify
-endmodule

diff --git a/techlibs/ecp5/synth_ecp5.cc b/techlibs/ecp5/synth_ecp5.cc
index e5c1f7550accc9a9a73430e2fe196c328e066b5a..aceb36abc9bf4a82ea9574fb7f33e9988681b7ee 100644 (file)
--- a/techlibs/ecp5/synth_ecp5.cc
+++ b/techlibs/ecp5/synth_ecp5.cc
@@ -334,7 +334,6 @@ struct SynthEcp5Pass : public ScriptPass
                                run("techmap -map +/ecp5/latches_map.v", "(skip if -asyncprld)");
 
                        if (abc9) {
-                               run("read_verilog -icells -lib -specify +/ecp5/abc9_model.v");
                                std::string abc9_opts;
                                if (nowidelut)
                                        abc9_opts += " -maxlut 4";