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

#include <gia.h>

Collaboration diagram for Gia_Man_t_:
Collaboration graph
[legend]

Public Attributes

char * pName
 
char * pSpec
 
int nRegs
 
int nRegsAlloc
 
int nObjs
 
int nObjsAlloc
 
Gia_Obj_t * pObjs
 
unsigned * pMuxes
 
int nXors
 
int nMuxes
 
int nBufs
 
Vec_Int_t * vCis
 
Vec_Int_t * vCos
 
Vec_Int_t vHash
 
Vec_Int_t vHTable
 
int fAddStrash
 
int fSweeper
 
int fGiaSimple
 
Vec_Int_t vRefs
 
int * pRefs
 
int * pLutRefs
 
Vec_Int_t * vLevels
 
int nLevels
 
int nConstrs
 
int nTravIds
 
int nFront
 
int * pReprsOld
 
Gia_Rpr_t * pReprs
 
int * pNexts
 
int * pSibls
 
int * pIso
 
int nTerLoop
 
int nTerStates
 
int * pFanData
 
int nFansAlloc
 
Vec_Int_t * vFanoutNums
 
Vec_Int_t * vFanout
 
Vec_Int_t * vMapping
 
Vec_Wec_t * vMapping2
 
Vec_Wec_t * vFanouts2
 
Vec_Int_t * vCellMapping
 
void * pSatlutWinman
 
Vec_Int_t * vPacking
 
Vec_Int_t * vConfigs
 
char * pCellStr
 
Vec_Int_t * vLutConfigs
 
Vec_Int_t * vEdgeDelay
 
Vec_Int_t * vEdgeDelayR
 
Vec_Int_t * vEdge1
 
Vec_Int_t * vEdge2
 
Abc_Cex_t * pCexComb
 
Abc_Cex_t * pCexSeq
 
Vec_Ptr_t * vSeqModelVec
 
Vec_Int_t vCopies
 
Vec_Int_t vCopies2
 
Vec_Int_t * vVar2Obj
 
Vec_Int_t * vTruths
 
Vec_Int_t * vFlopClasses
 
Vec_Int_t * vGateClasses
 
Vec_Int_t * vObjClasses
 
Vec_Int_t * vInitClasses
 
Vec_Int_t * vRegClasses
 
Vec_Int_t * vRegInits
 
Vec_Int_t * vDoms
 
Vec_Int_t * vBarBufs
 
Vec_Int_t * vXors
 
unsigned char * pSwitching
 
Gia_Plc_t * pPlacement
 
Gia_Man_t * pAigExtra
 
Vec_Flt_t * vInArrs
 
Vec_Flt_t * vOutReqs
 
Vec_Int_t * vCiArrs
 
Vec_Int_t * vCoReqs
 
Vec_Int_t * vCoArrs
 
Vec_Int_t * vCoAttrs
 
Vec_Int_t * vWeights
 
int And2Delay
 
float DefInArrs
 
float DefOutReqs
 
Vec_Int_t * vSwitching
 
int * pTravIds
 
int nTravIdsAlloc
 
Vec_Ptr_t * vNamesIn
 
Vec_Ptr_t * vNamesOut
 
Vec_Ptr_t * vNamesNode
 
Vec_Int_t * vUserPiIds
 
Vec_Int_t * vUserPoIds
 
Vec_Int_t * vUserFfIds
 
Vec_Int_t * vCiNumsOrig
 
Vec_Int_t * vCoNumsOrig
 
Vec_Int_t * vIdsOrig
 
Vec_Int_t * vIdsEquiv
 
Vec_Int_t * vCofVars
 
Vec_Vec_t * vClockDoms
 
Vec_Flt_t * vTiming
 
void * pManTime
 
void * pLutLib
 
word nHashHit
 
word nHashMiss
 
void * pData
 
unsigned * pData2
 
int iData
 
int iData2
 
int nAnd2Delay
 
int fVerbose
 
int MappedArea
 
int MappedDelay
 
int fBuiltInSim
 
