diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2014-11-10 14:55:27 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2014-11-10 14:55:27 -0800 |
| commit | 5ebf135b6ab0fb5181e383a889f72f96b033adef (patch) | |
| tree | 42de118ee23f1302a3aa862994ecc0424fd18eb7 /src/base/io/ioUtil.c | |
| parent | 873c35018a5caa27be6670a13eeeacfc5479e66b (diff) | |
| download | abc-5ebf135b6ab0fb5181e383a889f72f96b033adef.tar.gz abc-5ebf135b6ab0fb5181e383a889f72f96b033adef.tar.bz2 abc-5ebf135b6ab0fb5181e383a889f72f96b033adef.zip | |
Adding cyclicity check for netlist with boxes.
Diffstat (limited to 'src/base/io/ioUtil.c')
| -rw-r--r-- | src/base/io/ioUtil.c | 12 |
1 files changed, 12 insertions, 0 deletions
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; } |