From c6af9094c092170b14d735097cdf805b90105287 Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Sun, 20 May 2012 17:27:53 +0700 Subject: Changing 'if' to allow for delay optimization on sequential paths only. --- src/map/if/ifUtil.c | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'src/map/if/ifUtil.c') 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)); -- cgit v1.2.3