int iPatsPi
 
int nSimWords
 
int nSimWordsT
 
int iPastPiMax
 
int nSimWordsMax
 
Vec_Wrd_t * vSims
 
Vec_Wrd_t * vSimsT
 
Vec_Wrd_t * vSimsPi
 
Vec_Wrd_t * vSimsPo
 
Vec_Int_t * vClassOld
 
Vec_Int_t * vClassNew
 
Vec_Int_t * vPats
 
Vec_Bit_t * vPolars
 
int fIncrSim
 
int iNextPi
 
int iTimeStamp
 
Vec_Int_t * vTimeStamps
 
int nTtVars
 
int nTtWords
 
Vec_Int_t * vTtNums
 
Vec_Int_t * vTtNodes
 
Vec_Ptr_t * vTtInputs
 
Vec_Wrd_t * vTtMemory
 
Vec_Int_t * vSuper
 
Vec_Int_t * vStore
 
int iSuppPi
 
int nSuppWords
 
Vec_Wrd_t * vSuppWords
 
Vec_Int_t vCopiesTwo
 
Vec_Int_t vSuppVars
 
Vec_Int_t vVarMap
 
Gia_Dat_t * pUData
 
Vec_Str_t * vStopsF
 
Vec_Str_t * vStopsB
 
int iFirstNonPiId
 
int iFirstPoId
 
int iFirstAndObj
 
int iFirstPoObj
 
Vec_Str_t * vTTISOPs
 
Vec_Int_t * vTTLut
 
Vec_Int_t * vMFFCsInfo
 
Vec_Int_t * vMFFCsLuts
 
Vec_Ptr_t * vLutsRankings
 

Detailed Description

Definition at line 97 of file gia.h.

Member Data Documentation

◆ And2Delay

int Gia_Man_t_::And2Delay

Definition at line 175 of file gia.h.

◆ DefInArrs

float Gia_Man_t_::DefInArrs

Definition at line 176 of file gia.h.

◆ DefOutReqs

float Gia_Man_t_::DefOutReqs

Definition at line 177 of file gia.h.

◆ fAddStrash

int Gia_Man_t_::fAddStrash

Definition at line 114 of file gia.h.

◆ fBuiltInSim

int Gia_Man_t_::fBuiltInSim

Definition at line 207 of file gia.h.

◆ fGiaSimple

int Gia_Man_t_::fGiaSimple

Definition at line 116 of file gia.h.

◆ fIncrSim

int Gia_Man_t_::fIncrSim

Definition at line 222 of file gia.h.

◆ fSweeper

int Gia_Man_t_::fSweeper

Definition at line 115 of file gia.h.

◆ fVerbose

int Gia_Man_t_::fVerbose

Definition at line 203 of file gia.h.

◆ iData

int Gia_Man_t_::iData

Definition at line 200 of file gia.h.

◆ iData2

int Gia_Man_t_::iData2

Definition at line 201 of file gia.h.

◆ iFirstAndObj

int Gia_Man_t_::iFirstAndObj

Definition at line 250 of file gia.h.

◆ iFirstNonPiId

int Gia_Man_t_::iFirstNonPiId

Definition at line 248 of file gia.h.

◆ iFirstPoId

int Gia_Man_t_::iFirstPoId

Definition at line 249 of file gia.h.

◆ iFirstPoObj

int Gia_Man_t_::iFirstPoObj

Definition at line 251 of file gia.h.

◆ iNextPi

int Gia_Man_t_::iNextPi

Definition at line 223 of file gia.h.

◆ iPastPiMax

int Gia_Man_t_::iPastPiMax

Definition at line 211 of file gia.h.

◆ iPatsPi

int Gia_Man_t_::iPatsPi

Definition at line 208 of file gia.h.

◆ iSuppPi

int Gia_Man_t_::iSuppPi

Definition at line 237 of file gia.h.

◆ iTimeStamp

int Gia_Man_t_::iTimeStamp

Definition at line 224 of file gia.h.

◆ MappedArea

