cbaSimple.c File Reference

#include "cba.h"
#include "base/abc/abc.h"

Go to the source code of this file.

Enumerations
enum	Ptr_ObjType_t {   PTR_OBJ_NONE, PTR_OBJ_CONST0, PTR_OBJ_PI, PTR_OBJ_PO,   PTR_OBJ_FAN, PTR_OBJ_FLOP, PTR_OBJ_BOX, PTR_OBJ_NODE,   PTR_OBJ_C0, PTR_OBJ_C1, PTR_OBJ_BUF, PTR_OBJ_INV,   PTR_OBJ_AND, PTR_OBJ_OR, PTR_OBJ_XOR, PTR_OBJ_NAND,   PTR_OBJ_NOR, PTR_OBJ_XNOR, PTR_OBJ_MUX, PTR_OBJ_MAJ,   PTR_VOID }
	DECLARATIONS ///. More...

Functions
char *	Ptr_TypeToName (Ptr_ObjType_t Type)
	FUNCTION DEFINITIONS ///. More...
char *	Ptr_TypeToSop (Ptr_ObjType_t Type)
Ptr_ObjType_t	Ptr_SopToType (char *pSop)
Ptr_ObjType_t	Ptr_HopToType (Abc_Obj_t *pObj)
static char *	Ptr_ObjName (Abc_Obj_t *pObj)
static int	Ptr_ManCheckArray (Vec_Ptr_t *vArray)
Vec_Ptr_t *	Ptr_ManDumpNode (Abc_Obj_t *pObj)
Vec_Ptr_t *	Ptr_ManDumpNodes (Abc_Ntk_t *pNtk)
Vec_Ptr_t *	Ptr_ManDumpBox (Abc_Obj_t *pObj)
Vec_Ptr_t *	Ptr_ManDumpBoxes (Abc_Ntk_t *pNtk)
Vec_Ptr_t *	Ptr_ManDumpInputs (Abc_Ntk_t *pNtk)
Vec_Ptr_t *	Ptr_ManDumpOutputs (Abc_Ntk_t *pNtk)
Vec_Ptr_t *	Ptr_ManDumpNtk (Abc_Ntk_t *pNtk)
Vec_Ptr_t *	Ptr_ManDumpDes (Abc_Ntk_t *pNtk)
void	Ptr_ManDumpNodeToBlif (FILE *pFile, Vec_Ptr_t *vNode)
void	Ptr_ManDumpNodesToBlif (FILE *pFile, Vec_Ptr_t *vNodes)
void	Ptr_ManDumpBoxToBlif (FILE *pFile, Vec_Ptr_t *vBox)
void	Ptr_ManDumpBoxesToBlif (FILE *pFile, Vec_Ptr_t *vBoxes)
void	Ptr_ManDumpSignalsToBlif (FILE *pFile, Vec_Ptr_t *vSigs, int fSkipLastComma)
void	Ptr_ManDumpModuleToBlif (FILE *pFile, Vec_Ptr_t *vNtk)
void	Ptr_ManDumpToBlif (char *pFileName, Vec_Ptr_t *vDes)
void	Ptr_ManDumpNodeToFile (FILE *pFile, Vec_Ptr_t *vNode)
void	Ptr_ManDumpNodesToFile (FILE *pFile, Vec_Ptr_t *vNodes)
void	Ptr_ManDumpBoxToFile (FILE *pFile, Vec_Ptr_t *vBox)
void	Ptr_ManDumpBoxesToFile (FILE *pFile, Vec_Ptr_t *vBoxes)
void	Ptr_ManDumpSignalsToFile (FILE *pFile, Vec_Ptr_t *vSigs, int fSkipLastComma)
void	Ptr_ManDumpModuleToFile (FILE *pFile, Vec_Ptr_t *vNtk)
void	Ptr_ManDumpToFile (char *pFileName, Vec_Ptr_t *vDes)
int	Ptr_ManMemArray (Vec_Ptr_t *vArray)
int	Ptr_ManMemArrayArray (Vec_Ptr_t *vArrayArray)
int	Ptr_ManMemNtk (Vec_Ptr_t *vNtk)
int	Ptr_ManMemDes (Vec_Ptr_t *vDes)
void	Ptr_ManFreeNtk (Vec_Ptr_t *vNtk)
void	Ptr_ManFreeDes (Vec_Ptr_t *vDes)
void	Ptr_ManExperiment (Abc_Ntk_t *pNtk)

