diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2014-09-20 23:37:07 -0700 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2014-09-20 23:37:07 -0700 |
commit | 8f3dd475ee438460991ff40d31de9b289bb58c28 (patch) | |
tree | ddb4a23771881e1d01fd2e1b8eaedb7a0cc27057 /src/aig | |
parent | dc9d327a5884a8c9272ff76ea9669ff805268e13 (diff) | |
download | abc-8f3dd475ee438460991ff40d31de9b289bb58c28.tar.gz abc-8f3dd475ee438460991ff40d31de9b289bb58c28.tar.bz2 abc-8f3dd475ee438460991ff40d31de9b289bb58c28.zip |
Tuning the flow scripts.
Diffstat (limited to 'src/aig')
-rw-r--r-- | src/aig/gia/giaScript.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/aig/gia/giaScript.c b/src/aig/gia/giaScript.c index be5720dd..042aef52 100644 --- a/src/aig/gia/giaScript.c +++ b/src/aig/gia/giaScript.c @@ -496,7 +496,7 @@ void Gia_ManPerformFlow2( int fIsMapped, int nAnds, int nLevels, int nLutSize, i 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 -mk -E 5 -K %d -C %d; &save", nLutSize, nLutSize, nCutNum ); + 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 ); // perform synthesis |