diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2013-07-21 14:56:30 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2013-07-21 14:56:30 -0700 |
| commit | a9afe7e8b7392242446e562f97dc13698005c682 (patch) | |
| tree | d56754c8ff7916b1ea20609a3016d20683dedf77 /src/map/scl/sclMan.h | |
| parent | 710835f8d60d5f7cab27fad6547be5f5cb1733a2 (diff) | |
| download | abc-a9afe7e8b7392242446e562f97dc13698005c682.tar.gz abc-a9afe7e8b7392242446e562f97dc13698005c682.tar.bz2 abc-a9afe7e8b7392242446e562f97dc13698005c682.zip | |
Improvements to post-mapping re-sizing.
Diffstat (limited to 'src/map/scl/sclMan.h')
| -rw-r--r-- | src/map/scl/sclMan.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/map/scl/sclMan.h b/src/map/scl/sclMan.h index a6bdd806..54a6022a 100644 --- a/src/map/scl/sclMan.h +++ b/src/map/scl/sclMan.h @@ -114,7 +114,7 @@ static inline float Abc_SclObjGetSlackF( SC_Man * p, Abc_Obj_t * pObj, float static inline float Abc_SclObjSlack( SC_Man * p, Abc_Obj_t * pObj ) { return p->pSlack[Abc_ObjId(pObj)]; } static inline void Abc_SclObjDupFanin( SC_Man * p, Abc_Obj_t * pObj ) { assert( Abc_ObjIsCo(pObj) ); *Abc_SclObjTime(p, pObj) = *Abc_SclObjTime(p, Abc_ObjFanin0(pObj)); } -static inline float Abc_SclObjGain( SC_Man * p, Abc_Obj_t * pObj ) { return (Abc_SclObjTime2(p, pObj)->rise - Abc_SclObjTime(p, pObj)->rise) + (Abc_SclObjTime2(p, pObj)->fall - Abc_SclObjTime(p, pObj)->fall); } +static inline float Abc_SclObjGain( SC_Man * p, Abc_Obj_t * pObj ) { return 0.5*((Abc_SclObjTime2(p, pObj)->rise - Abc_SclObjTime(p, pObj)->rise) + (Abc_SclObjTime2(p, pObj)->fall - Abc_SclObjTime(p, pObj)->fall)); } static inline int Abc_SclObjLegal( SC_Man * p, Abc_Obj_t * pObj, float D ) { return Abc_SclObjTime(p, pObj)->rise <= Abc_SclObjTime2(p, pObj)->rise + Abc_SclObjGetSlackR(p, pObj, D) && Abc_SclObjTime(p, pObj)->fall <= Abc_SclObjTime2(p, pObj)->fall + Abc_SclObjGetSlackF(p, pObj, D); } static inline double Abc_SclObjLoadFf( SC_Man * p, Abc_Obj_t * pObj, int fRise ) { return SC_LibCapFf( p->pLib, fRise ? Abc_SclObjLoad(p, pObj)->rise : Abc_SclObjLoad(p, pObj)->fall); } |