diff options
Diffstat (limited to 'src/aig/tim')
-rw-r--r-- | src/aig/tim/tim.c | 21 | ||||
-rw-r--r-- | src/aig/tim/tim.h | 1 |
2 files changed, 22 insertions, 0 deletions
diff --git a/src/aig/tim/tim.c b/src/aig/tim/tim.c index 51970425..9d5c8f7f 100644 --- a/src/aig/tim/tim.c +++ b/src/aig/tim/tim.c @@ -554,6 +554,8 @@ void Tim_ManCreateBoxFirst( Tim_Man_t * p, int firstIn, int nIns, int firstOut, pBox = (Tim_Box_t *)Mem_FlexEntryFetch( p->pMemObj, sizeof(Tim_Box_t) + sizeof(int) * (nIns+nOuts) ); memset( pBox, 0, sizeof(Tim_Box_t) ); pBox->iBox = Vec_PtrSize( p->vBoxes ); +//printf( "Creating box %d: First in = %d. (%d) First out = %d. (%d)\n", pBox->iBox, +// firstIn, nIns, firstOut, nOuts ); Vec_PtrPush( p->vBoxes, pBox ); pBox->pDelayTable = pDelayTable; pBox->nInputs = nIns; @@ -704,6 +706,25 @@ void Tim_ManSetCoRequired( Tim_Man_t * p, int iCo, float Delay ) SeeAlso [] ***********************************************************************/ +void Tim_ManSetCiArrivalAll( Tim_Man_t * p, float Delay ) +{ + Tim_Obj_t * pObj; + int i; + Tim_ManForEachCi( p, pObj, i ) + Tim_ManInitCiArrival( p, i, Delay ); +} + +/**Function************************************************************* + + Synopsis [Sets the correct required times for all POs.] + + Description [] + + SideEffects [] + + SeeAlso [] + +***********************************************************************/ void Tim_ManSetCoRequiredAll( Tim_Man_t * p, float Delay ) { Tim_Obj_t * pObj; diff --git a/src/aig/tim/tim.h b/src/aig/tim/tim.h index 3b9707e0..7c6e33f1 100644 --- a/src/aig/tim/tim.h +++ b/src/aig/tim/tim.h @@ -81,6 +81,7 @@ extern void Tim_ManInitCoRequired( Tim_Man_t * p, int iCo, float Dela extern void Tim_ManSetCoArrival( Tim_Man_t * p, int iCo, float Delay ); extern void Tim_ManSetCiRequired( Tim_Man_t * p, int iCi, float Delay ); extern void Tim_ManSetCoRequired( Tim_Man_t * p, int iCo, float Delay ); +extern void Tim_ManSetCiArrivalAll( Tim_Man_t * p, float Delay ); extern void Tim_ManSetCoRequiredAll( Tim_Man_t * p, float Delay ); extern float Tim_ManGetCiArrival( Tim_Man_t * p, int iCi ); extern float Tim_ManGetCoRequired( Tim_Man_t * p, int iCo ); |