Searched refs:LevelFan (Results 1 – 2 of 2) sorted by relevance
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/opt/sbd/ |
H A D | sbdPath.c | 88 void Sbc_ManCriticalPath_rec( Gia_Man_t * p, int * pLevels, int iObj, int LevelFan, Vec_Bit_t * vPa… in Sbc_ManCriticalPath_rec() argument 108 if ( (pLevels[iDriver]+Slack >= LevelFan-1) && iDriver ) in Sbc_ManCriticalPath_rec() 109 …p, pLevels, iDriver, pLevels[iDriver], vPath, Abc_MaxInt(0, pLevels[iDriver]+Slack-(LevelFan-1)) ); in Sbc_ManCriticalPath_rec() 116 if ( pLevels[iFan]+Slack >= LevelFan-1 ) in Sbc_ManCriticalPath_rec() 117 …ath_rec( p, pLevels, iFan, pLevels[iFan], vPath, Abc_MaxInt(0, pLevels[iFan]+Slack-(LevelFan-1)) ); in Sbc_ManCriticalPath_rec()
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/gia/ |
H A D | giaIf.c | 179 int LevelFan = pLevels[Gia_ObjFaninId0p(p, pObj)]; in Gia_ManLutLevel() local 180 Level = Abc_MaxInt( Level, LevelFan ); in Gia_ManLutLevel() 181 pLevels[Gia_ObjId(p, pObj)] = LevelFan; in Gia_ManLutLevel()
|