abcapis.h File Reference

Go to the source code of this file.

Functions
void	Abc_Start ()
	INCLUDES ///. More...
void	Abc_Stop ()
void *	Abc_FrameGetGlobalFrame ()
int	Cmd_CommandExecute (void *pAbc, char *pCommandLine)
void	Abc_NtkInputMiniAig (void *pAbc, void *pMiniAig)
void *	Abc_NtkOutputMiniAig (void *pAbc)
void	Abc_NtkSetCiArrivalTime (void *pAbc, int iCi, float Rise, float Fall)
void	Abc_NtkSetCoRequiredTime (void *pAbc, int iCo, float Rise, float Fall)
int *	Abc_NtkOutputMiniMapping (void *pAbc)
void	Abc_NtkPrintMiniMapping (int *pArray)
int	Abc_FrameReadProbStatus (void *pAbc)
void *	Abc_FrameReadCex (void *pAbc)

Function Documentation

void* Abc_FrameGetGlobalFrame

(

)

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

Synopsis []

Description []

SideEffects []

SeeAlso []

Definition at line 593 of file mainFrame.c.

{
    if ( s_GlobalFrame == 0 )
    {
        // start the framework
        s_GlobalFrame = Abc_FrameAllocate();
        // perform initializations
        Abc_FrameInit( s_GlobalFrame );
    }
    return s_GlobalFrame;
}

void* Abc_FrameReadCex

(

void *

pAbc

)

int Abc_FrameReadProbStatus

(

void *

pAbc

)

void Abc_NtkInputMiniAig	(	void *	pAbc,
		void *	pMiniAig
	)

void* Abc_NtkOutputMiniAig

(

void *

pAbc

)

int* Abc_NtkOutputMiniMapping

(

void *

pAbc0

)

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

Synopsis [This procedure outputs an array representing mini-mapped network.]

Description []

SideEffects []

SeeAlso []

Definition at line 875 of file abcMap.c.

{
    Abc_Frame_t * pAbc = (Abc_Frame_t *)pAbc0;
    Abc_Ntk_t * pNtk;
    Vec_Int_t * vMapping;
    int * pArray;
    if ( pAbc == NULL )
        printf( "ABC framework is not initialized by calling Abc_Start()\n" );
    pNtk = Abc_FrameReadNtk( pAbc );
    if ( pNtk == NULL )
        printf( "Current network in ABC framework is not defined.\n" );
    if ( !Abc_NtkHasMapping(pNtk) )
        printf( "Current network in ABC framework is not mapped.\n" );
    // derive mini-mapping
    vMapping = Abc_NtkWriteMiniMapping( pNtk );
    pArray = Vec_IntArray( vMapping );
    ABC_FREE( vMapping );
    // print mini-mapping (optional)
//    Abc_NtkPrintMiniMapping( pArray );
    // return the array representation of mini-mapping
    return pArray;
}

void Abc_NtkPrintMiniMapping

(

int *

pArray

)

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

Synopsis [Prints mapped network represented in mini-mapped format.]

Description []

SideEffects []

SeeAlso []

Definition at line 834 of file abcMap.c.

{
    int nCis, nCos, nNodes, nFlops;
    int i, k, nLeaves, Pos = 4;
    char * pBuffer, * pName;
    nCis = pArray[0];
    nCos = pArray[1];
    nNodes = pArray[2];
    nFlops = pArray[3];
    printf( "Mapped network has %d CIs, %d COs, %d gates, and %d flops.\n", nCis, nCos, nNodes, nFlops );
    printf( "The first %d object IDs (from 0 to %d) are reserved for the CIs.\n", nCis, nCis - 1 );
    for ( i = 0; i < nNodes; i++ )
    {
        printf( "Node %d has fanins {", nCis + i );
        nLeaves = pArray[Pos++];
        for ( k = 0; k < nLeaves; k++ )
            printf( " %d", pArray[Pos++] );
        printf( " }\n" );
    }
    for ( i = 0; i < nCos; i++ )
        printf( "CO %d is driven by node %d\n", i, pArray[Pos++] );
    pBuffer = (char *)(pArray + Pos);
    for ( i = 0; i < nNodes; i++ )
    {
        pName = pBuffer;
        pBuffer += strlen(pName) + 1;
        printf( "Node %d has gate \"%s\"\n", nCis + i, pName );
    }
}

void Abc_NtkSetCiArrivalTime	(	void *	pAbc0,
		int	iCi,
		float	Rise,
		float	Fall
	)

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

