#include "fpgaInt.h"
#include "base/main/main.h"

Include dependency graph for fpgaCreate.c:

Functions
int	Fpga_ManReadInputNum (Fpga_Man_t *p)
	FUNCTION DEFINITIONS ///.

int	Fpga_ManReadOutputNum (Fpga_Man_t *p)

Fpga_Node_t **	Fpga_ManReadInputs (Fpga_Man_t *p)

Fpga_Node_t **	Fpga_ManReadOutputs (Fpga_Man_t *p)

Fpga_Node_t *	Fpga_ManReadConst1 (Fpga_Man_t *p)

float *	Fpga_ManReadInputArrivals (Fpga_Man_t *p)

int	Fpga_ManReadVerbose (Fpga_Man_t *p)

int	Fpga_ManReadVarMax (Fpga_Man_t *p)

float *	Fpga_ManReadLutAreas (Fpga_Man_t *p)

Fpga_NodeVec_t *	Fpga_ManReadMapping (Fpga_Man_t *p)

void	Fpga_ManSetOutputNames (Fpga_Man_t p, char *ppNames)

void	Fpga_ManSetInputArrivals (Fpga_Man_t p, float pArrivals)

void	Fpga_ManSetAreaRecovery (Fpga_Man_t *p, int fAreaRecovery)

void	Fpga_ManSetDelayLimit (Fpga_Man_t *p, float DelayLimit)

void	Fpga_ManSetAreaLimit (Fpga_Man_t *p, float AreaLimit)

void	Fpga_ManSetChoiceNodeNum (Fpga_Man_t *p, int nChoiceNodes)

void	Fpga_ManSetChoiceNum (Fpga_Man_t *p, int nChoices)

void	Fpga_ManSetVerbose (Fpga_Man_t *p, int fVerbose)

void	Fpga_ManSetSwitching (Fpga_Man_t *p, int fSwitching)

void	Fpga_ManSetLatchPaths (Fpga_Man_t *p, int fLatchPaths)

void	Fpga_ManSetLatchNum (Fpga_Man_t *p, int nLatches)

void	Fpga_ManSetDelayTarget (Fpga_Man_t *p, float DelayTarget)

void	Fpga_ManSetName (Fpga_Man_t p, char pFileName)

int	Fpga_LibReadLutMax (Fpga_LutLib_t *pLib)

char *	Fpga_NodeReadData0 (Fpga_Node_t *p)

Fpga_Node_t *	Fpga_NodeReadData1 (Fpga_Node_t *p)

int	Fpga_NodeReadRefs (Fpga_Node_t *p)

int	Fpga_NodeReadNum (Fpga_Node_t *p)

int	Fpga_NodeReadLevel (Fpga_Node_t *p)

Fpga_Cut_t *	Fpga_NodeReadCuts (Fpga_Node_t *p)

Fpga_Cut_t *	Fpga_NodeReadCutBest (Fpga_Node_t *p)

Fpga_Node_t *	Fpga_NodeReadOne (Fpga_Node_t *p)

Fpga_Node_t *	Fpga_NodeReadTwo (Fpga_Node_t *p)

void	Fpga_NodeSetData0 (Fpga_Node_t p, char pData)

void	Fpga_NodeSetData1 (Fpga_Node_t p, Fpga_Node_t pNode)

void	Fpga_NodeSetNextE (Fpga_Node_t p, Fpga_Node_t pNextE)

void	Fpga_NodeSetRepr (Fpga_Node_t p, Fpga_Node_t pRepr)

void	Fpga_NodeSetSwitching (Fpga_Node_t *p, float Switching)

int	Fpga_NodeIsConst (Fpga_Node_t *p)

int	Fpga_NodeIsVar (Fpga_Node_t *p)

int	Fpga_NodeIsAnd (Fpga_Node_t *p)

int	Fpga_NodeComparePhase (Fpga_Node_t p1, Fpga_Node_t p2)

