Renaming Cba into Bac.

src/base/bac/bac.c

+/**CFile****************************************************************
+
+  FileName    [bac.c]
+
+  SystemName  [ABC: Logic synthesis and verification system.]
+
+  PackageName [Verilog parser.]
+
+  Synopsis    [Parses several flavors of word-level Verilog.]
+
+  Author      [Alan Mishchenko]
+  
+  Affiliation [UC Berkeley]
+
+  Date        [Ver. 1.0. Started - November 29, 2014.]
+
+  Revision    [$Id: bac.c,v 1.00 2014/11/29 00:00:00 alanmi Exp $]
+
+***********************************************************************/
+
+#include "bac.h"
+
+ABC_NAMESPACE_IMPL_START
+
+////////////////////////////////////////////////////////////////////////
+///                        DECLARATIONS                              ///
+////////////////////////////////////////////////////////////////////////
+
+////////////////////////////////////////////////////////////////////////
+///                     FUNCTION DEFINITIONS                         ///
+////////////////////////////////////////////////////////////////////////
+
+/**Function*************************************************************
+
+  Synopsis    []
+
+  Description []
+               
+  SideEffects []
+
+  SeeAlso     []
+
+***********************************************************************/
+
+
+////////////////////////////////////////////////////////////////////////
+///                       END OF FILE                                ///
+////////////////////////////////////////////////////////////////////////
+
+
+ABC_NAMESPACE_IMPL_END
+

src/base/bac/bacBac.c

+/**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
+

src/base/cba/cbaLib.c → src/base/bac/bacLib.c

 /**CFile****************************************************************
 
-  FileName    [cbaLib.c]
+  FileName    [bacLib.c]
 
   SystemName  [ABC: Logic synthesis and verification system.]
 
@@ -14,11 +14,11 @@
 
   Date        [Ver. 1.0. Started - November 29, 2014.]
 
-  Revision    [$Id: cbaLib.c,v 1.00 2014/11/29 00:00:00 alanmi Exp $]
+  Revision    [$Id: bacLib.c,v 1.00 2014/11/29 00:00:00 alanmi Exp $]
 
 ***********************************************************************/
 
-#include "cba.h"
+#include "bac.h"
 
 ABC_NAMESPACE_IMPL_START
 

src/base/cba/cbaReadSmt.c → src/base/bac/bacReadSmt.c

 /**CFile****************************************************************
 
-  FileName    [cbaReadSmt.c]
+  FileName    [bacReadSmt.c]
 
   SystemName  [ABC: Logic synthesis and verification system.]
 
@@ -14,11 +14,11 @@
 
   Date        [Ver. 1.0. Started - November 29, 2014.]
 
-  Revision    [$Id: cbaReadSmt.c,v 1.00 2014/11/29 00:00:00 alanmi Exp $]
+  Revision    [$Id: bacReadSmt.c,v 1.00 2014/11/29 00:00:00 alanmi Exp $]
 
 ***********************************************************************/
 
-#include "cba.h"
+#include "bac.h"
 
 ABC_NAMESPACE_IMPL_START
 

src/base/bac/bacWriteBlif.c

