From 93bec213fc6d0403b9b88c0578fcfcdbac858960 Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Tue, 26 Nov 2013 01:03:53 -0800 Subject: Bug fix in timing update. --- src/map/scl/sclSize.h | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src/map/scl/sclSize.h') diff --git a/src/map/scl/sclSize.h b/src/map/scl/sclSize.h index 02a1b74c..02f53740 100644 --- a/src/map/scl/sclSize.h +++ b/src/map/scl/sclSize.h @@ -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; -- cgit v1.2.3