sclTime.h File Reference

#include "misc/vec/vec.h"
#include "sclLib.h"

Go to the source code of this file.

Data Structures
struct	SC_Time_

Typedefs
typedef typedefABC_NAMESPACE_HEADER_START struct SC_Time_	SC_Time
	INCLUDES ///. More...

Functions
static SC_Cell *	Scl_ObjCell (SC_Time *p, int i)
	GLOBAL VARIABLES ///. More...
static void	Scl_ObjSetCell (SC_Time *p, int i, SC_Cell *pCell)
static SC_Pair *	Scl_ObjLoad (SC_Time *p, int i)
static SC_Pair *	Scl_ObjLoad2 (SC_Time *p, int i)
static SC_Pair *	Scl_ObjDept (SC_Time *p, int i)
static SC_Pair *	Scl_ObjTime (SC_Time *p, int i)
static SC_Pair *	Scl_ObjSlew (SC_Time *p, int i)
static SC_Pair *	Scl_ObjTime2 (SC_Time *p, int i)
static SC_Pair *	Scl_ObjSlew2 (SC_Time *p, int i)
static float	Scl_ObjTimeMax (SC_Time *p, int i)
static float	Scl_ObjDepthMax (SC_Time *p, int i)
static float	Scl_ObjGetSlack (SC_Time *p, int i, float D)
static float	Scl_ObjGetSlackR (SC_Time *p, int i, float D)
static float	Scl_ObjGetSlackF (SC_Time *p, int i, float D)
static float	Scl_ObjSlack (SC_Time *p, int i)
static void	Scl_ObjDupFanin (SC_Time *p, int i, int iFanin)
static float	Scl_ObjGain (SC_Time *p, int i)
static int	Scl_ObjLegal (SC_Time *p, int i, float D)
static double	Scl_ObjLoadFf (SC_Time *p, int i, int fRise)
static double	Scl_ObjTimePs (SC_Time *p, int i, int fRise)
static double	Scl_ObjSlewPs (SC_Time *p, int i, int fRise)
static SC_Time *	Scl_ManAlloc (SC_Lib *pLib, Vec_Int_t *vCis, Vec_Int_t *vCos, int nObjs)
	FUNCTION DEFINITIONS ///. More...
static void	Scl_ManFree (SC_Time *p)
static void	Scl_ManCleanTime (SC_Time *p)
static void	Scl_ConeStore (SC_Time *p, Vec_Int_t *vCone)
static void	Scl_ConeRestore (SC_Time *p, Vec_Int_t *vCone)
static void	Scl_ConeClear (SC_Time *p, Vec_Int_t *vCone)
static void	Scl_PinTimeArrival (SC_Time *p, SC_Timing *pTime, int iObj, int iFanin)
static void	Scl_PinTimeDeparture (SC_Time *p, SC_Timing *pTime, int iObj, int iFanin)

Typedef Documentation

typedef typedefABC_NAMESPACE_HEADER_START struct SC_Time_ SC_Time

INCLUDES ///.

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

FileName [sclTime.h]

SystemName [ABC: Logic synthesis and verification system.]

PackageName [Standard-cell library representation.]

Synopsis [Timing/gate-sizing manager.]

Author [Alan Mishchenko, Niklas Een]

Affiliation [UC Berkeley]

Date [Ver. 1.0. Started - August 24, 2012.]

Revision [

Id:

sclTime.h,v 1.0 2012/08/24 00:00:00 alanmi Exp

]PARAMETERS ///STRUCTURE DEFINITIONS ///

Definition at line 42 of file sclTime.h.

Function Documentation

static void Scl_ConeClear ( SC_Time *  p, Vec_Int_t *  vCone  )

inlinestatic

Definition at line 186 of file sclTime.h.

{
    SC_Pair Zero = { 0.0, 0.0 };
    int i, iObj;
    Vec_IntForEachEntry( vCone, iObj, i )
    {
        *Scl_ObjTime(p, iObj) = Zero;
        *Scl_ObjSlew(p, iObj) = Zero;
    }
}

static void Scl_ConeRestore ( SC_Time *  p, Vec_Int_t *  vCone  )

inlinestatic

Definition at line 177 of file sclTime.h.

{
    int i, iObj;
    Vec_IntForEachEntry( vCone, iObj, i )
    {
        *Scl_ObjTime(p, iObj) = *Scl_ObjTime2(p, iObj);
        *Scl_ObjSlew(p, iObj) = *Scl_ObjSlew2(p, iObj);
    }
}

static void Scl_ConeStore ( SC_Time *  p, Vec_Int_t *  vCone  )

inlinestatic

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

Synopsis [Stores/retrieves timing information for the logic cone.]

Description []

SideEffects []

SeeAlso []

Definition at line 168 of file sclTime.h.