int Gia_Man_t_::MappedArea

Definition at line 204 of file gia.h.

◆ MappedDelay

int Gia_Man_t_::MappedDelay

Definition at line 205 of file gia.h.

◆ nAnd2Delay

int Gia_Man_t_::nAnd2Delay

Definition at line 202 of file gia.h.

◆ nBufs

int Gia_Man_t_::nBufs

Definition at line 109 of file gia.h.

◆ nConstrs

int Gia_Man_t_::nConstrs

Definition at line 122 of file gia.h.

◆ nFansAlloc

int Gia_Man_t_::nFansAlloc

Definition at line 133 of file gia.h.

◆ nFront

int Gia_Man_t_::nFront

Definition at line 124 of file gia.h.

◆ nHashHit

word Gia_Man_t_::nHashHit

Definition at line 196 of file gia.h.

◆ nHashMiss

word Gia_Man_t_::nHashMiss

Definition at line 197 of file gia.h.

◆ nLevels

int Gia_Man_t_::nLevels

Definition at line 121 of file gia.h.

◆ nMuxes

int Gia_Man_t_::nMuxes

Definition at line 108 of file gia.h.

◆ nObjs

int Gia_Man_t_::nObjs

Definition at line 103 of file gia.h.

◆ nObjsAlloc

int Gia_Man_t_::nObjsAlloc

Definition at line 104 of file gia.h.

◆ nRegs

int Gia_Man_t_::nRegs

Definition at line 101 of file gia.h.

◆ nRegsAlloc

int Gia_Man_t_::nRegsAlloc

Definition at line 102 of file gia.h.

◆ nSimWords

int Gia_Man_t_::nSimWords

Definition at line 209 of file gia.h.

◆ nSimWordsMax

int Gia_Man_t_::nSimWordsMax

Definition at line 212 of file gia.h.

◆ nSimWordsT

int Gia_Man_t_::nSimWordsT

Definition at line 210 of file gia.h.

◆ nSuppWords

int Gia_Man_t_::nSuppWords

Definition at line 238 of file gia.h.

◆ nTerLoop

int Gia_Man_t_::nTerLoop

Definition at line 130 of file gia.h.

◆ nTerStates

int Gia_Man_t_::nTerStates

Definition at line 131 of file gia.h.

◆ nTravIds

int Gia_Man_t_::nTravIds

Definition at line 123 of file gia.h.

◆ nTravIdsAlloc

int Gia_Man_t_::nTravIdsAlloc

Definition at line 180 of file gia.h.

◆ nTtVars

int Gia_Man_t_::nTtVars

Definition at line 227 of file gia.h.

◆ nTtWords

int Gia_Man_t_::nTtWords

Definition at line 228 of file gia.h.

◆ nXors

int Gia_Man_t_::nXors

Definition at line 107 of file gia.h.

◆ pAigExtra

Gia_Man_t* Gia_Man_t_::pAigExtra

Definition at line 167 of file gia.h.

◆ pCellStr

char* Gia_Man_t_::pCellStr

Definition at line 143 of file gia.h.

◆ pCexComb

Abc_Cex_t* Gia_Man_t_::pCexComb

Definition at line 149 of file gia.h.

◆ pCexSeq

Abc_Cex_t* Gia_Man_t_::pCexSeq

Definition at line 150 of file gia.h.

◆ pData

void* Gia_Man_t_::pData

Definition at line 198 of file gia.h.

◆ pData2

unsigned* Gia_Man_t_::pData2

Definition at line 199 of file gia.h.

◆ pFanData

int* Gia_Man_t_::pFanData

Definition at line 132 of file gia.h.

◆ pIso

int* Gia_Man_t_::pIso

Definition at line 129 of file gia.h.

◆ pLutLib

void* Gia_Man_t_::pLutLib

Definition at line 195 of file gia.h.

◆ pLutRefs

int* Gia_Man_t_::pLutRefs

Definition at line 119 of file gia.h.

◆ pManTime

void* Gia_Man_t_::pManTime

