abcapis.h File Reference

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Macros
#define	ABC_DLLIMPORT
	MACRO DEFINITIONS ///.
#define	ABC_DLL   ABC_DLLIMPORT

Typedefs
typedef typedefABC_NAMESPACE_HEADER_START struct Abc_Frame_t_	Abc_Frame_t
	INCLUDES ///.

Functions
ABC_DLL void	Abc_Start ()
	FUNCTION DECLARATIONS ///.
ABC_DLL void	Abc_Stop ()
ABC_DLL Abc_Frame_t *	Abc_FrameGetGlobalFrame ()
ABC_DLL int	Cmd_CommandExecute (Abc_Frame_t *pAbc, const char *pCommandLine)
ABC_DLL void	Abc_NtkInputMiniAig (Abc_Frame_t *pAbc, void *pMiniAig)
ABC_DLL void *	Abc_NtkOutputMiniAig (Abc_Frame_t *pAbc)
ABC_DLL void	Abc_FrameGiaInputMiniAig (Abc_Frame_t *pAbc, void *p)
ABC_DLL void *	Abc_FrameGiaOutputMiniAig (Abc_Frame_t *pAbc)
ABC_DLL void	Abc_NtkSetFlopNum (Abc_Frame_t *pAbc, int nFlops)
ABC_DLL void	Abc_FrameGiaInputMiniLut (Abc_Frame_t *pAbc, void *pMiniLut)
ABC_DLL void	Abc_FrameGiaInputMiniLut2 (Abc_Frame_t *pAbc, void *pMiniLut)
ABC_DLL void *	Abc_FrameGiaOutputMiniLut (Abc_Frame_t *pAbc)
ABC_DLL char *	Abc_FrameGiaOutputMiniLutAttr (Abc_Frame_t *pAbc, void *pMiniLut)
ABC_DLL int *	Abc_FrameGiaOutputMiniLutObj (Abc_Frame_t *pAbc)
ABC_DLL void	Abc_FrameSetObjDelays (Abc_Frame_t *pAbc, int *pDelays, int nDelays)
ABC_DLL int *	Abc_FrameReadMiniLutSwitching (Abc_Frame_t *pAbc)
ABC_DLL int *	Abc_FrameReadMiniLutSwitching2 (Abc_Frame_t *pAbc, int nRandPiFactor)
ABC_DLL int *	Abc_FrameReadMiniLutSwitchingPo (Abc_Frame_t *pAbc)
ABC_DLL void	Abc_FrameInputNdr (Abc_Frame_t *pAbc, void *pData)
ABC_DLL void *	Abc_FrameOutputNdr (Abc_Frame_t *pAbc)
ABC_DLL int *	Abc_FrameOutputNdrArray (Abc_Frame_t *pAbc)
ABC_DLL void	Abc_NtkSetCiArrivalTime (Abc_Frame_t *pAbc, int iCi, float Rise, float Fall)
ABC_DLL void	Abc_NtkSetCoRequiredTime (Abc_Frame_t *pAbc, int iCo, float Rise, float Fall)
ABC_DLL void	Abc_NtkSetAndGateDelay (Abc_Frame_t *pAbc, float Delay)
ABC_DLL int *	Abc_NtkOutputMiniMapping (Abc_Frame_t *pAbc)
ABC_DLL void	Abc_NtkPrintMiniMapping (int *pArray)
ABC_DLL int *	Abc_FrameReadArrayMapping (Abc_Frame_t *pAbc)
ABC_DLL int *	Abc_FrameReadBoxes (Abc_Frame_t *pAbc)
ABC_DLL int	Abc_FrameReadProbStatus (Abc_Frame_t *pAbc)
ABC_DLL void *	Abc_FrameReadCex (Abc_Frame_t *pAbc)
ABC_DLL void	Abc_FrameSetRetimingData (Abc_Frame_t *pAbc, int *pRst, int *pSet, int *pEna, int nRegs)
ABC_DLL int *	Abc_FrameReadMiniAigEquivClasses (Abc_Frame_t *pAbc)

Macro Definition Documentation

ABC_DLL

#define ABC_DLL   ABC_DLLIMPORT

Definition at line 57 of file abcapis.h.

ABC_DLLIMPORT

#define ABC_DLLIMPORT

MACRO DEFINITIONS ///.

Definition at line 53 of file abcapis.h.

Typedef Documentation

Abc_Frame_t

