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

Temp changes

This commit is contained in:
Alan Mishchenko 2017-06-15 23:26:24 -07:00
parent 584e28e8f4
commit 584d52ba85
2 changed files with 33 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

25
src/aig/gia/giaUtil.c
View File

@ -2050,6 +2050,31 @@ void Gia_AigerWriteLut( Gia_Man_t * p, char * pFileName )
Vec_WrdFree( vTruths );
}
/**Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
***********************************************************************/
void Gia_DumpLutSizeDistrib( Gia_Man_t * p, char * pFileName )
{
FILE * pTable = fopen( pFileName, "a+" );
int i, Counts[10] = {0};
Gia_ManForEachLut( p, i )
if ( Gia_ObjLutSize(p, i) > 0 && Gia_ObjLutSize(p, i) < 10 )
Counts[ Gia_ObjLutSize(p, i) ]++;
fprintf( pTable, "%s", p->pName );
for ( i = 1; i < 10; i++ )
fprintf( pTable, " %d", Counts[i] );
fprintf( pTable, "\n" );
fclose( pTable );
}
////////////////////////////////////////////////////////////////////////
/// END OF FILE ///
////////////////////////////////////////////////////////////////////////

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

@ -43670,8 +43670,15 @@ int Abc_CommandAbc9Test( Abc_Frame_t * pAbc, int argc, char ** argv )
// Jf_ManTestCnf( pAbc->pGia );
// Gia_ManCheckFalseTest( pAbc->pGia, nFrames );
// Gia_ParTest( pAbc->pGia, nWords, nProcs );
Gia_StoComputeCuts( pAbc->pGia );
// Gia_StoComputeCuts( pAbc->pGia );
// printf( "\nThis command is currently disabled.\n\n" );
{
char Buffer[10];
extern void Gia_DumpLutSizeDistrib( Gia_Man_t * p, char * pFileName );
sprintf( Buffer, "stats%d.txt", nFrames );
if ( pAbc->pGia )
Gia_DumpLutSizeDistrib( pAbc->pGia, Buffer );
}
return 0;
usage:
Abc_Print( -2, "usage: &test [-FW num] [-svh]\n" );