+/**CFile****************************************************************
+
+  FileName    [bacWriteBlif.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: bacWriteBlif.c,v 1.00 2014/11/29 00:00:00 alanmi Exp $]
+
+***********************************************************************/
+
+#include "bac.h"
+#include "bacPrs.h"
+#include "map/mio/mio.h"
+#include "base/main/main.h"
+
+ABC_NAMESPACE_IMPL_START
+
+////////////////////////////////////////////////////////////////////////
+///                        DECLARATIONS                              ///
+////////////////////////////////////////////////////////////////////////
+
+////////////////////////////////////////////////////////////////////////
+///                     FUNCTION DEFINITIONS                         ///
+////////////////////////////////////////////////////////////////////////
+
+/**Function*************************************************************
+
+  Synopsis    [Writing parser state into a file.]
+
+  Description []
+               
+  SideEffects []
+
+  SeeAlso     []
+
+***********************************************************************/
+static void Psr_ManWriteBlifArray( FILE * pFile, Psr_Ntk_t * p, Vec_Int_t * vFanins )
+{
+    int i, NameId;
+    Vec_IntForEachEntry( vFanins, NameId, i )
+        fprintf( pFile, " %s", Psr_NtkStr(p, NameId) );
+    fprintf( pFile, "\n" );
+}
+static void Psr_ManWriteBlifLines( FILE * pFile, Psr_Ntk_t * p )
+{
+    Vec_Int_t * vBox; 
+    int i, k, FormId, ActId;
+    Psr_NtkForEachBox( p, vBox, i )
+    {
+        int NtkId = Psr_BoxNtk(p, i);
+        assert( Psr_BoxIONum(p, i) > 0 );
+        assert( Vec_IntSize(vBox) % 2 == 0 );
+        if ( NtkId == -1 ) // latch
+        {
+            fprintf( pFile, ".latch" );
+            fprintf( pFile, " %s", Psr_NtkStr(p, Vec_IntEntry(vBox, 1)) );
+            fprintf( pFile, " %s", Psr_NtkStr(p, Vec_IntEntry(vBox, 3)) );
+            fprintf( pFile, " %c\n", '0' + Psr_BoxName(p, i) );
+        }
+        else if ( Psr_BoxIsNode(p, i) ) // node
+        {
+            fprintf( pFile, ".names" );
+            Vec_IntForEachEntryDouble( vBox, FormId, ActId, k )
+                fprintf( pFile, " %s", Psr_NtkStr(p, ActId) );
+            fprintf( pFile, "\n%s", Psr_NtkStr(p, NtkId) );
+        }
+        else // box
+        {
+            fprintf( pFile, ".subckt" );
+            fprintf( pFile, " %s", Psr_NtkStr(p, NtkId) );
+            Vec_IntForEachEntryDouble( vBox, FormId, ActId, k )
+                fprintf( pFile, " %s=%s", Psr_NtkStr(p, FormId), Psr_NtkStr(p, ActId) );
+            fprintf( pFile, "\n" );
+        }
+    }
+}
+static void Psr_ManWriteBlifNtk( FILE * pFile, Psr_Ntk_t * p )
+{
+    // write header
+    fprintf( pFile, ".model %s\n", Psr_NtkStr(p, p->iModuleName) );
+    if ( Vec_IntSize(&p->vInouts) )
+    fprintf( pFile, ".inouts" );
+    if ( Vec_IntSize(&p->vInouts) )
+    Psr_ManWriteBlifArray( pFile, p, &p->vInouts );
+    fprintf( pFile, ".inputs" );
+    Psr_ManWriteBlifArray( pFile, p, &p->vInputs );
+    fprintf( pFile, ".outputs" );
+    Psr_ManWriteBlifArray( pFile, p, &p->vOutputs );
+    // write objects
+    Psr_ManWriteBlifLines( pFile, p );
+    fprintf( pFile, ".end\n\n" );
+}
+void Psr_ManWriteBlif( char * pFileName, Vec_Ptr_t * vPrs )
+{
+    Psr_Ntk_t * pNtk = Psr_ManRoot(vPrs);
+    FILE * pFile = fopen( pFileName, "wb" ); int i;
+    if ( pFile == NULL )
+    {
+        printf( "Cannot open output file \"%s\".\n", pFileName );
+        return;
+    }
+    fprintf( pFile, "# Design \"%s\" written by ABC on %s\n\n", Psr_NtkStr(pNtk, pNtk->iModuleName), Extra_TimeStamp() );
+    Vec_PtrForEachEntry( Psr_Ntk_t *, vPrs, pNtk, i )
+        Psr_ManWriteBlifNtk( pFile, pNtk );
+    fclose( pFile );
+}
+
+
+
+/**Function*************************************************************
+
+  Synopsis    [Write elaborated design.]
+
+  Description []
+               
+  SideEffects []
+
+  SeeAlso     []
+
+***********************************************************************/
+void Bac_ManWriteBlifGate( FILE * pFile, Bac_Ntk_t * p, Mio_Gate_t * pGate, Vec_Int_t * vFanins, int iObj )
+{
+    int iFanin, i;
+    Vec_IntForEachEntry( vFanins, iFanin, i )
+        fprintf( pFile, " %s=%s", Mio_GateReadPinName(pGate, i), Bac_ObjNameStr(p, iFanin) );
+    fprintf( pFile, " %s=%s", Mio_GateReadOutName(pGate), Bac_ObjNameStr(p, iObj) );
+    fprintf( pFile, "\n" );
+}
+void Bac_ManWriteBlifArray( FILE * pFile, Bac_Ntk_t * p, Vec_Int_t * vFanins, int iObj )
+{
+    int iFanin, i;
+    Vec_IntForEachEntry( vFanins, iFanin, i )
+        fprintf( pFile, " %s", Bac_ObjNameStr(p, iFanin) );
+    if ( iObj >= 0 )
+        fprintf( pFile, " %s", Bac_ObjNameStr(p, iObj) );
+    fprintf( pFile, "\n" );
+}
+void Bac_ManWriteBlifArray2( FILE * pFile, Bac_Ntk_t * p, int iObj )
+{
+    int iTerm, i;
+    Bac_Ntk_t * pModel = Bac_BoxNtk( p, iObj );
+    Bac_NtkForEachPi( pModel, iTerm, i )
+        fprintf( pFile, " %s=%s", Bac_ObjNameStr(pModel, iTerm), Bac_ObjNameStr(p, Bac_BoxBi(p, iObj, i)) );
+    Bac_NtkForEachPo( pModel, iTerm, i )
+        fprintf( pFile, " %s=%s", Bac_ObjNameStr(pModel, iTerm), Bac_ObjNameStr(p, Bac_BoxBo(p, iObj, i)) );
+    fprintf( pFile, "\n" );
+}
+void Bac_ManWriteBlifLines( FILE * pFile, Bac_Ntk_t * p )
+{
+    int i, k, iTerm;
+    Bac_NtkForEachBox( p, i )
+    {
+        if ( Bac_ObjIsBoxUser(p, i) )
+        {
+            fprintf( pFile, ".subckt" );
+            fprintf( pFile, " %s", Bac_NtkName(Bac_BoxNtk(p, i)) );
+            Bac_ManWriteBlifArray2( pFile, p, i );
+        }
+        else if ( Bac_ObjIsGate(p, i) )
+        {
+            char * pGateName = Abc_NamStr(p->pDesign->pMods, Bac_BoxNtkId(p, i));
+            Mio_Library_t * pLib = (Mio_Library_t *)Abc_FrameReadLibGen();
+            Mio_Gate_t * pGate = Mio_LibraryReadGateByName( pLib, pGateName, NULL );
+            fprintf( pFile, ".gate %s", pGateName );
+            Bac_BoxForEachBi( p, i, iTerm, k )
+                fprintf( pFile, " %s=%s", Mio_GateReadPinName(pGate, k), Bac_ObjNameStr(p, iTerm) );
+            Bac_BoxForEachBo( p, i, iTerm, k )
+                fprintf( pFile, " %s=%s", Mio_GateReadOutName(pGate), Bac_ObjNameStr(p, iTerm) );
+            fprintf( pFile, "\n" );
+        }
+        else
+        {
+            fprintf( pFile, ".names" );
+            Bac_BoxForEachBi( p, i, iTerm, k )
+                fprintf( pFile, " %s", Bac_ObjNameStr(p, Bac_ObjFanin(p, iTerm)) );
+            Bac_BoxForEachBo( p, i, iTerm, k )
+                fprintf( pFile, " %s", Bac_ObjNameStr(p, iTerm) );
+            fprintf( pFile, "\n%s",  Ptr_TypeToSop(Bac_ObjType(p, i)) );
+        }
+    }
+}
+void Bac_ManWriteBlifNtk( FILE * pFile, Bac_Ntk_t * p )
+{
+    assert( Vec_IntSize(&p->vFanin) == Bac_NtkObjNum(p) );
+    // write header
+    fprintf( pFile, ".model %s\n", Bac_NtkName(p) );
+    fprintf( pFile, ".inputs" );
+    Bac_ManWriteBlifArray( pFile, p, &p->vInputs, -1 );
+    fprintf( pFile, ".outputs" );
+    Bac_ManWriteBlifArray( pFile, p, &p->vOutputs, -1 );
+    // write objects
+    Bac_ManWriteBlifLines( pFile, p );
+    fprintf( pFile, ".end\n\n" );
+}
+void Bac_ManWriteBlif( char * pFileName, Bac_Man_t * p )
+{
+    FILE * pFile;
+    Bac_Ntk_t * pNtk; 
+    int i;
+    // check the library
+    if ( p->pMioLib && p->pMioLib != Abc_FrameReadLibGen() )
+    {
+        printf( "Genlib library used in the mapped design is not longer a current library.\n" );
+        return;
+    }
+    pFile = fopen( pFileName, "wb" );
+    if ( pFile == NULL )
+    {
+        printf( "Cannot open output file \"%s\".\n", pFileName );
+        return;
+    }
+    fprintf( pFile, "# Design \"%s\" written via CBA package in ABC on %s\n\n", Bac_ManName(p), Extra_TimeStamp() );
+    Bac_ManAssignInternWordNames( p );
+    Bac_ManForEachNtk( p, pNtk, i )
+        Bac_ManWriteBlifNtk( pFile, pNtk );
+    fclose( pFile );
+}
+
+
+////////////////////////////////////////////////////////////////////////
+///                       END OF FILE                                ///
+////////////////////////////////////////////////////////////////////////
+
+
+ABC_NAMESPACE_IMPL_END
+