int	Fpga_CutReadLeavesNum (Fpga_Cut_t *p)

Fpga_Node_t **	Fpga_CutReadLeaves (Fpga_Cut_t *p)

Fpga_Man_t *	Fpga_ManCreate (int nInputs, int nOutputs, int fVerbose)
	FUNCTION DEFINITIONS ///.

void	Fpga_ManFree (Fpga_Man_t *p)

void	Fpga_ManPrintTimeStats (Fpga_Man_t *p)

Fpga_Node_t *	Fpga_NodeCreate (Fpga_Man_t p, Fpga_Node_t p1, Fpga_Node_t *p2)

Fpga_Node_t *	Fpga_NodeAnd (Fpga_Man_t p, Fpga_Node_t p1, Fpga_Node_t *p2)

Fpga_Node_t *	Fpga_NodeOr (Fpga_Man_t p, Fpga_Node_t p1, Fpga_Node_t *p2)

Fpga_Node_t *	Fpga_NodeExor (Fpga_Man_t p, Fpga_Node_t p1, Fpga_Node_t *p2)

Fpga_Node_t *	Fpga_NodeMux (Fpga_Man_t p, Fpga_Node_t pC, Fpga_Node_t pT, Fpga_Node_t pE)

void	Fpga_NodeSetChoice (Fpga_Man_t pMan, Fpga_Node_t pNodeOld, Fpga_Node_t *pNodeNew)

void	Fpga_ManStats (Fpga_Man_t *p)

Function Documentation

◆ Fpga_CutReadLeaves()

Fpga_Node_t ** Fpga_CutReadLeaves ( Fpga_Cut_t * p )

Definition at line 142 of file fpgaCreate.c.

142{ return p->ppLeaves; }

p

Cube * p

Definition exorList.c:222

◆ Fpga_CutReadLeavesNum()

int Fpga_CutReadLeavesNum ( Fpga_Cut_t * p )

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

Synopsis [Reads parameters from the cut.]

Description []

SideEffects []

SeeAlso []

Definition at line 141 of file fpgaCreate.c.

141{ return p->nLeaves; }

◆ Fpga_LibReadLutMax()

int Fpga_LibReadLutMax ( Fpga_LutLib_t * pLib )

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

Synopsis [Reads the parameters of the LUT library.]

Description []

SideEffects []

SeeAlso []

Definition at line 86 of file fpgaCreate.c.

86{ return pLib->LutMax; }

Fpga_LutLibStruct_t_::LutMax

int LutMax

Definition fpgaInt.h:173

◆ Fpga_ManCreate()

Fpga_Man_t * Fpga_ManCreate	(	int	nInputs,
		int	nOutputs,
		int	fVerbose )

FUNCTION DEFINITIONS ///.

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

Synopsis [Create the mapping manager.]

Description [The number of inputs and outputs is assumed to be known is advance. It is much simpler to have them fixed upfront. When it comes to representing the object graph in the form of AIG, the resulting manager is similar to the regular AIG manager, except that it does not use reference counting (and therefore does not have garbage collections). It does have table resizing. The data structure is more flexible to represent additional information needed for mapping.]

SideEffects []

SeeAlso []

Definition at line 163 of file fpgaCreate.c.

