bacPtr.c File Reference

#include "base/abc/abc.h"
#include "base/main/mainInt.h"
#include "map/mio/mio.h"
#include "bac.h"

Include dependency graph for bacPtr.c:

Go to the source code of this file.

Enumerations
enum	Ptr_ObjType_t {   PTR_GATE_NONE = 0 , PTR_GATE_C0 , PTR_GATE_C1 , PTR_GATE_BUF ,   PTR_GATE_INV , PTR_GATE_AND , PTR_GATE_NAND , PTR_GATE_OR ,   PTR_GATE_NOR , PTR_GATE_XOR , PTR_GATE_XNOR , PTR_GATE_UNKNOWN }
	DECLARATIONS ///. More...

Functions
void	Bac_PtrFreeNtk (Vec_Ptr_t *vNtk)
	FUNCTION DEFINITIONS ///.
void	Bac_PtrFree (Vec_Ptr_t *vDes)
int	Bac_PtrMemoryArray (Vec_Ptr_t *vArray)
int	Bac_PtrMemoryArrayArray (Vec_Ptr_t *vArrayArray)
int	Bac_PtrMemoryNtk (Vec_Ptr_t *vNtk)
int	Bac_PtrMemory (Vec_Ptr_t *vDes)
void	Bac_PtrDumpSignalsBlif (FILE *pFile, Vec_Ptr_t *vSigs, int fSkipLastComma)
void	Bac_PtrDumpBoxBlif (FILE *pFile, Vec_Ptr_t *vBox)
void	Bac_PtrDumpBoxesBlif (FILE *pFile, Vec_Ptr_t *vBoxes)
void	Bac_PtrDumpModuleBlif (FILE *pFile, Vec_Ptr_t *vNtk)
void	Bac_PtrDumpBlif (char *pFileName, Vec_Ptr_t *vDes)
void	Bac_PtrDumpSignalsVerilog (FILE *pFile, Vec_Ptr_t *vSigs, int fAlwaysComma)
void	Bac_PtrDumpBoxVerilog (FILE *pFile, Vec_Ptr_t *vBox)
void	Bac_PtrDumpBoxesVerilog (FILE *pFile, Vec_Ptr_t *vBoxes)
void	Bac_PtrDumpModuleVerilog (FILE *pFile, Vec_Ptr_t *vNtk)
void	Bac_PtrDumpVerilog (char *pFileName, Vec_Ptr_t *vDes)
void	Bac_ManCollectGateNameOne (Mio_Library_t *pLib, Ptr_ObjType_t Type, word Truth, Vec_Ptr_t *vGateNames)
Vec_Ptr_t *	Bac_ManCollectGateNamesByTruth (Mio_Library_t *pLib)
void	Bac_PtrUpdateBox (Vec_Ptr_t *vBox, Vec_Ptr_t *vGatesNames)
Vec_Ptr_t *	Bac_PtrTransformSigs (Vec_Ptr_t *vSig)
Vec_Ptr_t *	Bac_PtrTransformBox (Vec_Ptr_t *vBox, Vec_Ptr_t *vGatesNames)
Vec_Ptr_t *	Bac_PtrTransformBoxes (Vec_Ptr_t *vBoxes, Vec_Ptr_t *vGatesNames)
Vec_Ptr_t *	Bac_PtrTransformNtk (Vec_Ptr_t *vNtk, Vec_Ptr_t *vGatesNames)
Vec_Ptr_t *	Bac_PtrTransformTest (Vec_Ptr_t *vDes)
void	Bac_PtrTransformTestTest ()

Enumeration Type Documentation

Ptr_ObjType_t

enum Ptr_ObjType_t

DECLARATIONS ///.

CFile****************************************************************

FileName [bacPtr.c]

SystemName [ABC: Logic synthesis and verification system.]

PackageName [Hierarchical word-level netlist.]

Synopsis [Simple interface with external tools.]

Author [Alan Mishchenko]

Affiliation [UC Berkeley]

Date [Ver. 1.0. Started - November 29, 2014.]

Revision [

Id

bacPtr.c,v 1.00 2014/11/29 00:00:00 alanmi Exp

]