Enumeration Type Documentation

enum Ptr_ObjType_t

DECLARATIONS ///.

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

FileName [cbaSimple.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:

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

]

Enumerator
PTR_OBJ_NONE
PTR_OBJ_CONST0
PTR_OBJ_PI
PTR_OBJ_PO
PTR_OBJ_FAN
PTR_OBJ_FLOP
PTR_OBJ_BOX
PTR_OBJ_NODE
PTR_OBJ_C0
PTR_OBJ_C1
PTR_OBJ_BUF
PTR_OBJ_INV
PTR_OBJ_AND
PTR_OBJ_OR
PTR_OBJ_XOR
PTR_OBJ_NAND
PTR_OBJ_NOR
PTR_OBJ_XNOR
PTR_OBJ_MUX
PTR_OBJ_MAJ
PTR_VOID

Definition at line 38 of file cbaSimple.c.

             { 
    PTR_OBJ_NONE,    // 0: non-existent object
    PTR_OBJ_CONST0,  // 1: constant node
    PTR_OBJ_PI,      // 2: primary input
    PTR_OBJ_PO,      // 3: primary output
    PTR_OBJ_FAN,     // 4: box output
    PTR_OBJ_FLOP,    // 5: flip-flop
    PTR_OBJ_BOX,     // 6: box
    PTR_OBJ_NODE,    // 7: logic node

    PTR_OBJ_C0,      // 8: logic node
    PTR_OBJ_C1,      // 9: logic node
    PTR_OBJ_BUF,     // 0: logic node
    PTR_OBJ_INV,     // 1: logic node
    PTR_OBJ_AND,     // 2: logic node
    PTR_OBJ_OR,      // 3: logic node
    PTR_OBJ_XOR,     // 4: logic node
    PTR_OBJ_NAND,    // 5: logic node
    PTR_OBJ_NOR,     // 6: logic node
    PTR_OBJ_XNOR,    // 7: logic node
    PTR_OBJ_MUX,     // 8: logic node
    PTR_OBJ_MAJ,     // 9: logic node

    PTR_VOID         // 0: placeholder
} Ptr_ObjType_t;

Function Documentation

Ptr_ObjType_t Ptr_HopToType

(

Abc_Obj_t *

pObj

)

Definition at line 117 of file cbaSimple.c.

{
    static word uTruth, uTruths6[3] = {
        ABC_CONST(0xAAAAAAAAAAAAAAAA),
        ABC_CONST(0xCCCCCCCCCCCCCCCC),
        ABC_CONST(0xF0F0F0F0F0F0F0F0),
    };
    assert( Abc_ObjIsNode(pObj) );
    uTruth = Hop_ManComputeTruth6( (Hop_Man_t *)Abc_ObjNtk(pObj)->pManFunc, (Hop_Obj_t *)pObj->pData, Abc_ObjFaninNum(pObj) );
    if ( uTruth ==  uTruths6[0] )                 return PTR_OBJ_BUF;
    if ( uTruth == ~uTruths6[0] )                 return PTR_OBJ_INV;
    if ( uTruth == (uTruths6[0] & uTruths6[1]) )  return PTR_OBJ_AND;
    if ( uTruth == (uTruths6[0] | uTruths6[1]) )  return PTR_OBJ_OR;
    if ( uTruth == (uTruths6[0] ^ uTruths6[1]) )  return PTR_OBJ_XOR;
    if ( uTruth == (uTruths6[0] ^~uTruths6[1]) )  return PTR_OBJ_XNOR;
    assert( 0 );
    return PTR_OBJ_NONE;
}

