diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2015-12-21 23:22:17 -1000 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2015-12-21 23:22:17 -1000 |
commit | 2e8543fca129fd149b419ccd2549046d95ba225f (patch) | |
tree | 9f4c45c4ba31ebda9323f0b62fdd0f195ee09a10 /src | |
parent | 1228e26cc359367254e6aa1a8e04d7c3579993b5 (diff) | |
download | abc-2e8543fca129fd149b419ccd2549046d95ba225f.tar.gz abc-2e8543fca129fd149b419ccd2549046d95ba225f.tar.bz2 abc-2e8543fca129fd149b419ccd2549046d95ba225f.zip |
Adding names to GIA inputs/outputs. Changing polarity of invariant generated by PDR.
Diffstat (limited to 'src')
-rw-r--r-- | src/base/wlc/wlcBlast.c | 34 |
1 files changed, 34 insertions, 0 deletions
diff --git a/src/base/wlc/wlcBlast.c b/src/base/wlc/wlcBlast.c index 1e1fcb40..fac1ff45 100644 --- a/src/base/wlc/wlcBlast.c +++ b/src/base/wlc/wlcBlast.c @@ -1024,6 +1024,40 @@ Gia_Man_t * Wlc_NtkBitBlast( Wlc_Ntk_t * p, Vec_Int_t * vBoxIds ) Gia_ManStop( pTemp ); //Tim_ManPrint( pManTime ); } + // create input names + pNew->vNamesIn = Vec_PtrAlloc( Gia_ManCiNum(pNew) ); + Wlc_NtkForEachCi( p, pObj, i ) + { + char * pName = Wlc_ObjName(p, Wlc_ObjId(p, pObj)); + nRange = Wlc_ObjRange( pObj ); + if ( nRange == 1 ) + Vec_PtrPush( pNew->vNamesIn, Abc_UtilStrsav(pName) ); + else + for ( k = 0; k < nRange; k++ ) + { + char Buffer[1000]; + sprintf( Buffer, "%s[%d]", pName, k ); + Vec_PtrPush( pNew->vNamesIn, Abc_UtilStrsav(Buffer) ); + } + } + assert( Vec_PtrSize(pNew->vNamesIn) == Gia_ManCiNum(pNew) ); + // create output names + pNew->vNamesOut = Vec_PtrAlloc( Gia_ManCoNum(pNew) ); + Wlc_NtkForEachCo( p, pObj, i ) + { + char * pName = Wlc_ObjName(p, Wlc_ObjId(p, pObj)); + nRange = Wlc_ObjRange( pObj ); + if ( nRange == 1 ) + Vec_PtrPush( pNew->vNamesOut, Abc_UtilStrsav(pName) ); + else + for ( k = 0; k < nRange; k++ ) + { + char Buffer[1000]; + sprintf( Buffer, "%s[%d]", pName, k ); + Vec_PtrPush( pNew->vNamesOut, Abc_UtilStrsav(Buffer) ); + } + } + assert( Vec_PtrSize(pNew->vNamesOut) == Gia_ManCoNum(pNew) ); return pNew; } |