src/base/cba/cbaWriteSmt.c → src/base/bac/bacWriteSmt.c

 /**CFile****************************************************************
 
-  FileName    [cbaWriteSmt.c]
+  FileName    [bacWriteSmt.c]
 
   SystemName  [ABC: Logic synthesis and verification system.]
 
@@ -14,11 +14,11 @@
 
   Date        [Ver. 1.0. Started - November 29, 2014.]
 
-  Revision    [$Id: cbaWriteSmt.c,v 1.00 2014/11/29 00:00:00 alanmi Exp $]
+  Revision    [$Id: bacWriteSmt.c,v 1.00 2014/11/29 00:00:00 alanmi Exp $]
 
 ***********************************************************************/
 
-#include "cba.h"
+#include "bac.h"
 
 ABC_NAMESPACE_IMPL_START
 

src/base/bac/module.make

+SRC +=    src/base/bac/bacBlast.c \
+    src/base/bac/bacBac.c \
+    src/base/bac/bacCom.c \
+    src/base/bac/bacLib.c \
+    src/base/bac/bacNtk.c \
+    src/base/bac/bacPrsBuild.c \
+    src/base/bac/bacPrsTrans.c \
+    src/base/bac/bacPtr.c \
+    src/base/bac/bacPtrAbc.c \
+    src/base/bac/bacReadBlif.c \
+    src/base/bac/bacReadSmt.c \
+    src/base/bac/bacReadVer.c \
+    src/base/bac/bacWriteBlif.c \
+    src/base/bac/bacWriteSmt.c \
+    src/base/bac/bacWriteVer.c 

