diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2007-12-25 08:01:00 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2007-12-25 08:01:00 -0800 |
| commit | 00e9c3d06b590b0aac04bafddfd14115d14760f8 (patch) | |
| tree | ac9b977538874c9f3b16ac03de0fd7265d19e025 /src/base/io/ioReadBlifMv.c | |
| parent | 14c01eaccab87d14d1bd0eaa3fc491026349665e (diff) | |
| download | abc-00e9c3d06b590b0aac04bafddfd14115d14760f8.tar.gz abc-00e9c3d06b590b0aac04bafddfd14115d14760f8.tar.bz2 abc-00e9c3d06b590b0aac04bafddfd14115d14760f8.zip | |
Version abc71225
Diffstat (limited to 'src/base/io/ioReadBlifMv.c')
| -rw-r--r-- | src/base/io/ioReadBlifMv.c | 10 |
1 files changed, 8 insertions, 2 deletions
diff --git a/src/base/io/ioReadBlifMv.c b/src/base/io/ioReadBlifMv.c index 18578cbb..97f2fbf3 100644 --- a/src/base/io/ioReadBlifMv.c +++ b/src/base/io/ioReadBlifMv.c @@ -167,9 +167,9 @@ Abc_Ntk_t * Io_ReadBlifMv( char * pFileName, int fBlifMv, int fCheck ) pDesign = Io_MvParse( p ); if ( p->sError[0] ) fprintf( stdout, "%s\n", p->sError ); + Io_MvFree( p ); if ( pDesign == NULL ) return NULL; - Io_MvFree( p ); // pDesign should be linked to all models of the design // make sure that everything is okay with the network structure @@ -619,6 +619,12 @@ static void Io_MvReadPreparse( Io_MvMan_t * p ) fprintf( stdout, "Line %d: Skipping EXDC network.\n", Io_MvGetLine(p, pCur) ); break; } + else if ( !strncmp(pCur, "delay", 5) ) + {} + else if ( !strncmp(pCur, "input_arrival", 13) ) + {} + else if ( !strncmp(pCur, "output_required", 15) ) + {} else { pCur--; @@ -863,7 +869,7 @@ static int Io_MvParseLineLatch( Io_MvMod_t * p, char * pLine ) else { if ( Vec_PtrSize(vTokens) > 3 ) - Init = atoi( Vec_PtrEntry(vTokens,3) ); + Init = atoi( Vec_PtrEntryLast(vTokens) ); else Init = 2; if ( Init < 0 || Init > 2 ) |