diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2014-11-25 21:57:34 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2014-11-25 21:57:34 -0800 |
| commit | c30a0ca0b973faf136b309600f03b32b78d0a733 (patch) | |
| tree | d0147b3ab97c5b1cd36e4a0b3da1bc255f866cdf /src/aig | |
| parent | ba4063acb2c9abc0046a63c698a29522a9a6731d (diff) | |
| download | abc-c30a0ca0b973faf136b309600f03b32b78d0a733.tar.gz abc-c30a0ca0b973faf136b309600f03b32b78d0a733.tar.bz2 abc-c30a0ca0b973faf136b309600f03b32b78d0a733.zip | |
Improvements to handling boxes and flops.
Diffstat (limited to 'src/aig')
| -rw-r--r-- | src/aig/gia/giaSweep.c | 5 | ||||
| -rw-r--r-- | src/aig/gia/giaTim.c | 1 |
2 files changed, 4 insertions, 2 deletions
diff --git a/src/aig/gia/giaSweep.c b/src/aig/gia/giaSweep.c index 7d383dc7..70c7a960 100644 --- a/src/aig/gia/giaSweep.c +++ b/src/aig/gia/giaSweep.c @@ -634,7 +634,8 @@ Gia_Man_t * Gia_ManSweepWithBoxesAndDomains( Gia_Man_t * p, void * pParsS, int f // iterate over domains for ( iDom = 1; iDom <= nDoms; iDom++ ) { - if ( Vec_IntCountEntry(pNew->vRegClasses, iDom) < 2 ) + int nFlops = Vec_IntCountEntry(pNew->vRegClasses, iDom); + if ( nFlops < 2 ) continue; // find global equivalences pClp = Gia_ManDupCollapse( pNew, pNew->pAigExtra, NULL, 1 ); @@ -655,7 +656,7 @@ Gia_Man_t * Gia_ManSweepWithBoxesAndDomains( Gia_Man_t * p, void * pParsS, int f // report //if ( fVerbose ) { - printf( "Domain %2d with %5d flops: ", iDom, Vec_IntCountEntry(pNew->vRegClasses, iDom) ); + printf( "Domain %2d : %5d -> %5d : ", iDom, nFlops, Vec_IntCountEntry(pNew->vRegClasses, iDom) ); Gia_ManPrintStats( pNew, NULL ); } } diff --git a/src/aig/gia/giaTim.c b/src/aig/gia/giaTim.c index 1017308a..3704867b 100644 --- a/src/aig/gia/giaTim.c +++ b/src/aig/gia/giaTim.c @@ -914,6 +914,7 @@ int Gia_ManVerifyWithBoxes( Gia_Man_t * pGia, int nBTLimit, int nTimeLim, int fS Aig_Man_t * pMan; Fra_Sec_t SecPar, * pSecPar = &SecPar; Fra_SecSetDefaultParams( pSecPar ); + pSecPar->fRetimeFirst = 0; pSecPar->nBTLimit = nBTLimit; pSecPar->TimeLimit = nTimeLim; pSecPar->fVerbose = fVerbose; |