diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2008-03-26 08:01:00 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2008-03-26 08:01:00 -0700 |
| commit | e258fcb2cd0cb0bca2bb077b2e5954b7be02b1c3 (patch) | |
| tree | 8056eb71a429208d41735b2be3e237d3ef8e25ff /src/base/abci/abcTiming.c | |
| parent | 85207c7568dd2edac04e97ecdf59c2d684d1cb91 (diff) | |
| download | abc-e258fcb2cd0cb0bca2bb077b2e5954b7be02b1c3.tar.gz abc-e258fcb2cd0cb0bca2bb077b2e5954b7be02b1c3.tar.bz2 abc-e258fcb2cd0cb0bca2bb077b2e5954b7be02b1c3.zip | |
Version abc80326
Diffstat (limited to 'src/base/abci/abcTiming.c')
| -rw-r--r-- | src/base/abci/abcTiming.c | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/src/base/abci/abcTiming.c b/src/base/abci/abcTiming.c index 967e4617..be16da95 100644 --- a/src/base/abci/abcTiming.c +++ b/src/base/abci/abcTiming.c @@ -795,6 +795,7 @@ void Abc_NtkUpdateLevel( Abc_Obj_t * pObjNew, Vec_Vec_t * vLevels ) { Abc_Obj_t * pFanout, * pTemp; int LevelOld, Lev, k, m; +// int Counter = 0, CounterMax = 0; // check if level has changed LevelOld = Abc_ObjLevel(pObjNew); if ( LevelOld == Abc_ObjLevelNew(pObjNew) ) @@ -808,6 +809,7 @@ void Abc_NtkUpdateLevel( Abc_Obj_t * pObjNew, Vec_Vec_t * vLevels ) // recursively update level Vec_VecForEachEntryStart( vLevels, pTemp, Lev, k, LevelOld ) { +// Counter--; pTemp->fMarkA = 0; assert( Abc_ObjLevel(pTemp) == Lev ); Abc_ObjSetLevel( pTemp, Abc_ObjLevelNew(pTemp) ); @@ -821,10 +823,13 @@ void Abc_NtkUpdateLevel( Abc_Obj_t * pObjNew, Vec_Vec_t * vLevels ) { assert( Abc_ObjLevel(pFanout) >= Lev ); Vec_VecPush( vLevels, Abc_ObjLevel(pFanout), pFanout ); +// Counter++; +// CounterMax = ABC_MAX( CounterMax, Counter ); pFanout->fMarkA = 1; } } } +// printf( "%d ", CounterMax ); } /**Function************************************************************* |