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

Adding verbosity flag to command 'symfun'.

This commit is contained in:
Alan Mishchenko 2019-06-20 07:32:58 +02:00
parent 35280f3050
commit 1dcf6c879f
2 changed files with 5 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -22974,10 +22974,10 @@ usage:
***********************************************************************/ ***********************************************************************/
int Abc_CommandSymFun( Abc_Frame_t * pAbc, int argc, char ** argv ) int Abc_CommandSymFun( Abc_Frame_t * pAbc, int argc, char ** argv )
{ {
extern void Ntk_SymFunGenerate( int nVars ); extern void Ntk_SymFunGenerate( int nVars, int fVerbose );
word * pFun = NULL; word * pFun = NULL;
char * pStr, * pTruth, * pCommand; char * pStr, * pTruth, * pCommand;
int c, k, nVars = -1, fVerbose = 1; int c, k, nVars = -1, fVerbose = 0;
Extra_UtilGetoptReset(); Extra_UtilGetoptReset();
while ( ( c = Extra_UtilGetopt( argc, argv, "Nvh" ) ) != EOF ) while ( ( c = Extra_UtilGetopt( argc, argv, "Nvh" ) ) != EOF )
{ {
@ -23009,7 +23009,7 @@ int Abc_CommandSymFun( Abc_Frame_t * pAbc, int argc, char ** argv )
printf( "Cannot generate functions for less than 1 and more than %d variables.\n", nVars ); printf( "Cannot generate functions for less than 1 and more than %d variables.\n", nVars );
return 1; return 1;
} }
Ntk_SymFunGenerate( nVars ); Ntk_SymFunGenerate( nVars, fVerbose );
return 0; return 0;
} }
if ( argc != globalUtilOptind + 1 ) if ( argc != globalUtilOptind + 1 )

4
src/base/abci/abcSymm.c
View File

@ -305,9 +305,9 @@ void Ntk_SymFunDeriveNpn( word * pFun, int nVars, int * pComp )
SeeAlso [] SeeAlso []
***********************************************************************/ ***********************************************************************/
void Ntk_SymFunGenerate( int nVars ) void Ntk_SymFunGenerate( int nVars, int fVerbose )
{ {
int k, m, Class, fVerbose = 0; int k, m, Class;
int * pComp = Extra_GreyCodeSchedule( nVars ); int * pComp = Extra_GreyCodeSchedule( nVars );
Vec_Mem_t * vTtMem = Vec_MemAlloc( Abc_Truth6WordNum(nVars), 12 ); Vec_Mem_t * vTtMem = Vec_MemAlloc( Abc_Truth6WordNum(nVars), 12 );
Vec_MemHashAlloc( vTtMem, 10000 ); Vec_MemHashAlloc( vTtMem, 10000 );