diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2013-07-21 16:36:15 -0700 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2013-07-21 16:36:15 -0700 |
commit | 1bdb3773f9971a49e7bdcee8f82353cf32f4b61e (patch) | |
tree | 8c2be8de9e0843319ec3db66fb5af4ad3e0d53a6 /src/map/scl | |
parent | a9afe7e8b7392242446e562f97dc13698005c682 (diff) | |
download | abc-1bdb3773f9971a49e7bdcee8f82353cf32f4b61e.tar.gz abc-1bdb3773f9971a49e7bdcee8f82353cf32f4b61e.tar.bz2 abc-1bdb3773f9971a49e7bdcee8f82353cf32f4b61e.zip |
New technology mapper.
Diffstat (limited to 'src/map/scl')
-rw-r--r-- | src/map/scl/sclUpsize.c | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/map/scl/sclUpsize.c b/src/map/scl/sclUpsize.c index c717ec8f..f56d1afd 100644 --- a/src/map/scl/sclUpsize.c +++ b/src/map/scl/sclUpsize.c @@ -495,6 +495,9 @@ void Abc_SclUpsizePerform( SC_Lib * pLib, Abc_Ntk_t * pNtk, SC_SizePars * pPars // perform upsizing nAllPos = nAllNodes = nAllTfos = nAllUpsizes = 0; + if ( p->BestDelay <= SC_LibTimeFromPs(p->pLib, (float)pPars->DelayUser) ) + printf( "Current delay (%.2f ps) is better than the target delay (%.2f ps).\n", SC_LibTimePs(p->pLib, p->BestDelay), (float)pPars->DelayUser ); + else for ( i = 0; i < pPars->nIters; i++ ) { for ( win = pPars->Window; win <= 100; win *= 2 ) |