diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2012-03-16 15:43:08 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2012-03-16 15:43:08 -0700 |
| commit | c347f2b90b1164fe50b4bb061b3cd4e63bbfeda4 (patch) | |
| tree | c7690a1facbdcb9d92297eaa93777a9513c31bc6 /src/map/if/ifMap.c | |
| parent | aeedc6ace5c60834919f55515ad8ccfdd9ceaf0a (diff) | |
| download | abc-c347f2b90b1164fe50b4bb061b3cd4e63bbfeda4.tar.gz abc-c347f2b90b1164fe50b4bb061b3cd4e63bbfeda4.tar.bz2 abc-c347f2b90b1164fe50b4bb061b3cd4e63bbfeda4.zip | |
Alternative way of computing delay in SOP balancing.
Diffstat (limited to 'src/map/if/ifMap.c')
| -rw-r--r-- | src/map/if/ifMap.c | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/src/map/if/ifMap.c b/src/map/if/ifMap.c index f40244ca..2e0115ef 100644 --- a/src/map/if/ifMap.c +++ b/src/map/if/ifMap.c @@ -159,7 +159,11 @@ void If_ObjPerformMappingAnd( If_Man_t * p, If_Obj_t * pObj, int Mode, int fPrep if ( p->pPars->fUserRecLib ) pCut->Delay = If_CutDelayRecCost(p, pCut, pObj); else if(p->pPars->fDelayOpt) + { +// pCut->Delay = If_CutDelaySopCost(p,pCut); +// pCut->Delay = If_CutDelaySopCost2(p,pCut); pCut->Delay = If_CutDelaySopCost(p,pCut); + } else pCut->Delay = If_CutDelay( p, pObj, pCut ); // assert( pCut->Delay <= pObj->Required + p->fEpsilon ); @@ -230,7 +234,11 @@ void If_ObjPerformMappingAnd( If_Man_t * p, If_Obj_t * pObj, int Mode, int fPrep if ( p->pPars->fUserRecLib ) pCut->Delay = If_CutDelayRecCost(p, pCut, pObj); else if (p->pPars->fDelayOpt) + { +// pCut->Delay = If_CutDelaySopCost(p, pCut); +// pCut->Delay = If_CutDelaySopCost2(p, pCut); pCut->Delay = If_CutDelaySopCost(p, pCut); + } else pCut->Delay = If_CutDelay( p, pObj, pCut ); //if ( pCut->Cost == IF_COST_MAX ) |