Definition at line 194 of file gia.h.

◆ pMuxes

unsigned* Gia_Man_t_::pMuxes

Definition at line 106 of file gia.h.

◆ pName

char* Gia_Man_t_::pName

Definition at line 99 of file gia.h.

◆ pNexts

int* Gia_Man_t_::pNexts

Definition at line 127 of file gia.h.

◆ pObjs

Gia_Obj_t* Gia_Man_t_::pObjs

Definition at line 105 of file gia.h.

◆ pPlacement

Gia_Plc_t* Gia_Man_t_::pPlacement

Definition at line 166 of file gia.h.

◆ pRefs

int* Gia_Man_t_::pRefs

Definition at line 118 of file gia.h.

◆ pReprs

Gia_Rpr_t* Gia_Man_t_::pReprs

Definition at line 126 of file gia.h.

◆ pReprsOld

int* Gia_Man_t_::pReprsOld

Definition at line 125 of file gia.h.

◆ pSatlutWinman

void* Gia_Man_t_::pSatlutWinman

Definition at line 140 of file gia.h.

◆ pSibls

int* Gia_Man_t_::pSibls

Definition at line 128 of file gia.h.

◆ pSpec

char* Gia_Man_t_::pSpec

Definition at line 100 of file gia.h.

◆ pSwitching

unsigned char* Gia_Man_t_::pSwitching

Definition at line 165 of file gia.h.

◆ pTravIds

int* Gia_Man_t_::pTravIds

Definition at line 179 of file gia.h.

◆ pUData

Gia_Dat_t* Gia_Man_t_::pUData

Definition at line 243 of file gia.h.

◆ vBarBufs

Vec_Int_t* Gia_Man_t_::vBarBufs

Definition at line 163 of file gia.h.

◆ vCellMapping

Vec_Int_t* Gia_Man_t_::vCellMapping

Definition at line 139 of file gia.h.

◆ vCiArrs

Vec_Int_t* Gia_Man_t_::vCiArrs

Definition at line 170 of file gia.h.

◆ vCiNumsOrig

Vec_Int_t* Gia_Man_t_::vCiNumsOrig

Definition at line 187 of file gia.h.

◆ vCis

Vec_Int_t* Gia_Man_t_::vCis

Definition at line 110 of file gia.h.

◆ vClassNew

Vec_Int_t* Gia_Man_t_::vClassNew

Definition at line 218 of file gia.h.

◆ vClassOld

Vec_Int_t* Gia_Man_t_::vClassOld

Definition at line 217 of file gia.h.

◆ vClockDoms

Vec_Vec_t* Gia_Man_t_::vClockDoms

Definition at line 192 of file gia.h.

◆ vCoArrs

Vec_Int_t* Gia_Man_t_::vCoArrs

Definition at line 172 of file gia.h.

◆ vCoAttrs

Vec_Int_t* Gia_Man_t_::vCoAttrs

Definition at line 173 of file gia.h.

◆ vCofVars

Vec_Int_t* Gia_Man_t_::vCofVars

Definition at line 191 of file gia.h.

◆ vConfigs

Vec_Int_t* Gia_Man_t_::vConfigs

Definition at line 142 of file gia.h.

◆ vCoNumsOrig

Vec_Int_t* Gia_Man_t_::vCoNumsOrig

Definition at line 188 of file gia.h.

◆ vCopies

Vec_Int_t Gia_Man_t_::vCopies

Definition at line 152 of file gia.h.

◆ vCopies2

Vec_Int_t Gia_Man_t_::vCopies2

Definition at line 153 of file gia.h.

◆ vCopiesTwo

Vec_Int_t Gia_Man_t_::vCopiesTwo

Definition at line 240 of file gia.h.

◆ vCoReqs

Vec_Int_t* Gia_Man_t_::vCoReqs

Definition at line 171 of file gia.h.

◆ vCos

Vec_Int_t* Gia_Man_t_::vCos

Definition at line 111 of file gia.h.

◆ vDoms

Vec_Int_t* Gia_Man_t_::vDoms

