diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2015-11-08 20:03:18 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2015-11-08 20:03:18 -0800 |
| commit | 232bffd3a290ad77abfc6e114bae0469588c277c (patch) | |
| tree | df0d3784fdf9779379eda434174461a803cb5c78 /src | |
| parent | 3c9f7d2bc8180462635eda6e1c7ae5b4208f2078 (diff) | |
| download | abc-232bffd3a290ad77abfc6e114bae0469588c277c.tar.gz abc-232bffd3a290ad77abfc6e114bae0469588c277c.tar.bz2 abc-232bffd3a290ad77abfc6e114bae0469588c277c.zip | |
Extending and improving timing manager.
Diffstat (limited to 'src')
| -rw-r--r-- | src/opt/sfm/sfmMit.c | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/opt/sfm/sfmMit.c b/src/opt/sfm/sfmMit.c index f36fce83..d37aad98 100644 --- a/src/opt/sfm/sfmMit.c +++ b/src/opt/sfm/sfmMit.c @@ -53,11 +53,12 @@ Sfm_Mit_t * Sfm_MitStart( Mio_Library_t * pLib, SC_Lib * pScl, Scl_Con_t * pExt void Sfm_MitStop( Sfm_Mit_t * p ) {} int Sfm_MitReadNtkDelay( Sfm_Mit_t * p ) { return 0;} int Sfm_MitReadObjDelay( Sfm_Mit_t * p, int iObj ) { return 0;} +void Sfm_MitUpdateLoad( Sfm_Mit_t * p, Vec_Int_t * vTimeNodes, int fAdd ) {} void Sfm_MitUpdateTiming( Sfm_Mit_t * p, Vec_Int_t * vTimeNodes ) {} int Sfm_MitSortArrayByArrival( Sfm_Mit_t * p, Vec_Int_t * vNodes, int iPivot ) { return 0;} int Sfm_MitPriorityNodes( Sfm_Mit_t * p, Vec_Int_t * vCands, int Window ) { return 0;} int Sfm_MitNodeIsNonCritical( Sfm_Mit_t * p, Abc_Obj_t * pPivot, Abc_Obj_t * pNode ) { return 0;} -int Sfm_MitEvalRemapping( Sfm_Mit_t * p, Vec_Int_t * vFanins, Vec_Int_t * vMap, Mio_Gate_t * pGate1, char * pFans1, Mio_Gate_t * pGate2, char * pFans2 ) { return 0;} +int Sfm_MitEvalRemapping( Sfm_Mit_t * p, Vec_Int_t * vMffc, Abc_Obj_t * pObj, Vec_Int_t * vFanins, Vec_Int_t * vMap, Mio_Gate_t * pGate1, char * pFans1, Mio_Gate_t * pGate2, char * pFans2 ) { return 0;} //////////////////////////////////////////////////////////////////////// |