{
    Fpga_Man_t * p;
    int i;
 
    // start the manager
    p = ABC_ALLOC( Fpga_Man_t, 1 );
    memset( p, 0, sizeof(Fpga_Man_t) );
    p->pLutLib   = (Fpga_LutLib_t *)Abc_FrameReadLibLut();
    p->nVarsMax  = p->pLutLib->LutMax;
    p->fVerbose  = fVerbose;
    p->fAreaRecovery = 1;
    p->fEpsilon  = (float)0.001;
 
    Fpga_TableCreate( p );
//if ( p->fVerbose )
//    printf( "Node = %d (%d) bytes. Cut = %d bytes.\n", sizeof(Fpga_Node_t), FPGA_NUM_BYTES(sizeof(Fpga_Node_t)), sizeof(Fpga_Cut_t) ); 
    p->mmNodes  = Extra_MmFixedStart( FPGA_NUM_BYTES(sizeof(Fpga_Node_t)) );
    p->mmCuts   = Extra_MmFixedStart( sizeof(Fpga_Cut_t) );
 
    assert( p->nVarsMax > 0 );
//    Fpga_MappingSetupTruthTables( p->uTruths );
 
    // make sure the constant node will get index -1
    p->nNodes = -1;
    // create the constant node
    p->pConst1 = Fpga_NodeCreate( p, NULL, NULL );
    p->vNodesAll = Fpga_NodeVecAlloc( 1000 );
    p->vMapping = Fpga_NodeVecAlloc( 1000 );
 
    // create the PI nodes
    p->nInputs = nInputs;
    p->pInputs = ABC_ALLOC( Fpga_Node_t *, nInputs );
    for ( i = 0; i < nInputs; i++ )
        p->pInputs[i] = Fpga_NodeCreate( p, NULL, NULL );
 
    // create the place for the output nodes
    p->nOutputs = nOutputs;
    p->pOutputs = ABC_ALLOC( Fpga_Node_t *, nOutputs );
    memset( p->pOutputs, 0, sizeof(Fpga_Node_t *) * nOutputs );
    return p;
}

Here is the call graph for this function:

◆ Fpga_ManFree()

void Fpga_ManFree ( Fpga_Man_t * p )

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

Synopsis [Deallocates the mapping manager.]

Description []

SideEffects []

SeeAlso []

Definition at line 217 of file fpgaCreate.c.

{
//    Fpga_ManStats( p );
//    int i;
//    for ( i = 0; i < p->vNodesAll->nSize; i++ )
//        Fpga_NodeVecFree( p->vNodesAll->pArray[i]->vFanouts );
//    Fpga_NodeVecFree( p->pConst1->vFanouts );
    if ( p->vMapping )
        Fpga_NodeVecFree( p->vMapping );
    if ( p->vAnds )    
        Fpga_NodeVecFree( p->vAnds );
    if ( p->vNodesAll )    
        Fpga_NodeVecFree( p->vNodesAll );
    Extra_MmFixedStop( p->mmNodes );
    Extra_MmFixedStop( p->mmCuts );
    ABC_FREE( p->ppOutputNames );
    ABC_FREE( p->pInputArrivals );
    ABC_FREE( p->pInputs );
    ABC_FREE( p->pOutputs );
    ABC_FREE( p->pBins );
    ABC_FREE( p );
}

Here is the call graph for this function:

Here is the caller graph for this function:

◆ Fpga_ManPrintTimeStats()

void Fpga_ManPrintTimeStats ( Fpga_Man_t * p )

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

Synopsis [Prints runtime statistics of the mapping manager.]

Description []

SideEffects []

SeeAlso []

Definition at line 252 of file fpgaCreate.c.

{
//    extern char * pNetName;
//    extern int TotalLuts;
//    FILE * pTable;
 
    
/*
    pTable = fopen( "stats.txt", "a+" );
    fprintf( pTable, "%s ", pNetName );
    fprintf( pTable, "%.0f ", p->fRequiredGlo );
//    fprintf( pTable, "%.0f ", p->fAreaGlo );//+ (float)nOutputInvs );
    fprintf( pTable, "%.0f ", (float)TotalLuts );
    fprintf( pTable, "%4.2f\n", (float)(p->timeTotal-p->timeToMap)/(float)(CLOCKS_PER_SEC) );
    fclose( pTable );
*/
 
//    printf( "N-canonical = %d. Matchings = %d.  ", p->nCanons, p->nMatches );
//    printf( "Choice nodes = %d. Choices = %d.\n", p->nChoiceNodes, p->nChoices );
    ABC_PRT( "ToMap", p->timeToMap );
    ABC_PRT( "Cuts ", p->timeCuts );
    ABC_PRT( "Match", p->timeMatch );
    ABC_PRT( "Area ", p->timeRecover );
    ABC_PRT( "ToNet", p->timeToNet );
    ABC_PRT( "TOTAL", p->timeTotal );
    if ( p->time1 ) { ABC_PRT( "time1", p->time1 ); }
    if ( p->time2 ) { ABC_PRT( "time2", p->time2 ); }
}

