diff options
Diffstat (limited to 'abc70930/src/base/io/ioReadEqn.c')
| -rw-r--r-- | abc70930/src/base/io/ioReadEqn.c | 239 |
1 files changed, 0 insertions, 239 deletions
diff --git a/abc70930/src/base/io/ioReadEqn.c b/abc70930/src/base/io/ioReadEqn.c deleted file mode 100644 index e04f2b1a..00000000 --- a/abc70930/src/base/io/ioReadEqn.c +++ /dev/null @@ -1,239 +0,0 @@ -/**CFile**************************************************************** - - FileName [ioReadEqn.c] - - SystemName [ABC: Logic synthesis and verification system.] - - PackageName [Command processing package.] - - Synopsis [Procedures to read equation format files.] - - Author [Alan Mishchenko] - - Affiliation [UC Berkeley] - - Date [Ver. 1.0. Started - June 20, 2005.] - - Revision [$Id: ioReadEqn.c,v 1.00 2005/06/20 00:00:00 alanmi Exp $] - -***********************************************************************/ - -#include "io.h" - -//////////////////////////////////////////////////////////////////////// -/// DECLARATIONS /// -//////////////////////////////////////////////////////////////////////// - -static Abc_Ntk_t * Io_ReadEqnNetwork( Extra_FileReader_t * p ); -static void Io_ReadEqnStrCompact( char * pStr ); -static int Io_ReadEqnStrFind( Vec_Ptr_t * vTokens, char * pName ); -static void Io_ReadEqnStrCutAt( char * pStr, char * pStop, int fUniqueOnly, Vec_Ptr_t * vTokens ); - -//////////////////////////////////////////////////////////////////////// -/// FUNCTION DEFINITIONS /// -//////////////////////////////////////////////////////////////////////// - -/**Function************************************************************* - - Synopsis [Reads the network from a BENCH file.] - - Description [] - - SideEffects [] - - SeeAlso [] - -***********************************************************************/ -Abc_Ntk_t * Io_ReadEqn( char * pFileName, int fCheck ) -{ - Extra_FileReader_t * p; - Abc_Ntk_t * pNtk; - - // start the file - p = Extra_FileReaderAlloc( pFileName, "#", ";", "=" ); - if ( p == NULL ) - return NULL; - - // read the network - pNtk = Io_ReadEqnNetwork( p ); - Extra_FileReaderFree( p ); - if ( pNtk == NULL ) - return NULL; - - // make sure that everything is okay with the network structure - if ( fCheck && !Abc_NtkCheckRead( pNtk ) ) - { - printf( "Io_ReadEqn: The network check has failed.\n" ); - Abc_NtkDelete( pNtk ); - return NULL; - } - return pNtk; -} - -/**Function************************************************************* - - Synopsis [] - - Description [] - - SideEffects [] - - SeeAlso [] - -***********************************************************************/ -Abc_Ntk_t * Io_ReadEqnNetwork( Extra_FileReader_t * p ) -{ - ProgressBar * pProgress; - Vec_Ptr_t * vTokens; - Vec_Ptr_t * vVars; - Abc_Ntk_t * pNtk; - Abc_Obj_t * pNode; - char * pNodeName, * pFormula, * pFormulaCopy, * pVarName; - int iLine, i; - - // allocate the empty network - pNtk = Abc_NtkAlloc( ABC_NTK_NETLIST, ABC_FUNC_AIG, 1 ); - // set the specs - pNtk->pName = Extra_FileNameGeneric(Extra_FileReaderGetFileName(p)); - pNtk->pSpec = Extra_UtilStrsav(Extra_FileReaderGetFileName(p)); - - // go through the lines of the file - vVars = Vec_PtrAlloc( 100 ); - pProgress = Extra_ProgressBarStart( stdout, Extra_FileReaderGetFileSize(p) ); - for ( iLine = 0; vTokens = Extra_FileReaderGetTokens(p); iLine++ ) - { - Extra_ProgressBarUpdate( pProgress, Extra_FileReaderGetCurPosition(p), NULL ); - - // check if the first token contains anything - Io_ReadEqnStrCompact( vTokens->pArray[0] ); - if ( strlen(vTokens->pArray[0]) == 0 ) - break; - - // if the number of tokens is different from two, error - if ( vTokens->nSize != 2 ) - { - printf( "%s: Wrong input file format.\n", Extra_FileReaderGetFileName(p) ); - Abc_NtkDelete( pNtk ); - return NULL; - } - - // get the type of the line - if ( strncmp( vTokens->pArray[0], "INORDER", 7 ) == 0 ) - { - Io_ReadEqnStrCutAt( vTokens->pArray[1], " \n\r\t", 0, vVars ); - Vec_PtrForEachEntry( vVars, pVarName, i ) - Io_ReadCreatePi( pNtk, pVarName ); - } - else if ( strncmp( vTokens->pArray[0], "OUTORDER", 8 ) == 0 ) - { - Io_ReadEqnStrCutAt( vTokens->pArray[1], " \n\r\t", 0, vVars ); - Vec_PtrForEachEntry( vVars, pVarName, i ) - Io_ReadCreatePo( pNtk, pVarName ); - } - else - { - extern Hop_Obj_t * Parse_FormulaParserEqn( FILE * pOutput, char * pFormInit, Vec_Ptr_t * vVarNames, Hop_Man_t * pMan ); - - // get hold of the node name and its formula - pNodeName = vTokens->pArray[0]; - pFormula = vTokens->pArray[1]; - // compact the formula - Io_ReadEqnStrCompact( pFormula ); - - // consider the case of the constant node - if ( pFormula[1] == 0 && (pFormula[0] == '0' || pFormula[0] == '1') ) - { - pFormulaCopy = NULL; - Vec_PtrClear( vVars ); - } - else - { - // make a copy of formula for names - pFormulaCopy = Extra_UtilStrsav( pFormula ); - // find the names of the fanins of this node - Io_ReadEqnStrCutAt( pFormulaCopy, "!*+()", 1, vVars ); - } - // create the node - pNode = Io_ReadCreateNode( pNtk, pNodeName, (char **)Vec_PtrArray(vVars), Vec_PtrSize(vVars) ); - // derive the function - pNode->pData = Parse_FormulaParserEqn( stdout, pFormula, vVars, pNtk->pManFunc ); - // remove the cubes - FREE( pFormulaCopy ); - } - } - Extra_ProgressBarStop( pProgress ); - Vec_PtrFree( vVars ); - Abc_NtkFinalizeRead( pNtk ); - return pNtk; -} - - - -/**Function************************************************************* - - Synopsis [Compacts the string by throwing away space-like chars.] - - Description [] - - SideEffects [] - - SeeAlso [] - -***********************************************************************/ -void Io_ReadEqnStrCompact( char * pStr ) -{ - char * pCur, * pNew; - for ( pNew = pCur = pStr; *pCur; pCur++ ) - if ( !(*pCur == ' ' || *pCur == '\n' || *pCur == '\r' || *pCur == '\t') ) - *pNew++ = *pCur; - *pNew = 0; -} - -/**Function************************************************************* - - Synopsis [Determines unique variables in the string.] - - Description [] - - SideEffects [] - - SeeAlso [] - -***********************************************************************/ -int Io_ReadEqnStrFind( Vec_Ptr_t * vTokens, char * pName ) -{ - char * pToken; - int i; - Vec_PtrForEachEntry( vTokens, pToken, i ) - if ( strcmp( pToken, pName ) == 0 ) - return i; - return -1; -} - -/**Function************************************************************* - - Synopsis [Cuts the string into pieces using stop chars.] - - Description [] - - SideEffects [] - - SeeAlso [] - -***********************************************************************/ -void Io_ReadEqnStrCutAt( char * pStr, char * pStop, int fUniqueOnly, Vec_Ptr_t * vTokens ) -{ - char * pToken; - Vec_PtrClear( vTokens ); - for ( pToken = strtok( pStr, pStop ); pToken; pToken = strtok( NULL, pStop ) ) - if ( !fUniqueOnly || Io_ReadEqnStrFind( vTokens, pToken ) == -1 ) - Vec_PtrPush( vTokens, pToken ); -} - - -//////////////////////////////////////////////////////////////////////// -/// END OF FILE /// -//////////////////////////////////////////////////////////////////////// - - - |