ice40: Adding cell utilities for packing

Signed-off-by: David Shah <davey1576@gmail.com>

1 files changed, 54 insertions, 0 deletions

diff --git a/ice40/cells.h b/ice40/cells.h
new file mode 100644
index 00000000..1fa85413
--- /dev/null
+++ b/ice40/cells.h
@@ -0,0 +1,54 @@
+/*
+ *  nextpnr -- Next Generation Place and Route
+ *
+ *  Copyright (C) 2018  Clifford Wolf <clifford@clifford.at>
+ *
+ *  Permission to use, copy, modify, and/or distribute this software for any
+ *  purpose with or without fee is hereby granted, provided that the above
+ *  copyright notice and this permission notice appear in all copies.
+ *
+ *  THE SOFTWARE IS PROVIDED "AS IS" AND THE AUTHOR DISCLAIMS ALL WARRANTIES
+ *  WITH REGARD TO THIS SOFTWARE INCLUDING ALL IMPLIED WARRANTIES OF
+ *  MERCHANTABILITY AND FITNESS. IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR
+ *  ANY SPECIAL, DIRECT, INDIRECT, OR CONSEQUENTIAL DAMAGES OR ANY DAMAGES
+ *  WHATSOEVER RESULTING FROM LOSS OF USE, DATA OR PROFITS, WHETHER IN AN
+ *  ACTION OF CONTRACT, NEGLIGENCE OR OTHER TORTIOUS ACTION, ARISING OUT OF
+ *  OR IN CONNECTION WITH THE USE OR PERFORMANCE OF THIS SOFTWARE.
+ *
+ */
+
+#include "nextpnr.h"
+
+#ifndef ICE40_CELLS_H
+#define ICE40_CELLS_H
+
+// Create a standard iCE40 cell and return it
+// Name will be automatically assigned if not specified
+CellInfo *create_ice_cell(Design *design, IdString type,
+                          IdString name = IdString());
+
+// Return true if a cell is a LUT
+inline bool is_lut(const CellInfo *cell) { return cell->type == "SB_LUT4"; }
+
+// Return true if a cell is a flipflop
+inline bool is_ff(const CellInfo *cell)
+{
+    return cell->type == "SB_DFF" || cell->type == "SB_DFFE" ||
+           cell->type == "SB_DFFSR" || cell->type == "SB_DFFR" ||
+           cell->type == "SB_DFFSS" || cell->type == "SB_DFFS" ||
+           cell->type == "SB_DFFESR" || cell->type == "SB_DFFER" ||
+           cell->type == "SB_DFFESS" || cell->type == "SB_DFFES" ||
+           cell->type == "SB_DFFN" || cell->type == "SB_DFFNE" ||
+           cell->type == "SB_DFFNSR" || cell->type == "SB_DFFNR" ||
+           cell->type == "SB_DFFNSS" || cell->type == "SB_DFFNS" ||
+           cell->type == "SB_DFFNESR" || cell->type == "SB_DFFNER" ||
+           cell->type == "SB_DFFNESS" || cell->type == "SB_DFFNES";
+}
+
+// Convert a SB_DFFx primitive to (part of) an ICESTORM_LC, setting parameters
+// and reconnecting signals as necessary. If pass_thru_lut is True, the LUT will
+// be configured as pass through and D connected to I0, otherwise D will be
+// ignored
+void dff_to_lc(CellInfo *dff, CellInfo *lc, bool pass_thru_lut = false);
+
+#endif