◆ Fpga_ManReadConst1()

Fpga_Node_t * Fpga_ManReadConst1 ( Fpga_Man_t * p )

Definition at line 55 of file fpgaCreate.c.

55{ return p->pConst1; }

◆ Fpga_ManReadInputArrivals()

float * Fpga_ManReadInputArrivals ( Fpga_Man_t * p )

Definition at line 56 of file fpgaCreate.c.

56{ return p->pInputArrivals;}

◆ Fpga_ManReadInputNum()

int Fpga_ManReadInputNum ( Fpga_Man_t * p )

FUNCTION DEFINITIONS ///.

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

Synopsis [Reads parameters of the mapping manager.]

Description []

SideEffects []

SeeAlso []

Definition at line 51 of file fpgaCreate.c.

51{ return p->nInputs; }

◆ Fpga_ManReadInputs()

Fpga_Node_t ** Fpga_ManReadInputs ( Fpga_Man_t * p )

Definition at line 53 of file fpgaCreate.c.

53{ return p->pInputs; }

◆ Fpga_ManReadLutAreas()

float * Fpga_ManReadLutAreas ( Fpga_Man_t * p )

Definition at line 59 of file fpgaCreate.c.

59{ return p->pLutLib->pLutAreas; }

◆ Fpga_ManReadMapping()

Fpga_NodeVec_t * Fpga_ManReadMapping ( Fpga_Man_t * p )

Definition at line 60 of file fpgaCreate.c.

60{ return p->vMapping; }

◆ Fpga_ManReadOutputNum()

int Fpga_ManReadOutputNum ( Fpga_Man_t * p )

Definition at line 52 of file fpgaCreate.c.

52{ return p->nOutputs; }

◆ Fpga_ManReadOutputs()

Fpga_Node_t ** Fpga_ManReadOutputs ( Fpga_Man_t * p )

Definition at line 54 of file fpgaCreate.c.

54{ return p->pOutputs; }

◆ Fpga_ManReadVarMax()

int Fpga_ManReadVarMax ( Fpga_Man_t * p )

Definition at line 58 of file fpgaCreate.c.

58{ return p->pLutLib->LutMax; }

◆ Fpga_ManReadVerbose()

int Fpga_ManReadVerbose ( Fpga_Man_t * p )

Definition at line 57 of file fpgaCreate.c.

57{ return p->fVerbose; }

◆ Fpga_ManSetAreaLimit()

void Fpga_ManSetAreaLimit	(	Fpga_Man_t *	p,
		float	AreaLimit )

Definition at line 65 of file fpgaCreate.c.

65{ p->AreaLimit = AreaLimit; }

◆ Fpga_ManSetAreaRecovery()

void Fpga_ManSetAreaRecovery	(	Fpga_Man_t *	p,
		int	fAreaRecovery )

Definition at line 63 of file fpgaCreate.c.

63{ p->fAreaRecovery = fAreaRecovery;}

◆ Fpga_ManSetChoiceNodeNum()

void Fpga_ManSetChoiceNodeNum	(	Fpga_Man_t *	p,
		int	nChoiceNodes )

Definition at line 66 of file fpgaCreate.c.

66{ p->nChoiceNodes = nChoiceNodes; }

◆ Fpga_ManSetChoiceNum()

void Fpga_ManSetChoiceNum	(	Fpga_Man_t *	p,
		int	nChoices )

Definition at line 67 of file fpgaCreate.c.

67{ p->nChoices = nChoices; }

◆ Fpga_ManSetDelayLimit()