Enumerator
PTR_GATE_NONE
PTR_GATE_C0
PTR_GATE_C1
PTR_GATE_BUF
PTR_GATE_INV
PTR_GATE_AND
PTR_GATE_NAND
PTR_GATE_OR
PTR_GATE_NOR
PTR_GATE_XOR
PTR_GATE_XNOR
PTR_GATE_UNKNOWN

Definition at line 56 of file bacPtr.c.

             { 
    PTR_GATE_NONE = 0,
    PTR_GATE_C0,         // Const0T
    PTR_GATE_C1,         // Const1T   
    PTR_GATE_BUF,        // BufT  
    PTR_GATE_INV,        // InvT  
    PTR_GATE_AND,        // AndT  
    PTR_GATE_NAND,       // NandT 
    PTR_GATE_OR,         // OrT   
    PTR_GATE_NOR,        // NorT  
    PTR_GATE_XOR,        // XorT  
    PTR_GATE_XNOR,       // XnorT 
    PTR_GATE_UNKNOWN
} Ptr_ObjType_t; 

Function Documentation

Bac_ManCollectGateNameOne()

void Bac_ManCollectGateNameOne	(	Mio_Library_t *	pLib,
		Ptr_ObjType_t	Type,
		word	Truth,
		Vec_Ptr_t *	vGateNames )

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

Synopsis [Collect elementary gates from the library.]

Description []

SideEffects []

SeeAlso []

Definition at line 284 of file bacPtr.c.

{
    Mio_Gate_t * pGate = Mio_LibraryReadGateByTruth( pLib, Truth );
    if ( pGate != NULL )
        Vec_PtrWriteEntry( vGateNames, Type, Mio_GateReadName(pGate) );
}

Here is the call graph for this function:

Here is the caller graph for this function:

Bac_ManCollectGateNamesByTruth()

Vec_Ptr_t * Bac_ManCollectGateNamesByTruth

(

Mio_Library_t *

pLib

)

Definition at line 290 of file bacPtr.c.

{
    static word uTruths6[3] = {
        ABC_CONST(0xAAAAAAAAAAAAAAAA),
        ABC_CONST(0xCCCCCCCCCCCCCCCC),
        ABC_CONST(0xF0F0F0F0F0F0F0F0),
    };
    Vec_Ptr_t * vGateNames = Vec_PtrStart( PTR_GATE_UNKNOWN );
    Bac_ManCollectGateNameOne( pLib, PTR_GATE_C0,              0,                 vGateNames );
    Bac_ManCollectGateNameOne( pLib, PTR_GATE_C1,       ~(word)0,                 vGateNames );
    Bac_ManCollectGateNameOne( pLib, PTR_GATE_BUF,    uTruths6[0],                vGateNames );
    Bac_ManCollectGateNameOne( pLib, PTR_GATE_INV,   ~uTruths6[0],                vGateNames );
    Bac_ManCollectGateNameOne( pLib, PTR_GATE_AND,   (uTruths6[0] & uTruths6[1]), vGateNames );
    Bac_ManCollectGateNameOne( pLib, PTR_GATE_NAND, ~(uTruths6[0] & uTruths6[1]), vGateNames );
    Bac_ManCollectGateNameOne( pLib, PTR_GATE_OR,    (uTruths6[0] | uTruths6[1]), vGateNames );
    Bac_ManCollectGateNameOne( pLib, PTR_GATE_NOR,  ~(uTruths6[0] | uTruths6[1]), vGateNames );
    Bac_ManCollectGateNameOne( pLib, PTR_GATE_XOR,   (uTruths6[0] ^ uTruths6[1]), vGateNames );
    Bac_ManCollectGateNameOne( pLib, PTR_GATE_XNOR, ~(uTruths6[0] ^ uTruths6[1]), vGateNames );
    return vGateNames;
}

Here is the call graph for this function:

Here is the caller graph for this function:

Bac_PtrDumpBlif()

void Bac_PtrDumpBlif	(	char *	pFileName,
		Vec_Ptr_t *	vDes )

Definition at line 192 of file bacPtr.c.

{
    FILE * pFile;
    Vec_Ptr_t * vNtk; int i;
    pFile = fopen( pFileName, "wb" );
    if ( pFile == NULL )
    {
        printf( "Cannot open output file \"%s\".\n", pFileName );
        return;
    }
    fprintf( pFile, "// Design \"%s\" written via Ptr in ABC on %s\n\n", (char *)Vec_PtrEntry(vDes, 0), Extra_TimeStamp() );
    Vec_PtrForEachEntryStart( Vec_Ptr_t *, vDes, vNtk, i, 1 )
        Bac_PtrDumpModuleBlif( pFile, vNtk );
    fclose( pFile );
}

Here is the call graph for this function:

Here is the caller graph for this function:

Bac_PtrDumpBoxBlif()

void Bac_PtrDumpBoxBlif	(	FILE *	pFile,
		Vec_Ptr_t *	vBox )

Definition at line 163 of file bacPtr.c.

{
    char * pName; int i;
    fprintf( pFile, ".subckt" );
    fprintf( pFile, " %s", (char *)Vec_PtrEntry(vBox, 0) );
    //fprintf( pFile, " %s", (char *)Vec_PtrEntry(vBox, 1) ); // do not write intance name in BLIF
    Vec_PtrForEachEntryStart( char *, vBox, pName, i, 2 )
        fprintf( pFile, " %s=%s", pName, (char *)Vec_PtrEntry(vBox, i+1) ), i++;
    fprintf( pFile, "\n" );
}

Here is the caller graph for this function:

Bac_PtrDumpBoxesBlif()

void Bac_PtrDumpBoxesBlif	(	FILE *	pFile,
		Vec_Ptr_t *	vBoxes )

Definition at line 173 of file bacPtr.c.

{
    Vec_Ptr_t * vBox; int i;
    Vec_PtrForEachEntry( Vec_Ptr_t *, vBoxes, vBox, i )
        Bac_PtrDumpBoxBlif( pFile, vBox );
}

Here is the call graph for this function:

Here is the caller graph for this function:

Bac_PtrDumpBoxesVerilog()

void Bac_PtrDumpBoxesVerilog	(	FILE *	pFile,
		Vec_Ptr_t *	vBoxes )

Definition at line 234 of file bacPtr.c.

{
    Vec_Ptr_t * vBox; int i;
    Vec_PtrForEachEntry( Vec_Ptr_t *, vBoxes, vBox, i )
        Bac_PtrDumpBoxVerilog( pFile, vBox );
}

Here is the call graph for this function:

Here is the caller graph for this function:

Bac_PtrDumpBoxVerilog()

void Bac_PtrDumpBoxVerilog	(	FILE *	pFile,
		Vec_Ptr_t *	vBox )

Definition at line 225 of file bacPtr.c.

{
    char * pName; int i;
    fprintf( pFile, "  %s", (char *)Vec_PtrEntry(vBox, 0) );
    fprintf( pFile, " %s (", (char *)Vec_PtrEntry(vBox, 1) ); // write intance name in Verilog
    Vec_PtrForEachEntryStart( char *, vBox, pName, i, 2 )
        fprintf( pFile, ".%s(%s)%s", pName, (char *)Vec_PtrEntry(vBox, i+1), i < Vec_PtrSize(vBox) - 2 ? ", ":"" ), i++;
    fprintf( pFile, ");\n" );
}

Here is the caller graph for this function:

Bac_PtrDumpModuleBlif()

void Bac_PtrDumpModuleBlif	(	FILE *	pFile,
		Vec_Ptr_t *	vNtk )

Definition at line 179 of file bacPtr.c.

{
    fprintf( pFile, ".model %s\n", (char *)Vec_PtrEntry(vNtk, 0) );
    fprintf( pFile, ".inputs" );
    Bac_PtrDumpSignalsBlif( pFile, (Vec_Ptr_t *)Vec_PtrEntry(vNtk, 1), 0 );
    fprintf( pFile, "\n" );
    fprintf( pFile, ".outputs" );
    Bac_PtrDumpSignalsBlif( pFile, (Vec_Ptr_t *)Vec_PtrEntry(vNtk, 2), 1 );
    fprintf( pFile, "\n" );
    assert( Vec_PtrSize((Vec_Ptr_t *)Vec_PtrEntry(vNtk, 3)) == 0 ); // no nodes; only boxes
    Bac_PtrDumpBoxesBlif( pFile, (Vec_Ptr_t *)Vec_PtrEntry(vNtk, 4) );
    fprintf( pFile, ".end\n\n" );
}

Here is the call graph for this function:

Here is the caller graph for this function:

Bac_PtrDumpModuleVerilog()

void Bac_PtrDumpModuleVerilog	(	FILE *	pFile,
		Vec_Ptr_t *	vNtk )

Definition at line 240 of file bacPtr.c.

{
    fprintf( pFile, "module %s (\n    ", (char *)Vec_PtrEntry(vNtk, 0) );
    Bac_PtrDumpSignalsVerilog( pFile, (Vec_Ptr_t *)Vec_PtrEntry(vNtk, 1), 1 );
    Bac_PtrDumpSignalsVerilog( pFile, (Vec_Ptr_t *)Vec_PtrEntry(vNtk, 2), 0 );
    fprintf( pFile, "\n  );\n" );
    fprintf( pFile, "  input" );
    Bac_PtrDumpSignalsVerilog( pFile, (Vec_Ptr_t *)Vec_PtrEntry(vNtk, 1), 0 );
    fprintf( pFile, ";\n" );
    fprintf( pFile, "  output" );
    Bac_PtrDumpSignalsVerilog( pFile, (Vec_Ptr_t *)Vec_PtrEntry(vNtk, 2), 0 );
    fprintf( pFile, ";\n" );
    assert( Vec_PtrSize((Vec_Ptr_t *)Vec_PtrEntry(vNtk, 3)) == 0 ); // no nodes; only boxes
    Bac_PtrDumpBoxesVerilog( pFile, (Vec_Ptr_t *)Vec_PtrEntry(vNtk, 4) );
    fprintf( pFile, "endmodule\n\n" );
}

Here is the call graph for this function:

Here is the caller graph for this function:

Bac_PtrDumpSignalsBlif()

void Bac_PtrDumpSignalsBlif	(	FILE *	pFile,
		Vec_Ptr_t *	vSigs,
		int	fSkipLastComma )

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

Synopsis [Dumping Ptr into a BLIF file.]

Description []

SideEffects []

SeeAlso []

Definition at line 157 of file bacPtr.c.

{
    char * pSig; int i;
    Vec_PtrForEachEntry( char *, vSigs, pSig, i )
        fprintf( pFile, " %s", pSig );
}

Here is the caller graph for this function:

Bac_PtrDumpSignalsVerilog()

void Bac_PtrDumpSignalsVerilog	(	FILE *	pFile,
		Vec_Ptr_t *	vSigs,
		int	fAlwaysComma )

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

Synopsis [Dumping Ptr into a Verilog file.]

Description []

SideEffects []

SeeAlso []

Definition at line 219 of file bacPtr.c.

{
    char * pSig; int i;
    Vec_PtrForEachEntry( char *, vSigs, pSig, i )
        fprintf( pFile, " %s%s", pSig, (fAlwaysComma || i < Vec_PtrSize(vSigs) - 1) ? ",":"" );
}

Here is the caller graph for this function:

Bac_PtrDumpVerilog()

void Bac_PtrDumpVerilog	(	char *	pFileName,
		Vec_Ptr_t *	vDes )

Definition at line 256 of file bacPtr.c.

{
    FILE * pFile;
    Vec_Ptr_t * vNtk; int i;
    pFile = fopen( pFileName, "wb" );
    if ( pFile == NULL )
    {
        printf( "Cannot open output file \"%s\".\n", pFileName );
        return;
    }
    fprintf( pFile, "// Design \"%s\" written via Ptr in ABC on %s\n\n", (char *)Vec_PtrEntry(vDes, 0), Extra_TimeStamp() );
    Vec_PtrForEachEntryStart( Vec_Ptr_t *, vDes, vNtk, i, 1 )
        Bac_PtrDumpModuleVerilog( pFile, vNtk );
    fclose( pFile );
}

Here is the call graph for this function:

Bac_PtrFree()

void Bac_PtrFree

(

Vec_Ptr_t *

vDes

)

Definition at line 98 of file bacPtr.c.

{
    Vec_Ptr_t * vNtk; int i;
    if ( !vDes ) return;
    Vec_PtrForEachEntryStart( Vec_Ptr_t *, vDes, vNtk, i, 1 )
        Bac_PtrFreeNtk( vNtk );
    Vec_PtrFree( vDes );
}

Here is the call graph for this function:

Here is the caller graph for this function:

Bac_PtrFreeNtk()

void Bac_PtrFreeNtk

(

Vec_Ptr_t *

vNtk

)

FUNCTION DEFINITIONS ///.

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

Synopsis [Free Ptr.]

Description []

SideEffects []

SeeAlso []

Definition at line 86 of file bacPtr.c.

{
    Vec_PtrFree( (Vec_Ptr_t *)Vec_PtrEntry(vNtk, 1) );
    Vec_PtrFree( (Vec_Ptr_t *)Vec_PtrEntry(vNtk, 2) );
    Vec_VecFree( (Vec_Vec_t *)Vec_PtrEntry(vNtk, 3) );
    Vec_VecFree( (Vec_Vec_t *)Vec_PtrEntry(vNtk, 4) );
    if ( Vec_PtrSize(vNtk) > 5 )
        Vec_FltFree( (Vec_Flt_t *)Vec_PtrEntry(vNtk, 5) );
    if ( Vec_PtrSize(vNtk) > 6 )
        Vec_FltFree( (Vec_Flt_t *)Vec_PtrEntry(vNtk, 6) );
    Vec_PtrFree( vNtk );
}

Here is the caller graph for this function:

Bac_PtrMemory()

int Bac_PtrMemory

(

Vec_Ptr_t *

vDes

)

Definition at line 138 of file bacPtr.c.

{
    Vec_Ptr_t * vNtk; int i, nBytes = (int)Vec_PtrMemory(vDes);
    Vec_PtrForEachEntryStart( Vec_Ptr_t *, vDes, vNtk, i, 1 )
        nBytes += Bac_PtrMemoryNtk(vNtk);
    return nBytes;
}

Here is the call graph for this function:

Here is the caller graph for this function:

Bac_PtrMemoryArray()

int Bac_PtrMemoryArray

(

Vec_Ptr_t *

vArray

)

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

Synopsis [Count memory used by Ptr.]

Description []

SideEffects []

SeeAlso []

Definition at line 118 of file bacPtr.c.

{
    return (int)Vec_PtrMemory(vArray);
}

Here is the caller graph for this function:

Bac_PtrMemoryArrayArray()

int Bac_PtrMemoryArrayArray

(

Vec_Ptr_t *

vArrayArray

)

Definition at line 122 of file bacPtr.c.

{
    Vec_Ptr_t * vArray; int i, nBytes = 0;
    Vec_PtrForEachEntry( Vec_Ptr_t *, vArrayArray, vArray, i )
        nBytes += Bac_PtrMemoryArray(vArray);
    return nBytes;
}

Here is the call graph for this function:

Here is the caller graph for this function:

Bac_PtrMemoryNtk()

int Bac_PtrMemoryNtk

(

Vec_Ptr_t *

vNtk

)

Definition at line 129 of file bacPtr.c.

{
    int nBytes = (int)Vec_PtrMemory(vNtk);
    nBytes += Bac_PtrMemoryArray( (Vec_Ptr_t *)Vec_PtrEntry(vNtk, 1) );
    nBytes += Bac_PtrMemoryArray( (Vec_Ptr_t *)Vec_PtrEntry(vNtk, 2) );
    nBytes += Bac_PtrMemoryArrayArray( (Vec_Ptr_t *)Vec_PtrEntry(vNtk, 3) );
    nBytes += Bac_PtrMemoryArrayArray( (Vec_Ptr_t *)Vec_PtrEntry(vNtk, 4) );
    return nBytes;
}

Here is the call graph for this function:

Here is the caller graph for this function:

Bac_PtrTransformBox()

Vec_Ptr_t * Bac_PtrTransformBox	(	Vec_Ptr_t *	vBox,
		Vec_Ptr_t *	vGatesNames )

Definition at line 379 of file bacPtr.c.

{
    char * pName; int i;
    Vec_Ptr_t * vNew = Vec_PtrAllocExact( Vec_PtrSize(vBox) );
    Vec_PtrForEachEntry( char *, vBox, pName, i )
        Vec_PtrPush( vNew, Abc_UtilStrsav(pName) );
    if ( vGatesNames )
        Bac_PtrUpdateBox( vNew, vGatesNames );
    return vNew;
}

Here is the call graph for this function:

Here is the caller graph for this function:

Bac_PtrTransformBoxes()

Vec_Ptr_t * Bac_PtrTransformBoxes	(	Vec_Ptr_t *	vBoxes,
		Vec_Ptr_t *	vGatesNames )

Definition at line 389 of file bacPtr.c.

{
    Vec_Ptr_t * vBox; int i;
    Vec_Ptr_t * vNew = Vec_PtrAllocExact( Vec_PtrSize(vBoxes) );
    Vec_PtrForEachEntry( Vec_Ptr_t *, vBoxes, vBox, i )
        Vec_PtrPush( vNew, Bac_PtrTransformBox(vBox, vGatesNames) );
    return vNew;
}

Here is the call graph for this function:

Here is the caller graph for this function:

Bac_PtrTransformNtk()

Vec_Ptr_t * Bac_PtrTransformNtk	(	Vec_Ptr_t *	vNtk,
		Vec_Ptr_t *	vGatesNames )

Definition at line 397 of file bacPtr.c.

{
    char * pName = (char *)Vec_PtrEntry(vNtk, 0);
    Vec_Ptr_t * vInputs  = (Vec_Ptr_t *)Vec_PtrEntry(vNtk, 1);
    Vec_Ptr_t * vOutputs = (Vec_Ptr_t *)Vec_PtrEntry(vNtk, 2);
    Vec_Ptr_t * vBoxes   = (Vec_Ptr_t *)Vec_PtrEntry(vNtk, 4);
    Vec_Ptr_t * vNew     = Vec_PtrAllocExact( Vec_PtrSize(vNtk) );
    Vec_PtrPush( vNew, Abc_UtilStrsav(pName) );
    Vec_PtrPush( vNew, Bac_PtrTransformSigs(vInputs) );
    Vec_PtrPush( vNew, Bac_PtrTransformSigs(vOutputs) );
    Vec_PtrPush( vNew, Vec_PtrAllocExact(0) );
    Vec_PtrPush( vNew, Bac_PtrTransformBoxes(vBoxes, vGatesNames) );
    return vNew;
}

Here is the call graph for this function:

Here is the caller graph for this function:

Bac_PtrTransformSigs()

Vec_Ptr_t * Bac_PtrTransformSigs

(

Vec_Ptr_t *

vSig

)

Definition at line 371 of file bacPtr.c.

{
    char * pName; int i;
    Vec_Ptr_t * vNew = Vec_PtrAllocExact( Vec_PtrSize(vSig) );
    Vec_PtrForEachEntry( char *, vSig, pName, i )
        Vec_PtrPush( vNew, Abc_UtilStrsav(pName) );
    return vNew;
}

Here is the caller graph for this function:

Bac_PtrTransformTest()

Vec_Ptr_t * Bac_PtrTransformTest

(

Vec_Ptr_t *

vDes

)

Definition at line 411 of file bacPtr.c.

{
    Mio_Library_t * pLib;
    Vec_Ptr_t * vGatesNames;
    Vec_Ptr_t * vNtk, * vNew; int i;
    // dump BLIF before transformation
    Bac_PtrDumpBlif( "test1.blif", vDes );
    if ( Abc_FrameGetGlobalFrame() == NULL )
    {
        printf( "ABC framework is not started.\n" );
        return NULL;
    }
    pLib = (Mio_Library_t *)Abc_FrameReadLibGen();
    if ( pLib == NULL )
    {
        printf( "Standard cell library is not entered.\n" );
        return NULL;
    }
    vGatesNames = Bac_ManCollectGateNamesByTruth( pLib );
    // transform
    vNew = Vec_PtrAllocExact( Vec_PtrSize(vDes) );
    Vec_PtrPush( vNew, Abc_UtilStrsav((char *)Vec_PtrEntry(vDes, 0)) );
    Vec_PtrForEachEntryStart( Vec_Ptr_t *, vDes, vNtk, i, 1 )
        Vec_PtrPush( vNew, Bac_PtrTransformNtk(vNtk, vGatesNames) );
    // dump BLIF after transformation
    Bac_PtrDumpBlif( "test2.blif", vNew );
    Vec_PtrFree( vGatesNames );
    return vNew;
}

Here is the call graph for this function:

Here is the caller graph for this function:

Bac_PtrTransformTestTest()

