Merge pull request #861 from os-fpga/checker_skip_unused_RAM_bits

checker: skip unused RAM output bits
os-fpga · Sep 23, 2024 · 3d0357a · 3d0357a
2 parents bdc6e98 + ea2c16a
commit 3d0357a
Show file tree

Hide file tree

Showing 3 changed files with 12 additions and 2 deletions.
diff --git a/planning/src/file_io/pln_blif_file.cpp b/planning/src/file_io/pln_blif_file.cpp
@@ -1571,10 +1571,17 @@ bool BLIF_file::linkNodes() noexcept {
   for (BNode* fab_nd : fabricNodes_) {
     BNode& nd = *fab_nd;
     assert(!nd.out_.empty());
-    if (nd.parent_) continue;
+    if (nd.parent_)
+      continue;
     int pinIndex = -1;
     BNode* par = findFabricParent(nd.id_, nd.out_, pinIndex);
     if (!par) {
+      if (nd.is_RAM()) {
+        // RAM output bits may be unused
+        if (trace_ >= 6)
+          lprintf("skipping dangling cell output issue for RAM");
+        continue;
+      }
       err_msg_ = "dangling cell output: ";
       err_msg_ += nd.out_;
       if (trace_ >= 2) {

diff --git a/planning/src/file_io/pln_blif_file.h b/planning/src/file_io/pln_blif_file.h
@@ -165,6 +165,9 @@ struct BLIF_file : public fio::MMapReader
     bool is_FF() const noexcept {
       return prim::pr_is_DFF(ptype_);
     }
+    bool is_RAM() const noexcept {
+      return prim::pr_is_RAM(ptype_);
+    }
 
     bool canDriveClockNode() const noexcept {
       return isTopInput() or is_CLK_BUF() or ptype_ == prim::I_SERDES;

diff --git a/planning/src/main.cpp b/planning/src/main.cpp
@@ -1,4 +1,4 @@
-static const char* _pln_VERSION_STR = "pln0340";
+static const char* _pln_VERSION_STR = "pln0341";
 
 #include "RS/rsEnv.h"
 #include "util/pln_log.h"