void Fpga_ManSetDelayLimit	(	Fpga_Man_t *	p,
		float	DelayLimit )

Definition at line 64 of file fpgaCreate.c.

64{ p->DelayLimit = DelayLimit; }

◆ Fpga_ManSetDelayTarget()

void Fpga_ManSetDelayTarget	(	Fpga_Man_t *	p,
		float	DelayTarget )

Definition at line 72 of file fpgaCreate.c.

72{ p->DelayTarget = DelayTarget; }

Here is the caller graph for this function:

◆ Fpga_ManSetInputArrivals()

void Fpga_ManSetInputArrivals	(	Fpga_Man_t *	p,
		float *	pArrivals )

Definition at line 62 of file fpgaCreate.c.

62{ p->pInputArrivals = pArrivals; }

◆ Fpga_ManSetLatchNum()

void Fpga_ManSetLatchNum	(	Fpga_Man_t *	p,
		int	nLatches )

Definition at line 71 of file fpgaCreate.c.

71{ p->nLatches = nLatches; }

Here is the caller graph for this function:

◆ Fpga_ManSetLatchPaths()

void Fpga_ManSetLatchPaths	(	Fpga_Man_t *	p,
		int	fLatchPaths )

Definition at line 70 of file fpgaCreate.c.

70{ p->fLatchPaths = fLatchPaths; }

Here is the caller graph for this function:

◆ Fpga_ManSetName()

void Fpga_ManSetName	(	Fpga_Man_t *	p,
		char *	pFileName )

Definition at line 73 of file fpgaCreate.c.

73{ p->pFileName = pFileName; }

◆ Fpga_ManSetOutputNames()

void Fpga_ManSetOutputNames	(	Fpga_Man_t *	p,
		char **	ppNames )

Definition at line 61 of file fpgaCreate.c.

61{ p->ppOutputNames = ppNames; }

◆ Fpga_ManSetSwitching()

void Fpga_ManSetSwitching	(	Fpga_Man_t *	p,
		int	fSwitching )

Definition at line 69 of file fpgaCreate.c.

69{ p->fSwitching = fSwitching; }

Here is the caller graph for this function:

◆ Fpga_ManSetVerbose()

void Fpga_ManSetVerbose	(	Fpga_Man_t *	p,
		int	fVerbose )

Definition at line 68 of file fpgaCreate.c.

68{ p->fVerbose = fVerbose; }

◆ Fpga_ManStats()

void Fpga_ManStats ( Fpga_Man_t * p )

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

Synopsis [Prints some interesting stats.]

Description []

SideEffects []

SeeAlso []

Definition at line 564 of file fpgaCreate.c.

{
    FILE * pTable;
    pTable = fopen( "stats.txt", "a+" );
    fprintf( pTable, "%s ", p->pFileName );
    fprintf( pTable, "%4d ", p->nInputs - p->nLatches );
    fprintf( pTable, "%4d ", p->nOutputs - p->nLatches );
    fprintf( pTable, "%4d ", p->nLatches );
    fprintf( pTable, "%7d ", p->vAnds->nSize );
    fprintf( pTable, "%7d ", Fpga_CutCountAll(p) );
    fprintf( pTable, "%2d\n", (int)p->fRequiredGlo );
    fclose( pTable );
}

Here is the call graph for this function:

◆ Fpga_NodeAnd()

Fpga_Node_t * Fpga_NodeAnd	(	Fpga_Man_t *	p,
		Fpga_Node_t *	p1,
		Fpga_Node_t *	p2 )

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

Synopsis [Elementary AND operation on the AIG.]

Description []

SideEffects []

SeeAlso []

Definition at line 470 of file fpgaCreate.c.

{
    Fpga_Node_t * pNode;
    pNode = Fpga_TableLookup( p, p1, p2 );     
    return pNode;
}

◆ Fpga_NodeComparePhase()

int Fpga_NodeComparePhase	(	Fpga_Node_t *	p1,
		Fpga_Node_t *	p2 )

