diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2015-06-22 23:05:02 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2015-06-22 23:05:02 -0700 |
| commit | b288bac6b3567c0eccde1cb3ed1b6f7eff1d6408 (patch) | |
| tree | dd9db86011e5121f4d2515c0839d5a2d477c459a /src/base/abci/abcDar.c | |
| parent | da65e88e3b346bcd70198b980e918ea9f1e11b4e (diff) | |
| download | abc-b288bac6b3567c0eccde1cb3ed1b6f7eff1d6408.tar.gz abc-b288bac6b3567c0eccde1cb3ed1b6f7eff1d6408.tar.bz2 abc-b288bac6b3567c0eccde1cb3ed1b6f7eff1d6408.zip | |
Version abc90807
committer: Baruch Sterin <baruchs@gmail.com>
Diffstat (limited to 'src/base/abci/abcDar.c')
| -rw-r--r-- | src/base/abci/abcDar.c | 44 |
1 files changed, 44 insertions, 0 deletions
diff --git a/src/base/abci/abcDar.c b/src/base/abci/abcDar.c index e30c6a93..790a9028 100644 --- a/src/base/abci/abcDar.c +++ b/src/base/abci/abcDar.c @@ -587,6 +587,50 @@ Abc_Ntk_t * Abc_NtkFromDarSeq( Abc_Ntk_t * pNtkOld, Aig_Man_t * pMan ) /**Function************************************************************* + Synopsis [Collects CI of the network.] + + Description [] + + SideEffects [] + + SeeAlso [] + +***********************************************************************/ +Vec_Ptr_t * Abc_NtkCollectCiNames( Abc_Ntk_t * pNtk ) +{ + Abc_Obj_t * pObj; + int i; + Vec_Ptr_t * vNames; + vNames = Vec_PtrAlloc( 100 ); + Abc_NtkForEachCi( pNtk, pObj, i ) + Vec_PtrPush( vNames, Extra_UtilStrsav(Abc_ObjName(pObj)) ); + return vNames; +} + +/**Function************************************************************* + + Synopsis [Collects CO of the network.] + + Description [] + + SideEffects [] + + SeeAlso [] + +***********************************************************************/ +Vec_Ptr_t * Abc_NtkCollectCoNames( Abc_Ntk_t * pNtk ) +{ + Abc_Obj_t * pObj; + int i; + Vec_Ptr_t * vNames; + vNames = Vec_PtrAlloc( 100 ); + Abc_NtkForEachCo( pNtk, pObj, i ) + Vec_PtrPush( vNames, Extra_UtilStrsav(Abc_ObjName(pObj)) ); + return vNames; +} + +/**Function************************************************************* + Synopsis [Collect latch values.] Description [] |