diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2019-02-04 14:03:09 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2019-02-04 14:03:09 -0800 |
| commit | 4d838e7513a4ec13ea2a88bea4c2e0385f1a504a (patch) | |
| tree | 39c0931b7d1c3f6bd23f925db01dcc527b2dc602 | |
| parent | 7b419f904135324d3da0366abfa105137ed1d22a (diff) | |
| download | abc-4d838e7513a4ec13ea2a88bea4c2e0385f1a504a.tar.gz abc-4d838e7513a4ec13ea2a88bea4c2e0385f1a504a.tar.bz2 abc-4d838e7513a4ec13ea2a88bea4c2e0385f1a504a.zip | |
Bug fix in generating box library.
| -rw-r--r-- | src/base/wlc/wlcBlast.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/base/wlc/wlcBlast.c b/src/base/wlc/wlcBlast.c index 3398bfa1..e6d19e87 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; |