diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2012-06-28 17:06:02 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2012-06-28 17:06:02 -0700 |
| commit | 311486d91037ceebea5402c2c8ed7b12bf7fb734 (patch) | |
| tree | c48c9d3df052aad8ba93480eb4f8c19570eff834 /src | |
| parent | 520c436d28d03b0d3652f4c4d6b7c01b74afbe90 (diff) | |
| download | abc-311486d91037ceebea5402c2c8ed7b12bf7fb734.tar.gz abc-311486d91037ceebea5402c2c8ed7b12bf7fb734.tar.bz2 abc-311486d91037ceebea5402c2c8ed7b12bf7fb734.zip | |
Gate level abstraction (command &gla).
Diffstat (limited to 'src')
| -rw-r--r-- | src/aig/gia/giaAbsGla.c | 21 |
1 files changed, 13 insertions, 8 deletions
diff --git a/src/aig/gia/giaAbsGla.c b/src/aig/gia/giaAbsGla.c index 368505e9..17296cf2 100644 --- a/src/aig/gia/giaAbsGla.c +++ b/src/aig/gia/giaAbsGla.c @@ -403,22 +403,27 @@ int Gia_GlaAbsCount( Gla_Man_t * p, int fRo, int fAnd ) Synopsis [Derives new abstraction map.] - Description [] + Description [Returns 1 if node contains abstracted leaf on the path.] SideEffects [] SeeAlso [] ***********************************************************************/ -void Gla_ManTranslate_rec( Gia_Man_t * p, Gia_Obj_t * pObj, Vec_Int_t * vMap ) +int Gla_ManTranslate_rec( Gia_Man_t * p, Gia_Obj_t * pObj, Vec_Int_t * vMap ) { + int Value0, Value1; if ( Gia_ObjIsTravIdCurrent(p, pObj) ) - return; + return 1; Gia_ObjSetTravIdCurrent(p, pObj); + if ( Gia_ObjIsCi(pObj) ) + return 0; assert( Gia_ObjIsAnd(pObj) ); - Gla_ManTranslate_rec( p, Gia_ObjFanin0(pObj), vMap ); - Gla_ManTranslate_rec( p, Gia_ObjFanin1(pObj), vMap ); - Vec_IntWriteEntry( vMap, Gia_ObjId(p, pObj), 1 ); + Value0 = Gla_ManTranslate_rec( p, Gia_ObjFanin0(pObj), vMap ); + Value1 = Gla_ManTranslate_rec( p, Gia_ObjFanin1(pObj), vMap ); + if ( Value0 || Value1 ) + Vec_IntWriteEntry( vMap, Gia_ObjId(p, pObj), 1 ); + return Value0 || Value1; } Vec_Int_t * Gla_ManTranslate( Gla_Man_t * p ) { @@ -429,15 +434,15 @@ Vec_Int_t * Gla_ManTranslate( Gla_Man_t * p ) vRes = Vec_IntStart( Gia_ManObjNum(p->pGia) ); Gla_ManForEachObjAbs( p, pObj ) { - pGiaObj = Gla_ManGiaObj( p, pObj ); Vec_IntWriteEntry( vRes, pObj->iGiaObj, 1 ); + pGiaObj = Gla_ManGiaObj( p, pObj ); if ( Gia_ObjIsConst0(pGiaObj) || Gia_ObjIsRo(p->pGia, pGiaObj) ) continue; assert( Gia_ObjIsAnd(pGiaObj) ); Gia_ManIncrementTravId( p->pGia ); Gla_ObjForEachFanin( p, pObj, pFanin, k ) Gia_ObjSetTravIdCurrent( p->pGia, Gla_ManGiaObj(p, pFanin) ); - Gla_ManTranslate_rec( p->pGia, Gla_ManGiaObj(p, pObj), vRes ); + Gla_ManTranslate_rec( p->pGia, pGiaObj, vRes ); } return vRes; } |