From 301b46e3c137a3969246ec81d923fe3c106d55a7 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Sun, 25 May 2025 18:45:59 -0700
Subject: [PATCH] Fixiing BLIF reader to read Yosys constants.

---
 src/base/abc/abcNtk.c | 18 ++++++++++++++++++
 1 file changed, 18 insertions(+)

diff --git a/src/base/abc/abcNtk.c b/src/base/abc/abcNtk.c
index 1477c3cc4..1b823cf00 100644
--- a/src/base/abc/abcNtk.c
+++ b/src/base/abc/abcNtk.c
@@ -1564,6 +1564,24 @@ void Abc_NtkFixNonDrivenNets( Abc_Ntk_t * pNtk )
         return;
 
     // special case
+    pNet = Abc_NtkFindNet( pNtk, "$false" );
+    if ( pNet != NULL )
+    {
+        pNode = Abc_NtkCreateNodeConst0( pNtk );
+        Abc_ObjAddFanin( pNet, pNode );
+    }
+    pNet = Abc_NtkFindNet( pNtk, "$undef" );
+    if ( pNet != NULL )
+    {
+        pNode = Abc_NtkCreateNodeConst0( pNtk );
+        Abc_ObjAddFanin( pNet, pNode );
+    }
+    pNet = Abc_NtkFindNet( pNtk, "$true" );
+    if ( pNet != NULL )
+    {
+        pNode = Abc_NtkCreateNodeConst1( pNtk );
+        Abc_ObjAddFanin( pNet, pNode );
+    }
     pNet = Abc_NtkFindNet( pNtk, "[_c1_]" );
     if ( pNet != NULL )
     {