static int Ptr_ManCheckArray ( Vec_Ptr_t *  vArray )

static

Definition at line 158 of file cbaSimple.c.

{
    if ( Vec_PtrSize(vArray) == 0 )
        return 1;
    if ( Abc_MaxInt(8, Vec_PtrSize(vArray)) == Vec_PtrCap(vArray) )
        return 1;
    assert( 0 );
    return 0;
}

Vec_Ptr_t* Ptr_ManDumpBox

(

Abc_Obj_t *

pObj

)

Definition at line 189 of file cbaSimple.c.

{
    Abc_Obj_t * pNext; int i;
    Abc_Ntk_t * pModel = Abc_ObjModel(pObj);
    Vec_Ptr_t * vBox = Vec_PtrAlloc( 2 + 2 * Abc_ObjFaninNum(pObj) + 2 * Abc_ObjFanoutNum(pObj) );
    assert( Abc_ObjIsBox(pObj) );
    Vec_PtrPush( vBox, Abc_NtkName(pModel) );
    Vec_PtrPush( vBox, Ptr_ObjName(pObj) );
    Abc_ObjForEachFanin( pObj, pNext, i )
    {
        Vec_PtrPush( vBox, Ptr_ObjName(Abc_NtkPi(pModel, i)) );
        Vec_PtrPush( vBox, Ptr_ObjName(pNext) );
    }
    Abc_ObjForEachFanout( pObj, pNext, i )
    {
        Vec_PtrPush( vBox, Ptr_ObjName(Abc_NtkPo(pModel, i)) );
        Vec_PtrPush( vBox, Ptr_ObjName(pNext) );
    }
    assert( Ptr_ManCheckArray(vBox) );
    return vBox;
}

Vec_Ptr_t* Ptr_ManDumpBoxes

(

Abc_Ntk_t *

pNtk

)

Definition at line 210 of file cbaSimple.c.

{
    Abc_Obj_t * pObj; int i;
    Vec_Ptr_t * vBoxes = Vec_PtrAlloc( Abc_NtkBoxNum(pNtk) );
    Abc_NtkForEachBox( pNtk, pObj, i )
        Vec_PtrPush( vBoxes, Ptr_ManDumpBox(pObj) );
    assert( Ptr_ManCheckArray(vBoxes) );
    return vBoxes;
}

void Ptr_ManDumpBoxesToBlif	(	FILE *	pFile,
		Vec_Ptr_t *	vBoxes
	)

Definition at line 296 of file cbaSimple.c.

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

void Ptr_ManDumpBoxesToFile	(	FILE *	pFile,
		Vec_Ptr_t *	vBoxes
	)

Definition at line 375 of file cbaSimple.c.

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

void Ptr_ManDumpBoxToBlif	(	FILE *	pFile,
		Vec_Ptr_t *	vBox
	)

Definition at line 288 of file cbaSimple.c.

{
    char * pName; int i;
    fprintf( pFile, "%s", (char *)Vec_PtrEntry(vBox, 0) );
    Vec_PtrForEachEntryStart( char *, vBox, pName, i, 2 )
        fprintf( pFile, " %s=%s", pName, (char *)Vec_PtrEntry(vBox, i+1) ), i++;
    fprintf( pFile, "\n" );
}

void Ptr_ManDumpBoxToFile	(	FILE *	pFile,
		Vec_Ptr_t *	vBox
	)

Definition at line 367 of file cbaSimple.c.

{
    char * pName; int i;
    fprintf( pFile, "%s %s (", (char *)Vec_PtrEntry(vBox, 0), (char *)Vec_PtrEntry(vBox, 1) );
    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" );
}

Vec_Ptr_t* Ptr_ManDumpDes

(

Abc_Ntk_t *

pNtk

)

Definition at line 249 of file cbaSimple.c.

