Check for memories in clk2fflogic

diff --git a/passes/sat/clk2fflogic.cc b/passes/sat/clk2fflogic.cc
index ef6d5dd72c76c90e3c6ec31802993c72fd5deff4..fbd71fe58bed67d4c9e8468073a1621312b854e4 100644 (file)
--- a/passes/sat/clk2fflogic.cc
+++ b/passes/sat/clk2fflogic.cc
@@ -72,6 +72,11 @@ struct Clk2fflogicPass : public Pass {
 
                        for (auto cell : vector<Cell*>(module->selected_cells()))
                        {
+                               if (cell->type.in("$mem"))
+                               {
+                                       log_error("Currently there is no support for memories in clk2fflogic. Run memory_map first to convert memories to logic.\n");
+                               }
+
                                if (cell->type.in("$dlatch"))
                                {
                                        bool enpol = cell->parameters["\\EN_POLARITY"].as_bool();