diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2012-10-09 11:19:58 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2012-10-09 11:19:58 -0700 |
| commit | e3116600782bcbb0a4a5efebd743ca9a5de04f6c (patch) | |
| tree | 4db94a80f080488e267a3cc2e247a17bddd14c09 /src/map/scl/sclUpsize.c | |
| parent | 8e753fc376426531f45a26d4b674942d8dd063a0 (diff) | |
| download | abc-e3116600782bcbb0a4a5efebd743ca9a5de04f6c.tar.gz abc-e3116600782bcbb0a4a5efebd743ca9a5de04f6c.tar.bz2 abc-e3116600782bcbb0a4a5efebd743ca9a5de04f6c.zip | |
Improvements to gate sizing.
Diffstat (limited to 'src/map/scl/sclUpsize.c')
| -rw-r--r-- | src/map/scl/sclUpsize.c | 9 |
1 files changed, 5 insertions, 4 deletions
diff --git a/src/map/scl/sclUpsize.c b/src/map/scl/sclUpsize.c index 4ad26c84..5fbbe819 100644 --- a/src/map/scl/sclUpsize.c +++ b/src/map/scl/sclUpsize.c @@ -155,8 +155,8 @@ Vec_Int_t * Abc_SclFindCriticalNodeWindow( SC_Man * p, Vec_Int_t * vPathCos, int Abc_NtkForEachObjVec( vPathCos, p->pNtk, pObj, i ) { float fSlackThis = fSlack - (fMaxArr - Abc_SclObjTimeMax(p, pObj)); - assert( fSlackThis >= 0 ); - Abc_SclFindCriticalNodeWindow_rec( p, Abc_ObjFanin0(pObj), vPath, fSlackThis ); + if ( fSlackThis >= 0 ) + Abc_SclFindCriticalNodeWindow_rec( p, Abc_ObjFanin0(pObj), vPath, fSlackThis ); } // label critical nodes Abc_NtkForEachObjVec( vPathCos, p->pNtk, pObj, i ) @@ -452,7 +452,7 @@ void Abc_SclUpsizePrint( SC_Man * p, int Iter, int win, int nPathPos, int nPathN SeeAlso [] ***********************************************************************/ -void Abc_SclUpsizePerform( SC_Lib * pLib, Abc_Ntk_t * pNtk, int nIters, int Window, int Ratio, int Notches, int TimeOut, int fVerbose, int fVeryVerbose ) +void Abc_SclUpsizePerform( SC_Lib * pLib, Abc_Ntk_t * pNtk, int nIters, int Window, int Ratio, int Notches, int TimeOut, int fDumpStats, int fVerbose, int fVeryVerbose ) { SC_Man * p; Vec_Int_t * vPathPos; // critical POs @@ -550,7 +550,8 @@ void Abc_SclUpsizePerform( SC_Lib * pLib, Abc_Ntk_t * pNtk, int nIters, int Wind ABC_PRTP( "Runtime: Other ", p->timeOther, p->timeTotal ); ABC_PRTP( "Runtime: TOTAL ", p->timeTotal, p->timeTotal ); } -// Abc_SclDumpStats( p, "stats2.txt", p->timeTotal ); + if ( fDumpStats ) + Abc_SclDumpStats( p, "stats2.txt", p->timeTotal ); // save the result and quit Abc_SclManSetGates( pLib, pNtk, p->vGates ); // updates gate pointers |