cbaWriteBlif.c File Reference

#include "cba.h"
#include "cbaPrs.h"
#include "map/mio/mio.h"
#include "base/main/main.h"

Include dependency graph for cbaWriteBlif.c:

Go to the source code of this file.

Functions
void	Prs_ManWriteBlif (char *pFileName, Vec_Ptr_t *vPrs)
void	Cba_ManWriteBlifLines (FILE *pFile, Cba_Ntk_t *p)
void	Cba_ManWriteBlifArray (FILE *pFile, Cba_Ntk_t *p, Vec_Int_t *vObjs)
void	Cba_ManWriteBlifNtk (FILE *pFile, Cba_Ntk_t *p)
void	Cba_ManWriteBlif (char *pFileName, Cba_Man_t *p)

Function Documentation

Cba_ManWriteBlif()

void Cba_ManWriteBlif	(	char *	pFileName,
		Cba_Man_t *	p )

Definition at line 187 of file cbaWriteBlif.c.

{
    FILE * pFile;
    Cba_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", Cba_ManName(p), Extra_TimeStamp() );
//    Cba_ManAssignInternWordNames( p );
    Cba_ManForEachNtk( p, pNtk, i )
        Cba_ManWriteBlifNtk( pFile, pNtk );
    fclose( pFile );
}

Here is the call graph for this function:

Cba_ManWriteBlifArray()

void Cba_ManWriteBlifArray	(	FILE *	pFile,
		Cba_Ntk_t *	p,
		Vec_Int_t *	vObjs )

Definition at line 168 of file cbaWriteBlif.c.

{
    int iObj, i;
    Vec_IntForEachEntry( vObjs, iObj, i )
        fprintf( pFile, " %s", Cba_ObjNameStr(p, iObj) );
    fprintf( pFile, "\n" );
}

Here is the caller graph for this function:

Cba_ManWriteBlifLines()

void Cba_ManWriteBlifLines	(	FILE *	pFile,
		Cba_Ntk_t *	p )

Function*************************************************************

Synopsis [Write elaborated design.]

Description []

SideEffects []

SeeAlso []

Definition at line 130 of file cbaWriteBlif.c.

{
    int k, iObj, iFin, iFon;
    Cba_NtkForEachBox( p, iObj )
    {
        if ( Cba_ObjIsBoxUser(p, iObj) )
        {
            Cba_Ntk_t * pNtk = Cba_ObjNtk( p, iObj );
            fprintf( pFile, ".subckt" );
            fprintf( pFile, " %s", Cba_NtkName(pNtk) );
            Cba_ObjForEachFinFon( p, iObj, iFin, iFon, k )
                fprintf( pFile, " %s=%s", Cba_ObjNameStr(pNtk, Cba_NtkPi(pNtk, k)), Cba_FonNameStr(p, iFon) );
            Cba_ObjForEachFon( p, iObj, iFon, k )
                fprintf( pFile, " %s=%s", Cba_ObjNameStr(pNtk, Cba_NtkPo(pNtk, k)), Cba_FonNameStr(p, iFon) );
            fprintf( pFile, "\n" );
        }
        else if ( Cba_ObjIsGate(p, iObj) )
        {
            char * pGateName = Abc_NamStr(p->pDesign->pMods, Cba_ObjNtkId( p, iObj ));
            Mio_Library_t * pLib = (Mio_Library_t *)Abc_FrameReadLibGen();
            Mio_Gate_t * pGate = Mio_LibraryReadGateByName( pLib, pGateName, NULL );
            fprintf( pFile, ".gate %s", pGateName );
            Cba_ObjForEachFinFon( p, iObj, iFin, iFon, k )
                fprintf( pFile, " %s=%s", Mio_GateReadPinName(pGate, k), Cba_FonNameStr(p, iFon) );
            Cba_ObjForEachFon( p, iObj, iFon, k )
                fprintf( pFile, " %s=%s", Mio_GateReadOutName(pGate), Cba_FonNameStr(p, iFon) );
            fprintf( pFile, "\n" );
        }
        else
        {
            fprintf( pFile, ".names" );
            Cba_ObjForEachFinFon( p, iObj, iFin, iFon, k )
                fprintf( pFile, " %s", Cba_FonNameStr(p, iFon) );
            fprintf( pFile, " %s", Cba_FonNameStr(p, Cba_ObjFon0(p, iObj)) );
            fprintf( pFile, "\n%s",  Cba_NtkSop(p, Cba_ObjFunc(p, iObj)) );
        }
    }
}

Here is the call graph for this function:

Here is the caller graph for this function:

Cba_ManWriteBlifNtk()

void Cba_ManWriteBlifNtk	(	FILE *	pFile,
		Cba_Ntk_t *	p )

Definition at line 175 of file cbaWriteBlif.c.

{
    // write header
    fprintf( pFile, ".model %s\n", Cba_NtkName(p) );
    fprintf( pFile, ".inputs" );
    Cba_ManWriteBlifArray( pFile, p, &p->vInputs );
    fprintf( pFile, ".outputs" );
    Cba_ManWriteBlifArray( pFile, p, &p->vOutputs );
    // write objects
    Cba_ManWriteBlifLines( pFile, p );
    fprintf( pFile, ".end\n\n" );
}

Here is the call graph for this function:

Here is the caller graph for this function:

Prs_ManWriteBlif()

void Prs_ManWriteBlif	(	char *	pFileName,
		Vec_Ptr_t *	vPrs )

Definition at line 103 of file cbaWriteBlif.c.

{
    Prs_Ntk_t * pNtk = Prs_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", Prs_NtkStr(pNtk, pNtk->iModuleName), Extra_TimeStamp() );
    Vec_PtrForEachEntry( Prs_Ntk_t *, vPrs, pNtk, i )
        Prs_ManWriteBlifNtk( pFile, pNtk );
    fclose( pFile );
}

Here is the call graph for this function:

Here is the caller graph for this function: