ABC: A System for Sequential Synthesis and Verification
 
Loading...
Searching...
No Matches
Public Attributes | List of all members
Super_ManStruct_t_ Struct Reference
Collaboration diagram for Super_ManStruct_t_:
Collaboration graph
[legend]

Public Attributes

char * pName
 
int nVarsMax
 
int nMints
 
int nLevels
 
int nGatesMax
 
float tDelayMax
 
float tAreaMax
 
int fSkipInv
 
int fWriteOldFormat
 
int fVerbose
 
Super_Gate_t * pInputs [10]
 
int nGates
 
Super_Gate_t ** pGates
 
stmm_table * tTable
 
Extra_MmFixed_t * pMem
 
Extra_MmFlex_t * pMemFlex
 
int nTried
 
int nAdded
 
int nRemoved
 
int nClasses
 
int nUnique
 
int nLookups
 
int nAliases
 
abctime Time
 
int TimeLimit
 
int TimeSec
 
abctime TimeStop
 
abctime TimePrint
 

Detailed Description

Definition at line 39 of file superGate.c.

Member Data Documentation

◆ fSkipInv

int Super_ManStruct_t_::fSkipInv

Definition at line 49 of file superGate.c.

◆ fVerbose

int Super_ManStruct_t_::fVerbose

Definition at line 51 of file superGate.c.

◆ fWriteOldFormat

int Super_ManStruct_t_::fWriteOldFormat

Definition at line 50 of file superGate.c.

◆ nAdded

int Super_ManStruct_t_::nAdded

Definition at line 65 of file superGate.c.

◆ nAliases

int Super_ManStruct_t_::nAliases

Definition at line 70 of file superGate.c.

◆ nClasses

int Super_ManStruct_t_::nClasses

Definition at line 67 of file superGate.c.

◆ nGates

int Super_ManStruct_t_::nGates

Definition at line 55 of file superGate.c.

◆ nGatesMax

int Super_ManStruct_t_::nGatesMax

Definition at line 46 of file superGate.c.

◆ nLevels

int Super_ManStruct_t_::nLevels

Definition at line 45 of file superGate.c.

◆ nLookups

int Super_ManStruct_t_::nLookups

Definition at line 69 of file superGate.c.

◆ nMints

int Super_ManStruct_t_::nMints

Definition at line 44 of file superGate.c.

◆ nRemoved

int Super_ManStruct_t_::nRemoved

Definition at line 66 of file superGate.c.

◆ nTried

int Super_ManStruct_t_::nTried

Definition at line 64 of file superGate.c.

◆ nUnique

int Super_ManStruct_t_::nUnique

Definition at line 68 of file superGate.c.

◆ nVarsMax

int Super_ManStruct_t_::nVarsMax

Definition at line 43 of file superGate.c.

◆ pGates

Super_Gate_t** Super_ManStruct_t_::pGates

Definition at line 56 of file superGate.c.

◆ pInputs

Super_Gate_t* Super_ManStruct_t_::pInputs[10]

Definition at line 54 of file superGate.c.

◆ pMem

Extra_MmFixed_t* Super_ManStruct_t_::pMem

Definition at line 60 of file superGate.c.

◆ pMemFlex

Extra_MmFlex_t* Super_ManStruct_t_::pMemFlex

Definition at line 61 of file superGate.c.

◆ pName

char* Super_ManStruct_t_::pName

Definition at line 42 of file superGate.c.

◆ tAreaMax

float Super_ManStruct_t_::tAreaMax

Definition at line 48 of file superGate.c.

◆ tDelayMax

float Super_ManStruct_t_::tDelayMax

Definition at line 47 of file superGate.c.

◆ Time

abctime Super_ManStruct_t_::Time

Definition at line 73 of file superGate.c.

◆ TimeLimit

int Super_ManStruct_t_::TimeLimit

Definition at line 74 of file superGate.c.

◆ TimePrint

abctime Super_ManStruct_t_::TimePrint

Definition at line 77 of file superGate.c.

◆ TimeSec

int Super_ManStruct_t_::TimeSec

Definition at line 75 of file superGate.c.

◆ TimeStop

abctime Super_ManStruct_t_::TimeStop

Definition at line 76 of file superGate.c.

◆ tTable

stmm_table* Super_ManStruct_t_::tTable

Definition at line 57 of file superGate.c.

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