Definition at line 128 of file fpgaCreate.c.

128{ assert( !Fpga_IsComplement(p1) ); assert( !Fpga_IsComplement(p2) ); return p1->fInv ^ p2->fInv; }

Fpga_IsComplement

#define Fpga_IsComplement(p)

GLOBAL VARIABLES ///.

Definition fpga.h:57

◆ Fpga_NodeCreate()

Fpga_Node_t * Fpga_NodeCreate	(	Fpga_Man_t *	p,
		Fpga_Node_t *	p1,
		Fpga_Node_t *	p2 )

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

Synopsis [Creates a new node.]

Description [This procedure should be called to create the constant node and the PI nodes first.]

SideEffects []

SeeAlso []

Definition at line 293 of file fpgaCreate.c.

{
    Fpga_Node_t * pNode;
    // create the node
    pNode = (Fpga_Node_t *)Extra_MmFixedEntryFetch( p->mmNodes );
    memset( pNode, 0, sizeof(Fpga_Node_t) );
    // set very large required time
    pNode->tRequired = FPGA_FLOAT_LARGE;
    pNode->aEstFanouts = -1;
    pNode->p1  = p1; 
    pNode->p2  = p2;
    // set the number of this node
    pNode->Num = p->nNodes++;
    // place to store the fanouts
//    pNode->vFanouts = Fpga_NodeVecAlloc( 5 );
    // store this node in the internal array
    if ( pNode->Num >= 0 )
        Fpga_NodeVecPush( p->vNodesAll, pNode );
    else
        pNode->fInv = 1;
    // set the level of this node
    if ( p1 ) 
    {
#ifdef FPGA_ALLOCATE_FANOUT
        // create the fanout info
        Fpga_NodeAddFaninFanout( Fpga_Regular(p1), pNode );
        Fpga_NodeAddFaninFanout( Fpga_Regular(p2), pNode );
#endif
        // compute the level
        pNode->Level = 1 + FPGA_MAX(Fpga_Regular(p1)->Level, Fpga_Regular(p2)->Level);
        pNode->fInv  = Fpga_NodeIsSimComplement(p1) & Fpga_NodeIsSimComplement(p2);
    }
    // reference the inputs 
    if ( p1 ) Fpga_NodeRef(p1);
    if ( p2 ) Fpga_NodeRef(p2);
    return pNode;
}

Here is the call graph for this function:

Here is the caller graph for this function:

◆ Fpga_NodeExor()

Fpga_Node_t * Fpga_NodeExor	(	Fpga_Man_t *	p,
		Fpga_Node_t *	p1,
		Fpga_Node_t *	p2 )

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

Synopsis [Elementary EXOR operation on the AIG.]

Description []

SideEffects []

SeeAlso []

Definition at line 506 of file fpgaCreate.c.

{
    return Fpga_NodeMux( p, p1, Fpga_Not(p2), p2 );
}

Here is the call graph for this function:

◆ Fpga_NodeIsAnd()

int Fpga_NodeIsAnd ( Fpga_Node_t * p )

Definition at line 127 of file fpgaCreate.c.

127{ return (Fpga_Regular(p))->p1 != NULL; }

Here is the caller graph for this function:

◆ Fpga_NodeIsConst()

int Fpga_NodeIsConst ( Fpga_Node_t * p )

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

Synopsis [Checks the type of the node.]

Description []

SideEffects []

SeeAlso []

Definition at line 125 of file fpgaCreate.c.

125{ return (Fpga_Regular(p))->Num == -1; }

Here is the caller graph for this function:

◆ Fpga_NodeIsVar()

int Fpga_NodeIsVar ( Fpga_Node_t * p )

Definition at line 126 of file fpgaCreate.c.

126{ return (Fpga_Regular(p))->p1 == NULL && (Fpga_Regular(p))->Num >= 0; }

Here is the caller graph for this function:

◆ Fpga_NodeMux()