typedef typedefABC_NAMESPACE_HEADER_START struct Abc_Frame_t_ Abc_Frame_t

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 ///

Definition at line 38 of file abcapis.h.

Function Documentation

Abc_FrameGetGlobalFrame()

ABC_DLL Abc_Frame_t * Abc_FrameGetGlobalFrame ( )

extern

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

Synopsis []

Description []

SideEffects []

SeeAlso []

Definition at line 643 of file mainFrame.c.

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

Here is the call graph for this function:

Abc_FrameGiaInputMiniAig()

ABC_DLL void Abc_FrameGiaInputMiniAig ( Abc_Frame_t * pAbc, void * p )

extern

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

Synopsis [Procedures to input/output MiniAIG into/from internal GIA.]

Description []

SideEffects []

SeeAlso []

Definition at line 151 of file giaMini.c.

{
    Gia_Man_t * pGia;
    if ( pAbc == NULL )
        printf( "ABC framework is not initialized by calling Abc_Start()\n" );
    Gia_ManStopP( &pAbc->pGiaMiniAig );
    Vec_IntFreeP( &pAbc->vCopyMiniAig );
    pGia = Gia_ManFromMiniAig( (Mini_Aig_t *)p, &pAbc->vCopyMiniAig, 0 );
    Abc_FrameUpdateGia( pAbc, pGia );
    pAbc->pGiaMiniAig = Gia_ManDup( pGia );
//    Gia_ManDelete( pGia );
}

Here is the call graph for this function:

Here is the caller graph for this function:

Abc_FrameGiaInputMiniLut()

ABC_DLL void Abc_FrameGiaInputMiniLut ( Abc_Frame_t * pAbc, void * p )

extern

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

Synopsis [Procedures to input/output MiniAIG into/from internal GIA.]

Description []

SideEffects []

SeeAlso []

Definition at line 515 of file giaMini.c.

{
    Gia_Man_t * pGia;
    if ( pAbc == NULL )
        printf( "ABC framework is not initialized by calling Abc_Start()\n" );
    pGia = Gia_ManFromMiniLut( (Mini_Lut_t *)p, NULL );
    Abc_FrameUpdateGia( pAbc, pGia );
//    Gia_ManDelete( pGia );
}

Here is the call graph for this function:

Abc_FrameGiaInputMiniLut2()

ABC_DLL void Abc_FrameGiaInputMiniLut2 ( Abc_Frame_t * pAbc, void * pMiniLut )

extern

Definition at line 524 of file giaMini.c.

{
    if ( pAbc == NULL )
        printf( "ABC framework is not initialized by calling Abc_Start()\n" );
    Vec_IntFreeP( &pAbc->vCopyMiniLut );
    Gia_ManStopP( &pAbc->pGiaMiniLut );
    pAbc->pGiaMiniLut = Gia_ManFromMiniLut2( (Mini_Lut_t *)p, &pAbc->vCopyMiniLut );
//    Abc_FrameUpdateGia( pAbc, pGia );
}

Here is the call graph for this function:

Abc_FrameGiaOutputMiniAig()

ABC_DLL void * Abc_FrameGiaOutputMiniAig ( Abc_Frame_t * pAbc )

extern

Definition at line 163 of file giaMini.c.

{
    Gia_Man_t * pGia;
    if ( pAbc == NULL )
        printf( "ABC framework is not initialized by calling Abc_Start()\n" );
    pGia = Abc_FrameReadGia( pAbc );
    if ( pGia == NULL )
        printf( "Current network in ABC framework is not defined.\n" );
    return Gia_ManToMiniAig( pGia );
}

Here is the call graph for this function:

Abc_FrameGiaOutputMiniLut()

ABC_DLL void * Abc_FrameGiaOutputMiniLut ( Abc_Frame_t * pAbc )

extern

Definition at line 533 of file giaMini.c.

{
    Mini_Lut_t * pRes = NULL;
    Gia_Man_t * pGia;
    if ( pAbc == NULL )
        printf( "ABC framework is not initialized by calling Abc_Start()\n" );
    Gia_ManStopP( &pAbc->pGiaMiniLut );
    Vec_IntFreeP( &pAbc->vCopyMiniLut );
    pGia = Abc_FrameReadGia( pAbc );
    if ( pGia == NULL )
        printf( "Current network in ABC framework is not defined.\n" );
    pRes = Gia_ManToMiniLut( pGia );
    pAbc->pGiaMiniLut = Gia_ManFromMiniLut( pRes, &pAbc->vCopyMiniLut );
    return pRes;
}

