diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2008-03-26 08:01:00 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2008-03-26 08:01:00 -0700 |
| commit | e258fcb2cd0cb0bca2bb077b2e5954b7be02b1c3 (patch) | |
| tree | 8056eb71a429208d41735b2be3e237d3ef8e25ff /src/aig/dar/darScript.c | |
| parent | 85207c7568dd2edac04e97ecdf59c2d684d1cb91 (diff) | |
| download | abc-e258fcb2cd0cb0bca2bb077b2e5954b7be02b1c3.tar.gz abc-e258fcb2cd0cb0bca2bb077b2e5954b7be02b1c3.tar.bz2 abc-e258fcb2cd0cb0bca2bb077b2e5954b7be02b1c3.zip | |
Version abc80326
Diffstat (limited to 'src/aig/dar/darScript.c')
| -rw-r--r-- | src/aig/dar/darScript.c | 13 |
1 files changed, 11 insertions, 2 deletions
diff --git a/src/aig/dar/darScript.c b/src/aig/dar/darScript.c index e690a61b..fad4148c 100644 --- a/src/aig/dar/darScript.c +++ b/src/aig/dar/darScript.c @@ -181,6 +181,14 @@ Aig_Man_t * Dar_ManCompress( Aig_Man_t * pAig, int fBalance, int fUpdateLevel, i Aig_ManStop( pTemp ); if ( fVerbose ) Aig_ManPrintStats( pAig ); + // balance + if ( fBalance ) + { + pAig = Dar_ManBalance( pTemp = pAig, fUpdateLevel ); + Aig_ManStop( pTemp ); + if ( fVerbose ) Aig_ManPrintStats( pAig ); + } + return pAig; } @@ -195,7 +203,7 @@ Aig_Man_t * Dar_ManCompress( Aig_Man_t * pAig, int fBalance, int fUpdateLevel, i SeeAlso [] ***********************************************************************/ -Aig_Man_t * Dar_ManCompress2( Aig_Man_t * pAig, int fBalance, int fUpdateLevel, int fVerbose ) +Aig_Man_t * Dar_ManCompress2( Aig_Man_t * pAig, int fBalance, int fUpdateLevel, int fFanout, int fVerbose ) //alias compress2 "b -l; rw -l; rf -l; b -l; rw -l; rwz -l; b -l; rfz -l; rwz -l; b -l" { Aig_Man_t * pTemp; @@ -208,6 +216,7 @@ Aig_Man_t * Dar_ManCompress2( Aig_Man_t * pAig, int fBalance, int fUpdateLevel, pParsRwr->fUpdateLevel = fUpdateLevel; pParsRef->fUpdateLevel = fUpdateLevel; + pParsRwr->fFanout = fFanout; pParsRwr->fVerbose = 0;//fVerbose; pParsRef->fVerbose = 0;//fVerbose; @@ -310,7 +319,7 @@ Vec_Ptr_t * Dar_ManChoiceSynthesis( Aig_Man_t * pAig, int fBalance, int fUpdateL Vec_PtrPush( vAigs, pAig ); pAig = Dar_ManCompress (pAig, 0, fUpdateLevel, fVerbose); Vec_PtrPush( vAigs, pAig ); - pAig = Dar_ManCompress2(pAig, fBalance, fUpdateLevel, fVerbose); + pAig = Dar_ManCompress2(pAig, fBalance, fUpdateLevel, 1, fVerbose); Vec_PtrPush( vAigs, pAig ); return vAigs; } |