{
    Vec_Ptr_t * vDes;
    Abc_Ntk_t * pTemp; int i;
    vDes = Vec_PtrAlloc( 1 + Vec_PtrSize(pNtk->pDesign->vModules) );
    Vec_PtrPush( vDes, pNtk->pDesign->pName );
    Vec_PtrForEachEntry( Abc_Ntk_t *, pNtk->pDesign->vModules, pTemp, i )
        Vec_PtrPush( vDes, Ptr_ManDumpNtk(pTemp) );
    assert( Ptr_ManCheckArray(vDes) );
    return vDes;
}

Vec_Ptr_t* Ptr_ManDumpInputs

(

Abc_Ntk_t *

pNtk

)

Definition at line 220 of file cbaSimple.c.

{
    Abc_Obj_t * pObj; int i;
    Vec_Ptr_t * vSigs = Vec_PtrAlloc( Abc_NtkPiNum(pNtk) );
    Abc_NtkForEachPi( pNtk, pObj, i )
        Vec_PtrPush( vSigs, Ptr_ObjName(pObj) );
    assert( Ptr_ManCheckArray(vSigs) );
    return vSigs;
}

void Ptr_ManDumpModuleToBlif	(	FILE *	pFile,
		Vec_Ptr_t *	vNtk
	)

Definition at line 309 of file cbaSimple.c.

{
    fprintf( pFile, ".model %s\n", (char *)Vec_PtrEntry(vNtk, 0) );
    fprintf( pFile, ".inputs" );
    Ptr_ManDumpSignalsToBlif( pFile, (Vec_Ptr_t *)Vec_PtrEntry(vNtk, 1), 0 );
    fprintf( pFile, "\n" );
    fprintf( pFile, ".outputs" );
    Ptr_ManDumpSignalsToBlif( pFile, (Vec_Ptr_t *)Vec_PtrEntry(vNtk, 2), 1 );
    fprintf( pFile, "\n\n" );
    Ptr_ManDumpNodesToBlif( pFile, (Vec_Ptr_t *)Vec_PtrEntry(vNtk, 3) );
    fprintf( pFile, "\n" );
    Ptr_ManDumpBoxesToBlif( pFile, (Vec_Ptr_t *)Vec_PtrEntry(vNtk, 4) );
    fprintf( pFile, "\n" );
    fprintf( pFile, ".end\n\n" );
}

void Ptr_ManDumpModuleToFile	(	FILE *	pFile,
		Vec_Ptr_t *	vNtk
	)

Definition at line 388 of file cbaSimple.c.

{
    fprintf( pFile, "module %s\n", (char *)Vec_PtrEntry(vNtk, 0) );
    fprintf( pFile, "(\n" );
    Ptr_ManDumpSignalsToFile( pFile, (Vec_Ptr_t *)Vec_PtrEntry(vNtk, 1), 0 );
    fprintf( pFile, "\n" );
    Ptr_ManDumpSignalsToFile( pFile, (Vec_Ptr_t *)Vec_PtrEntry(vNtk, 2), 1 );
    fprintf( pFile, "\n);\ninput" );
    Ptr_ManDumpSignalsToFile( pFile, (Vec_Ptr_t *)Vec_PtrEntry(vNtk, 1), 1 );
    fprintf( pFile, ";\noutput" );
    Ptr_ManDumpSignalsToFile( pFile, (Vec_Ptr_t *)Vec_PtrEntry(vNtk, 2), 1 );
    fprintf( pFile, ";\n\n" );
    Ptr_ManDumpNodesToFile( pFile, (Vec_Ptr_t *)Vec_PtrEntry(vNtk, 3) );
    fprintf( pFile, "\n" );
    Ptr_ManDumpBoxesToFile( pFile, (Vec_Ptr_t *)Vec_PtrEntry(vNtk, 4) );
    fprintf( pFile, "endmodule\n\n" );
}

Vec_Ptr_t* Ptr_ManDumpNode

(

Abc_Obj_t *

pObj

)

Definition at line 167 of file cbaSimple.c.