Here is the call graph for this function:

Abc_FrameGiaOutputMiniLutAttr()

ABC_DLL char * Abc_FrameGiaOutputMiniLutAttr ( Abc_Frame_t * pAbc, void * pMiniLut )

extern

Definition at line 548 of file giaMini.c.

{
    Gia_Man_t * pGia;
    if ( pAbc == NULL )
        printf( "ABC framework is not initialized by calling Abc_Start()\n" );
    pGia = Abc_FrameReadGia( pAbc );
    if ( pGia == NULL )
        printf( "Current network in ABC framework is not defined.\n" );
    return Gia_ManToMiniLutAttr( pGia, pMiniLut );
}

Here is the call graph for this function:

Abc_FrameGiaOutputMiniLutObj()

ABC_DLL int * Abc_FrameGiaOutputMiniLutObj ( Abc_Frame_t * pAbc )

extern

Definition at line 558 of file giaMini.c.

{
    int * pRes = NULL;
    if ( pAbc == NULL )
        printf( "ABC framework is not initialized by calling Abc_Start()\n" );
    if ( pAbc->vMiniLutObjs == NULL )
        printf( "MiniLut objects are not defined.\n" );
    pRes = Vec_IntReleaseArray( pAbc->vMiniLutObjs );
    Vec_IntFreeP( &pAbc->vMiniLutObjs );    
    return pRes;
}

Abc_FrameInputNdr()

ABC_DLL void Abc_FrameInputNdr ( Abc_Frame_t * pAbc, void * pData )

extern

Definition at line 89 of file mainFrame.c.

{ Ndr_Delete(s_GlobalFrame->pNdr); s_GlobalFrame->pNdr = pData;                        }

Here is the caller graph for this function:

Abc_FrameOutputNdr()

ABC_DLL void * Abc_FrameOutputNdr ( Abc_Frame_t * pAbc )

extern

Definition at line 90 of file mainFrame.c.

{ void * pData = s_GlobalFrame->pNdr; s_GlobalFrame->pNdr = NULL; return pData;             }  

Abc_FrameOutputNdrArray()

ABC_DLL int * Abc_FrameOutputNdrArray ( Abc_Frame_t * pAbc )

extern

Definition at line 91 of file mainFrame.c.

{ int * pArray = s_GlobalFrame->pNdrArray; s_GlobalFrame->pNdrArray = NULL; return pArray;  }

Abc_FrameReadArrayMapping()

ABC_DLL int * Abc_FrameReadArrayMapping ( Abc_Frame_t * pAbc )

extern

Definition at line 121 of file mainFrame.c.

{ return pAbc->pArray;                                            }

Abc_FrameReadBoxes()

ABC_DLL int * Abc_FrameReadBoxes ( Abc_Frame_t * pAbc )

extern

Definition at line 124 of file mainFrame.c.

{ return pAbc->pBoxes;                                            }

Abc_FrameReadCex()

ABC_DLL void * Abc_FrameReadCex ( Abc_Frame_t * pAbc )

extern

Definition at line 75 of file mainFrame.c.

{ return s_GlobalFrame->pCex;         }        

Here is the caller graph for this function:

Abc_FrameReadMiniAigEquivClasses()

ABC_DLL int * Abc_FrameReadMiniAigEquivClasses ( Abc_Frame_t * pAbc )

extern

Definition at line 835 of file giaMini.c.

{
    Vec_Int_t * vRes;
    int * pRes;
    if ( pAbc->pGiaMiniAig == NULL )
        printf( "GIA derived from MiniAig is not available.\n" );
    if ( pAbc->vCopyMiniAig == NULL )
        printf( "Mapping of MiniAig nodes is not available.\n" );
    if ( pAbc->pGia2 == NULL )
        printf( "Internal GIA with equivalence classes is not available.\n" );
    if ( pAbc->pGia2->pReprs == NULL )
    {
        printf( "Equivalence classes of internal GIA are not available.\n" );
        return NULL;
    }
    else if ( 0 )
    {
        int i;
        for ( i = 1; i < Gia_ManObjNum(pAbc->pGia2); i++ )
            if ( Gia_ObjHasRepr(pAbc->pGia2, i) )
                printf( "Obj %3d : Repr %3d   Proved %d   Failed %d\n", i, Gia_ObjRepr(pAbc->pGia2, i), Gia_ObjProved(pAbc->pGia2, i), Gia_ObjFailed(pAbc->pGia2, i) );
    }
    if ( Gia_ManObjNum(pAbc->pGia2) != Gia_ManObjNum(pAbc->pGiaMiniAig) )
        printf( "Internal GIA with equivalence classes is not directly derived from MiniAig.\n" );
    // derive the set of equivalent node pairs
    vRes = Gia_ManMapEquivAfterScorr( pAbc->pGia2, pAbc->vCopyMiniAig );
    pRes = Vec_IntReleaseArray( vRes );
    Vec_IntFree( vRes );
    return pRes;
}

