diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2012-08-29 12:43:55 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2012-08-29 12:43:55 -0700 |
| commit | 6814c48bb4e748add7e4ebd37f0d4d00312e0c5a (patch) | |
| tree | 118acbcc21b7174ca030b547871f39073554befc /src/base/abci/abcFxu.c | |
| parent | bebd7ee6cb49f4876a7411e2986c12d4e72ff06a (diff) | |
| download | abc-6814c48bb4e748add7e4ebd37f0d4d00312e0c5a.tar.gz abc-6814c48bb4e748add7e4ebd37f0d4d00312e0c5a.tar.bz2 abc-6814c48bb4e748add7e4ebd37f0d4d00312e0c5a.zip | |
Added an API to convert a multi-output PLA into a shared AIG.
Diffstat (limited to 'src/base/abci/abcFxu.c')
| -rw-r--r-- | src/base/abci/abcFxu.c | 30 |
1 files changed, 28 insertions, 2 deletions
diff --git a/src/base/abci/abcFxu.c b/src/base/abci/abcFxu.c index 9cf2e31a..c50a2bec 100644 --- a/src/base/abci/abcFxu.c +++ b/src/base/abci/abcFxu.c @@ -28,14 +28,40 @@ ABC_NAMESPACE_IMPL_START /// DECLARATIONS /// //////////////////////////////////////////////////////////////////////// -static int Abc_NtkFxuCheck( Abc_Ntk_t * pNtk ); +static int Abc_NtkFxuCheck( Abc_Ntk_t * pNtk ); static void Abc_NtkFxuCollectInfo( Abc_Ntk_t * pNtk, Fxu_Data_t * p ); static void Abc_NtkFxuReconstruct( Abc_Ntk_t * pNtk, Fxu_Data_t * p ); +extern int Fxu_FastExtract( Fxu_Data_t * pData ); + //////////////////////////////////////////////////////////////////////// /// FUNCTION DEFINITIONS /// //////////////////////////////////////////////////////////////////////// +/**Function************************************************************* + + Synopsis [Sets default values of the FXU parameters.] + + Description [] + + SideEffects [] + + SeeAlso [] + +***********************************************************************/ +void Abc_NtkSetDefaultParams( Fxu_Data_t * p ) +{ + memset( p, 0, sizeof(Fxu_Data_t) ); + p->nSingleMax = 20000; + p->nPairsMax = 30000; + p->nNodesExt = 10000; + p->WeightMax = 0; + p->fOnlyS = 0; + p->fOnlyD = 0; + p->fUse0 = 0; + p->fUseCompl = 1; + p->fVerbose = 0; +} /**Function************************************************************* @@ -190,7 +216,7 @@ void Abc_NtkFxuFreeInfo( Fxu_Data_t * p ) if ( p->vSopsNew ) Vec_PtrFree( p->vSopsNew ); if ( p->vFanins ) Vec_PtrFree( p->vFanins ); if ( p->vFaninsNew ) Vec_PtrFree( p->vFaninsNew ); - ABC_FREE( p ); +// ABC_FREE( p ); } /**Function************************************************************* |