Definition at line 162 of file gia.h.

◆ vEdge1

Vec_Int_t* Gia_Man_t_::vEdge1

Definition at line 147 of file gia.h.

◆ vEdge2

Vec_Int_t* Gia_Man_t_::vEdge2

Definition at line 148 of file gia.h.

◆ vEdgeDelay

Vec_Int_t* Gia_Man_t_::vEdgeDelay

Definition at line 145 of file gia.h.

◆ vEdgeDelayR

Vec_Int_t* Gia_Man_t_::vEdgeDelayR

Definition at line 146 of file gia.h.

◆ vFanout

Vec_Int_t* Gia_Man_t_::vFanout

Definition at line 135 of file gia.h.

◆ vFanoutNums

Vec_Int_t* Gia_Man_t_::vFanoutNums

Definition at line 134 of file gia.h.

◆ vFanouts2

Vec_Wec_t* Gia_Man_t_::vFanouts2

Definition at line 138 of file gia.h.

◆ vFlopClasses

Vec_Int_t* Gia_Man_t_::vFlopClasses

Definition at line 156 of file gia.h.

◆ vGateClasses

Vec_Int_t* Gia_Man_t_::vGateClasses

Definition at line 157 of file gia.h.

◆ vHash

Vec_Int_t Gia_Man_t_::vHash

Definition at line 112 of file gia.h.

◆ vHTable

Vec_Int_t Gia_Man_t_::vHTable

Definition at line 113 of file gia.h.

◆ vIdsEquiv

Vec_Int_t* Gia_Man_t_::vIdsEquiv

Definition at line 190 of file gia.h.

◆ vIdsOrig

Vec_Int_t* Gia_Man_t_::vIdsOrig

Definition at line 189 of file gia.h.

◆ vInArrs

Vec_Flt_t* Gia_Man_t_::vInArrs

Definition at line 168 of file gia.h.

◆ vInitClasses

Vec_Int_t* Gia_Man_t_::vInitClasses

Definition at line 159 of file gia.h.

◆ vLevels

Vec_Int_t* Gia_Man_t_::vLevels

Definition at line 120 of file gia.h.

◆ vLutConfigs

Vec_Int_t* Gia_Man_t_::vLutConfigs

Definition at line 144 of file gia.h.

◆ vLutsRankings

Vec_Ptr_t* Gia_Man_t_::vLutsRankings

Definition at line 256 of file gia.h.

◆ vMapping

Vec_Int_t* Gia_Man_t_::vMapping

Definition at line 136 of file gia.h.

◆ vMapping2

Vec_Wec_t* Gia_Man_t_::vMapping2

Definition at line 137 of file gia.h.

◆ vMFFCsInfo

Vec_Int_t* Gia_Man_t_::vMFFCsInfo

Definition at line 254 of file gia.h.

◆ vMFFCsLuts

Vec_Int_t* Gia_Man_t_::vMFFCsLuts

Definition at line 255 of file gia.h.

◆ vNamesIn

Vec_Ptr_t* Gia_Man_t_::vNamesIn

Definition at line 181 of file gia.h.

◆ vNamesNode

Vec_Ptr_t* Gia_Man_t_::vNamesNode

Definition at line 183 of file gia.h.

◆ vNamesOut

Vec_Ptr_t* Gia_Man_t_::vNamesOut

Definition at line 182 of file gia.h.

◆ vObjClasses

Vec_Int_t* Gia_Man_t_::vObjClasses

Definition at line 158 of file gia.h.

◆ vOutReqs

Vec_Flt_t* Gia_Man_t_::vOutReqs

Definition at line 169 of file gia.h.

◆ vPacking

Vec_Int_t* Gia_Man_t_::vPacking

Definition at line 141 of file gia.h.

◆ vPats

Vec_Int_t* Gia_Man_t_::vPats

Definition at line 219 of file gia.h.

◆ vPolars

Vec_Bit_t* Gia_Man_t_::vPolars

Definition at line 220 of file gia.h.

◆ vRefs

Vec_Int_t Gia_Man_t_::vRefs

Definition at line 117 of file gia.h.

◆ vRegClasses

Vec_Int_t* Gia_Man_t_::vRegClasses

Definition at line 160 of file gia.h.

◆ vRegInits

Vec_Int_t* Gia_Man_t_::vRegInits

Definition at line 161 of file gia.h.

◆ vSeqModelVec

Vec_Ptr_t* Gia_Man_t_::vSeqModelVec

Definition at line 151 of file gia.h.

◆ vSims

Vec_Wrd_t* Gia_Man_t_::vSims

Definition at line 213 of file gia.h.

◆ vSimsPi

Vec_Wrd_t* Gia_Man_t_::vSimsPi

Definition at line 215 of file gia.h.

◆ vSimsPo

Vec_Wrd_t* Gia_Man_t_::vSimsPo

Definition at line 216 of file gia.h.

◆ vSimsT

Vec_Wrd_t* Gia_Man_t_::vSimsT

Definition at line 214 of file gia.h.

◆ vStopsB

Vec_Str_t* Gia_Man_t_::vStopsB

Definition at line 246 of file gia.h.

◆ vStopsF

Vec_Str_t* Gia_Man_t_::vStopsF

Definition at line 245 of file gia.h.

◆ vStore

Vec_Int_t* Gia_Man_t_::vStore

Definition at line 235 of file gia.h.

◆ vSuper

Vec_Int_t* Gia_Man_t_::vSuper

Definition at line 234 of file gia.h.

◆ vSuppVars

Vec_Int_t Gia_Man_t_::vSuppVars

Definition at line 241 of file gia.h.

◆ vSuppWords

Vec_Wrd_t* Gia_Man_t_::vSuppWords

Definition at line 239 of file gia.h.

◆ vSwitching

Vec_Int_t* Gia_Man_t_::vSwitching

Definition at line 178 of file gia.h.

◆ vTimeStamps

Vec_Int_t* Gia_Man_t_::vTimeStamps

Definition at line 225 of file gia.h.

◆ vTiming

Vec_Flt_t* Gia_Man_t_::vTiming

Definition at line 193 of file gia.h.

◆ vTruths

Vec_Int_t* Gia_Man_t_::vTruths

Definition at line 155 of file gia.h.

◆ vTtInputs

Vec_Ptr_t* Gia_Man_t_::vTtInputs

Definition at line 231 of file gia.h.

◆ vTTISOPs

Vec_Str_t* Gia_Man_t_::vTTISOPs

Definition at line 252 of file gia.h.

◆ vTTLut

Vec_Int_t* Gia_Man_t_::vTTLut

Definition at line 253 of file gia.h.

◆ vTtMemory

Vec_Wrd_t* Gia_Man_t_::vTtMemory

Definition at line 232 of file gia.h.

◆ vTtNodes

Vec_Int_t* Gia_Man_t_::vTtNodes

Definition at line 230 of file gia.h.

◆ vTtNums

Vec_Int_t* Gia_Man_t_::vTtNums

Definition at line 229 of file gia.h.

◆ vUserFfIds

Vec_Int_t* Gia_Man_t_::vUserFfIds

Definition at line 186 of file gia.h.

◆ vUserPiIds

Vec_Int_t* Gia_Man_t_::vUserPiIds

Definition at line 184 of file gia.h.

◆ vUserPoIds

Vec_Int_t* Gia_Man_t_::vUserPoIds

Definition at line 185 of file gia.h.

◆ vVar2Obj

Vec_Int_t* Gia_Man_t_::vVar2Obj

Definition at line 154 of file gia.h.

◆ vVarMap

Vec_Int_t Gia_Man_t_::vVarMap

Definition at line 242 of file gia.h.

◆ vWeights

Vec_Int_t* Gia_Man_t_::vWeights

Definition at line 174 of file gia.h.

◆ vXors

Vec_Int_t* Gia_Man_t_::vXors

Definition at line 164 of file gia.h.

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