diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2020-05-03 10:32:30 -0700 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2020-05-03 10:32:30 -0700 |
commit | d51f798956a9f9fbdd1fc4eeecc483e511b1c3d3 (patch) | |
tree | d38196e861394a3cb9436a438af640e167572c51 /src/aig/gia/giaSimBase.c | |
parent | 54763e6882fc88d12fadfcd7df1b40d52b8f9beb (diff) | |
download | abc-d51f798956a9f9fbdd1fc4eeecc483e511b1c3d3.tar.gz abc-d51f798956a9f9fbdd1fc4eeecc483e511b1c3d3.tar.bz2 abc-d51f798956a9f9fbdd1fc4eeecc483e511b1c3d3.zip |
Experimental resubstitution.
Diffstat (limited to 'src/aig/gia/giaSimBase.c')
-rw-r--r-- | src/aig/gia/giaSimBase.c | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/src/aig/gia/giaSimBase.c b/src/aig/gia/giaSimBase.c index c53c1db8..f9539faf 100644 --- a/src/aig/gia/giaSimBase.c +++ b/src/aig/gia/giaSimBase.c @@ -343,7 +343,7 @@ void Gia_ManSimPatWrite( char * pFileName, Vec_Wrd_t * vSimsIn, int nWords ) for ( i = 0; i < nNodes; i++ ) Gia_ManSimPatWriteOne( pFile, Vec_WrdEntryP(vSimsIn, i*nWords), nWords ); fclose( pFile ); - printf( "Written %d words of simulation data into file \"%s\".\n", nWords, pFileName ); + printf( "Written %d words of simulation data for %d objects into file \"%s\".\n", nWords, Vec_WrdSize(vSimsIn)/nWords, pFileName ); } int Gia_ManSimPatReadOne( char c ) { @@ -358,7 +358,7 @@ int Gia_ManSimPatReadOne( char c ) assert( Digit >= 0 && Digit < 16 ); return Digit; } -Vec_Wrd_t * Gia_ManSimPatRead( char * pFileName ) +Vec_Wrd_t * Gia_ManSimPatRead( char * pFileName, int * pnWords ) { Vec_Wrd_t * vSimsIn = NULL; int c, nWords = -1, nChars = 0; word Num = 0; @@ -384,7 +384,9 @@ Vec_Wrd_t * Gia_ManSimPatRead( char * pFileName ) } assert( Vec_WrdSize(vSimsIn) % nWords == 0 ); fclose( pFile ); - printf( "Read %d words of simulation data.\n", nWords ); + printf( "Read %d words of simulation data for %d objects.\n", nWords, Vec_WrdSize(vSimsIn)/nWords ); + if ( pnWords ) + *pnWords = nWords; return vSimsIn; } |