diff options
Diffstat (limited to 'src')
| -rw-r--r-- | src/aig/gia/giaSim.c | 95 | ||||
| -rw-r--r-- | src/base/abci/abc.c | 29 |
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; } |