diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2015-04-03 02:52:14 +0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2015-04-03 02:52:14 +0700 |
| commit | 93cf8b79f450636a5aac8364ff9d6bb09c83953c (patch) | |
| tree | 1b7fc35f3b393d1dc7ff1feac6f19f7e8bddab07 /src/base | |
| parent | ad4e869ab78bb9c52ab1bc8de6f876d43b66ef9b (diff) | |
| download | abc-93cf8b79f450636a5aac8364ff9d6bb09c83953c.tar.gz abc-93cf8b79f450636a5aac8364ff9d6bb09c83953c.tar.bz2 abc-93cf8b79f450636a5aac8364ff9d6bb09c83953c.zip | |
Changing timing manager to have 0 default required times.
Diffstat (limited to 'src/base')
| -rw-r--r-- | src/base/abci/abcTiming.c | 14 |
1 files changed, 4 insertions, 10 deletions
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 ); |