diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2013-04-18 18:32:58 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2013-04-18 18:32:58 -0700 |
| commit | df198d2cef85624ff351359ca4f9d5d55c7369ab (patch) | |
| tree | 4647636038123ce4aae620c80eeda3c9b2680dfd /src/base/io | |
| parent | c80fce00fe8d9d2eb2db4bbb59eb2d4ee291e66b (diff) | |
| download | abc-df198d2cef85624ff351359ca4f9d5d55c7369ab.tar.gz abc-df198d2cef85624ff351359ca4f9d5d55c7369ab.tar.bz2 abc-df198d2cef85624ff351359ca4f9d5d55c7369ab.zip | |
Enabled 'cec' to be applied to networks derived from BLIF with EXDCs.
Diffstat (limited to 'src/base/io')
| -rw-r--r-- | src/base/io/ioReadBlifMv.c | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/src/base/io/ioReadBlifMv.c b/src/base/io/ioReadBlifMv.c index 5b2a760a..e14c22c2 100644 --- a/src/base/io/ioReadBlifMv.c +++ b/src/base/io/ioReadBlifMv.c @@ -210,7 +210,7 @@ Abc_Ntk_t * Io_ReadBlifMv( char * pFileName, int fBlifMv, int fCheck ) { pNtk = (Abc_Ntk_t *)Vec_PtrEntry(pDesign->vModules, 0); Vec_PtrForEachEntryStart( Abc_Ntk_t *, pDesign->vModules, pExdc, i, 1 ) - if ( !strcmp(pExdc->pName, "exdc") ) + if ( !strcmp(pExdc->pName, "EXDC") ) { assert( pNtk->pExdc == NULL ); pNtk->pExdc = pExdc; @@ -678,7 +678,8 @@ static void Io_MvReadPreparse( Io_MvMan_t * p ) } else if ( !strncmp(pCur, "exdc", 4) ) { - fprintf( stdout, "Line %d: The design contains EXDC network (warning only).\n", Io_MvGetLine(p, pCur) ); +// fprintf( stdout, "Line %d: The design contains EXDC network (warning only).\n", Io_MvGetLine(p, pCur) ); + fprintf( stdout, "Warning: The design contains EXDC network.\n" ); if ( p->pLatest ) Vec_PtrPush( p->vModels, p->pLatest ); p->pLatest = Io_MvModAlloc(); @@ -928,7 +929,7 @@ static int Io_MvParseLineModel( Io_MvMod_t * p, char * pLine ) if ( pLine == NULL ) { p->pNtk = Abc_NtkAlloc( ABC_NTK_NETLIST, ABC_FUNC_SOP, 1 ); - p->pNtk->pName = Extra_UtilStrsav( "exdc" ); + p->pNtk->pName = Extra_UtilStrsav( "EXDC" ); return 1; } Io_MvSplitIntoTokens( vTokens, pLine, '\0' ); |