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

STRUCTURE DEFINITIONS ///. More...

#include <mapperInt.h>

Collaboration diagram for Map_ManStruct_t_:
Collaboration graph
[legend]

Public Attributes

Map_Node_t ** pBins
 
int nBins
 
Map_Node_t ** pInputs
 
int nInputs
 
Map_Node_t ** pOutputs
 
int nOutputs
 
int nNodes
 
Map_Node_t * pConst1
 
Map_NodeVec_t * vMapObjs
 
Map_NodeVec_t * vMapBufs
 
float * pNodeDelays
 
char ** ppOutputNames
 
Map_Time_t * pInputArrivals
 
Map_Time_t * pOutputRequireds
 
int * pAigNodeIDs
 
int nVarsMax
 
int fAreaRecovery
 
int fVerbose
 
int fMappingMode
 
float fRequiredGlo
 
float fEpsilon
 
float AreaBase
 
float AreaFinal
 
int nIterations
 
int fObeyFanoutLimits
 
float DelayTarget
 
int nTravIds
 
int fSwitching
 
int fSkipFanout
 
int fUseProfile
 
Map_SuperLib_t * pSuperLib
 
unsigned uTruths [6][2]
 
unsigned uTruthsLarge [10][32]
 
int nCounts [32]
 
int nCountsBest [32]
 
Map_NodeVec_t * vVisited
 
Extra_MmFixed_t * mmNodes
 
Extra_MmFixed_t * mmCuts
 
unsigned short * uCanons
 
char ** uPhases
 
char * pCounters
 
int nChoiceNodes
 
int nChoices
 
int nCanons
 
int nMatches
 
int nPhases
 
int nFanoutViolations
 
abctime timeToMap
 
abctime timeCuts
 
abctime timeTruth
 
abctime timeMatch
 
abctime timeArea
 
abctime timeSweep
 
abctime timeToNet
 
abctime timeTotal
 
abctime time1
 
abctime time2
 
abctime time3
 

Detailed Description

STRUCTURE DEFINITIONS ///.

Definition at line 91 of file mapperInt.h.

Member Data Documentation

◆ AreaBase

float Map_ManStruct_t_::AreaBase

Definition at line 119 of file mapperInt.h.

◆ AreaFinal

float Map_ManStruct_t_::AreaFinal

Definition at line 120 of file mapperInt.h.

◆ DelayTarget

float Map_ManStruct_t_::DelayTarget

Definition at line 123 of file mapperInt.h.

◆ fAreaRecovery

int Map_ManStruct_t_::fAreaRecovery

Definition at line 114 of file mapperInt.h.

◆ fEpsilon

float Map_ManStruct_t_::fEpsilon

Definition at line 118 of file mapperInt.h.

◆ fMappingMode

int Map_ManStruct_t_::fMappingMode

Definition at line 116 of file mapperInt.h.

◆ fObeyFanoutLimits

int Map_ManStruct_t_::fObeyFanoutLimits

Definition at line 122 of file mapperInt.h.

◆ fRequiredGlo

float Map_ManStruct_t_::fRequiredGlo

Definition at line 117 of file mapperInt.h.

◆ fSkipFanout

int Map_ManStruct_t_::fSkipFanout

Definition at line 126 of file mapperInt.h.

◆ fSwitching

int Map_ManStruct_t_::fSwitching

Definition at line 125 of file mapperInt.h.

◆ fUseProfile

int Map_ManStruct_t_::fUseProfile

Definition at line 127 of file mapperInt.h.

◆ fVerbose

int Map_ManStruct_t_::fVerbose

Definition at line 115 of file mapperInt.h.

◆ mmCuts

Extra_MmFixed_t* Map_ManStruct_t_::mmCuts

Definition at line 139 of file mapperInt.h.

◆ mmNodes

Extra_MmFixed_t* Map_ManStruct_t_::mmNodes

Definition at line 138 of file mapperInt.h.

◆ nBins

int Map_ManStruct_t_::nBins

Definition at line 95 of file mapperInt.h.

◆ nCanons

int Map_ManStruct_t_::nCanons

Definition at line 149 of file mapperInt.h.

◆ nChoiceNodes

int Map_ManStruct_t_::nChoiceNodes

Definition at line 147 of file mapperInt.h.

◆ nChoices

int Map_ManStruct_t_::nChoices

Definition at line 148 of file mapperInt.h.

◆ nCounts

int Map_ManStruct_t_::nCounts[32]

Definition at line 133 of file mapperInt.h.

◆ nCountsBest

int Map_ManStruct_t_::nCountsBest[32]

Definition at line 134 of file mapperInt.h.

◆ nFanoutViolations

int Map_ManStruct_t_::nFanoutViolations

