diff options
author | Mathias Soeken <mathias.soeken@epfl.ch> | 2016-10-25 16:28:02 +0200 |
---|---|---|
committer | Mathias Soeken <mathias.soeken@epfl.ch> | 2016-10-25 16:28:02 +0200 |
commit | f47a4377e4559a3f664fa5bd1e32fa07a464176e (patch) | |
tree | 3a672ec4bddff7434d0a1ad866f28dbff0f85dde /src/base/abci/abcExact.c | |
parent | befb73079a08dae3e5bb0a742520bbe1a48cda83 (diff) | |
download | abc-f47a4377e4559a3f664fa5bd1e32fa07a464176e.tar.gz abc-f47a4377e4559a3f664fa5bd1e32fa07a464176e.tar.bz2 abc-f47a4377e4559a3f664fa5bd1e32fa07a464176e.zip |
Exact synthesis.
Diffstat (limited to 'src/base/abci/abcExact.c')
-rw-r--r-- | src/base/abci/abcExact.c | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/src/base/abci/abcExact.c b/src/base/abci/abcExact.c index 090b2d69..8052f982 100644 --- a/src/base/abci/abcExact.c +++ b/src/base/abci/abcExact.c @@ -2314,7 +2314,7 @@ static char * Ses_ManFindMinimumSizeTopDown( Ses_Man_t * pSes, int nMinGates ) static char * Ses_ManFindMinimumSize( Ses_Man_t * pSes ) { - char * pSol; + char * pSol = NULL; /* do the arrival times allow for a network? */ if ( pSes->nMaxDepth != -1 && pSes->pArrTimeProfile ) @@ -2326,7 +2326,7 @@ static char * Ses_ManFindMinimumSize( Ses_Man_t * pSes ) pSol = Ses_ManFindMinimumSizeBottomUp( pSes ); - if ( !pSol && pSes->fHitResLimit && pSes->nGates != pSes->nMaxGates ) + if ( !pSol && pSes->nMaxDepth != -1 && pSes->fHitResLimit && pSes->nGates != pSes->nMaxGates ) return Ses_ManFindMinimumSizeTopDown( pSes, pSes->nGates + 1 ); else return pSol; @@ -2360,8 +2360,8 @@ Abc_Ntk_t * Abc_NtkFindExact( word * pTruth, int nVars, int nFunc, int nMaxDepth pSes = Ses_ManAlloc( pTruth, nVars, nFunc, nMaxDepth, pArrTimeProfile, 0, nBTLimit, fVerbose ); pSes->nStartGates = nStartGates; - pSes->fReasonVerbose = 1; - pSes->fSatVerbose = 1; + pSes->fReasonVerbose = 0; + pSes->fSatVerbose = 0; if ( fVerbose ) Ses_ManPrintFuncs( pSes ); |