Merge branch 'main' of github.com:os-fpga/yosys_verific_rs into task/EDA-3335/restructure_editing_tool

Author: behzadmehmood

CMakeLists.txt

@@ -17,7 +17,7 @@ set(VERSION_MINOR 0)
 
 
 
-set(VERSION_PATCH 383)
+set(VERSION_PATCH 384)
 
 
 

design_edit/src/rs_design_edit.cc

@@ -503,7 +503,8 @@ struct DesignEditRapidSilicon : public ScriptPass {
         if (in_bit.wire != nullptr)
         {
           remove_fab_prims.push_back(cell);
-          if (fab_ins.count(in_bit) && fab_outs.count(out_bit))
+          if (new_ins.find(in_bit.wire->name.str()) != new_ins.end() &&
+            new_outs.find(out_bit.wire->name.str()) != new_outs.end())
           {
             RTLIL::SigSig new_conn;
             new_conn.first = out_bit;
@@ -534,7 +535,8 @@ struct DesignEditRapidSilicon : public ScriptPass {
         if (in_bit.wire != nullptr)
         {
           remove_fab_prims.push_back(cell);
-          if (fab_ins.count(in_bit) && fab_outs.count(out_bit))
+          if (new_ins.find(in_bit.wire->name.str()) != new_ins.end() &&
+            new_outs.find(out_bit.wire->name.str()) != new_outs.end())
           {
             RTLIL::SigSig new_conn;
             new_conn.first = out_bit;
@@ -568,6 +570,7 @@ struct DesignEditRapidSilicon : public ScriptPass {
       if (cell->type == RTLIL::escape_id("O_FAB") ||
         cell->type == RTLIL::escape_id("I_FAB")) continue;
 
+      string module_name = remove_backslashes(cell->type.str());
       for (auto conn : cell->connections())
       {
         IdString portName = conn.first;
@@ -577,22 +580,44 @@ struct DesignEditRapidSilicon : public ScriptPass {
         {
           if (ofab_sig_map.count(bit))
           {
-            const std::vector<RTLIL::SigBit> outbits = ofab_sig_map[bit];
-            if(outbits.size() < 1) sigspec.append(bit);
-            if(outbits.size() == 1)
+            
+            if ((std::find(primitives.begin(), primitives.end(), module_name) !=
+                primitives.end()) && cell->input(portName))
             {
+              const std::vector<RTLIL::SigBit> outbits = ofab_sig_map[bit];
+              RTLIL::SigSig new_conn;
+              RTLIL::Wire *new_wire = mod->addWire(NEW_ID, 1);
+              new_outs.erase(bit.wire->name.str());
+              new_outs.insert(new_wire->name.str());
+              new_conn.first = new_wire;
+              new_conn.second = outbits[0];
+              mod->connect(new_conn);
               if (unset_port)
-              {
-                cell->unsetPort(portName);
-                unset_port = false;
-              }
-              sigspec.append(outbits[0]);
-            } else if (outbits.size() > 1)
+                {
+                  cell->unsetPort(portName);
+                  unset_port = false;
+                }
+                sigspec.append(new_wire);
+            }
+            else
             {
-              sigspec.append(bit);
-              if (ofab_conns.find(bit) == ofab_conns.end())
+              const std::vector<RTLIL::SigBit> outbits = ofab_sig_map[bit];
+              if(outbits.size() < 1) sigspec.append(bit);
+              if(outbits.size() == 1)
               {
-                ofab_conns.insert({bit, outbits});
+                if (unset_port)
+                {
+                  cell->unsetPort(portName);
+                  unset_port = false;
+                }
+                sigspec.append(outbits[0]);
+              } else if (outbits.size() > 1)
+              {
+                sigspec.append(bit);
+                if (ofab_conns.find(bit) == ofab_conns.end())
+                {
+                  ofab_conns.insert({bit, outbits});
+                }
               }
             }
           } else {
@@ -1487,6 +1512,7 @@ struct DesignEditRapidSilicon : public ScriptPass {
       elapsed_time (start, end);
       intersection_copy_remove(new_ins, new_outs, interface_wires);
       intersect(interface_wires, keep_wires);
+      remove_io_fab_prim(original_mod);
     }
 
     Module *wrapper_mod = original_mod->clone();
@@ -1610,8 +1636,6 @@ struct DesignEditRapidSilicon : public ScriptPass {
 
       get_fabric_ios(original_mod);
 
-      remove_io_fab_prim(original_mod);
-
       start = high_resolution_clock::now();
       log("Deleting non-primitive cells\n");
       for (auto cell : wrapper_mod->cells()) {