diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2014-12-13 20:10:24 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2014-12-13 20:10:24 -0800 |
| commit | 6e59e4e5421a8904f533774a047033ad994465a6 (patch) | |
| tree | fd6e43a7e246fe5840ebcf108a5daa96a98e07de /src/aig/gia/giaScript.c | |
| parent | e946deec81b1e9aa58a3143e9c986f413bd6fe9b (diff) | |
| download | abc-6e59e4e5421a8904f533774a047033ad994465a6.tar.gz abc-6e59e4e5421a8904f533774a047033ad994465a6.tar.bz2 abc-6e59e4e5421a8904f533774a047033ad994465a6.zip | |
Adding relax ratio to &synch2.
Diffstat (limited to 'src/aig/gia/giaScript.c')
| -rw-r--r-- | src/aig/gia/giaScript.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/aig/gia/giaScript.c b/src/aig/gia/giaScript.c index 9ccb832b..cc6300c8 100644 --- a/src/aig/gia/giaScript.c +++ b/src/aig/gia/giaScript.c @@ -383,7 +383,7 @@ Gia_Man_t * Gia_ManAigSynch2Choices( Gia_Man_t * pGia1, Gia_Man_t * pGia2, Gia_M Aig_ManStop( pMan ); return pGia; } -Gia_Man_t * Gia_ManAigSynch2( Gia_Man_t * pInit, void * pPars0, int nLutSize ) +Gia_Man_t * Gia_ManAigSynch2( Gia_Man_t * pInit, void * pPars0, int nLutSize, int nRelaxRatio ) { extern Gia_Man_t * Gia_ManLutBalance( Gia_Man_t * p, int nLutSize, int fUseMuxes, int fRecursive, int fOptArea, int fVerbose ); Dch_Pars_t * pParsDch = (Dch_Pars_t *)pPars0; @@ -393,7 +393,7 @@ Gia_Man_t * Gia_ManAigSynch2( Gia_Man_t * pInit, void * pPars0, int nLutSize ) Lf_ManSetDefaultPars( pPars ); pPars->fCutMin = 1; pPars->fCoarsen = 1; - pPars->nRelaxRatio = 20; + pPars->nRelaxRatio = nRelaxRatio; pPars->nAreaTuner = 5; pPars->nCutNum = 12; pPars->fVerbose = fVerbose; |