diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2014-09-21 21:40:34 -0400 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2014-09-21 21:40:34 -0400 |
| commit | 15f5428989298ffc05b3ea341ca0b87739e973bc (patch) | |
| tree | 84e8dd9ca5a848f96cff4e05a093148a9a2de307 /src/aig/gia/giaScript.c | |
| parent | 8f3dd475ee438460991ff40d31de9b289bb58c28 (diff) | |
| download | abc-15f5428989298ffc05b3ea341ca0b87739e973bc.tar.gz abc-15f5428989298ffc05b3ea341ca0b87739e973bc.tar.bz2 abc-15f5428989298ffc05b3ea341ca0b87739e973bc.zip | |
Adding switch to enable SOP balancing in '&flow2'.
Diffstat (limited to 'src/aig/gia/giaScript.c')
| -rw-r--r-- | src/aig/gia/giaScript.c | 31 |
1 files changed, 21 insertions, 10 deletions
diff --git a/src/aig/gia/giaScript.c b/src/aig/gia/giaScript.c index 042aef52..60be82f6 100644 --- a/src/aig/gia/giaScript.c +++ b/src/aig/gia/giaScript.c @@ -491,7 +491,7 @@ void Gia_ManPerformFlow( int fIsMapped, int nAnds, int nLevels, int nLutSize, in SeeAlso [] ***********************************************************************/ -void Gia_ManPerformFlow2( int fIsMapped, int nAnds, int nLevels, int nLutSize, int nCutNum, int fVerbose ) +void Gia_ManPerformFlow2( int fIsMapped, int nAnds, int nLevels, int nLutSize, int nCutNum, int fBalance, int fVerbose ) { char Comm1[100], Comm2[100], Comm3[100], Comm4[100]; sprintf( Comm1, "&synch2 -K %d; &if -m -K %d -C %d; &save", nLutSize, nLutSize, nCutNum ); @@ -521,9 +521,12 @@ void Gia_ManPerformFlow2( int fIsMapped, int nAnds, int nLevels, int nLutSize, i // perform balancing - if ( fVerbose ) - printf( "Trying SOP balancing...\n" ); - Cmd_CommandExecute( Abc_FrameGetGlobalFrame(), "&st; &sopb -R 10 -C 4" ); + if ( fBalance ) + { + if ( fVerbose ) + printf( "Trying SOP balancing...\n" ); + Cmd_CommandExecute( Abc_FrameGetGlobalFrame(), "&st; &sopb -R 10 -C 4" ); + } // perform synthesis @@ -546,9 +549,13 @@ void Gia_ManPerformFlow2( int fIsMapped, int nAnds, int nLevels, int nLutSize, i // perform balancing - if ( fVerbose ) - printf( "Trying SOP balancing...\n" ); - Cmd_CommandExecute( Abc_FrameGetGlobalFrame(), "&st; &sopb -R 10" ); + if ( fBalance ) + { + if ( fVerbose ) + printf( "Trying SOP balancing...\n" ); + Cmd_CommandExecute( Abc_FrameGetGlobalFrame(), "&st; &sopb -R 10" ); + } + // perform synthesis Cmd_CommandExecute( Abc_FrameGetGlobalFrame(), Comm3 ); @@ -570,9 +577,13 @@ void Gia_ManPerformFlow2( int fIsMapped, int nAnds, int nLevels, int nLutSize, i // perform balancing - if ( fVerbose ) - printf( "Trying SOP balancing...\n" ); - Cmd_CommandExecute( Abc_FrameGetGlobalFrame(), "&st; &sopb -R 10" ); + if ( fBalance ) + { + if ( fVerbose ) + printf( "Trying SOP balancing...\n" ); + Cmd_CommandExecute( Abc_FrameGetGlobalFrame(), "&st; &sopb -R 10" ); + } + // perform synthesis Cmd_CommandExecute( Abc_FrameGetGlobalFrame(), Comm3 ); |