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/map/if/ifMap.c | |
| parent | d080336bb5e4508274ed03940d6c8cb6ec3a1200 (diff) | |
| download | abc-976f5f5a1230ff80e1050f6bc840e35941fe637b.tar.gz abc-976f5f5a1230ff80e1050f6bc840e35941fe637b.tar.bz2 abc-976f5f5a1230ff80e1050f6bc840e35941fe637b.zip | |
Changes to Boolean matching.
Diffstat (limited to 'src/map/if/ifMap.c')
| -rw-r--r-- | src/map/if/ifMap.c | 8 |
1 files changed, 6 insertions, 2 deletions
diff --git a/src/map/if/ifMap.c b/src/map/if/ifMap.c index 86ecfd99..68af7279 100644 --- a/src/map/if/ifMap.c +++ b/src/map/if/ifMap.c @@ -153,7 +153,9 @@ void If_ObjPerformMappingAnd( If_Man_t * p, If_Obj_t * pObj, int Mode, int fPrep if ( pCut->nLeaves > 0 ) { // recompute the parameters of the best cut - if ( p->pPars->fDelayOpt ) + if ( p->pPars->pLutStruct ) + pCut->Delay = If_CutDelayLutStruct( p, pCut, p->pPars->pLutStruct, p->pPars->WireDelay ); + else if ( p->pPars->fDelayOpt ) pCut->Delay = If_CutDelaySopCost( p, pCut ); else pCut->Delay = If_CutDelay( p, pObj, pCut ); @@ -215,7 +217,9 @@ void If_ObjPerformMappingAnd( If_Man_t * p, If_Obj_t * pObj, int Mode, int fPrep if ( pCut->Cost == IF_COST_MAX ) continue; // check if the cut satisfies the required times - if ( p->pPars->fDelayOpt ) + if ( p->pPars->pLutStruct ) + pCut->Delay = If_CutDelayLutStruct( p, pCut, p->pPars->pLutStruct, p->pPars->WireDelay ); + else if ( p->pPars->fDelayOpt ) pCut->Delay = If_CutDelaySopCost( p, pCut ); else pCut->Delay = If_CutDelay( p, pObj, pCut ); |