Fpga_Node_t * Fpga_NodeMux	(	Fpga_Man_t *	p,
		Fpga_Node_t *	pC,
		Fpga_Node_t *	pT,
		Fpga_Node_t *	pE )

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

Synopsis [Elementary MUX operation on the AIG.]

Description []

SideEffects []

SeeAlso []

Definition at line 522 of file fpgaCreate.c.

{
    Fpga_Node_t * pAnd1, * pAnd2, * pRes;
    pAnd1 = Fpga_TableLookup( p, pC,           pT ); 
    pAnd2 = Fpga_TableLookup( p, Fpga_Not(pC), pE ); 
    pRes  = Fpga_NodeOr( p, pAnd1, pAnd2 );           
    return pRes;
}

Here is the call graph for this function:

Here is the caller graph for this function:

◆ Fpga_NodeOr()

Fpga_Node_t * Fpga_NodeOr	(	Fpga_Man_t *	p,
		Fpga_Node_t *	p1,
		Fpga_Node_t *	p2 )

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

Synopsis [Elementary OR operation on the AIG.]

Description []

SideEffects []

SeeAlso []

Definition at line 488 of file fpgaCreate.c.

{
    Fpga_Node_t * pNode;
    pNode = Fpga_Not( Fpga_TableLookup( p, Fpga_Not(p1), Fpga_Not(p2) ) );  
    return pNode;
}

Here is the caller graph for this function:

◆ Fpga_NodeReadCutBest()

Fpga_Cut_t * Fpga_NodeReadCutBest ( Fpga_Node_t * p )

Definition at line 105 of file fpgaCreate.c.

105{ return p->pCutBest; }

◆ Fpga_NodeReadCuts()

Fpga_Cut_t * Fpga_NodeReadCuts ( Fpga_Node_t * p )

Definition at line 104 of file fpgaCreate.c.

104{ return p->pCuts; }

◆ Fpga_NodeReadData0()

char * Fpga_NodeReadData0 ( Fpga_Node_t * p )

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

Synopsis [Reads parameters of the mapping node.]

Description []

SideEffects []

SeeAlso []

Definition at line 99 of file fpgaCreate.c.

99{ return p->pData0; }

◆ Fpga_NodeReadData1()

Fpga_Node_t * Fpga_NodeReadData1 ( Fpga_Node_t * p )

Definition at line 100 of file fpgaCreate.c.

100{ return p->pLevel; }

◆ Fpga_NodeReadLevel()

int Fpga_NodeReadLevel ( Fpga_Node_t * p )

Definition at line 103 of file fpgaCreate.c.

103{ return Fpga_Regular(p)->Level; }

◆ Fpga_NodeReadNum()

int Fpga_NodeReadNum ( Fpga_Node_t * p )

Definition at line 102 of file fpgaCreate.c.

102{ return p->Num; }

◆ Fpga_NodeReadOne()

Fpga_Node_t * Fpga_NodeReadOne ( Fpga_Node_t * p )

Definition at line 106 of file fpgaCreate.c.

106{ return p->p1; }

◆ Fpga_NodeReadRefs()

int Fpga_NodeReadRefs ( Fpga_Node_t * p )

Definition at line 101 of file fpgaCreate.c.

101{ return p->nRefs; }

◆ Fpga_NodeReadTwo()

Fpga_Node_t * Fpga_NodeReadTwo ( Fpga_Node_t * p )

Definition at line 107 of file fpgaCreate.c.

107{ return p->p2; }

◆ Fpga_NodeSetChoice()

void Fpga_NodeSetChoice	(	Fpga_Man_t *	pMan,
		Fpga_Node_t *	pNodeOld,
		Fpga_Node_t *	pNodeNew )

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

Synopsis [Sets the node to be equivalent to the given one.]

