diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2013-07-12 19:33:46 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2013-07-12 19:33:46 -0700 |
| commit | 7efe9f2afd033b4e9d171e87317d29d195255dc4 (patch) | |
| tree | cca9eef9643290e403549ef75781c39a68ecf51e /src/map/mpm/mpmCore.c | |
| parent | 634dd6d030f5f54cfd0032be83ab10ec064530f1 (diff) | |
| download | abc-7efe9f2afd033b4e9d171e87317d29d195255dc4.tar.gz abc-7efe9f2afd033b4e9d171e87317d29d195255dc4.tar.bz2 abc-7efe9f2afd033b4e9d171e87317d29d195255dc4.zip | |
New technology mapper.
Diffstat (limited to 'src/map/mpm/mpmCore.c')
| -rw-r--r-- | src/map/mpm/mpmCore.c | 18 |
1 files changed, 10 insertions, 8 deletions
diff --git a/src/map/mpm/mpmCore.c b/src/map/mpm/mpmCore.c index 605e716c..caebd835 100644 --- a/src/map/mpm/mpmCore.c +++ b/src/map/mpm/mpmCore.c @@ -46,8 +46,13 @@ ABC_NAMESPACE_IMPL_START void Mpm_ManSetParsDefault( Mpm_Par_t * p ) { memset( p, 0, sizeof(Mpm_Par_t) ); - p->DelayTarget = -1; // delay target - p->fVerbose = 0; // verbose output + p->pLib = NULL; // LUT library + p->nNumCuts = 8; // cut number + p->fUseTruth = 0; // uses truth tables + p->fCutMin = 0; // enables cut minimization + p->DelayTarget = -1; // delay target + p->fDeriveLuts = 0; // use truth tables to derive AIG structure + p->fVerbose = 0; // verbose output } /**Function************************************************************* @@ -61,20 +66,17 @@ void Mpm_ManSetParsDefault( Mpm_Par_t * p ) SeeAlso [] ***********************************************************************/ -Gia_Man_t * Mpm_ManPerformTest( Mig_Man_t * pMig ) +Gia_Man_t * Mpm_ManPerformTest( Mig_Man_t * pMig, Mpm_Par_t * pPars ) { Gia_Man_t * pNew; - Mpm_LibLut_t * pLib; Mpm_Man_t * p; - pLib = Mpm_LibLutSetSimple( 6 ); - p = Mpm_ManStart( pMig, pLib, 8 ); + p = Mpm_ManStart( pMig, pPars ); Mpm_ManPrintStatsInit( p ); Mpm_ManPrepare( p ); Mpm_ManPerform( p ); Mpm_ManPrintStats( p ); pNew = (Gia_Man_t *)Mpm_ManFromIfLogic( p ); Mpm_ManStop( p ); - Mpm_LibLutFree( pLib ); return pNew; } Gia_Man_t * Mpm_ManMappingTest( Gia_Man_t * pGia, Mpm_Par_t * pPars ) @@ -82,7 +84,7 @@ Gia_Man_t * Mpm_ManMappingTest( Gia_Man_t * pGia, Mpm_Par_t * pPars ) Mig_Man_t * p; Gia_Man_t * pNew; p = Mig_ManCreate( pGia ); - pNew = Mpm_ManPerformTest( p ); + pNew = Mpm_ManPerformTest( p, pPars ); Mig_ManStop( p ); return pNew; } |