From 5ebf135b6ab0fb5181e383a889f72f96b033adef Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Mon, 10 Nov 2014 14:55:27 -0800
Subject: Adding cyclicity check for netlist with boxes.

---
 src/base/io/ioUtil.c | 12 ++++++++++++
 1 file changed, 12 insertions(+)

(limited to 'src/base/io/ioUtil.c')

diff --git a/src/base/io/ioUtil.c b/src/base/io/ioUtil.c
index 24ed029a..671c6d56 100644
--- a/src/base/io/ioUtil.c
+++ b/src/base/io/ioUtil.c
@@ -158,7 +158,19 @@ Abc_Ntk_t * Io_ReadNetlist( char * pFileName, Io_FileType_t FileType, int fCheck
         return NULL;
     }
     if ( Abc_NtkBlackboxNum(pNtk) || Abc_NtkWhiteboxNum(pNtk) )
+    {
+        int i, fCycle = 0;
+        Abc_Ntk_t * pModel;
         fprintf( stdout, "Warning: The network contains hierarchy.\n" );
+        Vec_PtrForEachEntry( Abc_Ntk_t *, pNtk->pDesign->vModules, pModel, i )
+                if ( !Abc_NtkIsAcyclicWithBoxes( pModel ) )
+                    fCycle = 1;
+        if ( fCycle )
+        {
+            Abc_NtkDelete( pNtk );
+            return NULL;    
+        }
+    }
     return pNtk;
 }
 
-- 
cgit v1.2.3