ABC: A System for Sequential Synthesis and Verification
 
Loading...
Searching...
No Matches
Sfm_Tim_t_ Struct Reference

DECLARATIONS ///. More...

Collaboration diagram for Sfm_Tim_t_:

Public Attributes

Mio_Library_tpLib
 
Scl_Con_tpExt
 
Abc_Ntk_tpNtk
 
int Delay
 
int DeltaCrit
 
Vec_Int_t vTimArrs
 
Vec_Int_t vTimReqs
 
Vec_Wec_t vLevels
 
Vec_Int_t vPath
 
Vec_Wrd_t vSortData
 

Detailed Description

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 [

Id
sfmTim.c,v 1.00 2005/06/20 00:00:00 alanmi Exp

]

Definition at line 30 of file sfmTim.c.

Member Data Documentation

◆ Delay

int Sfm_Tim_t_::Delay

Definition at line 36 of file sfmTim.c.

◆ DeltaCrit

int Sfm_Tim_t_::DeltaCrit

Definition at line 37 of file sfmTim.c.

◆ pExt

Scl_Con_t* Sfm_Tim_t_::pExt

Definition at line 34 of file sfmTim.c.

◆ pLib

Mio_Library_t* Sfm_Tim_t_::pLib

Definition at line 33 of file sfmTim.c.

◆ pNtk

Abc_Ntk_t* Sfm_Tim_t_::pNtk

Definition at line 35 of file sfmTim.c.

◆ vLevels

Vec_Wec_t Sfm_Tim_t_::vLevels

Definition at line 42 of file sfmTim.c.

◆ vPath

Vec_Int_t Sfm_Tim_t_::vPath

Definition at line 44 of file sfmTim.c.

◆ vSortData

Vec_Wrd_t Sfm_Tim_t_::vSortData

Definition at line 45 of file sfmTim.c.

◆ vTimArrs

Vec_Int_t Sfm_Tim_t_::vTimArrs

Definition at line 39 of file sfmTim.c.

◆ vTimReqs

Vec_Int_t Sfm_Tim_t_::vTimReqs

Definition at line 40 of file sfmTim.c.


The documentation for this struct was generated from the following file: