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

#include <if.h>

Collaboration diagram for If_Man_t_:
Collaboration graph
[legend]

Public Attributes

char * pName
 
If_Par_t * pPars
 
If_Obj_t * pConst1
 
Vec_Ptr_t * vCis
 
Vec_Ptr_t * vCos
 
Vec_Ptr_t * vObjs
 
Vec_Ptr_t * vObjsRev
 
Vec_Ptr_t * vTemp
 
int nObjs [IF_VOID]
 
int nLevelMax
 
float fEpsilon
 
float RequiredGlo
 
float RequiredGlo2
 
float AreaGlo
 
int nNets
 
float dPower
 
int nCutsUsed
 
int nCutsMerged
 
unsigned * puTemp [4]
 
word * puTempW
 
int SortMode
 
int fNextRound
 
int nChoices
 
Vec_Int_t * vSwitching
 
int pPerm [3][IF_MAX_LUTSIZE]
 
unsigned uSharedMask
 
int nShared
 
int fReqTimeWarn
 
Vec_Int_t * vCover
 
Vec_Int_t * vArray
 
Vec_Wrd_t * vAnds
 
Vec_Wrd_t * vOrGate
 
Vec_Wrd_t * vAndGate
 
Vec_Ptr_t * vLatchOrder
 
Vec_Int_t * vLags
 
int nAttempts
 
int nMaxIters
 
int Period
 
int nTruth6Words [IF_MAX_FUNC_LUTSIZE+1]
 
int nPermWords
 
int nObjBytes
 
int nCutBytes
 
int nSetBytes
 
Mem_Fixed_t * pMemObj
 
Mem_Fixed_t * pMemSet
 
If_Set_t * pMemCi
 
If_Set_t * pMemAnd
 
If_Set_t * pFreeList
 
int nSmallSupp
 
int nCutsTotal
 
int nCutsUseless [32]
 
int nCutsCount [32]
 
int nCutsCountAll
 
int nCutsUselessAll
 
int nCuts5
 
int nCuts5a
 
If_DsdMan_t * pIfDsdMan
 
Vec_Mem_t * vTtMem [IF_MAX_FUNC_LUTSIZE+1]
 
Vec_Wec_t * vTtIsops [IF_MAX_FUNC_LUTSIZE+1]
 
Vec_Int_t * vTtDsds [IF_MAX_FUNC_LUTSIZE+1]
 
Vec_Str_t * vTtPerms [IF_MAX_FUNC_LUTSIZE+1]
 
Vec_Str_t * vTtVars [IF_MAX_FUNC_LUTSIZE+1]
 
Vec_Int_t * vTtDecs [IF_MAX_FUNC_LUTSIZE+1]
 
Vec_Int_t * vTtOccurs [IF_MAX_FUNC_LUTSIZE+1]
 
Hash_IntMan_t * vPairHash
 
Vec_Int_t * vPairRes
 
Vec_Str_t * vPairPerms
 
Vec_Mem_t * vTtMem6
 
char pCanonPerm [IF_MAX_LUTSIZE]
 
unsigned uCanonPhase
 
int nCacheHits
 
int nCacheMisses
 
abctime timeCache [6]
 
int nBestCutSmall [2]
 
int nCountNonDec [2]
 
Vec_Int_t * vCutData
 
int pArrTimeProfile [IF_MAX_FUNC_LUTSIZE]
 
Vec_Ptr_t * vVisited
 
void * pUserMan
 
Vec_Int_t * vDump
 
int pDumpIns [16]
 
Vec_Str_t * vMarks
 
Vec_Int_t * vVisited2
 
Tim_Man_t * pManTim
 
Vec_Int_t * vCoAttrs
 
int nTableSize [2]
 
int nTableEntries [2]
 
void ** pHashTable [2]
 
Mem_Fixed_t * pMemEntries
 

Detailed Description

Definition at line 197 of file if.h.

Member Data Documentation

◆ AreaGlo

float If_Man_t_::AreaGlo

Definition at line 215 of file if.h.

◆ dPower

float If_Man_t_::dPower

Definition at line 217 of file if.h.

◆ fEpsilon

float If_Man_t_::fEpsilon

Definition at line 212 of file if.h.

◆ fNextRound

int If_Man_t_::fNextRound

Definition at line 223 of file if.h.

◆ fReqTimeWarn

int If_Man_t_::fReqTimeWarn

Definition at line 229 of file if.h.

◆ nAttempts

int If_Man_t_::nAttempts

Definition at line 239 of file if.h.

◆ nBestCutSmall

int If_Man_t_::nBestCutSmall[2]

Definition at line 277 of file if.h.

◆ nCacheHits

int If_Man_t_::nCacheHits

Definition at line 274 of file if.h.

◆ nCacheMisses

int If_Man_t_::nCacheMisses

