DECLARATIONS ///. More...

Public Attributes | |
| Mio_Library_t * | pLib |
| Scl_Con_t * | pExt |
| Abc_Ntk_t * | pNtk |
| int | Delay |
| int | DeltaCrit |
| Vec_Int_t | vTimArrs |
| Vec_Int_t | vTimReqs |
| Vec_Wec_t | vLevels |
| Vec_Int_t | vPath |
| Vec_Wrd_t | vSortData |
DECLARATIONS ///.
CFile****************************************************************
FileName [sfmTim.c]
SystemName [ABC: Logic synthesis and verification system.]
PackageName [SAT-based optimization using internal don't-cares.]
Synopsis [Timing manager.]
Author [Alan Mishchenko]
Affiliation [UC Berkeley]
Date [Ver. 1.0. Started - June 20, 2005.]
Revision [
]
| Mio_Library_t* Sfm_Tim_t_::pLib |