diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2005-10-01 08:01:00 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2005-10-01 08:01:00 -0700 |
| commit | 78fbd336aa584c4d285123ad18617aa9277016b4 (patch) | |
| tree | 5d65fe6b080dc85b1456320f60555ba33bab9b09 /src/base/abcs/abcRetCore.c | |
| parent | 0af9acd0cd07dcb37c195c6a0832b82c0eca1193 (diff) | |
| download | abc-78fbd336aa584c4d285123ad18617aa9277016b4.tar.gz abc-78fbd336aa584c4d285123ad18617aa9277016b4.tar.bz2 abc-78fbd336aa584c4d285123ad18617aa9277016b4.zip | |
Version abc51001
Diffstat (limited to 'src/base/abcs/abcRetCore.c')
| -rw-r--r-- | src/base/abcs/abcRetCore.c | 18 |
1 files changed, 9 insertions, 9 deletions
diff --git a/src/base/abcs/abcRetCore.c b/src/base/abcs/abcRetCore.c index f6ba0c59..22735597 100644 --- a/src/base/abcs/abcRetCore.c +++ b/src/base/abcs/abcRetCore.c @@ -46,7 +46,7 @@ SeeAlso [] ***********************************************************************/ -void Abc_NtkSeqRetimeForward( Abc_Ntk_t * pNtk ) +void Abc_NtkSeqRetimeForward( Abc_Ntk_t * pNtk, int fVerbose ) { Vec_Ptr_t * vMoves; Abc_Obj_t * pNode; @@ -72,7 +72,7 @@ void Abc_NtkSeqRetimeForward( Abc_Ntk_t * pNtk ) SeeAlso [] ***********************************************************************/ -void Abc_NtkSeqRetimeBackward( Abc_Ntk_t * pNtk ) +void Abc_NtkSeqRetimeBackward( Abc_Ntk_t * pNtk, int fVerbose ) { Vec_Ptr_t * vMoves; Abc_Obj_t * pNode; @@ -83,7 +83,7 @@ void Abc_NtkSeqRetimeBackward( Abc_Ntk_t * pNtk ) Vec_PtrForEachEntryReverse( vMoves, pNode, i ) Abc_ObjRetimeForwardTry( pNode, 1 ); // implement this backward retiming - RetValue = Abc_NtkImplementRetimingBackward( pNtk, vMoves ); + RetValue = Abc_NtkImplementRetimingBackward( pNtk, vMoves, fVerbose ); Vec_PtrFree( vMoves ); if ( RetValue == 0 ) printf( "Retiming completed but initial state computation has failed.\n" ); @@ -100,14 +100,14 @@ void Abc_NtkSeqRetimeBackward( Abc_Ntk_t * pNtk ) SeeAlso [] ***********************************************************************/ -void Abc_NtkSeqRetimeDelay( Abc_Ntk_t * pNtk ) +void Abc_NtkSeqRetimeDelay( Abc_Ntk_t * pNtk, int fVerbose ) { Vec_Str_t * vLags; int RetValue; // get the retiming vector - vLags = Abc_NtkSeqRetimeDelayLags( pNtk ); + vLags = Abc_NtkSeqRetimeDelayLags( pNtk, fVerbose ); // implement this retiming - RetValue = Abc_NtkImplementRetiming( pNtk, vLags ); + RetValue = Abc_NtkImplementRetiming( pNtk, vLags, fVerbose ); Vec_StrFree( vLags ); if ( RetValue == 0 ) printf( "Retiming completed but initial state computation has failed.\n" ); @@ -124,14 +124,14 @@ void Abc_NtkSeqRetimeDelay( Abc_Ntk_t * pNtk ) SeeAlso [] ***********************************************************************/ -void Abc_NtkSeqRetimeInitial( Abc_Ntk_t * pNtk ) +void Abc_NtkSeqRetimeInitial( Abc_Ntk_t * pNtk, int fVerbose ) { Vec_Str_t * vLags; int RetValue; // get the retiming vector - vLags = Abc_NtkSeqRetimeDelayLags( pNtk ); + vLags = Abc_NtkSeqRetimeDelayLags( pNtk, fVerbose ); // implement this retiming - RetValue = Abc_NtkImplementRetiming( pNtk, vLags ); + RetValue = Abc_NtkImplementRetiming( pNtk, vLags, fVerbose ); Vec_StrFree( vLags ); if ( RetValue == 0 ) printf( "Retiming completed but initial state computation has failed.\n" ); |