{
    Abc_Obj_t * pFanin; int i;
    Vec_Ptr_t * vNode = Vec_PtrAlloc( 2 + Abc_ObjFaninNum(pObj) );
    assert( Abc_ObjIsNode(pObj) );
    Vec_PtrPush( vNode, Ptr_ObjName(pObj) );
    Vec_PtrPush( vNode, Abc_Int2Ptr(Ptr_HopToType(pObj)) );
    Abc_ObjForEachFanin( pObj, pFanin, i )
        Vec_PtrPush( vNode, Ptr_ObjName(pFanin) );
    assert( Ptr_ManCheckArray(vNode) );
    return vNode;
}

Vec_Ptr_t* Ptr_ManDumpNodes

(

Abc_Ntk_t *

pNtk

)

Definition at line 179 of file cbaSimple.c.

{
    Abc_Obj_t * pObj; int i;
    Vec_Ptr_t * vNodes = Vec_PtrAlloc( Abc_NtkNodeNum(pNtk) );
    Abc_NtkForEachNode( pNtk, pObj, i )
        Vec_PtrPush( vNodes, Ptr_ManDumpNode(pObj) );
    assert( Ptr_ManCheckArray(vNodes) );
    return vNodes;
}

void Ptr_ManDumpNodesToBlif	(	FILE *	pFile,
		Vec_Ptr_t *	vNodes
	)

Definition at line 281 of file cbaSimple.c.

{
    Vec_Ptr_t * vNode; int i;
    Vec_PtrForEachEntry( Vec_Ptr_t *, vNodes, vNode, i )
        Ptr_ManDumpNodeToBlif( pFile, vNode );
}

void Ptr_ManDumpNodesToFile	(	FILE *	pFile,
		Vec_Ptr_t *	vNodes
	)

Definition at line 360 of file cbaSimple.c.

{
    Vec_Ptr_t * vNode; int i;
    Vec_PtrForEachEntry( Vec_Ptr_t *, vNodes, vNode, i )
        Ptr_ManDumpNodeToFile( pFile, vNode );
}

void Ptr_ManDumpNodeToBlif	(	FILE *	pFile,
		Vec_Ptr_t *	vNode
	)

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

Synopsis [Dumping Ptr into a Verilog file.]

Description []

SideEffects []

SeeAlso []

Definition at line 272 of file cbaSimple.c.

{
    char * pName;  int i;
    fprintf( pFile, ".names" );
    Vec_PtrForEachEntryStart( char *, vNode, pName, i, 2 )
        fprintf( pFile, " %s", pName );
    fprintf( pFile, " %s\n", (char *)Vec_PtrEntry(vNode, 0) );
    fprintf( pFile, "%s", Ptr_TypeToSop( (Ptr_ObjType_t)Abc_Ptr2Int(Vec_PtrEntry(vNode, 1)) ) );
}

void Ptr_ManDumpNodeToFile	(	FILE *	pFile,
		Vec_Ptr_t *	vNode
	)

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

Synopsis [Dumping Ptr into a Verilog file.]

Description []

SideEffects []

SeeAlso []

Definition at line 351 of file cbaSimple.c.

{
    char * pName;  int i;
    fprintf( pFile, "%s", Ptr_TypeToName( (Ptr_ObjType_t)Abc_Ptr2Int(Vec_PtrEntry(vNode, 1)) ) );
    fprintf( pFile, "( %s", (char *)Vec_PtrEntry(vNode, 0) );
    Vec_PtrForEachEntryStart( char *, vNode, pName, i, 2 )
        fprintf( pFile, ", %s", pName );
    fprintf( pFile, " );\n" );
}

Vec_Ptr_t* Ptr_ManDumpNtk

(

Abc_Ntk_t *

pNtk

)

Definition at line 238 of file cbaSimple.c.

{
    Vec_Ptr_t * vNtk = Vec_PtrAlloc( 5 );
    Vec_PtrPush( vNtk, Abc_NtkName(pNtk) );
    Vec_PtrPush( vNtk, Ptr_ManDumpInputs(pNtk) );
    Vec_PtrPush( vNtk, Ptr_ManDumpOutputs(pNtk) );
    Vec_PtrPush( vNtk, Ptr_ManDumpNodes(pNtk) );
    Vec_PtrPush( vNtk, Ptr_ManDumpBoxes(pNtk) );
    assert( Ptr_ManCheckArray(vNtk) );
    return vNtk;
}

