diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2019-12-06 02:19:50 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2019-12-06 02:19:50 -0800 |
| commit | 24d9ce6baff9f8155faa5a64873ede0ef58ef924 (patch) | |
| tree | 85da1b7ed6424725e768a47b24ceff8e8e1a6acb | |
| parent | 95a6aa285c3afb6f4c5ea82a1105fb0d64f71a7d (diff) | |
| download | abc-24d9ce6baff9f8155faa5a64873ede0ef58ef924.tar.gz abc-24d9ce6baff9f8155faa5a64873ede0ef58ef924.tar.bz2 abc-24d9ce6baff9f8155faa5a64873ede0ef58ef924.zip | |
Special case in Verilog parser.
| -rw-r--r-- | src/base/ver/verCore.c | 2 | ||||
| -rw-r--r-- | src/base/ver/verStream.c | 18 |
2 files changed, 20 insertions, 0 deletions
diff --git a/src/base/ver/verCore.c b/src/base/ver/verCore.c index d8d87f4c..183b1ded 100644 --- a/src/base/ver/verCore.c +++ b/src/base/ver/verCore.c @@ -1329,6 +1329,7 @@ int Ver_ParseAssign( Ver_Man_t * pMan, Abc_Ntk_t * pNtk ) ***********************************************************************/ int Ver_ParseGateStandard( Ver_Man_t * pMan, Abc_Ntk_t * pNtk, Ver_GateType_t GateType ) { + extern void Ver_StreamMove( Ver_Stream_t * p ); Ver_Stream_t * p = pMan->pReader; Abc_Obj_t * pNet, * pNode; char * pWord, Symbol; @@ -1336,6 +1337,7 @@ int Ver_ParseGateStandard( Ver_Man_t * pMan, Abc_Ntk_t * pNtk, Ver_GateType_t Ga // convert from the blackbox into the network with local functions representated by AIGs if ( !Ver_ParseConvertNetwork( pMan, pNtk, pMan->fMapped ) ) return 0; + Ver_StreamMove( p ); // this is gate name - throw it away if ( Ver_StreamPopChar(p) != '(' ) diff --git a/src/base/ver/verStream.c b/src/base/ver/verStream.c index b1051a77..134bb2f9 100644 --- a/src/base/ver/verStream.c +++ b/src/base/ver/verStream.c @@ -441,6 +441,24 @@ char * Ver_StreamGetWord( Ver_Stream_t * p, char * pCharsToStop ) return NULL; } +/**Function************************************************************* + + Synopsis [] + + Description [] + + SideEffects [] + + SeeAlso [] + +***********************************************************************/ +void Ver_StreamMove( Ver_Stream_t * p ) +{ + if ( !strncmp(p->pBufferCur+1, "z_g_", 4) ) + while ( p->pBufferCur[0] != '(' ) + p->pBufferCur++; +} + //////////////////////////////////////////////////////////////////////// /// END OF FILE /// //////////////////////////////////////////////////////////////////////// |