Here is the call graph for this function:

Here is the caller graph for this function:

Abc_FrameReadMiniLutSwitching()

ABC_DLL int * Abc_FrameReadMiniLutSwitching ( Abc_Frame_t * pAbc )

extern

Definition at line 727 of file giaMini.c.

{
    Vec_Int_t * vSwitching;
    int i, iObj, * pRes = NULL;
    if ( pAbc->pGiaMiniLut == NULL )
    {
        printf( "GIA derived from MiniLut is not available.\n" );
        return NULL;
    }
    vSwitching = Gia_ManComputeSwitchProbs( pAbc->pGiaMiniLut, 48, 16, 0 );
    pRes = ABC_CALLOC( int, Vec_IntSize(pAbc->vCopyMiniLut) );
    Vec_IntForEachEntry( pAbc->vCopyMiniLut, iObj, i )
        if ( iObj >= 0 )
            pRes[i] = (int)(10000*Vec_FltEntry( (Vec_Flt_t *)vSwitching, Abc_Lit2Var(iObj) ));
    Vec_IntFree( vSwitching );
    return pRes;
}

Here is the call graph for this function:

Abc_FrameReadMiniLutSwitching2()

ABC_DLL int * Abc_FrameReadMiniLutSwitching2 ( Abc_Frame_t * pAbc, int nRandPiFactor )

extern

Definition at line 744 of file giaMini.c.

{
    Vec_Int_t * vSwitching;
    int i, iObj, * pRes = NULL;
    if ( pAbc->pGiaMiniLut == NULL )
    {
        printf( "GIA derived from MiniLut is not available.\n" );
        return NULL;
    }
    vSwitching = Gia_ManComputeSwitchProbs2( pAbc->pGiaMiniLut, 48, 16, 0, fRandPiFactor );
    pRes = ABC_CALLOC( int, Vec_IntSize(pAbc->vCopyMiniLut) );
    Vec_IntForEachEntry( pAbc->vCopyMiniLut, iObj, i )
        if ( iObj >= 0 )
            pRes[i] = (int)(10000*Vec_FltEntry( (Vec_Flt_t *)vSwitching, Abc_Lit2Var(iObj) ));
    Vec_IntFree( vSwitching );
    return pRes;
}

Here is the call graph for this function:

Abc_FrameReadMiniLutSwitchingPo()

ABC_DLL int * Abc_FrameReadMiniLutSwitchingPo ( Abc_Frame_t * pAbc )

extern

Definition at line 761 of file giaMini.c.

{
    Vec_Int_t * vSwitching;
    int i, iObj, * pRes = NULL;
    if ( pAbc->pGiaMiniAig == NULL )
    {
        printf( "GIA derived from MiniAIG is not available.\n" );
        return NULL;
    }
    vSwitching = Gia_ManComputeSwitchProbs( pAbc->pGiaMiniAig, 48, 16, 0 );
    pRes = ABC_CALLOC( int, Gia_ManCoNum(pAbc->pGiaMiniAig) );
    Gia_ManForEachCoDriverId( pAbc->pGiaMiniAig, iObj, i )
         pRes[i] = (int)(10000*Vec_FltEntry( (Vec_Flt_t *)vSwitching, iObj ));
    Vec_IntFree( vSwitching );
    return pRes;
}

Here is the call graph for this function:

Abc_FrameReadProbStatus()

ABC_DLL int Abc_FrameReadProbStatus ( Abc_Frame_t * pAbc )

extern

Definition at line 74 of file mainFrame.c.

{ return s_GlobalFrame->Status;       }               

Here is the caller graph for this function:

Abc_FrameSetObjDelays()

ABC_DLL void Abc_FrameSetObjDelays ( Abc_Frame_t * pAbc, int * pDelays, int nDelays )