{
    int i, iObj;
    Vec_IntForEachEntry( vCone, iObj, i )
    {
        *Scl_ObjTime2(p, iObj) = *Scl_ObjTime(p, iObj);
        *Scl_ObjSlew2(p, iObj) = *Scl_ObjSlew(p, iObj);
    }
}

static SC_Time* Scl_ManAlloc ( SC_Lib *  pLib, Vec_Int_t *  vCis, Vec_Int_t *  vCos, int  nObjs  )

inlinestatic

FUNCTION DEFINITIONS ///.

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

Synopsis [Constructor/destructor of STA manager.]

Description []

SideEffects []

SeeAlso []

Definition at line 118 of file sclTime.h.

{
    SC_Time * p;
    p = ABC_CALLOC( SC_Time, 1 );
    p->pLib      = pLib;
    p->vCis      = vCis;
    p->vCos      = vCos;
    p->nObjs     = nObjs;
    p->pLoads    = ABC_CALLOC( SC_Pair, p->nObjs );
    p->pLoads2   = ABC_CALLOC( SC_Pair, p->nObjs );
    p->pDepts    = ABC_CALLOC( SC_Pair, p->nObjs );
    p->pTimes    = ABC_CALLOC( SC_Pair, p->nObjs );
    p->pSlews    = ABC_CALLOC( SC_Pair, p->nObjs );
    p->pTimes2   = ABC_CALLOC( SC_Pair, p->nObjs );
    p->pSlews2   = ABC_CALLOC( SC_Pair, p->nObjs );
    p->pSlack    = ABC_FALLOC( float, p->nObjs );
    return p;
}

static void Scl_ManCleanTime ( SC_Time *  p )

inlinestatic

Definition at line 149 of file sclTime.h.

{
    memset( p->pDepts, 0, sizeof(SC_Pair) * p->nObjs );
    memset( p->pTimes, 0, sizeof(SC_Pair) * p->nObjs );
    memset( p->pSlews, 0, sizeof(SC_Pair) * p->nObjs );
}

static void Scl_ManFree ( SC_Time *  p )

inlinestatic

Definition at line 136 of file sclTime.h.

{
    Vec_IntFreeP( &p->vGates );
    ABC_FREE( p->pLoads );
    ABC_FREE( p->pLoads2 );
    ABC_FREE( p->pDepts );
    ABC_FREE( p->pTimes );
    ABC_FREE( p->pSlews );
    ABC_FREE( p->pTimes2 );
    ABC_FREE( p->pSlews2 );
    ABC_FREE( p->pSlack );
    ABC_FREE( p );
}

static SC_Cell* Scl_ObjCell ( SC_Time *  p, int  i  )

inlinestatic

GLOBAL VARIABLES ///.

MACRO DEFINITIONS ///

Definition at line 77 of file sclTime.h.

{ return SC_LibCell( p->pLib, Vec_IntEntry(p->vGates, i) );   }

static SC_Pair* Scl_ObjDept ( SC_Time *  p, int  i  )

inlinestatic

Definition at line 82 of file sclTime.h.

{ return p->pDepts + i;  }

static float Scl_ObjDepthMax ( SC_Time *  p, int  i  )

inlinestatic

Definition at line 89 of file sclTime.h.

{ return Abc_MaxFloat(Scl_ObjDept(p, i)->rise, Scl_ObjDept(p, i)->fall);  }

static void Scl_ObjDupFanin ( SC_Time *  p, int  i, int  iFanin  )

inlinestatic

Definition at line 95 of file sclTime.h.

{ *Scl_ObjTime(p, i) = *Scl_ObjTime(p, iFanin);                    }

static float Scl_ObjGain ( SC_Time *  p, int  i  )

inlinestatic

Definition at line 96 of file sclTime.h.

{ return 0.5*((Scl_ObjTime2(p, i)->rise - Scl_ObjTime(p, i)->rise) + (Scl_ObjTime2(p, i)->fall - Scl_ObjTime(p, i)->fall)); }

static float Scl_ObjGetSlack ( SC_Time *  p, int  i, float  D  )

inlinestatic

Definition at line 90 of file sclTime.h.

{ return D - Abc_MaxFloat(Scl_ObjTime(p, i)->rise + Scl_ObjDept(p, i)->rise, Scl_ObjTime(p, i)->fall + Scl_ObjDept(p, i)->fall);  }

static float Scl_ObjGetSlackF ( SC_Time *  p, int  i, float  D  )

inlinestatic

Definition at line 92 of file sclTime.h.

{ return D - (Scl_ObjTime(p, i)->fall + Scl_ObjDept(p, i)->fall);  }

static float Scl_ObjGetSlackR ( SC_Time *  p, int  i, float  D  )

inlinestatic

Definition at line 91 of file sclTime.h.

