summaryrefslogtreecommitdiffstats
path: root/src/base/abci/abcIf.c
diff options
context:
space:
mode:
authorAlan Mishchenko <alanmi@berkeley.edu>2014-03-30 12:07:49 -0700
committerAlan Mishchenko <alanmi@berkeley.edu>2014-03-30 12:07:49 -0700
commit2f926f2fafba8dc2ec073c51b5ac9fdabd9ad201 (patch)
tree52433920b47875bfb0ed7befc022ac60c3e86138 /src/base/abci/abcIf.c
parent7d500c8920c87bb04731960e065d2b8f7748050b (diff)
downloadabc-2f926f2fafba8dc2ec073c51b5ac9fdabd9ad201.tar.gz
abc-2f926f2fafba8dc2ec073c51b5ac9fdabd9ad201.tar.bz2
abc-2f926f2fafba8dc2ec073c51b5ac9fdabd9ad201.zip
Improving cut computation.
Diffstat (limited to 'src/base/abci/abcIf.c')
-rw-r--r--src/base/abci/abcIf.c2
1 files changed, 1 insertions, 1 deletions
diff --git a/src/base/abci/abcIf.c b/src/base/abci/abcIf.c
index 64dc11e6..7bd79fd7 100644
--- a/src/base/abci/abcIf.c
+++ b/src/base/abci/abcIf.c
@@ -437,7 +437,7 @@ Abc_Obj_t * Abc_NodeFromIf_rec( Abc_Ntk_t * pNtkNew, If_Man_t * pIfMan, If_Obj_t
pCutBest = If_ObjCutBest( pIfObj );
// printf( "%d 0x%02X %d\n", pCutBest->nLeaves, 0xff & *If_CutTruth(pCutBest), pIfMan->pPars->pFuncCost(pCutBest) );
// if ( pIfMan->pPars->pLutLib && pIfMan->pPars->pLutLib->fVarPinDelays )
- if ( !pIfMan->pPars->fDelayOpt && !pIfMan->pPars->pLutStruct && !pIfMan->pPars->fUserRecLib && !pIfMan->pPars->nGateSize )
+ if ( !pIfMan->pPars->fUseTtPerm && !pIfMan->pPars->fDelayOpt && !pIfMan->pPars->pLutStruct && !pIfMan->pPars->fUserRecLib && !pIfMan->pPars->nGateSize )
If_CutRotatePins( pIfMan, pCutBest );
if ( pIfMan->pPars->fUseCnfs || pIfMan->pPars->fUseMv )
{