Definition at line 275 of file if.h.

◆ nChoices

int If_Man_t_::nChoices

Definition at line 224 of file if.h.

◆ nCountNonDec

int If_Man_t_::nCountNonDec[2]

Definition at line 278 of file if.h.

◆ nCutBytes

int If_Man_t_::nCutBytes

Definition at line 246 of file if.h.

◆ nCuts5

int If_Man_t_::nCuts5

Definition at line 259 of file if.h.

◆ nCuts5a

int If_Man_t_::nCuts5a

Definition at line 259 of file if.h.

◆ nCutsCount

int If_Man_t_::nCutsCount[32]

Definition at line 256 of file if.h.

◆ nCutsCountAll

int If_Man_t_::nCutsCountAll

Definition at line 257 of file if.h.

◆ nCutsMerged

int If_Man_t_::nCutsMerged

Definition at line 219 of file if.h.

◆ nCutsTotal

int If_Man_t_::nCutsTotal

Definition at line 254 of file if.h.

◆ nCutsUsed

int If_Man_t_::nCutsUsed

Definition at line 218 of file if.h.

◆ nCutsUseless

int If_Man_t_::nCutsUseless[32]

Definition at line 255 of file if.h.

◆ nCutsUselessAll

int If_Man_t_::nCutsUselessAll

Definition at line 258 of file if.h.

◆ nLevelMax

int If_Man_t_::nLevelMax

Definition at line 211 of file if.h.

◆ nMaxIters

int If_Man_t_::nMaxIters

Definition at line 240 of file if.h.

◆ nNets

int If_Man_t_::nNets

Definition at line 216 of file if.h.

◆ nObjBytes

int If_Man_t_::nObjBytes

Definition at line 245 of file if.h.

◆ nObjs

int If_Man_t_::nObjs[IF_VOID]

Definition at line 209 of file if.h.

◆ nPermWords

int If_Man_t_::nPermWords

Definition at line 244 of file if.h.

◆ nSetBytes

int If_Man_t_::nSetBytes

Definition at line 247 of file if.h.

◆ nShared

int If_Man_t_::nShared

Definition at line 228 of file if.h.

◆ nSmallSupp

int If_Man_t_::nSmallSupp

Definition at line 253 of file if.h.

◆ nTableEntries

int If_Man_t_::nTableEntries[2]

Definition at line 293 of file if.h.

◆ nTableSize

int If_Man_t_::nTableSize[2]

Definition at line 292 of file if.h.

◆ nTruth6Words

int If_Man_t_::nTruth6Words[IF_MAX_FUNC_LUTSIZE+1]

Definition at line 243 of file if.h.

◆ pArrTimeProfile

int If_Man_t_::pArrTimeProfile[IF_MAX_FUNC_LUTSIZE]

Definition at line 280 of file if.h.

◆ pCanonPerm

char If_Man_t_::pCanonPerm[IF_MAX_LUTSIZE]

Definition at line 272 of file if.h.

◆ pConst1

If_Obj_t* If_Man_t_::pConst1

Definition at line 203 of file if.h.

◆ pDumpIns

int If_Man_t_::pDumpIns[16]

Definition at line 284 of file if.h.

◆ Period

int If_Man_t_::Period

Definition at line 241 of file if.h.

◆ pFreeList

If_Set_t* If_Man_t_::pFreeList

Definition at line 252 of file if.h.

◆ pHashTable

void** If_Man_t_::pHashTable[2]

Definition at line 294 of file if.h.

◆ pIfDsdMan

If_DsdMan_t* If_Man_t_::pIfDsdMan

Definition at line 260 of file if.h.

◆ pManTim

Tim_Man_t* If_Man_t_::pManTim

Definition at line 289 of file if.h.

◆ pMemAnd

If_Set_t* If_Man_t_::pMemAnd

Definition at line 251 of file if.h.

◆ pMemCi

If_Set_t* If_Man_t_::pMemCi

Definition at line 250 of file if.h.

◆ pMemEntries

Mem_Fixed_t* If_Man_t_::pMemEntries

Definition at line 295 of file if.h.

◆ pMemObj

Mem_Fixed_t* If_Man_t_::pMemObj

Definition at line 248 of file if.h.

◆ pMemSet

Mem_Fixed_t* If_Man_t_::pMemSet

Definition at line 249 of file if.h.

◆ pName

char* If_Man_t_::pName

Definition at line 199 of file if.h.

◆ pPars

If_Par_t* If_Man_t_::pPars

Definition at line 201 of file if.h.

◆ pPerm

int If_Man_t_::pPerm[3][IF_MAX_LUTSIZE]

Definition at line 226 of file if.h.

◆ pUserMan

void* If_Man_t_::pUserMan

Definition at line 282 of file if.h.

◆ puTemp

