diff options
Diffstat (limited to 'src/base/wlc/wlcReadVer.c')
| -rw-r--r-- | src/base/wlc/wlcReadVer.c | 53 |
1 files changed, 53 insertions, 0 deletions
diff --git a/src/base/wlc/wlcReadVer.c b/src/base/wlc/wlcReadVer.c index 0eca5c26..d831cb07 100644 --- a/src/base/wlc/wlcReadVer.c +++ b/src/base/wlc/wlcReadVer.c @@ -481,6 +481,32 @@ char * Wlc_PrsConvertInitValues( Wlc_Ntk_t * p ) SeeAlso [] ***********************************************************************/ +int Wlc_PrsCheckBitConst0( Wlc_Ntk_t * p, int NameId ) +{ + Wlc_Obj_t * pObj = Wlc_NtkObj( p, NameId ); + int * pInits; + if ( Wlc_ObjRange(pObj) != 1 ) + return 0; + while ( pObj->Type == WLC_OBJ_BUF ) + pObj = Wlc_NtkObj( p, Wlc_ObjFaninId0(pObj) ); + if ( pObj->Type != WLC_OBJ_CONST ) + return 0; + pInits = Wlc_ObjConstValue(pObj); + return Abc_InfoHasBit((unsigned *)pInits, 0) == 0; +} + + +/**Function************************************************************* + + Synopsis [] + + Description [] + + SideEffects [] + + SeeAlso [] + +***********************************************************************/ static inline char * Wlc_PrsFindRange( char * pStr, int * End, int * Beg ) { *End = *Beg = 0; @@ -1033,6 +1059,18 @@ startword: p->pNtk->pInits = Wlc_PrsConvertInitValues( p->pNtk ); //printf( "%s\n", p->pNtk->pInits ); } + if ( p->pNtk->vArsts ) + { + int i, NameIdArst; + Vec_IntForEachEntry( p->pNtk->vArsts, NameIdArst, i ) + { + if ( Wlc_PrsCheckBitConst0(p->pNtk, NameIdArst) ) + continue; + p->pNtk->fAsyncRst = 1; + printf( "Detected async reset \"%s\".\n", Abc_NamStr(p->pNtk->pManName, NameIdArst) ); + break; + } + } if ( p->vPoPairs ) { assert( Vec_StrEntryLast(p->vPoPairs) == 0 ); @@ -1236,6 +1274,21 @@ startword: if ( pStart == NULL ) break; pStart = Wlc_PrsSkipSpaces( pStart+1 ); + if ( !p->pNtk->fAsyncRst && !strncmp(pStart, "arst", 4) && pStart[4] != 'v' ) + { + int NameIdArst; + pStart = Wlc_PrsFindSymbol( pStart, '(' ); + if ( pStart == NULL ) + return Wlc_PrsWriteErrorMessage( p, pStart, "Cannot read opening parenthesis in the flop description." ); + pStart = Wlc_PrsFindName( pStart+1, &pName ); + if ( pStart == NULL ) + return Wlc_PrsWriteErrorMessage( p, pStart, "Cannot read name inside flop description." ); + NameIdArst = Abc_NamStrFindOrAdd( p->pNtk->pManName, pName, &fFound ); + if ( p->pNtk->vArsts == NULL ) + p->pNtk->vArsts = Vec_IntAlloc( 100 ); + Vec_IntPushUnique( p->pNtk->vArsts, NameIdArst ); + continue; + } if ( pStart[0] != 'd' && (pStart[0] != 'q' || pStart[1] == 'b') && strncmp(pStart, "arstval", 7) ) continue; fFlopIn = (pStart[0] == 'd'); |