diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2014-11-13 18:28:25 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2014-11-13 18:28:25 -0800 |
| commit | a34183790f64e829718c3918144af70e1398ab46 (patch) | |
| tree | 690e9e91b2d47ca64cef3b472a5d60b0d0300e49 /src/base/wlc/wlcNtk.c | |
| parent | 968be1577b684070e6ad6c1aebd70559062d94f3 (diff) | |
| download | abc-a34183790f64e829718c3918144af70e1398ab46.tar.gz abc-a34183790f64e829718c3918144af70e1398ab46.tar.bz2 abc-a34183790f64e829718c3918144af70e1398ab46.zip | |
Enabling AIGs with boxes for word-level and sequential designs.
Diffstat (limited to 'src/base/wlc/wlcNtk.c')
| -rw-r--r-- | src/base/wlc/wlcNtk.c | 24 |
1 files changed, 24 insertions, 0 deletions
diff --git a/src/base/wlc/wlcNtk.c b/src/base/wlc/wlcNtk.c index 55448c11..9f779a2e 100644 --- a/src/base/wlc/wlcNtk.c +++ b/src/base/wlc/wlcNtk.c @@ -473,6 +473,30 @@ void Wlc_NtkTransferNames( Wlc_Ntk_t * pNew, Wlc_Ntk_t * p ) pNew->vTables = p->vTables; p->vTables = NULL; } +/**Function************************************************************* + + Synopsis [Collect IDs of the multipliers.] + + Description [] + + SideEffects [] + + SeeAlso [] + +***********************************************************************/ +Vec_Int_t * Wlc_NtkCollectMultipliers( Wlc_Ntk_t * p ) +{ + Wlc_Obj_t * pObj; int i; + Vec_Int_t * vBoxIds = Vec_IntAlloc( 100 ); + Wlc_NtkForEachObj( p, pObj, i ) + if ( pObj->Type == WLC_OBJ_ARI_MULTI ) + Vec_IntPush( vBoxIds, i ); + if ( Vec_IntSize( vBoxIds ) > 0 ) + return vBoxIds; + Vec_IntFree( vBoxIds ); + return NULL; +} + //////////////////////////////////////////////////////////////////////// /// END OF FILE /// //////////////////////////////////////////////////////////////////////// |