diff options
Diffstat (limited to 'src/map')
| -rw-r--r-- | src/map/if/ifMap.c | 4 | ||||
| -rw-r--r-- | src/map/if/ifUtil.c | 12 |
2 files changed, 8 insertions, 8 deletions
diff --git a/src/map/if/ifMap.c b/src/map/if/ifMap.c index 573932d0..5f06b0e9 100644 --- a/src/map/if/ifMap.c +++ b/src/map/if/ifMap.c @@ -293,13 +293,13 @@ int If_ManPerformMappingRound( If_Man_t * p, int nCutsUsed, int Mode, int fPrepr } else if ( If_ObjIsCi(pObj) ) { - arrTime = Tim_ManGetPiArrival( p->pManTim, pObj->IdPio ); + arrTime = Tim_ManGetCiArrival( p->pManTim, pObj->IdPio ); If_ObjSetArrTime( pObj, arrTime ); } else if ( If_ObjIsCo(pObj) ) { arrTime = If_ObjArrTime( If_ObjFanin0(pObj) ); - Tim_ManSetPoArrival( p->pManTim, pObj->IdPio, arrTime ); + Tim_ManSetCoArrival( p->pManTim, pObj->IdPio, arrTime ); } else if ( If_ObjIsConst1(pObj) ) { diff --git a/src/map/if/ifUtil.c b/src/map/if/ifUtil.c index 74880409..57e1ad13 100644 --- a/src/map/if/ifUtil.c +++ b/src/map/if/ifUtil.c @@ -234,15 +234,15 @@ void If_ManComputeRequired( If_Man_t * p ) { assert( 0 ); If_ManForEachPo( p, pObj, i ) - Tim_ManSetPoRequired( p->pManTim, pObj->IdPio, IF_FLOAT_LARGE ); + Tim_ManSetCoRequired( p->pManTim, pObj->IdPio, IF_FLOAT_LARGE ); If_ManForEachLatchInput( p, pObj, i ) - Tim_ManSetPoRequired( p->pManTim, pObj->IdPio, p->RequiredGlo ); + Tim_ManSetCoRequired( p->pManTim, pObj->IdPio, p->RequiredGlo ); } else { - Tim_ManSetPoRequiredAll( p->pManTim, p->RequiredGlo ); + Tim_ManSetCoRequiredAll( p->pManTim, p->RequiredGlo ); // If_ManForEachCo( p, pObj, i ) -// Tim_ManSetPoRequired( p->pManTim, pObj->IdPio, p->RequiredGlo ); +// Tim_ManSetCoRequired( p->pManTim, pObj->IdPio, p->RequiredGlo ); } // go through the nodes in the reverse topological order If_ManForEachObjReverse( p, pObj, i ) @@ -256,11 +256,11 @@ void If_ManComputeRequired( If_Man_t * p ) else if ( If_ObjIsCi(pObj) ) { reqTime = pObj->Required; - Tim_ManSetPiRequired( p->pManTim, pObj->IdPio, reqTime ); + Tim_ManSetCiRequired( p->pManTim, pObj->IdPio, reqTime ); } else if ( If_ObjIsCo(pObj) ) { - reqTime = Tim_ManGetPoRequired( p->pManTim, pObj->IdPio ); + reqTime = Tim_ManGetCoRequired( p->pManTim, pObj->IdPio ); If_ObjFanin0(pObj)->Required = IF_MIN( reqTime, If_ObjFanin0(pObj)->Required ); } else if ( If_ObjIsConst1(pObj) ) |