diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2021-10-26 16:58:59 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2021-10-26 16:58:59 -0700 |
| commit | d13e33cdd8451ad4ecfcb9093fbaa628f0e6659d (patch) | |
| tree | 0c0acb86bf21c52c9c6c8f236a5ef6065bb947f1 /src/aig/gia/giaMini.c | |
| parent | 456e381a02effc8300a22408ee7398b7fb912937 (diff) | |
| download | abc-d13e33cdd8451ad4ecfcb9093fbaa628f0e6659d.tar.gz abc-d13e33cdd8451ad4ecfcb9093fbaa628f0e6659d.tar.bz2 abc-d13e33cdd8451ad4ecfcb9093fbaa628f0e6659d.zip | |
New API for external calls.
Diffstat (limited to 'src/aig/gia/giaMini.c')
| -rw-r--r-- | src/aig/gia/giaMini.c | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/src/aig/gia/giaMini.c b/src/aig/gia/giaMini.c index ad7ed197..6cc528f2 100644 --- a/src/aig/gia/giaMini.c +++ b/src/aig/gia/giaMini.c @@ -681,6 +681,22 @@ int * Abc_FrameReadMiniLutSwitching( Abc_Frame_t * pAbc ) Vec_IntFree( vSwitching ); return pRes; } +int * Abc_FrameReadMiniLutSwitchingPo( Abc_Frame_t * pAbc ) +{ + Vec_Int_t * vSwitching; + int i, iObj, * pRes = NULL; + if ( pAbc->pGiaMiniAig == NULL ) + { + printf( "GIA derived from MiniAIG is not available.\n" ); + return NULL; + } + vSwitching = Gia_ManComputeSwitchProbs( pAbc->pGiaMiniAig, 48, 16, 0 ); + pRes = ABC_CALLOC( int, Gia_ManCoNum(pAbc->pGiaMiniAig) ); + Gia_ManForEachCoDriverId( pAbc->pGiaMiniAig, iObj, i ) + pRes[i] = (int)(10000*Vec_FltEntry( (Vec_Flt_t *)vSwitching, iObj )); + Vec_IntFree( vSwitching ); + return pRes; +} /**Function************************************************************* |