From d05f83b293df864f1e79ea60aeaf4ce521697437 Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Sun, 6 Apr 2014 12:52:00 -0700 Subject: Improvement in SOP balancing. --- src/map/if/ifDelay.c | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) (limited to 'src/map/if/ifDelay.c') diff --git a/src/map/if/ifDelay.c b/src/map/if/ifDelay.c index f2e8399a..dc4afee0 100644 --- a/src/map/if/ifDelay.c +++ b/src/map/if/ifDelay.c @@ -466,8 +466,7 @@ int If_CutPinDelaysSopArray3IntInt( Vec_Int_t * vCover, int * pTimes, int nSuppA Vec_IntForEachEntry( vCover, Entry, i ) { nCounterAnd = 0; -// for ( k = 0; k < nSuppAll; k++ ) - for ( k = nSuppAll-1; k >= 0; k-- ) + for ( k = 0; k < nSuppAll; k++ ) { Literal = 3 & (Entry >> (k << 1)); if ( Literal == 1 || Literal == 2 ) // neg or pos literal -- cgit v1.2.3