diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2013-08-06 12:22:13 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2013-08-06 12:22:13 -0700 |
| commit | 7a6f335ea6c4be27479b94ac68fca57e813acd7c (patch) | |
| tree | f1f32b8063caebdee521bce7fb2fab7c8a63e025 /src/map/scl/sclSize.h | |
| parent | cb99a2212df80a324ffae67c804f50079336dcd4 (diff) | |
| download | abc-7a6f335ea6c4be27479b94ac68fca57e813acd7c.tar.gz abc-7a6f335ea6c4be27479b94ac68fca57e813acd7c.tar.bz2 abc-7a6f335ea6c4be27479b94ac68fca57e813acd7c.zip | |
Improvements to buffering and sizing.
Diffstat (limited to 'src/map/scl/sclSize.h')
| -rw-r--r-- | src/map/scl/sclSize.h | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/map/scl/sclSize.h b/src/map/scl/sclSize.h index c467ba1c..9656b55a 100644 --- a/src/map/scl/sclSize.h +++ b/src/map/scl/sclSize.h @@ -122,6 +122,7 @@ static inline int Abc_SclObjLegal( SC_Man * p, Abc_Obj_t * pObj, float 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); } static inline double Abc_SclObjTimePs( SC_Man * p, Abc_Obj_t * pObj, int fRise ) { return SC_LibTimePs(p->pLib, fRise ? Abc_SclObjTime(p, pObj)->rise : Abc_SclObjTime(p, pObj)->fall); } static inline double Abc_SclObjSlewPs( SC_Man * p, Abc_Obj_t * pObj, int fRise ) { return SC_LibTimePs(p->pLib, fRise ? Abc_SclObjSlew(p, pObj)->rise : Abc_SclObjSlew(p, pObj)->fall); } +static inline double Abc_SclObjSlackPs( SC_Man * p, Abc_Obj_t * pObj ) { return SC_LibTimePs(p->pLib, Abc_SclObjSlack(p, pObj)); } //////////////////////////////////////////////////////////////////////// /// FUNCTION DEFINITIONS /// @@ -397,7 +398,7 @@ extern Abc_Ntk_t * Abc_SclUnBufferPerform( Abc_Ntk_t * pNtk, int fVerbose ); extern Abc_Ntk_t * Abc_SclUnBufferPhase( Abc_Ntk_t * pNtk, int fVerbose ); extern Abc_Ntk_t * Abc_SclBufferPhase( Abc_Ntk_t * pNtk, int fVerbose ); extern int Abc_SclCheckNtk( Abc_Ntk_t * p, int fVerbose ); -extern Abc_Ntk_t * Abc_SclPerformBuffering( Abc_Ntk_t * p, int Degree, int fUseInvs, int fVerbose ); +extern Abc_Ntk_t * Abc_SclPerformBuffering( Abc_Ntk_t * p, int DegreeR, int Degree, int fUseInvs, int fVerbose ); extern Abc_Ntk_t * Abc_SclBufPerform( Abc_Ntk_t * pNtk, int FanMin, int FanMax, int fBufPis, int fVerbose ); /*=== sclDnsize.c ===============================================================*/ extern void Abc_SclDnsizePerform( SC_Lib * pLib, Abc_Ntk_t * pNtk, SC_SizePars * pPars ); |