extern

Definition at line 569 of file giaMini.c.

{
    Vec_IntFreeP( &pAbc->vObjDelays );
    pAbc->vObjDelays = Vec_IntAllocArrayCopy( pDelays, nDelays );
}

Abc_FrameSetRetimingData()

ABC_DLL void Abc_FrameSetRetimingData ( Abc_Frame_t * pAbc, int * pRst, int * pSet, int * pEna, int nRegs )

extern

Definition at line 1353 of file giaMini.c.

{
    Gia_Man_t * pGia;
    int * pRstNew = ABC_CALLOC( int, nRegs );
    int * pSetNew = ABC_CALLOC( int, nRegs );
    int * pEnaNew = ABC_CALLOC( int, nRegs );
    if ( pAbc == NULL )
        printf( "ABC framework is not initialized by calling Abc_Start()\n" );
    pGia = Abc_FrameReadGia( pAbc );
    if ( pGia == NULL )
        printf( "Current network in ABC framework is not defined.\n" );
    else {
        assert( nRegs == Gia_ManRegNum(pGia) );
        memmove( pRstNew, pRst, sizeof(int)*nRegs ); 
        memmove( pSetNew, pSet, sizeof(int)*nRegs ); 
        memmove( pEnaNew, pEna, sizeof(int)*nRegs ); 
    }
    if ( pAbc->vCopyMiniAig == NULL )
        printf( "Mapping of MiniAig nodes is not available.\n" );
    else {
        Abc_FrameRemapLits( pRstNew, nRegs, pAbc->vCopyMiniAig );
        Abc_FrameRemapLits( pSetNew, nRegs, pAbc->vCopyMiniAig );
        Abc_FrameRemapLits( pEnaNew, nRegs, pAbc->vCopyMiniAig );        
    }      
    assert( pGia->vStopsF == NULL );
    assert( pGia->vStopsB == NULL );
    pGia->vStopsF = Gia_ManRetimableF( pGia, pRstNew, pSetNew, pEnaNew );
    pGia->vStopsB = Gia_ManRetimableB( pGia, pRstNew, pSetNew, pEnaNew );
    ABC_FREE( pRstNew );
    ABC_FREE( pSetNew );
    ABC_FREE( pEnaNew );
}

Here is the call graph for this function:

Abc_NtkInputMiniAig()

ABC_DLL void Abc_NtkInputMiniAig ( Abc_Frame_t * pAbc, void * p )

extern

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

Synopsis [Procedures to update internal ABC network using AIG node array.]

Description []

SideEffects []

SeeAlso []

Definition at line 175 of file abcMini.c.

{
    Abc_Ntk_t * pNtk;
    if ( pAbc == NULL )
        printf( "ABC framework is not initialized by calling Abc_Start()\n" );
    pNtk = Abc_NtkFromMiniAig( (Mini_Aig_t *)p );
    Abc_FrameReplaceCurrentNetwork( pAbc, pNtk );
//    Abc_NtkDelete( pNtk );
}

Here is the call graph for this function:

Abc_NtkOutputMiniAig()

ABC_DLL void * Abc_NtkOutputMiniAig ( Abc_Frame_t * pAbc )

extern

Definition at line 184 of file abcMini.c.

{
    Abc_Ntk_t * pNtk;
    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" );
    return Abc_NtkToMiniAig( pNtk );
}

Here is the call graph for this function:

Abc_NtkOutputMiniMapping()

ABC_DLL int * Abc_NtkOutputMiniMapping ( Abc_Frame_t * pAbc )

extern

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

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

Description []

SideEffects []

SeeAlso []

Definition at line 1103 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;
}

Here is the call graph for this function:

Abc_NtkPrintMiniMapping()

ABC_DLL void Abc_NtkPrintMiniMapping ( int * pArray )

extern

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

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

Description []

SideEffects []

SeeAlso []

Definition at line 1030 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++ )
    {
        nLeaves = pArray[Pos++];
        printf( "Node %d has %d fanins {", nCis + i, nLeaves );
        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 );
    }
    for ( i = 0; i < nCis; i++ )
    {
        pName = pBuffer;
        pBuffer += strlen(pName) + 1;
        printf( "CI %d has name \"%s\"\n", i, pName );
    }
    for ( i = 0; i < nCos; i++ )
    {
        pName = pBuffer;
        pBuffer += strlen(pName) + 1;
        printf( "CO %d has name \"%s\"\n", i, pName );
    }
}

