From 93cf8b79f450636a5aac8364ff9d6bb09c83953c Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Fri, 3 Apr 2015 02:52:14 +0700 Subject: Changing timing manager to have 0 default required times. --- src/base/abci/abcTiming.c | 14 ++++---------- 1 file changed, 4 insertions(+), 10 deletions(-) (limited to 'src/base') diff --git a/src/base/abci/abcTiming.c b/src/base/abci/abcTiming.c index 1a8a5169..277f0f2c 100644 --- a/src/base/abci/abcTiming.c +++ b/src/base/abci/abcTiming.c @@ -354,7 +354,7 @@ void Abc_NtkTimeInitialize( Abc_Ntk_t * pNtk, Abc_Ntk_t * pNtkOld ) Abc_NtkForEachCo( pNtk, pObj, i ) { pTime = ppTimes[pObj->Id]; - if ( !Abc_FloatEqual( Abc_MaxFloat(pTime->Fall, pTime->Rise), ABC_INFINITY ) ) + if ( !Abc_FloatEqual( Abc_MaxFloat(pTime->Fall, pTime->Rise), 0 ) ) continue; *pTime = pNtkOld ? *Abc_NodeReadRequired(Abc_NtkCo(pNtkOld, i)) : pNtk->pManTime->tReqDef; } @@ -389,12 +389,8 @@ void Abc_NtkTimeScale( Abc_Ntk_t * pNtk, float Scale ) pNtk->pManTime->tArrDef.Fall *= Scale; pNtk->pManTime->tArrDef.Rise *= Scale; // departure - pTime = &pNtk->pManTime->tReqDef; - if ( !Abc_FloatEqual( Abc_MaxFloat(pTime->Fall, pTime->Rise), ABC_INFINITY ) ) - { - pTime->Fall *= Scale; - pTime->Rise *= Scale; - } + pNtk->pManTime->tReqDef.Fall *= Scale; + pNtk->pManTime->tReqDef.Rise *= Scale; // set the default timing ppTimes = (Abc_Time_t **)pNtk->pManTime->vArrs->pArray; Abc_NtkForEachCi( pNtk, pObj, i ) @@ -410,7 +406,7 @@ void Abc_NtkTimeScale( Abc_Ntk_t * pNtk, float Scale ) Abc_NtkForEachCo( pNtk, pObj, i ) { pTime = ppTimes[pObj->Id]; - if ( !Abc_FloatEqual( Abc_MaxFloat(pTime->Fall, pTime->Rise), ABC_INFINITY ) ) + if ( !Abc_FloatEqual( Abc_MaxFloat(pTime->Fall, pTime->Rise), 0 ) ) continue; pTime->Fall *= Scale; pTime->Rise *= Scale; @@ -490,8 +486,6 @@ Abc_ManTime_t * Abc_ManTimeStart( Abc_Ntk_t * pNtk ) memset( p, 0, sizeof(Abc_ManTime_t) ); p->vArrs = Vec_PtrAlloc( 0 ); p->vReqs = Vec_PtrAlloc( 0 ); - p->tReqDef.Rise = ABC_INFINITY; - p->tReqDef.Fall = ABC_INFINITY; Abc_ManTimeExpand( p, Abc_NtkObjNumMax(pNtk) + 1, 0 ); Abc_NtkForEachCi( pNtk, pObj, i ) Abc_NtkTimeSetArrival( pNtk, Abc_ObjId(pObj), p->tArrDef.Rise, p->tArrDef.Rise ); -- cgit v1.2.3