diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2018-02-28 19:38:55 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2018-02-28 19:38:55 -0800 |
| commit | f6b9cc013dda69b7ec5cb513cfa10b9f6492c0fe (patch) | |
| tree | a80d35f7cbb01f4071d2933f9350678c7cf51116 /src/base/wlc | |
| parent | 7e9f3f027b8de37480cc8dd6d3de17541a8caeba (diff) | |
| download | abc-f6b9cc013dda69b7ec5cb513cfa10b9f6492c0fe.tar.gz abc-f6b9cc013dda69b7ec5cb513cfa10b9f6492c0fe.tar.bz2 abc-f6b9cc013dda69b7ec5cb513cfa10b9f6492c0fe.zip | |
Adding parameters and improvements to %blast.
Diffstat (limited to 'src/base/wlc')
| -rw-r--r-- | src/base/wlc/wlcBlast.c | 1 | ||||
| -rw-r--r-- | src/base/wlc/wlcUif.c | 13 |
2 files changed, 13 insertions, 1 deletions
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; } |