diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2015-07-21 17:51:28 -0700 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2015-07-21 17:51:28 -0700 |
commit | 91b62b3bb8ee38938d4119d4cbd2360a652974bd (patch) | |
tree | 0d4207652a871a2e8118ef98cf4b70b3a7f6a19d /src/base/bac/bacBac.c | |
parent | 477ecc172f3d9088bf6ecd21044b9d1c758d7b64 (diff) | |
download | abc-91b62b3bb8ee38938d4119d4cbd2360a652974bd.tar.gz abc-91b62b3bb8ee38938d4119d4cbd2360a652974bd.tar.bz2 abc-91b62b3bb8ee38938d4119d4cbd2360a652974bd.zip |
Renaming Cba into Bac.
Diffstat (limited to 'src/base/bac/bacBac.c')
-rw-r--r-- | src/base/bac/bacBac.c | 298 |
1 files changed, 298 insertions, 0 deletions
diff --git a/src/base/bac/bacBac.c b/src/base/bac/bacBac.c new file mode 100644 index 00000000..4f2971a5 --- /dev/null +++ b/src/base/bac/bacBac.c @@ -0,0 +1,298 @@ +/**CFile**************************************************************** + + FileName [bacBac.c] + + SystemName [ABC: Logic synthesis and verification system.] + + PackageName [Hierarchical word-level netlist.] + + Synopsis [Verilog parser.] + + Author [Alan Mishchenko] + + Affiliation [UC Berkeley] + + Date [Ver. 1.0. Started - November 29, 2014.] + + Revision [$Id: bacBac.c,v 1.00 2014/11/29 00:00:00 alanmi Exp $] + +***********************************************************************/ + +#include "bac.h" + +ABC_NAMESPACE_IMPL_START + +//////////////////////////////////////////////////////////////////////// +/// DECLARATIONS /// +//////////////////////////////////////////////////////////////////////// + +//////////////////////////////////////////////////////////////////////// +/// FUNCTION DEFINITIONS /// +//////////////////////////////////////////////////////////////////////// + + +/**Function************************************************************* + + Synopsis [Read CBA.] + + Description [] + + SideEffects [] + + SeeAlso [] + +***********************************************************************/ +int BacManReadBacLine( Vec_Str_t * vOut, int * pPos, char * pBuffer, char * pLimit ) +{ + char c; + while ( (c = Vec_StrEntry(vOut, (*pPos)++)) != '\n' && pBuffer < pLimit ) + *pBuffer++ = c; + *pBuffer = 0; + return pBuffer < pLimit; +} +int BacManReadBacNameAndNums( char * pBuffer, int * Num1, int * Num2, int * Num3, int * Num4 ) +{ + *Num1 = *Num2 = *Num3 = *Num4 = -1; + // read name + while ( *pBuffer && *pBuffer != ' ' ) + pBuffer++; + if ( !*pBuffer ) + return 0; + assert( *pBuffer == ' ' ); + *pBuffer = 0; + // read Num1 + *Num1 = atoi(++pBuffer); + while ( *pBuffer && *pBuffer != ' ' ) + pBuffer++; + if ( !*pBuffer ) + return 0; + // read Num2 + assert( *pBuffer == ' ' ); + *Num2 = atoi(++pBuffer); + while ( *pBuffer && *pBuffer != ' ' ) + pBuffer++; + if ( !*pBuffer ) + return 1; + // read Num3 + assert( *pBuffer == ' ' ); + *Num3 = atoi(++pBuffer); + while ( *pBuffer && *pBuffer != ' ' ) + pBuffer++; + if ( !*pBuffer ) + return 1; + // read Num4 + assert( *pBuffer == ' ' ); + *Num4 = atoi(++pBuffer); + return 1; +} +void Bac_ManReadBacVecStr( Vec_Str_t * vOut, int * pPos, Vec_Str_t * p, int nSize ) +{ + memcpy( Vec_StrArray(p), Vec_StrArray(vOut) + *pPos, nSize ); + *pPos += nSize; + p->nSize = nSize; + assert( Vec_StrSize(p) == Vec_StrCap(p) ); +} +void Bac_ManReadBacVecInt( Vec_Str_t * vOut, int * pPos, Vec_Int_t * p, int nSize ) +{ + memcpy( Vec_IntArray(p), Vec_StrArray(vOut) + *pPos, nSize ); + *pPos += nSize; + p->nSize = nSize / 4; + assert( Vec_IntSize(p) == Vec_IntCap(p) ); +} +void Bac_ManReadBacNtk( Vec_Str_t * vOut, int * pPos, Bac_Ntk_t * pNtk ) +{ + int i, Type; + //char * pName; int iObj, NameId; + Bac_ManReadBacVecStr( vOut, pPos, &pNtk->vType, Bac_NtkObjNumAlloc(pNtk) ); + Bac_ManReadBacVecInt( vOut, pPos, &pNtk->vFanin, 4 * Bac_NtkObjNumAlloc(pNtk) ); + Bac_ManReadBacVecInt( vOut, pPos, &pNtk->vInfo, 12 * Bac_NtkInfoNumAlloc(pNtk) ); + Bac_NtkForEachObjType( pNtk, Type, i ) + { + if ( Type == BAC_OBJ_PI ) + Vec_IntPush( &pNtk->vInputs, i ); + if ( Type == BAC_OBJ_PO ) + Vec_IntPush( &pNtk->vOutputs, i ); + } + assert( Bac_NtkPiNum(pNtk) == Bac_NtkPiNumAlloc(pNtk) ); + assert( Bac_NtkPoNum(pNtk) == Bac_NtkPoNumAlloc(pNtk) ); + assert( Bac_NtkObjNum(pNtk) == Bac_NtkObjNumAlloc(pNtk) ); + assert( Bac_NtkInfoNum(pNtk) == Bac_NtkInfoNumAlloc(pNtk) ); +/* + // read input/output/box names + Bac_NtkForEachPiMain( pNtk, iObj, i ) + { + pName = Vec_StrEntryP( vOut, Pos ); + NameId = Abc_NamStrFindOrAdd( p->pStrs, pName, NULL ); + Pos += strlen(pName) + 1; + } + Bac_NtkForEachPoMain( pNtk, iObj, i ) + { + pName = Vec_StrEntryP( vOut, Pos ); + NameId = Abc_NamStrFindOrAdd( p->pStrs, pName, NULL ); + Pos += strlen(pName) + 1; + } + Bac_NtkForEachBox( pNtk, iObj ) + { + pName = Vec_StrEntryP( vOut, Pos ); + NameId = Abc_NamStrFindOrAdd( p->pStrs, pName, NULL ); + Pos += strlen(pName) + 1; + } +*/ +} +Bac_Man_t * Bac_ManReadBacInt( Vec_Str_t * vOut ) +{ + Bac_Man_t * p; + Bac_Ntk_t * pNtk; + char Buffer[1000] = "#"; + int i, NameId, Pos = 0, nNtks, Num1, Num2, Num3, Num4; + while ( Buffer[0] == '#' ) + if ( !BacManReadBacLine(vOut, &Pos, Buffer, Buffer+1000) ) + return NULL; + if ( !BacManReadBacNameAndNums(Buffer, &nNtks, &Num2, &Num3, &Num4) ) + return NULL; + // start manager + assert( nNtks > 0 ); + p = Bac_ManAlloc( Buffer, nNtks ); + // start networks + Bac_ManForEachNtk( p, pNtk, i ) + { + if ( !BacManReadBacLine(vOut, &Pos, Buffer, Buffer+1000) ) + { + Bac_ManFree( p ); + return NULL; + } + if ( !BacManReadBacNameAndNums(Buffer, &Num1, &Num2, &Num3, &Num4) ) + { + Bac_ManFree( p ); + return NULL; + } + assert( Num1 >= 0 && Num2 >= 0 && Num3 >= 0 ); + NameId = Abc_NamStrFindOrAdd( p->pStrs, Buffer, NULL ); + Bac_NtkAlloc( pNtk, NameId, Num1, Num2, Num3 ); + Vec_IntFill( &pNtk->vInfo, 3 * Num4, -1 ); + } + // read networks + Bac_ManForEachNtk( p, pNtk, i ) + Bac_ManReadBacNtk( vOut, &Pos, pNtk ); + assert( Bac_ManNtkNum(p) == nNtks ); + assert( Pos == Vec_StrSize(vOut) ); + return p; +} +Bac_Man_t * Bac_ManReadBac( char * pFileName ) +{ + Bac_Man_t * p; + FILE * pFile; + Vec_Str_t * vOut; + int nFileSize; + pFile = fopen( pFileName, "rb" ); + if ( pFile == NULL ) + { + printf( "Cannot open file \"%s\" for reading.\n", pFileName ); + return NULL; + } + // get the file size, in bytes + fseek( pFile, 0, SEEK_END ); + nFileSize = ftell( pFile ); + rewind( pFile ); + // load the contents + vOut = Vec_StrAlloc( nFileSize ); + vOut->nSize = vOut->nCap; + assert( nFileSize == Vec_StrSize(vOut) ); + nFileSize = fread( Vec_StrArray(vOut), 1, Vec_StrSize(vOut), pFile ); + assert( nFileSize == Vec_StrSize(vOut) ); + fclose( pFile ); + // read the networks + p = Bac_ManReadBacInt( vOut ); + if ( p != NULL ) + { + ABC_FREE( p->pSpec ); + p->pSpec = Abc_UtilStrsav( pFileName ); + } + Vec_StrFree( vOut ); + return p; +} + +/**Function************************************************************* + + Synopsis [Write CBA.] + + Description [] + + SideEffects [] + + SeeAlso [] + +***********************************************************************/ +void Bac_ManWriteBacNtk( Vec_Str_t * vOut, Bac_Ntk_t * pNtk ) +{ + //char * pName; int iObj, NameId; + Vec_StrPushBuffer( vOut, (char *)Vec_StrArray(&pNtk->vType), Bac_NtkObjNum(pNtk) ); + Vec_StrPushBuffer( vOut, (char *)Vec_IntArray(&pNtk->vFanin), 4 * Bac_NtkObjNum(pNtk) ); + Vec_StrPushBuffer( vOut, (char *)Vec_IntArray(&pNtk->vInfo), 12 * Bac_NtkInfoNum(pNtk) ); +/* + // write input/output/box names + Bac_NtkForEachPiMain( pNtk, iObj, i ) + { + pName = Bac_ObjNameStr( pNtk, iObj ); + Vec_StrPrintStr( vOut, pName ); + Vec_StrPush( vOut, '\0' ); + } + Bac_NtkForEachPoMain( pNtk, iObj, i ) + { + pName = Bac_ObjNameStr( pNtk, iObj ); + Vec_StrPrintStr( vOut, pName ); + Vec_StrPush( vOut, '\0' ); + } + Bac_NtkForEachBox( pNtk, iObj ) + { + pName = Bac_ObjNameStr( pNtk, iObj ); + Vec_StrPrintStr( vOut, pName ); + Vec_StrPush( vOut, '\0' ); + } +*/ +} +void Bac_ManWriteBacInt( Vec_Str_t * vOut, Bac_Man_t * p ) +{ + char Buffer[1000]; + Bac_Ntk_t * pNtk; int i; + sprintf( Buffer, "# Design \"%s\" written by ABC on %s\n", Bac_ManName(p), Extra_TimeStamp() ); + Vec_StrPrintStr( vOut, Buffer ); + // write short info + sprintf( Buffer, "%s %d \n", Bac_ManName(p), Bac_ManNtkNum(p) ); + Vec_StrPrintStr( vOut, Buffer ); + Bac_ManForEachNtk( p, pNtk, i ) + { + sprintf( Buffer, "%s %d %d %d %d \n", Bac_NtkName(pNtk), + Bac_NtkPiNum(pNtk), Bac_NtkPoNum(pNtk), Bac_NtkObjNum(pNtk), Bac_NtkInfoNum(pNtk) ); + Vec_StrPrintStr( vOut, Buffer ); + } + Bac_ManForEachNtk( p, pNtk, i ) + Bac_ManWriteBacNtk( vOut, pNtk ); +} +void Bac_ManWriteBac( char * pFileName, Bac_Man_t * p ) +{ + Vec_Str_t * vOut; + assert( p->pMioLib == NULL ); + vOut = Vec_StrAlloc( 10000 ); + Bac_ManWriteBacInt( vOut, p ); + if ( Vec_StrSize(vOut) > 0 ) + { + FILE * pFile = fopen( pFileName, "wb" ); + if ( pFile == NULL ) + printf( "Cannot open file \"%s\" for writing.\n", pFileName ); + else + { + fwrite( Vec_StrArray(vOut), 1, Vec_StrSize(vOut), pFile ); + fclose( pFile ); + } + } + Vec_StrFree( vOut ); +} + +//////////////////////////////////////////////////////////////////////// +/// END OF FILE /// +//////////////////////////////////////////////////////////////////////// + + +ABC_NAMESPACE_IMPL_END + |