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

Experiments with simulation.

This commit is contained in:
Alan Mishchenko 2014-03-14 21:50:46 -07:00
parent eae0455267
commit cb65ccd28b
1 changed files with 9 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

15
src/map/if/ifTest.c
View File

@ -154,7 +154,7 @@ void Gia_ParTestSimulate( Gia_Man_t * p, int nWords )
Gia_ParTestSimulateInit( p );
Gia_ManForEachObj( p, pObj, i )
Gia_ParTestSimulateObj( p, i );
Gia_ParComputeSignature( p, nWords ); printf( " " );
// Gia_ParComputeSignature( p, nWords ); printf( " " );
Gia_ParTestFree( p );
}
@ -229,7 +229,7 @@ void * Gia_ParWorkerThread( void * pArg )
}
assert( Counter != 0 );
assert( 0 );
return (void *)Counter;
return NULL;
}
void Gia_ParTestSimulate2( Gia_Man_t * p, int nWords, int nProcs )
{
@ -237,6 +237,7 @@ void Gia_ParTestSimulate2( Gia_Man_t * p, int nWords, int nProcs )
Par_ThData_t ThData[PAR_THR_MAX];
Vec_Int_t * vStack, * vFanins;
int i, k, iFan, status, nCountFanins;
assert( nProcs <= PAR_THR_MAX );
Gia_ManRandom( 1 );
Gia_ParTestAlloc( p, nWords );
Gia_ParTestSimulateInit( p );
@ -249,7 +250,6 @@ void Gia_ParTestSimulate2( Gia_Man_t * p, int nWords, int nProcs )
vFanins = Gia_ManCreateFaninCounts( p );
nCountFanins = Vec_IntSum(vFanins);
// start the threads
assert( nProcs <= PAR_THR_MAX );
for ( i = 0; i < nProcs; i++ )
{
ThData[i].p = p;
@ -310,7 +310,7 @@ void Gia_ParTestSimulate2( Gia_Man_t * p, int nWords, int nProcs )
Gia_ManStaticFanoutStop( p );
Vec_IntFree( vStack );
Vec_IntFree( vFanins );
Gia_ParComputeSignature( p, nWords ); printf( " " );
// Gia_ParComputeSignature( p, nWords ); printf( " " );
Gia_ParTestFree( p );
}
@ -328,11 +328,14 @@ void Gia_ParTestSimulate2( Gia_Man_t * p, int nWords, int nProcs )
***********************************************************************/
void Gia_ParTest( Gia_Man_t * p, int nWords, int nProcs )
{
abctime clk = Abc_Clock();
printf( "Trying with %d words and %d procs.\n", nWords, nProcs );
abctime clk;
printf( "Trying with %d words and %d threads.\n", nWords, nProcs );
printf( "Memory usage = %.2f MB\n", (8.0*nWords*Gia_ManObjNum(p))/(1<<20) );
clk = Abc_Clock();
Gia_ParTestSimulate2( p, nWords, nProcs );
Abc_PrintTime( 1, "Time", Abc_Clock() - clk );
clk = Abc_Clock();
Gia_ParTestSimulate( p, nWords );
Abc_PrintTime( 1, "Time", Abc_Clock() - clk );