diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2010-11-01 01:35:04 -0700 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2010-11-01 01:35:04 -0700 |
commit | 6130e39b18b5f53902e4eab14f6d5cdde5219563 (patch) | |
tree | 0db0628479a1b750e9af1f66cb8379ebd0913d31 /src/opt/fret/fretime.h | |
parent | f0e77f6797c0504b0da25a56152b707d3357f386 (diff) | |
download | abc-6130e39b18b5f53902e4eab14f6d5cdde5219563.tar.gz abc-6130e39b18b5f53902e4eab14f6d5cdde5219563.tar.bz2 abc-6130e39b18b5f53902e4eab14f6d5cdde5219563.zip |
initial commit of public abc
Diffstat (limited to 'src/opt/fret/fretime.h')
-rw-r--r-- | src/opt/fret/fretime.h | 30 |
1 files changed, 19 insertions, 11 deletions
diff --git a/src/opt/fret/fretime.h b/src/opt/fret/fretime.h index bbb79d26..2d70d7e3 100644 --- a/src/opt/fret/fretime.h +++ b/src/opt/fret/fretime.h @@ -21,8 +21,12 @@ #if !defined(RETIME_H_) #define RETIME_H_ + #include "abc.h" +ABC_NAMESPACE_HEADER_START + + // #define IGNORE_TIMING // #define DEBUG_PRINT_FLOWS // #define DEBUG_VISITED @@ -89,19 +93,19 @@ typedef struct MinRegMan_t_ { // problem description: int maxDelay; - bool fComputeInitState, fGuaranteeInitState, fBlockConst; + int fComputeInitState, fGuaranteeInitState, fBlockConst; int nNodes, nLatches; - bool fForwardOnly, fBackwardOnly; - bool fConservTimingOnly; + int fForwardOnly, fBackwardOnly; + int fConservTimingOnly; int nMaxIters; - bool fVerbose; + int fVerbose; Abc_Ntk_t *pNtk; int nPreRefine; // problem state - bool fIsForward; - bool fSinkDistTerminate; + int fIsForward; + int fSinkDistTerminate; int nExactConstraints, nConservConstraints; int fSolutionIsDc; int constraintMask; @@ -145,9 +149,9 @@ void print_node(Abc_Obj_t *pObj); void Abc_ObjBetterTransferFanout( Abc_Obj_t * pFrom, Abc_Obj_t * pTo, int compl ); -int Abc_FlowRetime_PushFlows( Abc_Ntk_t * pNtk, bool fVerbose ); -bool Abc_FlowRetime_IsAcrossCut( Abc_Obj_t *pCur, Abc_Obj_t *pNext ); -void Abc_FlowRetime_ClearFlows( bool fClearAll ); +int Abc_FlowRetime_PushFlows( Abc_Ntk_t * pNtk, int fVerbose ); +int Abc_FlowRetime_IsAcrossCut( Abc_Obj_t *pCur, Abc_Obj_t *pNext ); +void Abc_FlowRetime_ClearFlows( int fClearAll ); int Abc_FlowRetime_GetLag( Abc_Obj_t *pObj ); void Abc_FlowRetime_SetLag( Abc_Obj_t *pObj, int lag ); @@ -156,7 +160,7 @@ void Abc_FlowRetime_UpdateLags( ); void Abc_ObjPrintNeighborhood( Abc_Obj_t *pObj, int depth ); -Abc_Ntk_t * Abc_FlowRetime_NtkSilentRestrash( Abc_Ntk_t * pNtk, bool fCleanup ); +Abc_Ntk_t * Abc_FlowRetime_NtkSilentRestrash( Abc_Ntk_t * pNtk, int fCleanup ); /*=== fretFlow.c ==========================================================*/ @@ -188,10 +192,14 @@ void Abc_FlowRetime_RemoveInitBias( ); void Abc_FlowRetime_InitTiming( Abc_Ntk_t *pNtk ); void Abc_FlowRetime_FreeTiming( Abc_Ntk_t *pNtk ); -bool Abc_FlowRetime_RefineConstraints( ); +int Abc_FlowRetime_RefineConstraints( ); void Abc_FlowRetime_ConstrainConserv( Abc_Ntk_t * pNtk ); void Abc_FlowRetime_ConstrainExact( Abc_Obj_t * pObj ); void Abc_FlowRetime_ConstrainExactAll( Abc_Ntk_t * pNtk ); + + +ABC_NAMESPACE_HEADER_END + #endif |