unsigned* If_Man_t_::puTemp[4]

Definition at line 220 of file if.h.

◆ puTempW

word* If_Man_t_::puTempW

Definition at line 221 of file if.h.

◆ RequiredGlo

float If_Man_t_::RequiredGlo

Definition at line 213 of file if.h.

◆ RequiredGlo2

float If_Man_t_::RequiredGlo2

Definition at line 214 of file if.h.

◆ SortMode

int If_Man_t_::SortMode

Definition at line 222 of file if.h.

◆ timeCache

abctime If_Man_t_::timeCache[6]

Definition at line 276 of file if.h.

◆ uCanonPhase

unsigned If_Man_t_::uCanonPhase

Definition at line 273 of file if.h.

◆ uSharedMask

unsigned If_Man_t_::uSharedMask

Definition at line 227 of file if.h.

◆ vAndGate

Vec_Wrd_t* If_Man_t_::vAndGate

Definition at line 235 of file if.h.

◆ vAnds

Vec_Wrd_t* If_Man_t_::vAnds

Definition at line 233 of file if.h.

◆ vArray

Vec_Int_t* If_Man_t_::vArray

Definition at line 232 of file if.h.

◆ vCis

Vec_Ptr_t* If_Man_t_::vCis

Definition at line 204 of file if.h.

◆ vCoAttrs

Vec_Int_t* If_Man_t_::vCoAttrs

Definition at line 290 of file if.h.

◆ vCos

Vec_Ptr_t* If_Man_t_::vCos

Definition at line 205 of file if.h.

◆ vCover

Vec_Int_t* If_Man_t_::vCover

Definition at line 231 of file if.h.

◆ vCutData

Vec_Int_t* If_Man_t_::vCutData

Definition at line 279 of file if.h.

◆ vDump

Vec_Int_t* If_Man_t_::vDump

Definition at line 283 of file if.h.

◆ vLags

Vec_Int_t* If_Man_t_::vLags

Definition at line 238 of file if.h.

◆ vLatchOrder

Vec_Ptr_t* If_Man_t_::vLatchOrder

Definition at line 237 of file if.h.

◆ vMarks

Vec_Str_t* If_Man_t_::vMarks

Definition at line 285 of file if.h.

◆ vObjs

Vec_Ptr_t* If_Man_t_::vObjs

Definition at line 206 of file if.h.

◆ vObjsRev

Vec_Ptr_t* If_Man_t_::vObjsRev

Definition at line 207 of file if.h.

◆ vOrGate

Vec_Wrd_t* If_Man_t_::vOrGate

Definition at line 234 of file if.h.

◆ vPairHash

Hash_IntMan_t* If_Man_t_::vPairHash

Definition at line 268 of file if.h.

◆ vPairPerms

Vec_Str_t* If_Man_t_::vPairPerms

Definition at line 270 of file if.h.

◆ vPairRes

Vec_Int_t* If_Man_t_::vPairRes

Definition at line 269 of file if.h.

◆ vSwitching

Vec_Int_t* If_Man_t_::vSwitching

Definition at line 225 of file if.h.

◆ vTemp

Vec_Ptr_t* If_Man_t_::vTemp

Definition at line 208 of file if.h.

◆ vTtDecs

Vec_Int_t* If_Man_t_::vTtDecs[IF_MAX_FUNC_LUTSIZE+1]

Definition at line 266 of file if.h.

◆ vTtDsds

Vec_Int_t* If_Man_t_::vTtDsds[IF_MAX_FUNC_LUTSIZE+1]

Definition at line 263 of file if.h.

◆ vTtIsops

Vec_Wec_t* If_Man_t_::vTtIsops[IF_MAX_FUNC_LUTSIZE+1]

Definition at line 262 of file if.h.

◆ vTtMem

Vec_Mem_t* If_Man_t_::vTtMem[IF_MAX_FUNC_LUTSIZE+1]

Definition at line 261 of file if.h.

◆ vTtMem6

Vec_Mem_t* If_Man_t_::vTtMem6

Definition at line 271 of file if.h.

◆ vTtOccurs

Vec_Int_t* If_Man_t_::vTtOccurs[IF_MAX_FUNC_LUTSIZE+1]

Definition at line 267 of file if.h.

◆ vTtPerms

Vec_Str_t* If_Man_t_::vTtPerms[IF_MAX_FUNC_LUTSIZE+1]

Definition at line 264 of file if.h.

◆ vTtVars

Vec_Str_t* If_Man_t_::vTtVars[IF_MAX_FUNC_LUTSIZE+1]

Definition at line 265 of file if.h.

◆ vVisited

Vec_Ptr_t* If_Man_t_::vVisited

Definition at line 281 of file if.h.

◆ vVisited2

Vec_Int_t* If_Man_t_::vVisited2

Definition at line 286 of file if.h.

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