diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2011-09-24 20:15:54 -0700 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2011-09-24 20:15:54 -0700 |
commit | 976f5f5a1230ff80e1050f6bc840e35941fe637b (patch) | |
tree | 8c462dcf4f03d89baa224f7aa159e12954d6249d /src/base/abci/abcIf.c | |
parent | d080336bb5e4508274ed03940d6c8cb6ec3a1200 (diff) | |
download | abc-976f5f5a1230ff80e1050f6bc840e35941fe637b.tar.gz abc-976f5f5a1230ff80e1050f6bc840e35941fe637b.tar.bz2 abc-976f5f5a1230ff80e1050f6bc840e35941fe637b.zip |
Changes to Boolean matching.
Diffstat (limited to 'src/base/abci/abcIf.c')
-rw-r--r-- | src/base/abci/abcIf.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/base/abci/abcIf.c b/src/base/abci/abcIf.c index fcd4a368..6efa57b9 100644 --- a/src/base/abci/abcIf.c +++ b/src/base/abci/abcIf.c @@ -436,7 +436,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 ) + if ( !pIfMan->pPars->fDelayOpt && !pIfMan->pPars->pLutStruct ) If_CutRotatePins( pIfMan, pCutBest ); if ( pIfMan->pPars->fUseCnfs || pIfMan->pPars->fUseMv ) { |