Bug fix in timing update.

This commit is contained in:
Alan Mishchenko 2013-11-26 01:03:53 -08:00
parent 71166f602a
commit 93bec213fc
1 changed files with 1 additions and 1 deletions

View File

@ -177,7 +177,7 @@ static inline SC_Man * Abc_SclManAlloc( SC_Lib * pLib, Abc_Ntk_t * pNtk )
p->vNodeByGain = Vec_QueAlloc( p->nObjs );
Vec_QueSetPriority( p->vNodeByGain, Vec_FltArrayP(p->vNode2Gain) );
p->vNodeIter = Vec_IntStartFull( p->nObjs );
p->vLevels = Vec_WecStart( 2 * Abc_NtkLevel(pNtk) );
p->vLevels = Vec_WecStart( 2 * Abc_NtkLevel(pNtk) + 1 );
p->vChanged = Vec_IntAlloc( 100 );
Abc_NtkForEachCo( pNtk, pObj, i )
pObj->Level = Abc_ObjFanin0(pObj)->Level + 1;