diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2014-04-06 12:52:00 -0700 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2014-04-06 12:52:00 -0700 |
commit | d05f83b293df864f1e79ea60aeaf4ce521697437 (patch) | |
tree | eabfceb86c17df20a3b4a5528422cee81a27027f /src/map/if | |
parent | 2a399042baf62f67699350c96b8d30c374373c38 (diff) | |
download | abc-d05f83b293df864f1e79ea60aeaf4ce521697437.tar.gz abc-d05f83b293df864f1e79ea60aeaf4ce521697437.tar.bz2 abc-d05f83b293df864f1e79ea60aeaf4ce521697437.zip |
Improvement in SOP balancing.
Diffstat (limited to 'src/map/if')
-rw-r--r-- | src/map/if/ifDelay.c | 3 |
1 files changed, 1 insertions, 2 deletions
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 |