From 4d838e7513a4ec13ea2a88bea4c2e0385f1a504a Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Mon, 4 Feb 2019 14:03:09 -0800 Subject: [PATCH] Bug fix in generating box library. --- src/base/wlc/wlcBlast.c | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/base/wlc/wlcBlast.c b/src/base/wlc/wlcBlast.c index 3398bfa1d..e6d19e87c 100644 --- a/src/base/wlc/wlcBlast.c +++ b/src/base/wlc/wlcBlast.c @@ -1301,7 +1301,7 @@ Gia_Man_t * Wlc_NtkBitBlast( Wlc_Ntk_t * p, Wlc_BstPar_t * pParIn ) // create new box if ( vTables == NULL ) Tim_ManSetDelayTables( pManTime, (vTables = Vec_PtrAlloc(100)) ); - Tim_ManCreateBox( pManTime, curPo, nRange0 + nRange1 + nRange2, curPi, nRange, Vec_PtrSize(vTables), 0 ); + Tim_ManCreateBox( pManTime, curPo, nRange0 + nRange1 + nRange2, curPi, nRange, 1+Vec_PtrSize(vTables), 0 ); curPi += nRange; curPo += nRange0 + nRange1 + nRange2; @@ -1858,7 +1858,7 @@ Gia_Man_t * Wlc_NtkBitBlast( Wlc_Ntk_t * p, Wlc_BstPar_t * pParIn ) // create new box if ( vTables == NULL ) Tim_ManSetDelayTables( pManTime, (vTables = Vec_PtrAlloc(100)) ); - Tim_ManCreateBox( pManTime, curPo, nRangeIn, curPi, nRange, Vec_PtrSize(vTables), 0 ); + Tim_ManCreateBox( pManTime, curPo, nRangeIn, curPi, nRange, 1+Vec_PtrSize(vTables), 0 ); curPi += nRange; curPo += nRangeIn;