diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2007-06-24 08:01:00 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2007-06-24 08:01:00 -0700 |
| commit | d6804597a397379f826810a736ccbe99bf56c497 (patch) | |
| tree | 9ead35b5d0dd58628c773576765b249c87c71dda /src/aig/dar/darUtil.c | |
| parent | d47752011d94805850f8713258634d1bde5e639f (diff) | |
| download | abc-d6804597a397379f826810a736ccbe99bf56c497.tar.gz abc-d6804597a397379f826810a736ccbe99bf56c497.tar.bz2 abc-d6804597a397379f826810a736ccbe99bf56c497.zip | |
Version abc70624
Diffstat (limited to 'src/aig/dar/darUtil.c')
| -rw-r--r-- | src/aig/dar/darUtil.c | 40 |
1 files changed, 40 insertions, 0 deletions
diff --git a/src/aig/dar/darUtil.c b/src/aig/dar/darUtil.c index 6458f0c2..052fad60 100644 --- a/src/aig/dar/darUtil.c +++ b/src/aig/dar/darUtil.c @@ -67,6 +67,26 @@ void Dar_ManIncrementTravId( Dar_Man_t * p ) /**Function************************************************************* + Synopsis [Collect the latches.] + + Description [] + + SideEffects [] + + SeeAlso [] + +***********************************************************************/ +int Dar_ManLevels( Dar_Man_t * p ) +{ + Dar_Obj_t * pObj; + int i, LevelMax = 0; + Dar_ManForEachPo( p, pObj, i ) + LevelMax = DAR_MAX( LevelMax, (int)Dar_ObjFanin0(pObj)->Level ); + return LevelMax; +} + +/**Function************************************************************* + Synopsis [Cleans the data pointers for the nodes.] Description [] @@ -316,6 +336,26 @@ Dar_Obj_t * Dar_ObjRecognizeMux( Dar_Obj_t * pNode, Dar_Obj_t ** ppNodeT, Dar_Ob return NULL; } +/**Function************************************************************* + + Synopsis [] + + Description [] + + SideEffects [] + + SeeAlso [] + +***********************************************************************/ +Dar_Obj_t * Dar_ObjReal_rec( Dar_Obj_t * pObj ) +{ + Dar_Obj_t * pObjNew, * pObjR = Dar_Regular(pObj); + if ( !Dar_ObjIsBuf(pObjR) ) + return pObj; + pObjNew = Dar_ObjReal_rec( Dar_ObjChild0(pObjR) ); + return Dar_NotCond( pObjNew, Dar_IsComplement(pObj) ); +} + /**Function************************************************************* |