summaryrefslogtreecommitdiffstats
path: root/src
diff options
context:
space:
mode:
Diffstat (limited to 'src')
-rw-r--r--src/base/abc/abcHieNew.c216
1 files changed, 216 insertions, 0 deletions
diff --git a/src/base/abc/abcHieNew.c b/src/base/abc/abcHieNew.c
index be41c07a..ab54f225 100644
--- a/src/base/abc/abcHieNew.c
+++ b/src/base/abc/abcHieNew.c
@@ -200,6 +200,8 @@ static inline int Au_ObjIsTravIdCurrentId( Au_Ntk_t * p, int Id ) { re
for ( i = 0; (i < Vec_IntSize(&p->vPos)) && (((pObj) = Au_NtkPo(p, i)), 1); i++ )
#define Au_NtkForEachObj( p, pObj, i ) \
for ( i = 0; (i < Vec_IntSize(&p->vObjs)) && (((pObj) = Au_NtkObjI(p, i)), 1); i++ )
+#define Au_NtkForEachBox( p, pObj, i ) \
+ for ( i = 0; (i < Vec_IntSize(&p->vObjs)) && (((pObj) = Au_NtkObjI(p, i)), 1); i++ ) if ( !Au_ObjIsBox(pObj) ) {} else
extern void Au_ManAddNtk( Au_Man_t * pMan, Au_Ntk_t * p );
@@ -549,6 +551,220 @@ int Au_NtkCreateBox( Au_Ntk_t * pNtk, Vec_Int_t * vFanins, int nFanouts, int iMo
}
+
+/**Function*************************************************************
+
+ Synopsis [Reads one entry.]
+
+ Description []
+
+ SideEffects []
+
+ SeeAlso []
+
+***********************************************************************/
+static inline int Au_NtkRemapNum( Vec_Int_t * vNum2Obj, int Num )
+{
+ return Au_Var2Lit(Vec_IntEntry(vNum2Obj, Au_Lit2Var(Num)), Au_LitIsCompl(Num));
+}
+/**Function*************************************************************
+
+ Synopsis [Reads one entry.]
+
+ Description []
+
+ SideEffects []
+
+ SeeAlso []
+
+***********************************************************************/
+static inline void Au_NtkParseCBlifNum( Vec_Int_t * vFanins, char * pToken, Vec_Int_t * vNum2Obj )
+{
+ char * pCur;
+ int Num1, Num2, i;
+ assert( pToken[0] >= '0' && pToken[0] <= '9' );
+ Num1 = atoi( pToken );
+ for ( pCur = pToken; *pCur; pCur++ )
+ if ( *pCur == ':' )
+ {
+ Num2 = atoi( pCur+1 );
+ for ( i = 0; i < Num2; i++ )
+ Vec_IntPush( vFanins, Au_NtkRemapNum(vNum2Obj, Num1 + 2 * i) );
+ }
+ else if ( *pCur == '*' )
+ {
+ Num2 = atoi( pCur+1 );
+ for ( i = 0; i < Num2; i++ )
+ Vec_IntPush( vFanins, Au_NtkRemapNum(vNum2Obj, Num1) );
+ }
+ if ( *pCur == 0 )
+ Vec_IntPush( vFanins, Au_NtkRemapNum(vNum2Obj, Num1) );
+}
+
+/**Function*************************************************************
+
+ Synopsis [Parses CBLIF file.]
+
+ Description []
+
+ SideEffects []
+
+ SeeAlso []
+
+***********************************************************************/
+Au_Ntk_t * Au_NtkParseCBlif( char * pFileName )
+{
+ extern char * Extra_FileRead( FILE * pFile );
+ FILE * pFile;
+ Au_Man_t * pMan;
+ Au_Ntk_t * pRoot;
+ Au_Obj_t * pBox;
+ char * pBuffer, * pCur;
+ Vec_Int_t * vLines, * vNum2Obj, * vFanins;
+ int i, k, Id, nInputs, nOutputs;
+ int Line, Num, Func;
+ // read the file
+ pFile = fopen( pFileName, "rb" );
+ if ( pFile == NULL )
+ {
+ printf( "Cannot open file \"%s\".\n", pFileName );
+ return NULL;
+ }
+ pBuffer = Extra_FileRead( pFile );
+ fclose( pFile );
+ // split into lines
+ vLines = Vec_IntAlloc( 1000 );
+ Vec_IntPush( vLines, 0 );
+ for ( pCur = pBuffer; *pCur; pCur++ )
+ if ( *pCur == '\n' )
+ {
+ *pCur = 0;
+ Vec_IntPush( vLines, pCur - pBuffer + 1 );
+ }
+ // start the manager
+ pMan = Au_ManAlloc( pFileName );
+ // parse the lines
+ vNum2Obj = Vec_IntAlloc( 1000 );
+ vFanins = Vec_IntAlloc( 1000 );
+ Vec_IntForEachEntry( vLines, Line, i )
+ {
+ pCur = strtok( pBuffer + Line, " \t\r" );
+ if ( pCur == NULL )
+ continue;
+ if ( *pCur == '#' )
+ continue;
+ if ( *pCur != '.' )
+ {
+ printf( "Cannot read directive in line %d: \"%s\".\n", i, pBuffer + Line );
+ continue;
+ }
+ if ( !strcmp(pCur, ".and") )
+ {
+ Vec_IntClear( vFanins );
+ for ( k = 0; k < 2; k++ )
+ {
+ pCur = strtok( NULL, " \t\r" );
+ Num = atoi( pCur );
+ Vec_IntPush( vFanins, Au_NtkRemapNum(vNum2Obj, Num) );
+ }
+ Id = Au_NtkCreateNode( pRoot, vFanins, 1 );
+ Vec_IntPush( vNum2Obj, Id );
+ }
+ else if ( !strcmp(pCur, ".xor") )
+ {
+ Vec_IntClear( vFanins );
+ for ( k = 0; k < 2; k++ )
+ {
+ pCur = strtok( NULL, " \t\r" );
+ Num = atoi( pCur );
+ Vec_IntPush( vFanins, Au_NtkRemapNum(vNum2Obj, Num) );
+ }
+ Id = Au_NtkCreateNode( pRoot, vFanins, 2 );
+ Vec_IntPush( vNum2Obj, Id );
+ }
+ else if ( !strcmp(pCur, ".mux") )
+ {
+ Vec_IntClear( vFanins );
+ for ( k = 0; k < 3; k++ )
+ {
+ pCur = strtok( NULL, " \t\r" );
+ Num = atoi( pCur );
+ Vec_IntPush( vFanins, Au_NtkRemapNum(vNum2Obj, Num) );
+ }
+ Id = Au_NtkCreateNode( pRoot, vFanins, 3 );
+ Vec_IntPush( vNum2Obj, Id );
+ }
+ else if ( !strcmp(pCur, ".subckt") )
+ {
+ pCur = strtok( NULL, " \t\r" );
+ Func = pCur - pBuffer;
+ pCur = strtok( NULL, " \t\r" );
+ nInputs = atoi( pCur );
+ pCur = strtok( NULL, " \t\r" );
+ nOutputs = atoi( pCur );
+ Vec_IntClear( vFanins );
+ while ( 1 )
+ {
+ pCur = strtok( NULL, " \t\r" );
+ if ( pCur == NULL )
+ break;
+ Au_NtkParseCBlifNum( vFanins, pCur, vNum2Obj );
+ }
+ assert( Vec_IntSize(vFanins) == nInputs );
+ Id = Au_NtkCreateBox( pRoot, vFanins, nOutputs, Func );
+ for ( k = 0; k < nOutputs; k++ )
+ Vec_IntPush( vNum2Obj, Id + 1 + k );
+ }
+ else if ( !strcmp(pCur, ".model") )
+ {
+ pCur = strtok( NULL, " \t\r" );
+ pRoot = Au_NtkAlloc( pMan, pCur );
+ Id = Au_NtkCreateConst0( pRoot );
+ Vec_IntClear( vNum2Obj );
+ Vec_IntPush( vNum2Obj, Id );
+ }
+ else if ( !strcmp(pCur, ".inputs") )
+ {
+ pCur = strtok( NULL, " \t\r" );
+ Num = atoi( pCur );
+ for ( k = 0; k < Num; k++ )
+ {
+ Id = Au_NtkCreatePi( pRoot );
+ Vec_IntPush( vNum2Obj, Id );
+ }
+ }
+ else if ( !strcmp(pCur, ".outputs") )
+ {
+ Vec_IntClear( vFanins );
+ while ( 1 )
+ {
+ pCur = strtok( NULL, " \t\r" );
+ if ( pCur == NULL )
+ break;
+ Au_NtkParseCBlifNum( vFanins, pCur, vNum2Obj );
+ }
+ Vec_IntForEachEntry( vFanins, Num, k )
+ Vec_IntPush( vNum2Obj, Au_NtkCreatePo(pRoot, Num) );
+ }
+ else if ( strcmp(pCur, ".end") )
+ printf( "Unknown directive in line %d: \"%s\".\n", i, pBuffer + Line );
+ }
+ Vec_IntFree( vFanins );
+ Vec_IntFree( vNum2Obj );
+ Vec_IntFree( vLines );
+ ABC_FREE( pBuffer );
+ // set pointers to models
+ Au_ManForEachNtk( pMan, pRoot, i )
+ Au_NtkForEachBox( pRoot, pBox, k )
+ {
+ pBox->Func = Au_ManFindNtk( pMan, pBuffer + pBox->Func );
+ assert( pBox->Func > 0 );
+ }
+ // return the root network
+ return (Au_Ntk_t *)Vec_PtrEntry( &pMan->vNtks, 0 );
+}
+
+
#include "abc.h"
#include "gia.h"
generated by cgit v1.2.3 (git 2.25.1) at 2025-11-04 12:31:23 +0000