diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2008-03-30 08:01:00 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2008-03-30 08:01:00 -0700 |
| commit | 2c7f6e39b84d29db096388459db7583c01b79b01 (patch) | |
| tree | 7fd628f0ac0391c45d2f8c95483887a984b8789c /src/opt | |
| parent | 93c3f16066b69c840dc636f827f5f3ca18749906 (diff) | |
| download | abc-2c7f6e39b84d29db096388459db7583c01b79b01.tar.gz abc-2c7f6e39b84d29db096388459db7583c01b79b01.tar.bz2 abc-2c7f6e39b84d29db096388459db7583c01b79b01.zip | |
Version abc80330
Diffstat (limited to 'src/opt')
| -rw-r--r-- | src/opt/mfs/mfs.h | 2 | ||||
| -rw-r--r-- | src/opt/mfs/mfsCore.c | 30 |
2 files changed, 31 insertions, 1 deletions
diff --git a/src/opt/mfs/mfs.h b/src/opt/mfs/mfs.h index d3f7277d..989cd718 100644 --- a/src/opt/mfs/mfs.h +++ b/src/opt/mfs/mfs.h @@ -66,7 +66,9 @@ struct Mfs_Par_t_ //////////////////////////////////////////////////////////////////////// /*=== mfsCore.c ==========================================================*/ +extern void Abc_NtkMfsParsDefault( Mfs_Par_t * pPars ); extern int Abc_NtkMfs( Abc_Ntk_t * pNtk, Mfs_Par_t * pPars ); + #ifdef __cplusplus } diff --git a/src/opt/mfs/mfsCore.c b/src/opt/mfs/mfsCore.c index fed528ef..7104d3b3 100644 --- a/src/opt/mfs/mfsCore.c +++ b/src/opt/mfs/mfsCore.c @@ -39,6 +39,34 @@ SeeAlso [] ***********************************************************************/ +void Abc_NtkMfsParsDefault( Mfs_Par_t * pPars ) +{ + pPars->nWinTfoLevs = 2; + pPars->nFanoutsMax = 10; + pPars->nDepthMax = 20; + pPars->nDivMax = 250; + pPars->nWinSizeMax = 300; + pPars->nGrowthLevel = 0; + pPars->nBTLimit = 5000; + pPars->fResub = 1; + pPars->fArea = 0; + pPars->fMoreEffort = 0; + pPars->fSwapEdge = 0; + pPars->fVerbose = 0; + pPars->fVeryVerbose = 0; +} + +/**Function************************************************************* + + Synopsis [] + + Description [] + + SideEffects [] + + SeeAlso [] + +***********************************************************************/ int Abc_NtkMfsResub( Mfs_Man_t * p, Abc_Obj_t * pNode ) { int clk; @@ -201,7 +229,7 @@ int Abc_NtkMfs( Abc_Ntk_t * pNtk, Mfs_Par_t * pPars ) // convert into the AIG if ( !Abc_NtkToAig(pNtk) ) { - fprintf( stdout, "Converting to BDD has failed.\n" ); + fprintf( stdout, "Converting to AIGs has failed.\n" ); return 0; } assert( Abc_NtkHasAig(pNtk) ); |