diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2011-09-22 09:37:44 -0700 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2011-09-22 09:37:44 -0700 |
commit | 8f74276edbe2cf8d62485ab6bd08c68198a1f0e8 (patch) | |
tree | 1418f220748141519e92556fdff6d5d684903f75 /src/aig/gia/giaAbs.c | |
parent | 81b040e61c80e7a2d977b5fcf6266ec3460e395c (diff) | |
download | abc-8f74276edbe2cf8d62485ab6bd08c68198a1f0e8.tar.gz abc-8f74276edbe2cf8d62485ab6bd08c68198a1f0e8.tar.bz2 abc-8f74276edbe2cf8d62485ab6bd08c68198a1f0e8.zip |
Initial changes to enable gate-level abstraction.
Diffstat (limited to 'src/aig/gia/giaAbs.c')
-rw-r--r-- | src/aig/gia/giaAbs.c | 30 |
1 files changed, 2 insertions, 28 deletions
diff --git a/src/aig/gia/giaAbs.c b/src/aig/gia/giaAbs.c index 9791e5f8..f5327f8f 100644 --- a/src/aig/gia/giaAbs.c +++ b/src/aig/gia/giaAbs.c @@ -111,32 +111,6 @@ Vec_Int_t * Gia_ManClasses2Flops( Vec_Int_t * vFlopClasses ) /**Function************************************************************* - Synopsis [Performs abstraction on the AIG manager.] - - Description [] - - SideEffects [] - - SeeAlso [] - -***********************************************************************/ -Gia_Man_t * Gia_ManDupAbstractionAig( Gia_Man_t * p, Vec_Int_t * vFlops ) -{ - Gia_Man_t * pGia; - Aig_Man_t * pNew, * pTemp; - pNew = Gia_ManToAig( p, 0 ); - pNew = Saig_ManDupAbstraction( pTemp = pNew, vFlops ); - Aig_ManStop( pTemp ); - pGia = Gia_ManFromAig( pNew ); -// pGia->vCiNumsOrig = pNew->vCiNumsOrig; -// pNew->vCiNumsOrig = NULL; - Aig_ManStop( pNew ); - return pGia; - -} - -/**Function************************************************************* - Synopsis [Starts abstraction by computing latch map.] Description [] @@ -281,7 +255,7 @@ int Gia_ManCbaPerform( Gia_Man_t * pGia, void * pPars ) pGia->vFlopClasses = Vec_IntStart( Gia_ManRegNum(pGia) ); } // derive abstraction - pAbs = Gia_ManDupAbstraction( pGia, pGia->vFlopClasses ); + pAbs = Gia_ManDupAbsFlops( pGia, pGia->vFlopClasses ); pAig = Gia_ManToAigSimple( pAbs ); Gia_ManStop( pAbs ); // refine abstraction using CBA @@ -343,7 +317,7 @@ int Gia_ManPbaPerform( Gia_Man_t * pGia, int nStart, int nFrames, int nConfLimit return 0; } // derive abstraction - pAbs = Gia_ManDupAbstraction( pGia, pGia->vFlopClasses ); + pAbs = Gia_ManDupAbsFlops( pGia, pGia->vFlopClasses ); // refine abstraction using PBA pAig = Gia_ManToAigSimple( pAbs ); Gia_ManStop( pAbs ); |