Go to the source code of this file.
|
| Sfm_Mit_t * | Sfm_MitStart (Mio_Library_t *pLib, SC_Lib *pScl, Scl_Con_t *pExt, Abc_Ntk_t *pNtk, int DeltaCrit) |
| | FUNCTION DEFINITIONS ///.
|
| |
| void | Sfm_MitStop (Sfm_Mit_t *p) |
| |
| int | Sfm_MitReadNtkDelay (Sfm_Mit_t *p) |
| |
| int | Sfm_MitReadNtkMinSlack (Sfm_Mit_t *p) |
| |
| int | Sfm_MitReadObjDelay (Sfm_Mit_t *p, int iObj) |
| |
| void | Sfm_MitTransferLoad (Sfm_Mit_t *p, Abc_Obj_t *pNew, Abc_Obj_t *pOld) |
| |
| void | Sfm_MitTimingGrow (Sfm_Mit_t *p) |
| |
| 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) |
| |
| int | Sfm_MitPriorityNodes (Sfm_Mit_t *p, Vec_Int_t *vCands, int Window) |
| |
| int | Sfm_MitNodeIsNonCritical (Sfm_Mit_t *p, Abc_Obj_t *pPivot, Abc_Obj_t *pNode) |
| |
| 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) |
| |
◆ Sfm_MitEvalRemapping()
◆ Sfm_MitNodeIsNonCritical()
◆ Sfm_MitPriorityNodes()
◆ Sfm_MitReadNtkDelay()
◆ Sfm_MitReadNtkMinSlack()
◆ Sfm_MitReadObjDelay()
| int Sfm_MitReadObjDelay |
( |
Sfm_Mit_t * | p, |
|
|
int | iObj ) |
◆ Sfm_MitSortArrayByArrival()
◆ Sfm_MitStart()
FUNCTION DEFINITIONS ///.
Function*************************************************************
Synopsis [Temporary place holders.]
Description []
SideEffects []
SeeAlso []
Definition at line 52 of file sfmMit.c.
◆ Sfm_MitStop()
◆ Sfm_MitTimingGrow()
◆ Sfm_MitTransferLoad()
◆ Sfm_MitUpdateLoad()
◆ Sfm_MitUpdateTiming()