diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2019-04-16 21:37:45 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2019-04-16 21:37:45 -0700 |
| commit | d1b6413d1cafdd302ad6f45eb366320f758fa716 (patch) | |
| tree | e48107e24a7666e960b833aef16bd74aa8190151 /src/base/wlc/wlcBlast.c | |
| parent | f5320744fa986eb08495f079717c483f1871cfc8 (diff) | |
| download | abc-d1b6413d1cafdd302ad6f45eb366320f758fa716.tar.gz abc-d1b6413d1cafdd302ad6f45eb366320f758fa716.tar.bz2 abc-d1b6413d1cafdd302ad6f45eb366320f758fa716.zip | |
Fix index of delay tables created by %blast.
Diffstat (limited to 'src/base/wlc/wlcBlast.c')
| -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 00f7a53a..979db1a5 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, 1+Vec_PtrSize(vTables), 0 ); + Tim_ManCreateBox( pManTime, curPo, nRange0 + nRange1 + nRange2, curPi, nRange, 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, 1+Vec_PtrSize(vTables), 0 ); + Tim_ManCreateBox( pManTime, curPo, nRangeIn, curPi, nRange, Vec_PtrSize(vTables), 0 ); curPi += nRange; curPo += nRangeIn; |