From 1bdb3773f9971a49e7bdcee8f82353cf32f4b61e Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Sun, 21 Jul 2013 16:36:15 -0700 Subject: New technology mapper. --- src/map/scl/sclUpsize.c | 3 +++ 1 file changed, 3 insertions(+) (limited to 'src/map/scl/sclUpsize.c') 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 ) -- cgit v1.2.3