diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2011-07-29 16:21:25 +0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2011-07-29 16:21:25 +0700 |
| commit | dac71e9b3397eb545776f88e3a35f7343f0add00 (patch) | |
| tree | 392a7605d23267e44eff68b887103381be894004 /src/aig/saig/saigDup.c | |
| parent | ce38474c74176b25bb244f7d17777517f0e9e6e4 (diff) | |
| download | abc-dac71e9b3397eb545776f88e3a35f7343f0add00.tar.gz abc-dac71e9b3397eb545776f88e3a35f7343f0add00.tar.bz2 abc-dac71e9b3397eb545776f88e3a35f7343f0add00.zip | |
Added deriving abstraction in GIA from the precomputed flop map.
Diffstat (limited to 'src/aig/saig/saigDup.c')
| -rw-r--r-- | src/aig/saig/saigDup.c | 44 |
1 files changed, 22 insertions, 22 deletions
diff --git a/src/aig/saig/saigDup.c b/src/aig/saig/saigDup.c index b2b33bdb..103cdf7b 100644 --- a/src/aig/saig/saigDup.c +++ b/src/aig/saig/saigDup.c @@ -129,26 +129,6 @@ Aig_Man_t * Saig_ManCreateEquivMiter( Aig_Man_t * pAig, Vec_Int_t * vPairs ) /**Function************************************************************* - Synopsis [Duplicates the AIG manager recursively.] - - Description [] - - SideEffects [] - - SeeAlso [] - -***********************************************************************/ -Aig_Obj_t * Saig_ManAbstractionDfs_rec( Aig_Man_t * pNew, Aig_Obj_t * pObj ) -{ - if ( pObj->pData ) - return (Aig_Obj_t *)pObj->pData; - Saig_ManAbstractionDfs_rec( pNew, Aig_ObjFanin0(pObj) ); - Saig_ManAbstractionDfs_rec( pNew, Aig_ObjFanin1(pObj) ); - return (Aig_Obj_t *)(pObj->pData = Aig_And( pNew, Aig_ObjChild0Copy(pObj), Aig_ObjChild1Copy(pObj) )); -} - -/**Function************************************************************* - Synopsis [Trims the model by removing PIs without fanout.] Description [] @@ -193,6 +173,26 @@ Aig_Man_t * Saig_ManTrimPis( Aig_Man_t * p ) /**Function************************************************************* + Synopsis [Duplicates the AIG manager recursively.] + + Description [] + + SideEffects [] + + SeeAlso [] + +***********************************************************************/ +Aig_Obj_t * Saig_ManAbstractionDfs_rec( Aig_Man_t * pNew, Aig_Obj_t * pObj ) +{ + if ( pObj->pData ) + return (Aig_Obj_t *)pObj->pData; + Saig_ManAbstractionDfs_rec( pNew, Aig_ObjFanin0(pObj) ); + Saig_ManAbstractionDfs_rec( pNew, Aig_ObjFanin1(pObj) ); + return (Aig_Obj_t *)(pObj->pData = Aig_And( pNew, Aig_ObjChild0Copy(pObj), Aig_ObjChild1Copy(pObj) )); +} + +/**Function************************************************************* + Synopsis [Performs abstraction of the AIG to preserve the included flops.] Description [] @@ -202,14 +202,14 @@ Aig_Man_t * Saig_ManTrimPis( Aig_Man_t * p ) SeeAlso [] ***********************************************************************/ -Aig_Man_t * Saig_ManDeriveAbstraction( Aig_Man_t * p, Vec_Int_t * vFlops ) +Aig_Man_t * Saig_ManDupAbstraction( Aig_Man_t * p, Vec_Int_t * vFlops ) { Aig_Man_t * pNew;//, * pTemp; Aig_Obj_t * pObj, * pObjLi, * pObjLo; int i, Entry; Aig_ManCleanData( p ); // start the new manager - pNew = Aig_ManStart( Aig_ManNodeNum(p) ); + pNew = Aig_ManStart( 5000 ); pNew->pName = Aig_UtilStrsav( p->pName ); // map the constant node Aig_ManConst1(p)->pData = Aig_ManConst1( pNew ); |