ABC: A System for Sequential Synthesis and Verification
 
Loading...
Searching...
No Matches
sfmMit.c
Go to the documentation of this file.
1
20
21#include "sfmInt.h"
22
24
28
30{
31 int Value1;
32 int Value2;
33 int Value3;
34 int Value4;
35};
36
40
52Sfm_Mit_t * Sfm_MitStart( Mio_Library_t * pLib, SC_Lib * pScl, Scl_Con_t * pExt, Abc_Ntk_t * pNtk, int DeltaCrit ) { return NULL; }
54int Sfm_MitReadNtkDelay( Sfm_Mit_t * p ) { return 0;}
55int Sfm_MitReadNtkMinSlack( Sfm_Mit_t * p ) { return 0;}
56int Sfm_MitReadObjDelay( Sfm_Mit_t * p, int iObj ) { return 0;}
57void Sfm_MitTransferLoad( Sfm_Mit_t * p, Abc_Obj_t * pNew, Abc_Obj_t * pOld ) {};
59void Sfm_MitUpdateLoad( Sfm_Mit_t * p, Vec_Int_t * vTimeNodes, int fAdd ) {}
60void Sfm_MitUpdateTiming( Sfm_Mit_t * p, Vec_Int_t * vTimeNodes ) {}
61int Sfm_MitSortArrayByArrival( Sfm_Mit_t * p, Vec_Int_t * vNodes, int iPivot ) { return 0;}
62int Sfm_MitPriorityNodes( Sfm_Mit_t * p, Vec_Int_t * vCands, int Window ) { return 0;}
63int Sfm_MitNodeIsNonCritical( Sfm_Mit_t * p, Abc_Obj_t * pPivot, Abc_Obj_t * pNode ) { return 0;}
64int 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;}
65
66
70
71
73
struct Abc_Obj_t_ Abc_Obj_t
Definition abc.h:116
struct Abc_Ntk_t_ Abc_Ntk_t
Definition abc.h:115
#define ABC_NAMESPACE_IMPL_START
#define ABC_NAMESPACE_IMPL_END
typedefABC_NAMESPACE_IMPL_START struct Vec_Int_t_ Vec_Int_t
DECLARATIONS ///.
Definition bblif.c:37
Cube * p
Definition exorList.c:222
struct Mio_LibraryStruct_t_ Mio_Library_t
Definition mio.h:42
struct Mio_GateStruct_t_ Mio_Gate_t
Definition mio.h:43
typedefABC_NAMESPACE_HEADER_START struct Scl_Con_t_ Scl_Con_t
DECLARATIONS ///.
Definition sclCon.h:30
struct SC_Lib_ SC_Lib
Definition sclLib.h:128
struct Sfm_Mit_t_ Sfm_Mit_t
Definition sfmInt.h:69
void Sfm_MitTimingGrow(Sfm_Mit_t *p)
Definition sfmMit.c:58
void Sfm_MitUpdateTiming(Sfm_Mit_t *p, Vec_Int_t *vTimeNodes)
Definition sfmMit.c:60
void Sfm_MitTransferLoad(Sfm_Mit_t *p, Abc_Obj_t *pNew, Abc_Obj_t *pOld)
Definition sfmMit.c:57
void Sfm_MitStop(Sfm_Mit_t *p)
Definition sfmMit.c:53
int Sfm_MitReadNtkDelay(Sfm_Mit_t *p)
Definition sfmMit.c:54
void Sfm_MitUpdateLoad(Sfm_Mit_t *p, Vec_Int_t *vTimeNodes, int fAdd)
Definition sfmMit.c:59
int Sfm_MitReadObjDelay(Sfm_Mit_t *p, int iObj)
Definition sfmMit.c:56
int Sfm_MitPriorityNodes(Sfm_Mit_t *p, Vec_Int_t *vCands, int Window)
Definition sfmMit.c:62
int Sfm_MitSortArrayByArrival(Sfm_Mit_t *p, Vec_Int_t *vNodes, int iPivot)
Definition sfmMit.c:61
int Sfm_MitNodeIsNonCritical(Sfm_Mit_t *p, Abc_Obj_t *pPivot, Abc_Obj_t *pNode)
Definition sfmMit.c:63
int Sfm_MitReadNtkMinSlack(Sfm_Mit_t *p)
Definition sfmMit.c:55
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 sfmMit.c:64
Sfm_Mit_t * Sfm_MitStart(Mio_Library_t *pLib, SC_Lib *pScl, Scl_Con_t *pExt, Abc_Ntk_t *pNtk, int DeltaCrit)
FUNCTION DEFINITIONS ///.
Definition sfmMit.c:52
DECLARATIONS ///.
Definition sfmMit.c:30
int Value1
Definition sfmMit.c:31
int Value3
Definition sfmMit.c:33
int Value2
Definition sfmMit.c:32
int Value4
Definition sfmMit.c:34