Special case in Verilog parser.

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) != '(' )

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                                ///
 ////////////////////////////////////////////////////////////////////////