Add ice40 box files

[yosys.git] / techlibs / ice40 / synth_ice40.cc

diff --git a/techlibs/ice40/synth_ice40.cc b/techlibs/ice40/synth_ice40.cc
index 6c77e5482068fd0d64c9903aa0b17ab46c4fcfce..3faa10b4f90560b49e7724414a4c29ff0ce95854 100644 (file)
--- a/techlibs/ice40/synth_ice40.cc
+++ b/techlibs/ice40/synth_ice40.cc
@@ -316,7 +316,14 @@ struct SynthIce40Pass : public ScriptPass
                                run("techmap -map +/gate2lut.v -D LUT_WIDTH=4", "(only if -noabc)");
                        }
                        if (!noabc) {
-                               run(abc + " -dress -lut 4", "(skip if -noabc)");
+                               if (abc == "abc9") {
+                                       run("read_verilog +/ice40/cells_box.v");
+                                       run("techmap -map +/techmap.v A:abc_box_id");
+                                       run(abc + " -dress -lut +/ice40/lut.lut -box +/ice40/cells.box", "(skip if -noabc)");
+                                       run("blackbox A:abc_box_id");
+                               }
+                               else
+                                       run(abc + " -lut 4", "(skip if -noabc)");
                        }
                        run("clean");
                        if (relut || help_mode) {