New hierarchy manager.

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"