luke
/
abc
mirror of https://github.com/YosysHQ/abc.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Adding switch to enable SOP balancing in '&flow2'.

This commit is contained in:
Alan Mishchenko 2014-09-21 21:40:34 -04:00
parent 8f3dd475ee
commit 15f5428989
2 changed files with 30 additions and 14 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

31
src/aig/gia/giaScript.c
View File

@ -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 );

13
src/base/abci/abc.c
View File

@ -30978,12 +30978,13 @@ usage:
***********************************************************************/
int Abc_CommandAbc9Flow2( Abc_Frame_t * pAbc, int argc, char ** argv )
{
extern void Gia_ManPerformFlow2( int fIsMapped, int nAnds, int nLevels, int nLutSize, int nCutNum, int fVerbose );
extern void Gia_ManPerformFlow2( int fIsMapped, int nAnds, int nLevels, int nLutSize, int nCutNum, int fBalance, int fVerbose );
int nLutSize = 6;
int nCutNum = 8;
int fBalance = 0;
int c, fVerbose = 0;
Extra_UtilGetoptReset();
while ( ( c = Extra_UtilGetopt( argc, argv, "KCvh" ) ) != EOF )
while ( ( c = Extra_UtilGetopt( argc, argv, "KCbvh" ) ) != EOF )
{
switch ( c )
{
@ -31009,6 +31010,9 @@ int Abc_CommandAbc9Flow2( Abc_Frame_t * pAbc, int argc, char ** argv )
if ( nCutNum < 0 )
goto usage;
break;
case 'b':
fBalance ^= 1;
break;
case 'v':
fVerbose ^= 1;
break;
@ -31023,14 +31027,15 @@ int Abc_CommandAbc9Flow2( Abc_Frame_t * pAbc, int argc, char ** argv )
Abc_Print( -1, "Abc_CommandAbc9Flow2(): There is no AIG.\n" );
return 1;
}
Gia_ManPerformFlow2( Gia_ManHasMapping(pAbc->pGia), Gia_ManAndNum(pAbc->pGia), Gia_ManLevelNum(pAbc->pGia), nLutSize, nCutNum, fVerbose );
Gia_ManPerformFlow2( Gia_ManHasMapping(pAbc->pGia), Gia_ManAndNum(pAbc->pGia), Gia_ManLevelNum(pAbc->pGia), nLutSize, nCutNum, fBalance, fVerbose );
return 0;
usage:
Abc_Print( -2, "usage: &flow2 [-KC num] [-vh]\n" );
Abc_Print( -2, "usage: &flow2 [-KC num] [-bvh]\n" );
Abc_Print( -2, "\t integration optimization and mapping flow\n" );
Abc_Print( -2, "\t-K num : the number of LUT inputs (LUT size) [default = %d]\n", nLutSize );
Abc_Print( -2, "\t-C num : the number of cuts at a node [default = %d]\n", nCutNum );
Abc_Print( -2, "\t-b : toggle using SOP balancing during synthesis [default = %s]\n", fBalance? "yes": "no" );
Abc_Print( -2, "\t-v : toggle printing verbose information [default = %s]\n", fVerbose? "yes": "no" );
Abc_Print( -2, "\t-h : print the command usage\n");
return 1;