Abc_NtkSetAndGateDelay()

ABC_DLL void Abc_NtkSetAndGateDelay ( Abc_Frame_t * pAbc, float Delay )

extern

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

Synopsis [This APIs set AND gate delay.]

Description []

SideEffects []

SeeAlso []

Definition at line 1217 of file abcMap.c.

{
    //Abc_Frame_t * pAbc = (Abc_Frame_t *)pAbc0;
    Abc_Ntk_t * pNtk;
    if ( pAbc == NULL )
    {
        printf( "ABC framework is not initialized by calling Abc_Start()\n" );
        return;
    }
    pNtk = Abc_FrameReadNtk( pAbc );
    if ( pNtk == NULL )
    {
        printf( "Current network in ABC framework is not defined.\n" );
        return;
    }
    pNtk->AndGateDelay = Delay;
}

Here is the call graph for this function:

Abc_NtkSetCiArrivalTime()

ABC_DLL void Abc_NtkSetCiArrivalTime ( Abc_Frame_t * pAbc, int iCi, float Rise, float Fall )

extern

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

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

Description []

SideEffects []

SeeAlso []

Definition at line 1157 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" );
        return;
    }
    pNtk = Abc_FrameReadNtk( pAbc );
    if ( pNtk == NULL )
    {
        printf( "Current network in ABC framework is not defined.\n" );
        return;
    }
    if ( iCi < 0 || iCi >= Abc_NtkCiNum(pNtk) )
    {
        printf( "CI index is not valid.\n" );
        return;
    }
    pNode = Abc_NtkCi( pNtk, iCi );
    Abc_NtkTimeSetArrival( pNtk, Abc_ObjId(pNode), Rise, Fall );
}

Here is the call graph for this function:

Abc_NtkSetCoRequiredTime()

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

extern

Definition at line 1181 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" );
        return;
    }
    pNtk = Abc_FrameReadNtk( pAbc );
    if ( pNtk == NULL )
    {
        printf( "Current network in ABC framework is not defined.\n" );
        return;
    }
    if ( iCo < 0 || iCo >= Abc_NtkCoNum(pNtk) )
    {
        printf( "CO index is not valid.\n" );
        return;
    }
    pNode = Abc_NtkCo( pNtk, iCo );
    Abc_NtkTimeSetRequired( pNtk, Abc_ObjId(pNode), Rise, Fall );
}

Here is the call graph for this function:

Abc_NtkSetFlopNum()

ABC_DLL void Abc_NtkSetFlopNum ( Abc_Frame_t * pAbc, int nFlops )

extern

Definition at line 194 of file abcMini.c.

{
    extern void Abc_NtkMakeSeq( Abc_Ntk_t * pNtk, int nFlops );
    Abc_Ntk_t * pNtk;
    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" );
    Abc_NtkMakeSeq( pNtk, nFlops );
}

Here is the call graph for this function:

Abc_Start()

ABC_DLL void Abc_Start ( )

extern

FUNCTION DECLARATIONS ///.

FUNCTION DECLARATIONS ///.

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

Here is the call graph for this function:

Abc_Stop()

ABC_DLL void Abc_Stop ( )

extern

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

Here is the call graph for this function:

Here is the caller graph for this function:

Cmd_CommandExecute()

ABC_DLL int Cmd_CommandExecute ( Abc_Frame_t * pAbc, const char * sCommand )

extern

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

Synopsis []

Description []

SideEffects []

SeeAlso []

Definition at line 193 of file cmdApi.c.

{
    int fStatus = 0, argc, loop;
    const char * sCommandNext;
    char **argv;
 
    if ( !pAbc->fAutoexac && !pAbc->fSource ) 
        Cmd_HistoryAddCommand(pAbc, sCommand);
    sCommandNext = sCommand;
    do 
    {
        if ( sCommandNext[0] == '#' && Cmd_CommandHandleSpecial( pAbc, sCommandNext ) )
            break;
        sCommandNext = CmdSplitLine( pAbc, sCommandNext, &argc, &argv );
        loop = 0;
        fStatus = CmdApplyAlias( pAbc, &argc, &argv, &loop );
        if ( fStatus == 0 ) 
            fStatus = CmdCommandDispatch( pAbc, &argc, &argv );
        CmdFreeArgv( argc, argv );
    } 
    while ( fStatus == 0 && *sCommandNext != '\0' );
    return fStatus;
}