diff options
Diffstat (limited to 'src/opt/ret/retCore.c')
-rw-r--r-- | src/opt/ret/retCore.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/opt/ret/retCore.c b/src/opt/ret/retCore.c index a0e66c92..93181898 100644 --- a/src/opt/ret/retCore.c +++ b/src/opt/ret/retCore.c @@ -84,7 +84,7 @@ int Abc_NtkRetime( Abc_Ntk_t * pNtk, int Mode, int fForwardOnly, int fBackwardOn RetValue += Abc_NtkRetimeIncremental( pNtk, 0, 1, fVerbose ); break; case 6: // Pan's algorithm - RetValue = Abc_NtkRetimeLValue( pNtk, 200, fVerbose ); + RetValue = Abc_NtkRetimeLValue( pNtk, 500, fVerbose ); break; default: printf( "Unknown retiming option.\n" ); |