diff options
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)); |