src/base/cba/cba.h

@@ -606,7 +606,7 @@ static inline Cba_Ntk_t * Cba_NtkDupOrder( Cba_Man_t * pMan, Cba_Ntk_t * p, Vec_
     Vec_IntFree( vObjs );
     return pNew;
 }
-static inline Cba_Ntk_t * Cba_NtkDupAttrs( Cba_Ntk_t * pNew, Cba_Ntk_t * p )
+static inline void Cba_NtkDupAttrs( Cba_Ntk_t * pNew, Cba_Ntk_t * p )
 {
     // transfer object attributes
     Vec_IntRemapArray( &p->vObjCopy, &p->vObjFunc,  &pNew->vObjFunc,  Cba_NtkObjNum(pNew) + 1 );

src/base/cba/cbaReadVer.c

@@ -447,7 +447,7 @@ static inline int Prs_ManReadSignal( Prs_Man_t * p )
         return Abc_Var2Lit2( Item, CBA_PRS_NAME );
     }
 }
-static int Prs_ManReadSignalList( Prs_Man_t * p, Vec_Int_t * vTemp, char LastSymb, int fAddForm )
+int Prs_ManReadSignalList( Prs_Man_t * p, Vec_Int_t * vTemp, char LastSymb, int fAddForm )
 {
     Vec_IntClear( vTemp );
     while ( 1 )