bacWriteBlif.c File Reference

#include "bac.h"
#include "bacPrs.h"
#include "map/mio/mio.h"
#include "base/main/main.h"

Include dependency graph for bacWriteBlif.c:

Go to the source code of this file.

Functions
void	Psr_ManWriteBlif (char *pFileName, Vec_Ptr_t *vPrs)
void	Bac_ManWriteBlifGate (FILE *pFile, Bac_Ntk_t *p, Mio_Gate_t *pGate, Vec_Int_t *vFanins, int iObj)
void	Bac_ManWriteBlifArray (FILE *pFile, Bac_Ntk_t *p, Vec_Int_t *vFanins, int iObj)
void	Bac_ManWriteBlifArray2 (FILE *pFile, Bac_Ntk_t *p, int iObj)
void	Bac_ManWriteBlifLines (FILE *pFile, Bac_Ntk_t *p)
void	Bac_ManWriteBlifNtk (FILE *pFile, Bac_Ntk_t *p)
void	Bac_ManWriteBlif (char *pFileName, Bac_Man_t *p)

Function Documentation

Bac_ManWriteBlif()

void Bac_ManWriteBlif	(	char *	pFileName,
		Bac_Man_t *	p )

Definition at line 205 of file bacWriteBlif.c.

{
    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 );
}

Here is the call graph for this function:

Bac_ManWriteBlifArray()

void Bac_ManWriteBlifArray	(	FILE *	pFile,
		Bac_Ntk_t *	p,
		Vec_Int_t *	vFanins,
		int	iObj )

Definition at line 139 of file bacWriteBlif.c.

{
    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" );
}

Here is the caller graph for this function:

Bac_ManWriteBlifArray2()

void Bac_ManWriteBlifArray2	(	FILE *	pFile,
		Bac_Ntk_t *	p,
		int	iObj )

Definition at line 148 of file bacWriteBlif.c.

{
    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" );
}

Here is the caller graph for this function:

Bac_ManWriteBlifGate()

void Bac_ManWriteBlifGate	(	FILE *	pFile,
		Bac_Ntk_t *	p,
		Mio_Gate_t *	pGate,
		Vec_Int_t *	vFanins,
		int	iObj )

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

Synopsis [Write elaborated design.]

Description []

SideEffects []

SeeAlso []

Definition at line 131 of file bacWriteBlif.c.

{
    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" );
}

Here is the call graph for this function:

Bac_ManWriteBlifLines()

void Bac_ManWriteBlifLines	(	FILE *	pFile,
		Bac_Ntk_t *	p )

Definition at line 158 of file bacWriteBlif.c.

{
    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)) );
        }
    }
}

Here is the call graph for this function:

Here is the caller graph for this function:

Bac_ManWriteBlifNtk()

void Bac_ManWriteBlifNtk	(	FILE *	pFile,
		Bac_Ntk_t *	p )

Definition at line 192 of file bacWriteBlif.c.

{
    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" );
}

Here is the call graph for this function:

Here is the caller graph for this function:

Psr_ManWriteBlif()

void Psr_ManWriteBlif	(	char *	pFileName,
		Vec_Ptr_t *	vPrs )

Definition at line 103 of file bacWriteBlif.c.

{
    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 );
}

Here is the call graph for this function:

Here is the caller graph for this function: