From cd0102f61e89e3d12281d026e5a26820cec4aed5 Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Thu, 18 Apr 2019 19:01:24 -0700 Subject: Improvements to the retiming algorithm. --- src/base/wln/wlnRetime.c | 8 +++++++- 1 file changed, 7 insertions(+), 1 deletion(-) (limited to 'src') diff --git a/src/base/wln/wlnRetime.c b/src/base/wln/wlnRetime.c index 9f04b534..e7678c5d 100644 --- a/src/base/wln/wlnRetime.c +++ b/src/base/wln/wlnRetime.c @@ -554,7 +554,7 @@ Vec_Int_t * Wln_NtkRetime( Wln_Ntk_t * pNtk, int fVerbose ) Vec_Int_t * vFront = &p->vFront; Vec_Int_t * vMoves = Vec_IntAlloc(0); int nMoves = 0, fPrevFwd = 0, fPrevBwd = 0, nCountIncrease = 0; - int DelayInit = 0, DelayBest = 0; + int DelayInit = 0, DelayBest = 0, nChange = 0; Wln_RetPrint( p, fVerbose ); Wln_RetMarkChanges( p, NULL ); p->DelayMax = DelayInit = DelayBest = Wln_RetPropDelay( p ); @@ -613,9 +613,15 @@ Vec_Int_t * Wln_NtkRetime( Wln_Ntk_t * pNtk, int fVerbose ) if ( p->DelayMax >= DelayMaxPrev ) nCountIncrease++; else + { + if ( nCountIncrease > 0 ) + nChange++; nCountIncrease = 0; + } if ( nCountIncrease > 3 ) break; + if ( nChange > 5 ) + break; Wln_RetFindSources( p ); if ( 2*Vec_IntSize(&p->vEdgeLinks) > Vec_IntCap(&p->vEdgeLinks) ) Vec_IntGrow( &p->vEdgeLinks, 4*Vec_IntSize(&p->vEdgeLinks) ); -- cgit v1.2.3