{ return D - (Scl_ObjTime(p, i)->rise + Scl_ObjDept(p, i)->rise);  }

static int Scl_ObjLegal ( SC_Time *  p, int  i, float  D  )

inlinestatic

Definition at line 97 of file sclTime.h.

{ return Scl_ObjTime(p, i)->rise <= Scl_ObjTime2(p, i)->rise + Scl_ObjGetSlackR(p, i, D) && Scl_ObjTime(p, i)->fall <= Scl_ObjTime2(p, i)->fall + Scl_ObjGetSlackF(p, i, D); }

static SC_Pair* Scl_ObjLoad ( SC_Time *  p, int  i  )

inlinestatic

Definition at line 80 of file sclTime.h.

{ return p->pLoads + i;  }

static SC_Pair* Scl_ObjLoad2 ( SC_Time *  p, int  i  )

inlinestatic

Definition at line 81 of file sclTime.h.

{ return p->pLoads2 + i; }

static double Scl_ObjLoadFf ( SC_Time *  p, int  i, int  fRise  )

inlinestatic

Definition at line 99 of file sclTime.h.

{ return fRise ? Scl_ObjLoad(p, i)->rise : Scl_ObjLoad(p, i)->fall; }

static void Scl_ObjSetCell ( SC_Time *  p, int  i, SC_Cell *  pCell  )

inlinestatic

Definition at line 78 of file sclTime.h.

{ Vec_IntWriteEntry( p->vGates, i, pCell->Id );               }

static float Scl_ObjSlack ( SC_Time *  p, int  i  )

inlinestatic

Definition at line 93 of file sclTime.h.

{ return p->pSlack[i];   }

static SC_Pair* Scl_ObjSlew ( SC_Time *  p, int  i  )

inlinestatic

Definition at line 84 of file sclTime.h.

{ return p->pSlews + i;  }

static SC_Pair* Scl_ObjSlew2 ( SC_Time *  p, int  i  )

inlinestatic

Definition at line 86 of file sclTime.h.

{ return p->pSlews2 + i; }

static double Scl_ObjSlewPs ( SC_Time *  p, int  i, int  fRise  )

inlinestatic

Definition at line 101 of file sclTime.h.

{ return fRise ? Scl_ObjSlew(p, i)->rise : Scl_ObjSlew(p, i)->fall; }

static SC_Pair* Scl_ObjTime ( SC_Time *  p, int  i  )

inlinestatic

Definition at line 83 of file sclTime.h.

{ return p->pTimes + i;  }

static SC_Pair* Scl_ObjTime2 ( SC_Time *  p, int  i  )

inlinestatic

Definition at line 85 of file sclTime.h.

{ return p->pTimes2 + i; }

static float Scl_ObjTimeMax ( SC_Time *  p, int  i  )

inlinestatic

Definition at line 88 of file sclTime.h.

{ return Abc_MaxFloat(Scl_ObjTime(p, i)->rise, Scl_ObjTime(p, i)->fall);  }

static double Scl_ObjTimePs ( SC_Time *  p, int  i, int  fRise  )

inlinestatic

Definition at line 100 of file sclTime.h.

{ return fRise ? Scl_ObjTime(p, i)->rise : Scl_ObjTime(p, i)->fall; }

static void Scl_PinTimeArrival ( SC_Time *  p, SC_Timing *  pTime, int  iObj, int  iFanin  )

inlinestatic

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

Synopsis [Timing computation for pin/gate/cone/network.]

Description []

SideEffects []

SeeAlso []

Definition at line 208 of file sclTime.h.

{
    SC_Pair * pArrIn   = Scl_ObjTime( p, iFanin );
    SC_Pair * pSlewIn  = Scl_ObjSlew( p, iFanin );
    SC_Pair * pLoad    = Scl_ObjLoad( p, iObj );
    SC_Pair * pArrOut  = Scl_ObjTime( p, iObj );   // modified
    SC_Pair * pSlewOut = Scl_ObjSlew( p, iObj );   // modified
    Scl_LibPinArrival( pTime, pArrIn, pSlewIn, pLoad, pArrOut, pSlewOut );
}

static void Scl_PinTimeDeparture ( SC_Time *  p, SC_Timing *  pTime, int  iObj, int  iFanin  )

inlinestatic

Definition at line 217 of file sclTime.h.

{
    SC_Pair * pDepIn   = Scl_ObjDept( p, iFanin );   // modified
    SC_Pair * pSlewIn  = Scl_ObjSlew( p, iFanin );
    SC_Pair * pLoad    = Scl_ObjLoad( p, iObj );
    SC_Pair * pDepOut  = Scl_ObjDept( p, iObj );
    Scl_LibPinDeparture( pTime, pDepIn, pSlewIn, pLoad, pDepOut );
}