Definition at line 152 of file mapperInt.h.

◆ nInputs

int Map_ManStruct_t_::nInputs

Definition at line 97 of file mapperInt.h.

◆ nIterations

int Map_ManStruct_t_::nIterations

Definition at line 121 of file mapperInt.h.

◆ nMatches

int Map_ManStruct_t_::nMatches

Definition at line 150 of file mapperInt.h.

◆ nNodes

int Map_ManStruct_t_::nNodes

Definition at line 100 of file mapperInt.h.

◆ nOutputs

int Map_ManStruct_t_::nOutputs

Definition at line 99 of file mapperInt.h.

◆ nPhases

int Map_ManStruct_t_::nPhases

Definition at line 151 of file mapperInt.h.

◆ nTravIds

int Map_ManStruct_t_::nTravIds

Definition at line 124 of file mapperInt.h.

◆ nVarsMax

int Map_ManStruct_t_::nVarsMax

Definition at line 113 of file mapperInt.h.

◆ pAigNodeIDs

int* Map_ManStruct_t_::pAigNodeIDs

Definition at line 110 of file mapperInt.h.

◆ pBins

Map_Node_t** Map_ManStruct_t_::pBins

Definition at line 94 of file mapperInt.h.

◆ pConst1

Map_Node_t* Map_ManStruct_t_::pConst1

Definition at line 101 of file mapperInt.h.

◆ pCounters

char* Map_ManStruct_t_::pCounters

Definition at line 144 of file mapperInt.h.

◆ pInputArrivals

Map_Time_t* Map_ManStruct_t_::pInputArrivals

Definition at line 108 of file mapperInt.h.

◆ pInputs

Map_Node_t** Map_ManStruct_t_::pInputs

Definition at line 96 of file mapperInt.h.

◆ pNodeDelays

float* Map_ManStruct_t_::pNodeDelays

Definition at line 104 of file mapperInt.h.

◆ pOutputRequireds

Map_Time_t* Map_ManStruct_t_::pOutputRequireds

Definition at line 109 of file mapperInt.h.

◆ pOutputs

Map_Node_t** Map_ManStruct_t_::pOutputs

Definition at line 98 of file mapperInt.h.

◆ ppOutputNames

char** Map_ManStruct_t_::ppOutputNames

Definition at line 107 of file mapperInt.h.

◆ pSuperLib

Map_SuperLib_t* Map_ManStruct_t_::pSuperLib

Definition at line 130 of file mapperInt.h.

◆ time1

abctime Map_ManStruct_t_::time1

Definition at line 163 of file mapperInt.h.

◆ time2

abctime Map_ManStruct_t_::time2

Definition at line 164 of file mapperInt.h.

◆ time3

abctime Map_ManStruct_t_::time3

Definition at line 165 of file mapperInt.h.

◆ timeArea

abctime Map_ManStruct_t_::timeArea

Definition at line 159 of file mapperInt.h.

◆ timeCuts

abctime Map_ManStruct_t_::timeCuts

Definition at line 156 of file mapperInt.h.

◆ timeMatch

abctime Map_ManStruct_t_::timeMatch

Definition at line 158 of file mapperInt.h.

◆ timeSweep

abctime Map_ManStruct_t_::timeSweep

Definition at line 160 of file mapperInt.h.

◆ timeToMap

abctime Map_ManStruct_t_::timeToMap

Definition at line 155 of file mapperInt.h.

◆ timeToNet

abctime Map_ManStruct_t_::timeToNet

Definition at line 161 of file mapperInt.h.

◆ timeTotal

abctime Map_ManStruct_t_::timeTotal

Definition at line 162 of file mapperInt.h.

◆ timeTruth

abctime Map_ManStruct_t_::timeTruth

Definition at line 157 of file mapperInt.h.

◆ uCanons

unsigned short* Map_ManStruct_t_::uCanons

Definition at line 142 of file mapperInt.h.

◆ uPhases

char** Map_ManStruct_t_::uPhases

Definition at line 143 of file mapperInt.h.

◆ uTruths

unsigned Map_ManStruct_t_::uTruths[6][2]

Definition at line 131 of file mapperInt.h.

◆ uTruthsLarge

unsigned Map_ManStruct_t_::uTruthsLarge[10][32]

Definition at line 132 of file mapperInt.h.

◆ vMapBufs

Map_NodeVec_t* Map_ManStruct_t_::vMapBufs

Definition at line 103 of file mapperInt.h.

◆ vMapObjs

Map_NodeVec_t* Map_ManStruct_t_::vMapObjs

Definition at line 102 of file mapperInt.h.

◆ vVisited

Map_NodeVec_t* Map_ManStruct_t_::vVisited

Definition at line 135 of file mapperInt.h.

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