diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2012-05-20 17:27:53 +0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2012-05-20 17:27:53 +0700 |
| commit | c6af9094c092170b14d735097cdf805b90105287 (patch) | |
| tree | 7cad398e7cc88aa2e07fd8a0856a3e25b1333c0f /src/map/if/ifUtil.c | |
| parent | 38214f01c20227cfca6617c4b2ac55e090ec47fa (diff) | |
| download | abc-c6af9094c092170b14d735097cdf805b90105287.tar.gz abc-c6af9094c092170b14d735097cdf805b90105287.tar.bz2 abc-c6af9094c092170b14d735097cdf805b90105287.zip | |
Changing 'if' to allow for delay optimization on sequential paths only.
Diffstat (limited to 'src/map/if/ifUtil.c')
| -rw-r--r-- | src/map/if/ifUtil.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/map/if/ifUtil.c b/src/map/if/ifUtil.c index b1ec7169..dee7ec3c 100644 --- a/src/map/if/ifUtil.c +++ b/src/map/if/ifUtil.c @@ -104,7 +104,7 @@ float If_ManDelayMax( If_Man_t * p, int fSeq ) If_Obj_t * pObj; float DelayBest; int i; - if ( p->pPars->fLatchPaths && p->pPars->nLatches == 0 ) + if ( p->pPars->fLatchPaths && (p->pPars->nLatchesCi == 0 || p->pPars->nLatchesCo == 0) ) { Abc_Print( 0, "Delay optimization of latch path is not performed because there is no latches.\n" ); p->pPars->fLatchPaths = 0; @@ -112,7 +112,7 @@ float If_ManDelayMax( If_Man_t * p, int fSeq ) DelayBest = -IF_FLOAT_LARGE; if ( fSeq ) { - assert( p->pPars->nLatches > 0 ); + assert( p->pPars->nLatchesCi > 0 ); If_ManForEachPo( p, pObj, i ) if ( DelayBest < If_ObjArrTime(If_ObjFanin0(pObj)) ) DelayBest = If_ObjArrTime(If_ObjFanin0(pObj)); |