void Bac_PtrTransformTestTest

(

)

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

Synopsis [Test the testing procedure.]

Description []

SideEffects []

SeeAlso []

Definition at line 452 of file bacPtr.c.

{
    char * pFileName = "c/hie/dump/1/netlist_1.v";
    Abc_Ntk_t * pNtk = Io_ReadNetlist( pFileName, Io_ReadFileType(pFileName), 0 );
    extern Vec_Ptr_t * Ptr_AbcDeriveDes( Abc_Ntk_t * pNtk );
    Vec_Ptr_t * vDes = Ptr_AbcDeriveDes( pNtk );
    Vec_Ptr_t * vNew = Bac_PtrTransformTest( vDes );
    Bac_PtrFree( vDes );
    Bac_PtrFree( vNew );
}

Here is the call graph for this function:

Bac_PtrUpdateBox()

void Bac_PtrUpdateBox	(	Vec_Ptr_t *	vBox,
		Vec_Ptr_t *	vGatesNames )

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

Synopsis [This procedure transforms tech-ind Ptr into mapped Ptr.]

Description []

SideEffects []

SeeAlso []

Definition at line 322 of file bacPtr.c.

{
    Mio_Gate_t * pGate;  Mio_Pin_t * pPin; int i = 1;
    Mio_Library_t * pLib = (Mio_Library_t *)Abc_FrameReadLibGen();
    // update gate name
    char * pNameNew, * pName = (char *)Vec_PtrEntry(vBox, 0);
    if ( !strcmp(pName, "Const0T") )
        pNameNew = (char *)Vec_PtrEntry(vGatesNames, PTR_GATE_C0);
    else if ( !strcmp(pName, "Const1T") )
        pNameNew = (char *)Vec_PtrEntry(vGatesNames, PTR_GATE_C1);
    else if ( !strcmp(pName, "BufT") )
        pNameNew = (char *)Vec_PtrEntry(vGatesNames, PTR_GATE_BUF);
    else if ( !strcmp(pName, "InvT") )
        pNameNew = (char *)Vec_PtrEntry(vGatesNames, PTR_GATE_INV);
    else if ( !strcmp(pName, "AndT") )
        pNameNew = (char *)Vec_PtrEntry(vGatesNames, PTR_GATE_AND);
    else if ( !strcmp(pName, "NandT") )
        pNameNew = (char *)Vec_PtrEntry(vGatesNames, PTR_GATE_NAND);
    else if ( !strcmp(pName, "OrT") )
        pNameNew = (char *)Vec_PtrEntry(vGatesNames, PTR_GATE_OR);
    else if ( !strcmp(pName, "NorT") )
        pNameNew = (char *)Vec_PtrEntry(vGatesNames, PTR_GATE_NOR);
    else if ( !strcmp(pName, "XorT") )
        pNameNew = (char *)Vec_PtrEntry(vGatesNames, PTR_GATE_XOR);
    else if ( !strcmp(pName, "XnorT") )
        pNameNew = (char *)Vec_PtrEntry(vGatesNames, PTR_GATE_XNOR);
    else // user hierarchy
        return;
    ABC_FREE( pName );
    Vec_PtrWriteEntry( vBox, 0, Abc_UtilStrsav(pNameNew) );
    // remove instance name
    pName = (char *)Vec_PtrEntry(vBox, 1);
    ABC_FREE( pName );
    Vec_PtrWriteEntry( vBox, 1, NULL );
    // update formal input names
    pGate = Mio_LibraryReadGateByName( pLib, pNameNew, NULL );
    Mio_GateForEachPin( pGate, pPin )
    {
        pName = (char *)Vec_PtrEntry( vBox, 2 * i );
        ABC_FREE( pName );
        pNameNew = Mio_PinReadName(pPin);
        Vec_PtrWriteEntry( vBox, 2 * i++, Abc_UtilStrsav(pNameNew) );
    }
    // update output name
    pName = (char *)Vec_PtrEntry( vBox, 2 * i );
    pNameNew = Mio_GateReadOutName(pGate);
    Vec_PtrWriteEntry( vBox, 2 * i++, Abc_UtilStrsav(pNameNew) );
    assert( 2 * i == Vec_PtrSize(vBox) );
}

Here is the call graph for this function:

Here is the caller graph for this function: