From 69b4a922867a317c105aa7e6470c9983e75783c9 Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Mon, 29 Sep 2014 16:08:59 -0700 Subject: Adding options to &flow2. --- src/aig/gia/giaScript.c | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) (limited to 'src/aig/gia/giaScript.c') diff --git a/src/aig/gia/giaScript.c b/src/aig/gia/giaScript.c index 91a8bc8a..b7879e27 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 fMinAve, int fVerbose ) +void Gia_ManPerformFlow2( int fIsMapped, int nAnds, int nLevels, int nLutSize, int nCutNum, int fBalance, int fMinAve, int fUseMfs, int fVerbose ) { char Comm1[100], Comm2[100], Comm3[100], Comm4[100]; - 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 ); + sprintf( Comm1, "&synch2 -K %d; &if -m%s -K %d -C %d; %s &save", nLutSize, fMinAve?"t":"", nLutSize, nCutNum, fUseMfs ? "&put; mfs2; &get -m;":"" ); + sprintf( Comm2, "&dch -f; &if -m%s -K %d -C %d; %s &save", fMinAve?"t":"", nLutSize, nCutNum+4, fUseMfs ? "&put; mfs2; &get -m;":"" ); + sprintf( Comm3, "&synch2 -K %d; &lf -m%s -E 5 -K %d -C %d; %s &save", nLutSize, fMinAve?"t":"", nLutSize, nCutNum, fUseMfs ? "&put; mfs2; &get -m;":"" ); + sprintf( Comm4, "&dch -f; &lf -m%sk -E 5 -K %d -C %d; %s &save", fMinAve?"t":"", nLutSize, nCutNum+4, fUseMfs ? "&put; mfs2; &get -m;":"" ); // perform synthesis if ( fVerbose ) -- cgit v1.2.3