abc70930: src/opt/ret/retInt.h Source File

00001 
00021 #ifndef __RET_INT_H__
00022 #define __RET_INT_H__
00023 
00027 
00028 #include "abc.h"
00029 
00033 
00037 
00041 
00045 
00046 /*=== retArea.c ========================================================*/
00047 extern int         Abc_NtkRetimeMinArea( Abc_Ntk_t * pNtk, int fForwardOnly, int fBackwardOnly, int fVerbose );
00048 /*=== retCore.c ========================================================*/
00049 extern int         Abc_NtkRetime( Abc_Ntk_t * pNtk, int Mode, int fForwardOnly, int fBackwardOnly, int fOneStep, int fVerbose );
00050 /*=== retDelay.c ========================================================*/
00051 extern int         Abc_NtkRetimeMinDelay( Abc_Ntk_t * pNtk, Abc_Ntk_t * pNtkCopy, int nIterLimit, int fForward, int fVerbose );
00052 /*=== retDirect.c ========================================================*/
00053 extern int         Abc_NtkRetimeIncremental( Abc_Ntk_t * pNtk, int fForward, int fMinDelay, int fOneStep, int fVerbose );
00054 extern void        Abc_NtkRetimeShareLatches( Abc_Ntk_t * pNtk, int fInitial );
00055 extern int         Abc_NtkRetimeNodeIsEnabled( Abc_Obj_t * pObj, int fForward );
00056 extern void        Abc_NtkRetimeNode( Abc_Obj_t * pObj, int fForward, int fInitial );
00057 extern st_table *  Abc_NtkRetimePrepareLatches( Abc_Ntk_t * pNtk );
00058 extern int         Abc_NtkRetimeFinalizeLatches( Abc_Ntk_t * pNtk, st_table * tLatches, int nIdMaxStart );
00059 /*=== retFlow.c ========================================================*/
00060 extern void        Abc_NtkMaxFlowTest( Abc_Ntk_t * pNtk );
00061 extern Vec_Ptr_t * Abc_NtkMaxFlow( Abc_Ntk_t * pNtk, int fForward, int fVerbose );
00062 /*=== retInit.c ========================================================*/
00063 extern Vec_Int_t * Abc_NtkRetimeInitialValues( Abc_Ntk_t * pNtkSat, Vec_Int_t * vValues, int fVerbose );
00064 extern int         Abc_ObjSopSimulate( Abc_Obj_t * pObj );
00065 extern void        Abc_NtkRetimeTranferToCopy( Abc_Ntk_t * pNtk );
00066 extern void        Abc_NtkRetimeTranferFromCopy( Abc_Ntk_t * pNtk );
00067 extern Vec_Int_t * Abc_NtkRetimeCollectLatchValues( Abc_Ntk_t * pNtk );
00068 extern void        Abc_NtkRetimeInsertLatchValues( Abc_Ntk_t * pNtk, Vec_Int_t * vValues );
00069 extern Abc_Ntk_t * Abc_NtkRetimeBackwardInitialStart( Abc_Ntk_t * pNtk );
00070 extern void        Abc_NtkRetimeBackwardInitialFinish( Abc_Ntk_t * pNtk, Abc_Ntk_t * pNtkNew, Vec_Int_t * vValuesOld, int fVerbose );
00071 /*=== retLvalue.c ========================================================*/
00072 extern int         Abc_NtkRetimeLValue( Abc_Ntk_t * pNtk, int nIterLimit, int fVerbose );
00073 
00074 #endif
00075 
00079 
00080