ABC: A System for Sequential Synthesis and Verification
 
Loading...
Searching...
No Matches
sfmMit.c File Reference
#include "sfmInt.h"
Include dependency graph for sfmMit.c:

Go to the source code of this file.

Classes

struct  Sfm_Mit_t_
 DECLARATIONS ///. More...
 

Functions

Sfm_Mit_tSfm_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)
 

Function Documentation

◆ Sfm_MitEvalRemapping()

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 )

Definition at line 64 of file sfmMit.c.

64{ return 0;}
Here is the caller graph for this function:

◆ Sfm_MitNodeIsNonCritical()

int Sfm_MitNodeIsNonCritical ( Sfm_Mit_t * p,
Abc_Obj_t * pPivot,
Abc_Obj_t * pNode )

Definition at line 63 of file sfmMit.c.

63{ return 0;}

◆ Sfm_MitPriorityNodes()

int Sfm_MitPriorityNodes ( Sfm_Mit_t * p,
Vec_Int_t * vCands,
int Window )

Definition at line 62 of file sfmMit.c.

62{ return 0;}
Here is the caller graph for this function:

◆ Sfm_MitReadNtkDelay()

int Sfm_MitReadNtkDelay ( Sfm_Mit_t * p)

Definition at line 54 of file sfmMit.c.

54{ return 0;}

◆ Sfm_MitReadNtkMinSlack()

int Sfm_MitReadNtkMinSlack ( Sfm_Mit_t * p)

Definition at line 55 of file sfmMit.c.

55{ return 0;}

◆ Sfm_MitReadObjDelay()

int Sfm_MitReadObjDelay ( Sfm_Mit_t * p,
int iObj )

Definition at line 56 of file sfmMit.c.

56{ return 0;}

◆ Sfm_MitSortArrayByArrival()

int Sfm_MitSortArrayByArrival ( Sfm_Mit_t * p,
Vec_Int_t * vNodes,
int iPivot )

Definition at line 61 of file sfmMit.c.

61{ return 0;}
Here is the caller graph for this function:

◆ Sfm_MitStart()

Sfm_Mit_t * Sfm_MitStart ( Mio_Library_t * pLib,
SC_Lib * pScl,
Scl_Con_t * pExt,
Abc_Ntk_t * pNtk,
int DeltaCrit )

FUNCTION DEFINITIONS ///.

Function*************************************************************

Synopsis [Temporary place holders.]

Description []

SideEffects []

SeeAlso []

Definition at line 52 of file sfmMit.c.

52{ return NULL; }
Here is the caller graph for this function:

◆ Sfm_MitStop()

void Sfm_MitStop ( Sfm_Mit_t * p)

Definition at line 53 of file sfmMit.c.

53{}
Here is the caller graph for this function:

◆ Sfm_MitTimingGrow()

void Sfm_MitTimingGrow ( Sfm_Mit_t * p)

Definition at line 58 of file sfmMit.c.

58{};
Here is the caller graph for this function:

◆ Sfm_MitTransferLoad()

void Sfm_MitTransferLoad ( Sfm_Mit_t * p,
Abc_Obj_t * pNew,
Abc_Obj_t * pOld )

Definition at line 57 of file sfmMit.c.

57{};
Here is the caller graph for this function:

◆ Sfm_MitUpdateLoad()

void Sfm_MitUpdateLoad ( Sfm_Mit_t * p,
Vec_Int_t * vTimeNodes,
int fAdd )

Definition at line 59 of file sfmMit.c.

59{}
Here is the caller graph for this function:

◆ Sfm_MitUpdateTiming()

void Sfm_MitUpdateTiming ( Sfm_Mit_t * p,
Vec_Int_t * vTimeNodes )

Definition at line 60 of file sfmMit.c.

60{}
Here is the caller graph for this function: