diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2014-09-24 00:33:16 -0400 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2014-09-24 00:33:16 -0400 |
commit | ad079f7207029626d3fe030e2c6554d0854db13d (patch) | |
tree | bc12e4901d0168cf0dc94dea5d3797677225330b /src/aig/gia/giaScript.c | |
parent | ea9c1c0bffaaab84fcff24272b9b5788c63d9a58 (diff) | |
download | abc-ad079f7207029626d3fe030e2c6554d0854db13d.tar.gz abc-ad079f7207029626d3fe030e2c6554d0854db13d.tar.bz2 abc-ad079f7207029626d3fe030e2c6554d0854db13d.zip |
Added switch -t to &flow2.
Diffstat (limited to 'src/aig/gia/giaScript.c')
-rw-r--r-- | src/aig/gia/giaScript.c | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/src/aig/gia/giaScript.c b/src/aig/gia/giaScript.c index 60be82f6..714843ce 100644 --- a/src/aig/gia/giaScript.c +++ b/src/aig/gia/giaScript.c @@ -491,13 +491,13 @@ 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 fBalance, int fVerbose ) +void Gia_ManPerformFlow2( int fIsMapped, int nAnds, int nLevels, int nLutSize, int nCutNum, int fBalance, int fMinAve, 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 ); - sprintf( Comm2, "&dch -f; &if -m -K %d -C %d; &save", nLutSize, nCutNum+4 ); - sprintf( Comm3, "&synch2 -K %d; &lf -m -E 5 -K %d -C %d; &save", nLutSize, nLutSize, nCutNum ); - sprintf( Comm4, "&dch -f; &lf -mk -E 5 -K %d -C %d; &save", nLutSize, nCutNum+4 ); + sprintf( Comm1, "&synch2 -K %d; &if -m%s -K %d -C %d; &save", nLutSize, fMinAve?"t":"", nLutSize, nCutNum ); + sprintf( Comm2, "&dch -f; &if -m%s -K %d -C %d; &save", fMinAve?"t":"", nLutSize, nCutNum+4 ); + sprintf( Comm3, "&synch2 -K %d; &lf -m%s -E 5 -K %d -C %d; &save", nLutSize, fMinAve?"t":"", nLutSize, nCutNum ); + sprintf( Comm4, "&dch -f; &lf -m%sk -E 5 -K %d -C %d; &save", fMinAve?"t":"", nLutSize, nCutNum+4 ); // perform synthesis if ( fVerbose ) |