Vec_Ptr_t* Ptr_ManDumpOutputs

(

Abc_Ntk_t *

pNtk

)

Definition at line 229 of file cbaSimple.c.

{
    Abc_Obj_t * pObj; int i;
    Vec_Ptr_t * vSigs = Vec_PtrAlloc( Abc_NtkPoNum(pNtk) );
    Abc_NtkForEachPo( pNtk, pObj, i )
        Vec_PtrPush( vSigs, Ptr_ObjName(pObj) );
    assert( Ptr_ManCheckArray(vSigs) );
    return vSigs;
}

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

Definition at line 303 of file cbaSimple.c.

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

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

Definition at line 382 of file cbaSimple.c.

{
    char * pSig; int i;
    Vec_PtrForEachEntry( char *, vSigs, pSig, i )
        fprintf( pFile, " %s%s", pSig, (fSkipLastComma && i == Vec_PtrSize(vSigs)-1) ? "" : "," );
}

void Ptr_ManDumpToBlif	(	char *	pFileName,
		Vec_Ptr_t *	vDes
	)

Definition at line 324 of file cbaSimple.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 by ABC on %s\n\n", (char *)Vec_PtrEntry(vDes, 0), Extra_TimeStamp() );
    Vec_PtrForEachEntryStart( Vec_Ptr_t *, vDes, vNtk, i, 1 )
        Ptr_ManDumpModuleToBlif( pFile, vNtk );
    fclose( pFile );
}

void Ptr_ManDumpToFile	(	char *	pFileName,
		Vec_Ptr_t *	vDes
	)

Definition at line 405 of file cbaSimple.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 by ABC on %s\n\n", (char *)Vec_PtrEntry(vDes, 0), Extra_TimeStamp() );
    Vec_PtrForEachEntryStart( Vec_Ptr_t *, vDes, vNtk, i, 1 )
        Ptr_ManDumpModuleToFile( pFile, vNtk );
    fclose( pFile );
}

void Ptr_ManExperiment

(

Abc_Ntk_t *

pNtk

)

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

Synopsis [Count memory use used by Ptr.]

Description []

SideEffects []

SeeAlso []

Definition at line 499 of file cbaSimple.c.

{
    abctime clk = Abc_Clock();
    Vec_Ptr_t * vDes = Ptr_ManDumpDes( pNtk );
    printf( "Converting to Ptr:  Memory = %6.3f MB  ", 1.0*Ptr_ManMemDes(vDes)/(1<<20) );
    Abc_PrintTime( 1, "Time", Abc_Clock() - clk );
    Ptr_ManDumpToFile( Extra_FileNameGenericAppend(pNtk->pDesign->pName, "_out.v"), vDes );
    printf( "Finished writing output file \"%s\".\n", Extra_FileNameGenericAppend(pNtk->pDesign->pName, "_out.v") );
    Abc_PrintTime( 1, "Time", Abc_Clock() - clk );
    Ptr_ManFreeDes( vDes );
    Abc_PrintTime( 1, "Time", Abc_Clock() - clk );
}

void Ptr_ManFreeDes

(

Vec_Ptr_t *

vDes

)

Definition at line 480 of file cbaSimple.c.

{
    Vec_Ptr_t * vNtk; int i;
    Vec_PtrForEachEntryStart( Vec_Ptr_t *, vDes, vNtk, i, 1 )
        Ptr_ManFreeNtk( vNtk );
    Vec_PtrFree( vDes );
}

void Ptr_ManFreeNtk

(

Vec_Ptr_t *

vNtk

)

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

Synopsis [Free Ptr.]

Description []

SideEffects []

SeeAlso []

Definition at line 472 of file cbaSimple.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) );
    Vec_PtrFree( vNtk );
}

int Ptr_ManMemArray

(

Vec_Ptr_t *

vArray

)

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

