diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2006-12-10 08:01:00 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2006-12-10 08:01:00 -0800 |
| commit | ae037e45038cca6f0b86abea50692399a03b01be (patch) | |
| tree | 6419a88dd09a51011be3fa98199775ae3cf68fae /src/opt/ret/retCore.c | |
| parent | b9abf9c00c02feb52a2c796199343acebe20d8ef (diff) | |
| download | abc-ae037e45038cca6f0b86abea50692399a03b01be.tar.gz abc-ae037e45038cca6f0b86abea50692399a03b01be.tar.bz2 abc-ae037e45038cca6f0b86abea50692399a03b01be.zip | |
Version abc61210
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" ); |