From f6b9cc013dda69b7ec5cb513cfa10b9f6492c0fe Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Wed, 28 Feb 2018 19:38:55 -0800 Subject: Adding parameters and improvements to %blast. --- src/base/wlc/wlcBlast.c | 1 - src/base/wlc/wlcUif.c | 13 +++++++++++++ 2 files changed, 13 insertions(+), 1 deletion(-) (limited to 'src/base/wlc') diff --git a/src/base/wlc/wlcBlast.c b/src/base/wlc/wlcBlast.c index dcdf99bc..a81a28db 100644 --- a/src/base/wlc/wlcBlast.c +++ b/src/base/wlc/wlcBlast.c @@ -1082,7 +1082,6 @@ Gia_Man_t * Wlc_NtkBitBlast( Wlc_Ntk_t * p, Wlc_BstPar_t * pParIn ) If_LibBoxAdd( pBoxLib, pBox ); for ( k = 0; k < pBox->nPis * pBox->nPos; k++ ) pBox->pDelays[k] = 1; - printf( "adding box %s\n", Buffer); } else if ( Wlc_ObjIsCi(pObj) ) { diff --git a/src/base/wlc/wlcUif.c b/src/base/wlc/wlcUif.c index 3c7a08ac..0b3eed01 100644 --- a/src/base/wlc/wlcUif.c +++ b/src/base/wlc/wlcUif.c @@ -41,6 +41,16 @@ ABC_NAMESPACE_IMPL_START SeeAlso [] ***********************************************************************/ +void Wlc_NtkCollectBoxes( Wlc_Ntk_t * p, Vec_Int_t * vBoxIds ) +{ + int i, iObj; + Vec_Int_t * vBoxes = Vec_IntAlloc( Vec_IntSize(vBoxIds) + 1 ); + Vec_IntPush( vBoxes, Vec_IntSize(vBoxIds) ); + Vec_IntForEachEntry( vBoxIds, iObj, i ) + Vec_IntPush( vBoxes, Wlc_ObjNameId(p, iObj) ); + Abc_FrameSetBoxes( Vec_IntReleaseArray(vBoxes) ); + Vec_IntFree( vBoxes ); +} Vec_Int_t * Wlc_NtkCollectAddMult( Wlc_Ntk_t * p, Wlc_BstPar_t * pPar, int * pCountA, int * pCountM ) { Vec_Int_t * vBoxIds; @@ -57,7 +67,10 @@ Vec_Int_t * Wlc_NtkCollectAddMult( Wlc_Ntk_t * p, Wlc_BstPar_t * pPar, int * pCo Vec_IntPush( vBoxIds, i ), (*pCountM)++; } if ( Vec_IntSize( vBoxIds ) > 0 ) + { + Wlc_NtkCollectBoxes( p, vBoxIds ); return vBoxIds; + } Vec_IntFree( vBoxIds ); return NULL; } -- cgit v1.2.3