timTrav.c File Reference

#include "timInt.h"

Go to the source code of this file.

Functions
ABC_NAMESPACE_IMPL_START void	Tim_ManIncrementTravId (Tim_Man_t *p)
	DECLARATIONS ///. More...
void	Tim_ManSetCurrentTravIdBoxInputs (Tim_Man_t *p, int iBox)
void	Tim_ManSetCurrentTravIdBoxOutputs (Tim_Man_t *p, int iBox)
void	Tim_ManSetPreviousTravIdBoxInputs (Tim_Man_t *p, int iBox)
void	Tim_ManSetPreviousTravIdBoxOutputs (Tim_Man_t *p, int iBox)
int	Tim_ManIsCiTravIdCurrent (Tim_Man_t *p, int iCi)
int	Tim_ManIsCoTravIdCurrent (Tim_Man_t *p, int iCo)

Function Documentation

ABC_NAMESPACE_IMPL_START void Tim_ManIncrementTravId

(

Tim_Man_t *

p

)

DECLARATIONS ///.

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

FileName [timTrav.c]

SystemName [ABC: Logic synthesis and verification system.]

PackageName [Hierarchy/timing manager.]

Synopsis [Manipulation of traversal IDs.]

Author [Alan Mishchenko]

Affiliation [UC Berkeley]

Date [Ver. 1.0. Started - April 28, 2007.]

Revision [

Id:

timTrav.c,v 1.00 2007/04/28 00:00:00 alanmi Exp

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

Synopsis [Increments the trav ID of the manager.]

Description []

SideEffects []

SeeAlso []

Definition at line 44 of file timTrav.c.

{
    int i;
    if ( p->nTravIds >= (1<<30)-1 )
    {
        p->nTravIds = 0;
        for ( i = 0; i < p->nCis; i++ )
            p->pCis[i].TravId = 0;
        for ( i = 0; i < p->nCos; i++ )
            p->pCos[i].TravId = 0;
    }
    assert( p->nTravIds < (1<<30)-1 );
    p->nTravIds++;
}

int Tim_ManIsCiTravIdCurrent	(	Tim_Man_t *	p,
		int	iCi
	)

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

Synopsis [Updates required time of the CI.]

Description []

SideEffects []

SeeAlso []

Definition at line 154 of file timTrav.c.

{
    assert( iCi < p->nCis );
    assert( p->fUseTravId );
    return p->pCis[iCi].TravId == p->nTravIds;
}

int Tim_ManIsCoTravIdCurrent	(	Tim_Man_t *	p,
		int	iCo
	)

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

Synopsis [Updates required time of the CO.]

Description []

SideEffects []

SeeAlso []

Definition at line 172 of file timTrav.c.

{
    assert( iCo < p->nCos );
    assert( p->fUseTravId );
    return p->pCos[iCo].TravId == p->nTravIds;
}

void Tim_ManSetCurrentTravIdBoxInputs	(	Tim_Man_t *	p,
		int	iBox
	)

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

Synopsis [Label box inputs.]

Description []

SideEffects []

SeeAlso []

Definition at line 70 of file timTrav.c.

{
    Tim_Box_t * pBox;
    Tim_Obj_t * pObj;
    int i;
    pBox = Tim_ManBox( p, iBox );
    Tim_ManBoxForEachInput( p, pBox, pObj, i )
        pObj->TravId = p->nTravIds;
}

void Tim_ManSetCurrentTravIdBoxOutputs	(	Tim_Man_t *	p,
		int	iBox
	)

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

Synopsis [Label box outputs.]

Description []

SideEffects []

SeeAlso []

Definition at line 91 of file timTrav.c.

{
    Tim_Box_t * pBox;
    Tim_Obj_t * pObj;
    int i;
    pBox = Tim_ManBox( p, iBox );
    Tim_ManBoxForEachOutput( p, pBox, pObj, i )
        pObj->TravId = p->nTravIds;
}

void Tim_ManSetPreviousTravIdBoxInputs	(	Tim_Man_t *	p,
		int	iBox
	)

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

Synopsis [Label box inputs.]

Description []

SideEffects []

SeeAlso []

Definition at line 112 of file timTrav.c.

{
    Tim_Box_t * pBox;
    Tim_Obj_t * pObj;
    int i;
    pBox = Tim_ManBox( p, iBox );
    Tim_ManBoxForEachInput( p, pBox, pObj, i )
        pObj->TravId = p->nTravIds - 1;
}

void Tim_ManSetPreviousTravIdBoxOutputs	(	Tim_Man_t *	p,
		int	iBox
	)

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

Synopsis [Label box outputs.]

Description []

SideEffects []

SeeAlso []

Definition at line 133 of file timTrav.c.

{
    Tim_Box_t * pBox;
    Tim_Obj_t * pObj;
    int i;
    pBox = Tim_ManBox( p, iBox );
    Tim_ManBoxForEachOutput( p, pBox, pObj, i )
        pObj->TravId = p->nTravIds - 1;
}