diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2013-11-26 01:03:53 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2013-11-26 01:03:53 -0800 |
| commit | 93bec213fc6d0403b9b88c0578fcfcdbac858960 (patch) | |
| tree | 29b70f22a838d9ed516f6660d6f527e6081408fc | |
| parent | 71166f602a7504c65a165f26a51409514aa61319 (diff) | |
| download | abc-93bec213fc6d0403b9b88c0578fcfcdbac858960.tar.gz abc-93bec213fc6d0403b9b88c0578fcfcdbac858960.tar.bz2 abc-93bec213fc6d0403b9b88c0578fcfcdbac858960.zip | |
Bug fix in timing update.
| -rw-r--r-- | src/map/scl/sclSize.h | 2 |
1 files changed, 1 insertions, 1 deletions
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; |