Synopsis [These APIs set arriva/required times of CIs/COs.]

Description []

SideEffects []

SeeAlso []

Definition at line 929 of file abcMap.c.

{
    Abc_Frame_t * pAbc = (Abc_Frame_t *)pAbc0;
    Abc_Ntk_t * pNtk;
    Abc_Obj_t * pNode;
    if ( pAbc == NULL )
        printf( "ABC framework is not initialized by calling Abc_Start()\n" );
    pNtk = Abc_FrameReadNtk( pAbc );
    if ( pNtk == NULL )
        printf( "Current network in ABC framework is not defined.\n" );
    if ( iCi < 0 || iCi >= Abc_NtkCiNum(pNtk) )
        printf( "CI index is not valid.\n" );
    pNode = Abc_NtkCi( pNtk, iCi );
    Abc_NtkTimeSetArrival( pNtk, Abc_ObjId(pNode), Rise, Fall );
}

void Abc_NtkSetCoRequiredTime	(	void *	pAbc,
		int	iCo,
		float	Rise,
		float	Fall
	)

Definition at line 944 of file abcMap.c.

{
    Abc_Frame_t * pAbc = (Abc_Frame_t *)pAbc0;
    Abc_Ntk_t * pNtk;
    Abc_Obj_t * pNode;
    if ( pAbc == NULL )
        printf( "ABC framework is not initialized by calling Abc_Start()\n" );
    pNtk = Abc_FrameReadNtk( pAbc );
    if ( pNtk == NULL )
        printf( "Current network in ABC framework is not defined.\n" );
    if ( iCo < 0 || iCo >= Abc_NtkCoNum(pNtk) )
        printf( "CO index is not valid.\n" );
    pNode = Abc_NtkCo( pNtk, iCo );
    Abc_NtkTimeSetRequired( pNtk, Abc_ObjId(pNode), Rise, Fall );
}

void Abc_Start

(

)

INCLUDES ///.

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

FileName [abcapis.h]

SystemName [ABC: Logic synthesis and verification system.]

PackageName [Include this file in the external code calling ABC.]

Synopsis [External declarations.]

Author [Alan Mishchenko]

Affiliation [UC Berkeley]

Date [Ver. 1.0. Started - September 29, 2012.]

Revision [

Id:

abcapis.h,v 1.00 2012/09/29 00:00:00 alanmi Exp

]PARAMETERS ///BASIC TYPES ///MACRO DEFINITIONS ///FUNCTION DECLARATIONS ///

INCLUDES ///.

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

FileName [main.c]

SystemName [ABC: Logic synthesis and verification system.]

PackageName [The main package.]

Synopsis [Here everything starts.]

Author [Alan Mishchenko]

Affiliation [UC Berkeley]

Date [Ver. 1.0. Started - June 20, 2005.]

Revision [

Id:

main.c,v 1.00 2005/06/20 00:00:00 alanmi Exp

]FUNCTION DEFINITIONS /// Function*************************************************************

Synopsis [Initialization procedure for the library project.]

Description [Note that when Abc_Start() is run in a static library project, it does not load the resource file by default. As a result, ABC is not set up the same way, as when it is run on a command line. For example, some error messages while parsing files will not be produced, and intermediate networks will not be checked for consistancy. One possibility is to load the resource file after Abc_Start() as follows: Abc_UtilsSource( Abc_FrameGetGlobalFrame() );]

SideEffects []

SeeAlso []

Definition at line 52 of file mainLib.c.

{
    Abc_Frame_t * pAbc;
    // added to detect memory leaks:
#if defined(_DEBUG) && defined(_MSC_VER) 
    _CrtSetDbgFlag( _CRTDBG_ALLOC_MEM_DF | _CRTDBG_LEAK_CHECK_DF );
#endif
    // start the glocal frame
    pAbc = Abc_FrameGetGlobalFrame();
    // source the resource file
//    Abc_UtilsSource( pAbc );
}

void Abc_Stop

(

)

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

Synopsis [Deallocation procedure for the library project.]

Description []

SideEffects []

SeeAlso []

Definition at line 76 of file mainLib.c.

{
    Abc_Frame_t * pAbc;
    pAbc = Abc_FrameGetGlobalFrame();
    // perform uninitializations
    Abc_FrameEnd( pAbc );
    // stop the framework
    Abc_FrameDeallocate( pAbc );
}

int Cmd_CommandExecute	(	void *	pAbc,
		char *	pCommandLine
	)