Synopsis [Count memory used by Ptr.]

Description []

SideEffects []

SeeAlso []

Definition at line 433 of file cbaSimple.c.

{
    return (int)Vec_PtrMemory(vArray);
}

int Ptr_ManMemArrayArray

(

Vec_Ptr_t *

vArrayArray

)

Definition at line 437 of file cbaSimple.c.

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

int Ptr_ManMemDes

(

Vec_Ptr_t *

vDes

)

Definition at line 453 of file cbaSimple.c.

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

int Ptr_ManMemNtk

(

Vec_Ptr_t *

vNtk

)

Definition at line 444 of file cbaSimple.c.

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

static char* Ptr_ObjName ( Abc_Obj_t *  pObj )

inlinestatic

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

Synopsis [Dumping hierarchical Abc_Ntk_t in Ptr form.]

Description []

SideEffects []

SeeAlso []

Definition at line 147 of file cbaSimple.c.

{
    if ( Abc_ObjIsNet(pObj) || Abc_ObjIsBox(pObj) )
        return Abc_ObjName(pObj);
    if ( Abc_ObjIsCi(pObj) || Abc_ObjIsNode(pObj) )
        return Ptr_ObjName(Abc_ObjFanout0(pObj));
    if ( Abc_ObjIsCo(pObj) )
        return Ptr_ObjName(Abc_ObjFanin0(pObj));
    assert( 0 );
    return NULL;
}

Ptr_ObjType_t Ptr_SopToType

(

char *

pSop

)

Definition at line 102 of file cbaSimple.c.

{
    if ( !strcmp(pSop, "1 1\n") )        return PTR_OBJ_BUF;
    if ( !strcmp(pSop, "0 1\n") )        return PTR_OBJ_INV;
    if ( !strcmp(pSop, "11 1\n") )       return PTR_OBJ_AND;
    if ( !strcmp(pSop, "00 0\n") )       return PTR_OBJ_OR;
    if ( !strcmp(pSop, "-1 1\n1- 1\n") ) return PTR_OBJ_OR;
    if ( !strcmp(pSop, "1- 1\n-1 1\n") ) return PTR_OBJ_OR;
    if ( !strcmp(pSop, "01 1\n10 1\n") ) return PTR_OBJ_XOR;
    if ( !strcmp(pSop, "10 1\n01 1\n") ) return PTR_OBJ_XOR;
    if ( !strcmp(pSop, "11 1\n00 1\n") ) return PTR_OBJ_XNOR;
    if ( !strcmp(pSop, "00 1\n11 1\n") ) return PTR_OBJ_XNOR;
    assert( 0 );
    return PTR_OBJ_NONE;
}

char* Ptr_TypeToName

(

Ptr_ObjType_t

Type

)

FUNCTION DEFINITIONS ///.

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

Synopsis [Node type conversions.]

Description []

SideEffects []

SeeAlso []

Definition at line 80 of file cbaSimple.c.

{
    if ( Type == PTR_OBJ_BUF )   return "buf";
    if ( Type == PTR_OBJ_INV )   return "not";
    if ( Type == PTR_OBJ_AND )   return "and";
    if ( Type == PTR_OBJ_OR )    return "or";
    if ( Type == PTR_OBJ_XOR )   return "xor";
    if ( Type == PTR_OBJ_XNOR )  return "xnor";
    assert( 0 );
    return "???";
}

char* Ptr_TypeToSop

(

Ptr_ObjType_t

Type

)

Definition at line 91 of file cbaSimple.c.

{
    if ( Type == PTR_OBJ_BUF )   return "1 1\n";
    if ( Type == PTR_OBJ_INV )   return "0 1\n";
    if ( Type == PTR_OBJ_AND )   return "11 1\n";
    if ( Type == PTR_OBJ_OR )    return "00 0\n";
    if ( Type == PTR_OBJ_XOR )   return "01 1\n10 1\n";
    if ( Type == PTR_OBJ_XNOR )  return "00 1\n11 1\n";
    assert( 0 );
    return "???";
}