summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--src/aig/gia/giaSim.c95
-rw-r--r--src/base/abci/abc.c29
2 files changed, 122 insertions, 2 deletions
diff --git a/src/aig/gia/giaSim.c b/src/aig/gia/giaSim.c
index da6ac33e..52ffd6e1 100644
--- a/src/aig/gia/giaSim.c
+++ b/src/aig/gia/giaSim.c
@@ -663,6 +663,101 @@ int Gia_ManSimSimulate( Gia_Man_t * pAig, Gia_ParSim_t * pPars )
return RetValue;
}
+/**Function*************************************************************
+
+ Synopsis []
+
+ Description []
+
+ SideEffects []
+
+ SeeAlso []
+
+***********************************************************************/
+Vec_Int_t * Gia_ManSimReadFile( char * pFileIn )
+{
+ int c;
+ Vec_Int_t * vPat;
+ FILE * pFile = fopen( pFileIn, "rb" );
+ if ( pFile == NULL )
+ {
+ printf( "Cannot open input file.\n" );
+ return NULL;
+ }
+ vPat = Vec_IntAlloc( 1000 );
+ while ( (c = fgetc(pFile)) != EOF )
+ if ( c == '0' || c == '1' )
+ Vec_IntPush( vPat, c - '0' );
+ fclose( pFile );
+ return vPat;
+}
+int Gia_ManSimWriteFile( char * pFileOut, Vec_Int_t * vPat, int nOuts )
+{
+ int c, i;
+ FILE * pFile = fopen( pFileOut, "wb" );
+ if ( pFile == NULL )
+ {
+ printf( "Cannot open output file.\n" );
+ return 0;
+ }
+ assert( Vec_IntSize(vPat) % nOuts == 0 );
+ Vec_IntForEachEntry( vPat, c, i )
+ {
+ fputc( '0' + c, pFile );
+ if ( i % nOuts == nOuts - 1 )
+ fputc( '\n', pFile );
+ }
+ fclose( pFile );
+ return 1;
+}
+Vec_Int_t * Gia_ManSimSimulateOne( Gia_Man_t * p, Vec_Int_t * vPat )
+{
+ Vec_Int_t * vPatOut;
+ Gia_Obj_t * pObj, * pObjRo;
+ int i, k, f;
+ assert( Vec_IntSize(vPat) % Gia_ManPiNum(p) == 0 );
+ Gia_ManConst0(p)->fMark1 = 0;
+ Gia_ManForEachRo( p, pObj, i )
+ pObj->fMark1 = 0;
+ vPatOut = Vec_IntAlloc( 1000 );
+ for ( k = f = 0; f < Vec_IntSize(vPat) / Gia_ManPiNum(p); f++ )
+ {
+ Gia_ManForEachPi( p, pObj, i )
+ pObj->fMark1 = Vec_IntEntry( vPat, k++ );
+ Gia_ManForEachAnd( p, pObj, i )
+ pObj->fMark1 = (Gia_ObjFanin0(pObj)->fMark1 ^ Gia_ObjFaninC0(pObj)) & (Gia_ObjFanin1(pObj)->fMark1 ^ Gia_ObjFaninC1(pObj));
+ Gia_ManForEachCo( p, pObj, i )
+ pObj->fMark1 = (Gia_ObjFanin0(pObj)->fMark1 ^ Gia_ObjFaninC0(pObj));
+ Gia_ManForEachPo( p, pObj, i )
+ Vec_IntPush( vPatOut, pObj->fMark1 );
+ Gia_ManForEachRiRo( p, pObj, pObjRo, i )
+ pObjRo->fMark1 = pObj->fMark1;
+ }
+ assert( k == Vec_IntSize(vPat) );
+ Gia_ManForEachObj( p, pObj, i )
+ pObj->fMark1 = 0;
+ return vPatOut;
+}
+void Gia_ManSimSimulatePattern( Gia_Man_t * p, char * pFileIn, char * pFileOut )
+{
+ Vec_Int_t * vPat, * vPatOut;
+ vPat = Gia_ManSimReadFile( pFileIn );
+ if ( vPat == NULL )
+ return;
+ if ( Vec_IntSize(vPat) % Gia_ManPiNum(p) )
+ {
+ printf( "The number of 0s and 1s in the input file (%d) does not evenly divide by the number of primary inputs (%d).\n",
+ Vec_IntSize(vPat), Gia_ManPiNum(p) );
+ Vec_IntFree( vPat );
+ return;
+ }
+ vPatOut = Gia_ManSimSimulateOne( p, vPat );
+ if ( Gia_ManSimWriteFile( pFileOut, vPatOut, Gia_ManPoNum(p) ) )
+ printf( "Output patterns are written into file \"%s\".\n", pFileOut );
+ Vec_IntFree( vPat );
+ Vec_IntFree( vPatOut );
+}
+
////////////////////////////////////////////////////////////////////////
/// END OF FILE ///
////////////////////////////////////////////////////////////////////////
diff --git a/src/base/abci/abc.c b/src/base/abci/abc.c
index 1d9836b7..b93dd29b 100644
--- a/src/base/abci/abc.c
+++ b/src/base/abci/abc.c
@@ -25155,10 +25155,11 @@ usage:
int Abc_CommandAbc9Sim( Abc_Frame_t * pAbc, int argc, char ** argv )
{
Gia_ParSim_t Pars, * pPars = &Pars;
+ char * pFileName = NULL;
int c;
Gia_ManSimSetDefaultParams( pPars );
Extra_UtilGetoptReset();
- while ( ( c = Extra_UtilGetopt( argc, argv, "FWNTmvh" ) ) != EOF )
+ while ( ( c = Extra_UtilGetopt( argc, argv, "FWNTImvh" ) ) != EOF )
{
switch ( c )
{
@@ -25206,6 +25207,17 @@ int Abc_CommandAbc9Sim( Abc_Frame_t * pAbc, int argc, char ** argv )
if ( pPars->TimeLimit < 0 )
goto usage;
break;
+ case 'I':
+ if ( globalUtilOptind >= argc )
+ {
+ Abc_Print( -1, "Command line switch \"-I\" should be followed by an integer.\n" );
+ goto usage;
+ }
+ pFileName = argv[globalUtilOptind];
+ globalUtilOptind++;
+ if ( pFileName == NULL )
+ goto usage;
+ break;
case 'm':
pPars->fCheckMiter ^= 1;
break;
@@ -25228,6 +25240,18 @@ int Abc_CommandAbc9Sim( Abc_Frame_t * pAbc, int argc, char ** argv )
Abc_Print( -1, "The network is combinational.\n" );
return 0;
}
+ if ( pFileName != NULL )
+ {
+ extern void Gia_ManSimSimulatePattern( Gia_Man_t * p, char * pFileIn, char * pFileOut );
+ char pFileNameOut[1000];
+ char * pNameGeneric = Extra_FileNameGeneric(pFileName);
+ assert( strlen(pNameGeneric) < 900 );
+ sprintf( pFileNameOut, "%s_out.%s", pNameGeneric, Extra_FileNameExtension(pFileName) );
+ ABC_FREE( pNameGeneric );
+ Gia_ManSimSimulatePattern( pAbc->pGia, pFileName, pFileNameOut );
+ return 1;
+ }
+
pAbc->nFrames = -1;
if ( Gia_ManSimSimulate( pAbc->pGia, pPars ) )
pAbc->Status = 0;
@@ -25239,7 +25263,7 @@ int Abc_CommandAbc9Sim( Abc_Frame_t * pAbc, int argc, char ** argv )
return 0;
usage:
- Abc_Print( -2, "usage: &sim [-FWNT num] [-mvh]\n" );
+ Abc_Print( -2, "usage: &sim [-FWNT num] [-mvh] -I <file>\n" );
Abc_Print( -2, "\t performs random simulation of the sequential miter\n" );
Abc_Print( -2, "\t (if candidate equivalences are defined, performs refinement)\n" );
Abc_Print( -2, "\t-F num : the number of frames to simulate [default = %d]\n", pPars->nIters );
@@ -25249,6 +25273,7 @@ usage:
Abc_Print( -2, "\t-m : toggle miter vs. any circuit [default = %s]\n", pPars->fCheckMiter? "miter": "circuit" );
Abc_Print( -2, "\t-v : toggle printing verbose information [default = %s]\n", pPars->fVerbose? "yes": "no" );
Abc_Print( -2, "\t-h : print the command usage\n");
+ Abc_Print( -2, "\t-I file: (optional) file with input patterns (one line per frame, as many as PIs)\n");
return 1;
}