diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2012-10-11 23:25:40 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2012-10-11 23:25:40 -0700 |
| commit | 7235d740106836196b0e06d9672c818f52f73d97 (patch) | |
| tree | 3e3b2df2412c927a958acda09e9fd53df5948701 /src | |
| parent | 0294fc78614941994906c2e5b480a6ea870d2d95 (diff) | |
| download | abc-7235d740106836196b0e06d9672c818f52f73d97.tar.gz abc-7235d740106836196b0e06d9672c818f52f73d97.tar.bz2 abc-7235d740106836196b0e06d9672c818f52f73d97.zip | |
Bug fix in hierarchical BLIF reader.
Diffstat (limited to 'src')
| -rw-r--r-- | src/base/io/ioReadBlifMv.c | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/src/base/io/ioReadBlifMv.c b/src/base/io/ioReadBlifMv.c index bbaad423..ab40065e 100644 --- a/src/base/io/ioReadBlifMv.c +++ b/src/base/io/ioReadBlifMv.c @@ -1272,7 +1272,7 @@ static int Io_MvParseLineSubckt( Io_MvMod_t * p, char * pLine ) return 0; } */ - if ( k == nEquals ) + if ( pName2 == NULL ) { Abc_Obj_t * pNode = Abc_NtkCreateNode( p->pNtk ); pNode->pData = Abc_SopRegister( (Mem_Flex_t *)p->pNtk->pManFunc, " 0\n" ); @@ -1313,11 +1313,10 @@ static int Io_MvParseLineSubckt( Io_MvMod_t * p, char * pLine ) return 0; } */ - assert( pName2 != NULL ); // create the BI with the actual name pTerm = Abc_NtkCreateBo( p->pNtk ); - pNet = Abc_NtkFindOrCreateNet( p->pNtk, k == nEquals ? Abc_ObjNameSuffix(pTerm, "abc") : pName2 ); + pNet = Abc_NtkFindOrCreateNet( p->pNtk, pName2 == NULL ? Abc_ObjNameSuffix(pTerm, "abc") : pName2 ); Abc_ObjAddFanin( pNet, pTerm ); Abc_ObjAddFanin( pTerm, pBox ); } |