diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2017-01-02 17:15:00 +0700 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2017-01-02 17:15:00 +0700 |
commit | daf310cd4a98a941df164fc1deca6803723389c8 (patch) | |
tree | 7cde25c30bd65777104a9bff7eda8fe7207a994d | |
parent | 74c8d35f330f80e6e489f6829288093e798fbfc2 (diff) | |
download | abc-daf310cd4a98a941df164fc1deca6803723389c8.tar.gz abc-daf310cd4a98a941df164fc1deca6803723389c8.tar.bz2 abc-daf310cd4a98a941df164fc1deca6803723389c8.zip |
Updates to delay optimization project.
-rw-r--r-- | src/opt/sbd/sbdPath.c | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/src/opt/sbd/sbdPath.c b/src/opt/sbd/sbdPath.c index 417cb407..3a040e1e 100644 --- a/src/opt/sbd/sbdPath.c +++ b/src/opt/sbd/sbdPath.c @@ -61,12 +61,14 @@ int Sbc_ManAddInternalToPath_rec( Gia_Man_t * p, int iObj, Vec_Bit_t * vPath ) } void Sbc_ManAddInternalToPath( Gia_Man_t * p, Vec_Bit_t * vPath ) { - int iObj; + int k, iFan, iObj; Gia_ManForEachLut( p, iObj ) { if ( !Vec_BitEntry(vPath, iObj) ) continue; Gia_ManIncrementTravId( p ); + Gia_LutForEachFanin( p, iObj, iFan, k ) + Gia_ObjSetTravIdCurrentId(p, iFan); Sbc_ManAddInternalToPath_rec( p, iObj, vPath ); } } @@ -106,7 +108,7 @@ Vec_Bit_t * Sbc_ManCriticalPath( Gia_Man_t * p ) pLevels = Vec_IntArray( p->vLevels ); Gia_ManIncrementTravId( p ); Gia_ManForEachCoDriverId( p, iDriver, k ) - if ( pLevels[iDriver] == nLevels && iDriver ) + if ( (pLevels[iDriver] == nLevels) && iDriver ) Sbc_ManCriticalPath_rec( p, pLevels, iDriver, nLevels-1, vPath ); if ( !p->pManTime ) ABC_FREE( pLevels ); |