diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2013-07-12 13:02:32 -0700 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2013-07-12 13:02:32 -0700 |
commit | fba33fbba407f96800863bde5a7061b09c2f9ff2 (patch) | |
tree | 28b8cf1f69d3e345c7953157c450efdd90531b7b /src/map/mpm/mpmCore.c | |
parent | 2ee26b00f9ac8dc93bd1335f89d4c3b165dbd7fd (diff) | |
download | abc-fba33fbba407f96800863bde5a7061b09c2f9ff2.tar.gz abc-fba33fbba407f96800863bde5a7061b09c2f9ff2.tar.bz2 abc-fba33fbba407f96800863bde5a7061b09c2f9ff2.zip |
New technology mapper.
Diffstat (limited to 'src/map/mpm/mpmCore.c')
-rw-r--r-- | src/map/mpm/mpmCore.c | 96 |
1 files changed, 96 insertions, 0 deletions
diff --git a/src/map/mpm/mpmCore.c b/src/map/mpm/mpmCore.c new file mode 100644 index 00000000..605e716c --- /dev/null +++ b/src/map/mpm/mpmCore.c @@ -0,0 +1,96 @@ +/**CFile**************************************************************** + + FileName [mpmCore.c] + + SystemName [ABC: Logic synthesis and verification system.] + + PackageName [Configurable technology mapper.] + + Synopsis [Core procedures.] + + Author [Alan Mishchenko] + + Affiliation [UC Berkeley] + + Date [Ver. 1.0. Started - June 1, 2013.] + + Revision [$Id: mpmCore.c,v 1.00 2013/06/01 00:00:00 alanmi Exp $] + +***********************************************************************/ + +#include "aig/gia/gia.h" +#include "mpmInt.h" + +ABC_NAMESPACE_IMPL_START + + +//////////////////////////////////////////////////////////////////////// +/// DECLARATIONS /// +//////////////////////////////////////////////////////////////////////// + +//////////////////////////////////////////////////////////////////////// +/// FUNCTION DEFINITIONS /// +//////////////////////////////////////////////////////////////////////// + +/**Function************************************************************* + + Synopsis [] + + Description [] + + SideEffects [] + + SeeAlso [] + +***********************************************************************/ +void Mpm_ManSetParsDefault( Mpm_Par_t * p ) +{ + memset( p, 0, sizeof(Mpm_Par_t) ); + p->DelayTarget = -1; // delay target + p->fVerbose = 0; // verbose output +} + +/**Function************************************************************* + + Synopsis [] + + Description [] + + SideEffects [] + + SeeAlso [] + +***********************************************************************/ +Gia_Man_t * Mpm_ManPerformTest( Mig_Man_t * pMig ) +{ + Gia_Man_t * pNew; + Mpm_LibLut_t * pLib; + Mpm_Man_t * p; + pLib = Mpm_LibLutSetSimple( 6 ); + p = Mpm_ManStart( pMig, pLib, 8 ); + 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 ) +{ + Mig_Man_t * p; + Gia_Man_t * pNew; + p = Mig_ManCreate( pGia ); + pNew = Mpm_ManPerformTest( p ); + Mig_ManStop( p ); + return pNew; +} + +//////////////////////////////////////////////////////////////////////// +/// END OF FILE /// +//////////////////////////////////////////////////////////////////////// + + +ABC_NAMESPACE_IMPL_END + |