Description [This procedure is a work-around for the equivalence check. Does not verify the equivalence. Use at the user's risk.]

SideEffects []

SeeAlso []

Definition at line 544 of file fpgaCreate.c.

{
    pNodeNew->pNextE = pNodeOld->pNextE;
    pNodeOld->pNextE = pNodeNew;
    pNodeNew->pRepr  = pNodeOld;
}

◆ Fpga_NodeSetData0()

void Fpga_NodeSetData0	(	Fpga_Node_t *	p,
		char *	pData )

Definition at line 108 of file fpgaCreate.c.

108{ p->pData0 = pData; }

◆ Fpga_NodeSetData1()

void Fpga_NodeSetData1	(	Fpga_Node_t *	p,
		Fpga_Node_t *	pNode )

Definition at line 109 of file fpgaCreate.c.

109{ p->pLevel = pNode; }

◆ Fpga_NodeSetNextE()

void Fpga_NodeSetNextE	(	Fpga_Node_t *	p,
		Fpga_Node_t *	pNextE )

Definition at line 110 of file fpgaCreate.c.

110{ p->pNextE = pNextE; }

◆ Fpga_NodeSetRepr()

void Fpga_NodeSetRepr	(	Fpga_Node_t *	p,
		Fpga_Node_t *	pRepr )

Definition at line 111 of file fpgaCreate.c.

111{ p->pRepr = pRepr; }

◆ Fpga_NodeSetSwitching()

void Fpga_NodeSetSwitching	(	Fpga_Node_t *	p,
		float	Switching )

Definition at line 112 of file fpgaCreate.c.

112{ p->Switching = Switching; }

Functions

Function Documentation

◆ Fpga_CutReadLeaves()

◆ Fpga_CutReadLeavesNum()

◆ Fpga_LibReadLutMax()

◆ Fpga_ManCreate()

◆ Fpga_ManFree()

◆ Fpga_ManPrintTimeStats()

◆ Fpga_ManReadConst1()

◆ Fpga_ManReadInputArrivals()

◆ Fpga_ManReadInputNum()

◆ Fpga_ManReadInputs()

◆ Fpga_ManReadLutAreas()

◆ Fpga_ManReadMapping()

◆ Fpga_ManReadOutputNum()

◆ Fpga_ManReadOutputs()

◆ Fpga_ManReadVarMax()

◆ Fpga_ManReadVerbose()

◆ Fpga_ManSetAreaLimit()

◆ Fpga_ManSetAreaRecovery()

◆ Fpga_ManSetChoiceNodeNum()

◆ Fpga_ManSetChoiceNum()

◆ Fpga_ManSetDelayLimit()

◆ Fpga_ManSetDelayTarget()

◆ Fpga_ManSetInputArrivals()

◆ Fpga_ManSetLatchNum()

◆ Fpga_ManSetLatchPaths()

◆ Fpga_ManSetName()

◆ Fpga_ManSetOutputNames()

◆ Fpga_ManSetSwitching()

◆ Fpga_ManSetVerbose()

◆ Fpga_ManStats()

◆ Fpga_NodeAnd()

◆ Fpga_NodeComparePhase()

◆ Fpga_NodeCreate()

◆ Fpga_NodeExor()

◆ Fpga_NodeIsAnd()

◆ Fpga_NodeIsConst()

◆ Fpga_NodeIsVar()

◆ Fpga_NodeMux()

◆ Fpga_NodeOr()

◆ Fpga_NodeReadCutBest()

◆ Fpga_NodeReadCuts()

◆ Fpga_NodeReadData0()

◆ Fpga_NodeReadData1()

◆ Fpga_NodeReadLevel()

◆ Fpga_NodeReadNum()

◆ Fpga_NodeReadOne()

◆ Fpga_NodeReadRefs()

◆ Fpga_NodeReadTwo()

◆ Fpga_NodeSetChoice()

◆ Fpga_NodeSetData0()

◆ Fpga_NodeSetData1()

◆ Fpga_NodeSetNextE()

◆ Fpga_NodeSetRepr()

◆ Fpga_NodeSetSwitching()