From ae037e45038cca6f0b86abea50692399a03b01be Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Sun, 10 Dec 2006 08:01:00 -0800 Subject: Version abc61210 --- src/opt/ret/retCore.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src/opt/ret/retCore.c') 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" ); -- cgit v1.2.3