From d1b6413d1cafdd302ad6f45eb366320f758fa716 Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Tue, 16 Apr 2019 21:37:45 -0700 Subject: Fix index of delay tables created by %blast. --- src/base/wlc/wlcBlast.c | 4 ++-- src/misc/tim/tim.h | 2 +- 2 files changed, 3 insertions(+), 3 deletions(-) (limited to 'src') 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; diff --git a/src/misc/tim/tim.h b/src/misc/tim/tim.h index 266688dd..06019f56 100644 --- a/src/misc/tim/tim.h +++ b/src/misc/tim/tim.h @@ -55,7 +55,7 @@ Finally, the TFO cone of the POs is traversed and all new logic nodes encountered added to the AIG. In the end, the POs of the AIG is constructed in 1-to-1 correspondence with - the PIs of the original combinational logic network. + the POs of the original combinational logic network. Delay tables representing input-to-output delays of each type of white box should be computed in advance and given to the timing manager in one array -- cgit v1.2.3