diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2014-11-30 12:19:32 -0800 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2014-11-30 12:19:32 -0800 |
commit | 5d1a5f35906fd62f48417490c361905750f744aa (patch) | |
tree | bf0e4886ec1e63a73cc0dae79ae0c49d7a45d6c6 /src/aig/gia/giaSweep.c | |
parent | 1d20dea11b329227f43c3fa81008b9eace60e3e3 (diff) | |
download | abc-5d1a5f35906fd62f48417490c361905750f744aa.tar.gz abc-5d1a5f35906fd62f48417490c361905750f744aa.tar.bz2 abc-5d1a5f35906fd62f48417490c361905750f744aa.zip |
Changes to history recording and other small things.
Diffstat (limited to 'src/aig/gia/giaSweep.c')
-rw-r--r-- | src/aig/gia/giaSweep.c | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/aig/gia/giaSweep.c b/src/aig/gia/giaSweep.c index 70c7a960..ca426e87 100644 --- a/src/aig/gia/giaSweep.c +++ b/src/aig/gia/giaSweep.c @@ -654,7 +654,7 @@ Gia_Man_t * Gia_ManSweepWithBoxesAndDomains( Gia_Man_t * p, void * pParsS, int f pNew = Gia_ManDupWithBoxes( pTemp = pNew, 1 ); Gia_ManStop( pTemp ); // report - //if ( fVerbose ) + if ( fVerbose ) { printf( "Domain %2d : %5d -> %5d : ", iDom, nFlops, Vec_IntCountEntry(pNew->vRegClasses, iDom) ); Gia_ManPrintStats( pNew, NULL ); @@ -687,8 +687,8 @@ Gia_Man_t * Gia_ManSweepWithBoxes( Gia_Man_t * p, void * pParsC, void * pParsS, assert( Gia_ManRegNum(p) == 0 ); assert( p->pAigExtra != NULL ); // consider seq synthesis with multiple clock domains -// if ( pParsC == NULL && Gia_ManClockDomainNum(p) > 1 ) -// return Gia_ManSweepWithBoxesAndDomains( p, pParsS, fConst, fEquiv, fVerbose ); + if ( pParsC == NULL && Gia_ManClockDomainNum(p) > 1 ) + return Gia_ManSweepWithBoxesAndDomains( p, pParsS, fConst, fEquiv, fVerbose ); // order AIG objects pNew = Gia_ManDupUnnormalize( p ); if ( pNew == NULL ) |