ABC: A System for Sequential Synthesis and Verification
 
Loading...
Searching...
No Matches
Public Attributes | List of all members
Sfm_Mit_t_ Struct Reference

DECLARATIONS ///. More...

Public Attributes

int Value1
 
int Value2
 
int Value3
 
int Value4
 

Detailed Description

DECLARATIONS ///.

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

FileName [sfmMit.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
sfmMit.c,v 1.00 2005/06/20 00:00:00 alanmi Exp

]

Definition at line 29 of file sfmMit.c.

Member Data Documentation

◆ Value1

int Sfm_Mit_t_::Value1

Definition at line 31 of file sfmMit.c.

◆ Value2

int Sfm_Mit_t_::Value2

Definition at line 32 of file sfmMit.c.

◆ Value3

int Sfm_Mit_t_::Value3

Definition at line 33 of file sfmMit.c.

◆ Value4

int Sfm_Mit_t_::Value4

Definition at line 34 of file sfmMit.c.

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