diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2013-02-19 23:51:13 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2013-02-19 23:51:13 -0800 |
| commit | a82b0a8ad5887df664d474b58347296f93cec01c (patch) | |
| tree | 351e8b38e52bdee386d4b3d060025d71e41eed5a /src/aig | |
| parent | 59fe3268a788722dcae9615e014270fe8be3599b (diff) | |
| download | abc-a82b0a8ad5887df664d474b58347296f93cec01c.tar.gz abc-a82b0a8ad5887df664d474b58347296f93cec01c.tar.bz2 abc-a82b0a8ad5887df664d474b58347296f93cec01c.zip | |
New command &cycle, which is faster than 'cycle'.
Diffstat (limited to 'src/aig')
| -rw-r--r-- | src/aig/gia/gia.h | 1 | ||||
| -rw-r--r-- | src/aig/gia/giaDup.c | 49 |
2 files changed, 50 insertions, 0 deletions
diff --git a/src/aig/gia/gia.h b/src/aig/gia/gia.h index 07a839ae..a3a3564d 100644 --- a/src/aig/gia/gia.h +++ b/src/aig/gia/gia.h @@ -813,6 +813,7 @@ extern Gia_Man_t * Gia_ManDupOrderDfsReverse( Gia_Man_t * p ); extern Gia_Man_t * Gia_ManDupOutputGroup( Gia_Man_t * p, int iOutStart, int iOutStop ); extern Gia_Man_t * Gia_ManDupOrderAiger( Gia_Man_t * p ); extern Gia_Man_t * Gia_ManDupFlip( Gia_Man_t * p, int * pInitState ); +extern Gia_Man_t * Gia_ManDupCycled( Gia_Man_t * pAig, int nFrames ); extern Gia_Man_t * Gia_ManDup( Gia_Man_t * p ); extern Gia_Man_t * Gia_ManDupPerm( Gia_Man_t * p, Vec_Int_t * vPiPerm ); extern void Gia_ManDupAppend( Gia_Man_t * p, Gia_Man_t * pTwo ); diff --git a/src/aig/gia/giaDup.c b/src/aig/gia/giaDup.c index d1a115a5..735bd566 100644 --- a/src/aig/gia/giaDup.c +++ b/src/aig/gia/giaDup.c @@ -395,6 +395,55 @@ Gia_Man_t * Gia_ManDupFlip( Gia_Man_t * p, int * pInitState ) /**Function************************************************************* + Synopsis [Cycles AIG using random input.] + + Description [] + + SideEffects [] + + SeeAlso [] + +***********************************************************************/ +void Gia_ManCycle( Gia_Man_t * p, int nFrames ) +{ + Gia_Obj_t * pObj, * pObjRi, * pObjRo; + int i, k; +// Gia_ManRandom( 1 ); + // assign random primary inputs + Gia_ManForEachPi( p, pObj, k ) + pObj->fMark0 = (1 & Gia_ManRandom(0)); + // iterate for the given number of frames + for ( i = 0; i < nFrames; i++ ) + { + Gia_ManForEachAnd( p, pObj, k ) + pObj->fMark0 = (Gia_ObjFanin0(pObj)->fMark0 ^ Gia_ObjFaninC0(pObj)) & + (Gia_ObjFanin1(pObj)->fMark0 ^ Gia_ObjFaninC1(pObj)); + Gia_ManForEachCo( p, pObj, k ) + pObj->fMark0 = Gia_ObjFanin0(pObj)->fMark0 ^ Gia_ObjFaninC0(pObj); + Gia_ManForEachRiRo( p, pObjRi, pObjRo, k ) + pObjRo->fMark0 = pObjRi->fMark0; + } +} +Gia_Man_t * Gia_ManDupCycled( Gia_Man_t * p, int nFrames ) +{ + Gia_Man_t * pNew; + Vec_Int_t * vInits; + Gia_Obj_t * pObj; + int i; + Gia_ManCleanMark0(p); + Gia_ManCycle( p, nFrames ); + vInits = Vec_IntAlloc( Gia_ManRegNum(p) ); + Gia_ManForEachRo( p, pObj, i ) + Vec_IntPush( vInits, pObj->fMark0 ); + pNew = Gia_ManDupFlip( p, Vec_IntArray(vInits) ); + Vec_IntFree( vInits ); + Gia_ManCleanMark0(p); + return pNew; +} + + +/**Function************************************************************* + Synopsis [Duplicates AIG without any changes.] Description [] |