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

Public Attributes

Sfm_Par_t * pPars
 
Sfm_Lib_t * pLib
 
Sfm_Tim_t * pTim
 
Sfm_Mit_t * pMit
 
Abc_Ntk_t * pNtk
 
Vec_Int_t vGateSizes
 
Vec_Wrd_t vGateFuncs
 
Vec_Wec_t vGateCnfs
 
Vec_Ptr_t vGateHands
 
int GateConst0
 
int GateConst1
 
int GateBuffer
 
int GateInvert
 
int GateAnd [4]
 
int GateOr [4]
 
int nDivs
 
int nMffc
 
int AreaMffc
 
int DelayMin
 
int iTarget
 
int iUseThis
 
int DeltaCrit
 
int AreaInv
 
int DelayInv
 
Mio_Gate_t * pGateInv
 
word uCareSet
 
Vec_Int_t vObjRoots
 
Vec_Int_t vObjGates
 
Vec_Wec_t vObjFanins
 
Vec_Int_t vObjMap
 
Vec_Int_t vObjDec
 
Vec_Int_t vObjMffc
 
Vec_Int_t vObjInMffc
 
Vec_Wrd_t vObjSims
 
Vec_Wrd_t vObjSims2
 
Vec_Ptr_t vMatchGates
 
Vec_Ptr_t vMatchFans
 
sat_solver * pSat
 
Vec_Wec_t vClauses
 
Vec_Int_t vImpls [2]
 
Vec_Wrd_t vSets [2]
 
int nPats [2]
 
int nPatWords [2]
 
int nDivWords
 
int nDivWordsAlloc
 
word TtElems [SFM_SUPP_MAX][SFM_WORD_MAX]
 
word * pTtElems [SFM_SUPP_MAX]
 
word * pDivWords [SFM_SUPP_MAX]
 
Vec_Int_t vNewNodes
 
Vec_Int_t vGateTfi
 
Vec_Int_t vGateTfo
 
Vec_Int_t vGateCut
 
Vec_Int_t vGateTemp
 
Vec_Int_t vGateMffc
 
Vec_Int_t vCands
 
word Copy [4]
 
int nSuppVars
 
abctime timeLib
 
abctime timeWin
 
abctime timeCnf
 
abctime timeSat
 
abctime timeSatSat
 
abctime timeSatUnsat
 
abctime timeEval
 
abctime timeTime
 
abctime timeOther
 
abctime timeStart
 
abctime timeTotal
 
int nTotalNodesBeg
 
int nTotalEdgesBeg
 
int nTotalNodesEnd
 
int nTotalEdgesEnd
 
int nNodesTried
 
int nNodesChanged
 
int nNodesConst0
 
int nNodesConst1
 
int nNodesBuf
 
int nNodesInv
 
int nNodesAndOr
 
int nNodesResyn
 
int nSatCalls
 
int nSatCallsSat
 
int nSatCallsUnsat
 
int nSatCallsOver
 
int nTimeOuts
 
int nNoDecs
 
int nEfforts
 
int nMaxDivs
 
int nMaxWin
 
word nAllDivs
 
word nAllWin
 
int nLuckySizes [SFM_SUPP_MAX+1]
 
int nLuckyGates [SFM_SUPP_MAX+1]
 

Detailed Description

Definition at line 39 of file sfmDec.c.

Member Data Documentation

◆ AreaInv

int Sfm_Dec_t_::AreaInv

Definition at line 66 of file sfmDec.c.

◆ AreaMffc

int Sfm_Dec_t_::AreaMffc

Definition at line 61 of file sfmDec.c.

◆ Copy

word Sfm_Dec_t_::Copy[4]

Definition at line 101 of file sfmDec.c.

◆ DelayInv

int Sfm_Dec_t_::DelayInv

Definition at line 67 of file sfmDec.c.

◆ DelayMin

int Sfm_Dec_t_::DelayMin

Definition at line 62 of file sfmDec.c.

◆ DeltaCrit

int Sfm_Dec_t_::DeltaCrit

Definition at line 65 of file sfmDec.c.

◆ GateAnd

int Sfm_Dec_t_::GateAnd[4]

Definition at line 56 of file sfmDec.c.

◆ GateBuffer

int Sfm_Dec_t_::GateBuffer

Definition at line 54 of file sfmDec.c.

◆ GateConst0

int Sfm_Dec_t_::GateConst0

Definition at line 52 of file sfmDec.c.

◆ GateConst1

int Sfm_Dec_t_::GateConst1

Definition at line 53 of file sfmDec.c.

◆ GateInvert

int Sfm_Dec_t_::GateInvert

Definition at line 55 of file sfmDec.c.

◆ GateOr

int Sfm_Dec_t_::GateOr[4]

Definition at line 57 of file sfmDec.c.

◆ iTarget

int Sfm_Dec_t_::iTarget

Definition at line 63 of file sfmDec.c.

◆ iUseThis

int Sfm_Dec_t_::iUseThis

Definition at line 64 of file sfmDec.c.

◆ nAllDivs

word Sfm_Dec_t_::nAllDivs

Definition at line 136 of file sfmDec.c.

◆ nAllWin

word Sfm_Dec_t_::nAllWin

Definition at line 137 of file sfmDec.c.

◆ nDivs

int Sfm_Dec_t_::nDivs

Definition at line 59 of file sfmDec.c.

◆ nDivWords

int Sfm_Dec_t_::nDivWords

Definition at line 88 of file sfmDec.c.

◆ nDivWordsAlloc

int Sfm_Dec_t_::nDivWordsAlloc

Definition at line 89 of file sfmDec.c.

◆ nEfforts

int Sfm_Dec_t_::nEfforts

Definition at line 133 of file sfmDec.c.

◆ nLuckyGates

int Sfm_Dec_t_::nLuckyGates[SFM_SUPP_MAX+1]

Definition at line 139 of file sfmDec.c.

◆ nLuckySizes

int Sfm_Dec_t_::nLuckySizes[SFM_SUPP_MAX+1]

Definition at line 138 of file sfmDec.c.

◆ nMaxDivs

int Sfm_Dec_t_::nMaxDivs

Definition at line 134 of file sfmDec.c.

◆ nMaxWin

int Sfm_Dec_t_::nMaxWin

Definition at line 135 of file sfmDec.c.

◆ nMffc

int Sfm_Dec_t_::nMffc

Definition at line 60 of file sfmDec.c.

◆ nNoDecs

int Sfm_Dec_t_::nNoDecs

Definition at line 132 of file sfmDec.c.

◆ nNodesAndOr

int Sfm_Dec_t_::nNodesAndOr

Definition at line 125 of file sfmDec.c.

◆ nNodesBuf

int Sfm_Dec_t_::nNodesBuf

Definition at line 123 of file sfmDec.c.

◆ nNodesChanged

int Sfm_Dec_t_::nNodesChanged

Definition at line 120 of file sfmDec.c.

◆ nNodesConst0

int Sfm_Dec_t_::nNodesConst0

Definition at line 121 of file sfmDec.c.

◆ nNodesConst1

int Sfm_Dec_t_::nNodesConst1

Definition at line 122 of file sfmDec.c.

◆ nNodesInv

int Sfm_Dec_t_::nNodesInv

Definition at line 124 of file sfmDec.c.

◆ nNodesResyn

int Sfm_Dec_t_::nNodesResyn

Definition at line 126 of file sfmDec.c.

◆ nNodesTried

int Sfm_Dec_t_::nNodesTried

Definition at line 119 of file sfmDec.c.

◆ nPats

int Sfm_Dec_t_::nPats[2]

Definition at line 86 of file sfmDec.c.

◆ nPatWords

int Sfm_Dec_t_::nPatWords[2]

Definition at line 87 of file sfmDec.c.

◆ nSatCalls

int Sfm_Dec_t_::nSatCalls

Definition at line 127 of file sfmDec.c.

◆ nSatCallsOver

int Sfm_Dec_t_::nSatCallsOver

Definition at line 130 of file sfmDec.c.

◆ nSatCallsSat

int Sfm_Dec_t_::nSatCallsSat

Definition at line 128 of file sfmDec.c.

◆ nSatCallsUnsat

int Sfm_Dec_t_::nSatCallsUnsat

Definition at line 129 of file sfmDec.c.

◆ nSuppVars

int Sfm_Dec_t_::nSuppVars

Definition at line 102 of file sfmDec.c.

◆ nTimeOuts

int Sfm_Dec_t_::nTimeOuts

Definition at line 131 of file sfmDec.c.

◆ nTotalEdgesBeg

int Sfm_Dec_t_::nTotalEdgesBeg

Definition at line 116 of file sfmDec.c.

◆ nTotalEdgesEnd

int Sfm_Dec_t_::nTotalEdgesEnd

Definition at line 118 of file sfmDec.c.

◆ nTotalNodesBeg

int Sfm_Dec_t_::nTotalNodesBeg

Definition at line 115 of file sfmDec.c.

◆ nTotalNodesEnd

int Sfm_Dec_t_::nTotalNodesEnd

Definition at line 117 of file sfmDec.c.

◆ pDivWords

word* Sfm_Dec_t_::pDivWords[SFM_SUPP_MAX]

Definition at line 92 of file sfmDec.c.

◆ pGateInv

Mio_Gate_t* Sfm_Dec_t_::pGateInv

Definition at line 68 of file sfmDec.c.

◆ pLib

Sfm_Lib_t* Sfm_Dec_t_::pLib

Definition at line 43 of file sfmDec.c.

◆ pMit

Sfm_Mit_t* Sfm_Dec_t_::pMit

Definition at line 45 of file sfmDec.c.

◆ pNtk

Abc_Ntk_t* Sfm_Dec_t_::pNtk

Definition at line 46 of file sfmDec.c.

◆ pPars

Sfm_Par_t* Sfm_Dec_t_::pPars

Definition at line 42 of file sfmDec.c.

◆ pSat

sat_solver* Sfm_Dec_t_::pSat

Definition at line 82 of file sfmDec.c.

◆ pTim

Sfm_Tim_t* Sfm_Dec_t_::pTim

Definition at line 44 of file sfmDec.c.

◆ pTtElems

word* Sfm_Dec_t_::pTtElems[SFM_SUPP_MAX]

Definition at line 91 of file sfmDec.c.

◆ timeCnf

abctime Sfm_Dec_t_::timeCnf

Definition at line 106 of file sfmDec.c.

◆ timeEval

abctime Sfm_Dec_t_::timeEval

Definition at line 110 of file sfmDec.c.

◆ timeLib

abctime Sfm_Dec_t_::timeLib

Definition at line 104 of file sfmDec.c.

◆ timeOther

abctime Sfm_Dec_t_::timeOther

Definition at line 112 of file sfmDec.c.

◆ timeSat

abctime Sfm_Dec_t_::timeSat

Definition at line 107 of file sfmDec.c.

◆ timeSatSat

abctime Sfm_Dec_t_::timeSatSat

Definition at line 108 of file sfmDec.c.

◆ timeSatUnsat

abctime Sfm_Dec_t_::timeSatUnsat

Definition at line 109 of file sfmDec.c.

◆ timeStart

abctime Sfm_Dec_t_::timeStart

Definition at line 113 of file sfmDec.c.

◆ timeTime

abctime Sfm_Dec_t_::timeTime

Definition at line 111 of file sfmDec.c.

◆ timeTotal

abctime Sfm_Dec_t_::timeTotal

Definition at line 114 of file sfmDec.c.

◆ timeWin

abctime Sfm_Dec_t_::timeWin

Definition at line 105 of file sfmDec.c.

◆ TtElems

word Sfm_Dec_t_::TtElems[SFM_SUPP_MAX][SFM_WORD_MAX]

Definition at line 90 of file sfmDec.c.

◆ uCareSet

word Sfm_Dec_t_::uCareSet

Definition at line 69 of file sfmDec.c.

◆ vCands

Vec_Int_t Sfm_Dec_t_::vCands

Definition at line 100 of file sfmDec.c.

◆ vClauses

Vec_Wec_t Sfm_Dec_t_::vClauses

Definition at line 83 of file sfmDec.c.

◆ vGateCnfs

Vec_Wec_t Sfm_Dec_t_::vGateCnfs

Definition at line 50 of file sfmDec.c.

◆ vGateCut

Vec_Int_t Sfm_Dec_t_::vGateCut

Definition at line 97 of file sfmDec.c.

◆ vGateFuncs

Vec_Wrd_t Sfm_Dec_t_::vGateFuncs

Definition at line 49 of file sfmDec.c.

◆ vGateHands

Vec_Ptr_t Sfm_Dec_t_::vGateHands

Definition at line 51 of file sfmDec.c.

◆ vGateMffc

Vec_Int_t Sfm_Dec_t_::vGateMffc

Definition at line 99 of file sfmDec.c.

◆ vGateSizes

Vec_Int_t Sfm_Dec_t_::vGateSizes

Definition at line 48 of file sfmDec.c.

◆ vGateTemp

Vec_Int_t Sfm_Dec_t_::vGateTemp

Definition at line 98 of file sfmDec.c.

◆ vGateTfi

Vec_Int_t Sfm_Dec_t_::vGateTfi

Definition at line 95 of file sfmDec.c.

◆ vGateTfo

Vec_Int_t Sfm_Dec_t_::vGateTfo

Definition at line 96 of file sfmDec.c.

◆ vImpls

Vec_Int_t Sfm_Dec_t_::vImpls[2]

Definition at line 84 of file sfmDec.c.

◆ vMatchFans

Vec_Ptr_t Sfm_Dec_t_::vMatchFans

Definition at line 80 of file sfmDec.c.

◆ vMatchGates

Vec_Ptr_t Sfm_Dec_t_::vMatchGates

Definition at line 79 of file sfmDec.c.

◆ vNewNodes

Vec_Int_t Sfm_Dec_t_::vNewNodes

Definition at line 94 of file sfmDec.c.

◆ vObjDec

Vec_Int_t Sfm_Dec_t_::vObjDec

Definition at line 74 of file sfmDec.c.

◆ vObjFanins

Vec_Wec_t Sfm_Dec_t_::vObjFanins

Definition at line 72 of file sfmDec.c.

◆ vObjGates

Vec_Int_t Sfm_Dec_t_::vObjGates

Definition at line 71 of file sfmDec.c.

◆ vObjInMffc

Vec_Int_t Sfm_Dec_t_::vObjInMffc

Definition at line 76 of file sfmDec.c.

◆ vObjMap

Vec_Int_t Sfm_Dec_t_::vObjMap

Definition at line 73 of file sfmDec.c.

◆ vObjMffc

Vec_Int_t Sfm_Dec_t_::vObjMffc

Definition at line 75 of file sfmDec.c.

◆ vObjRoots

Vec_Int_t Sfm_Dec_t_::vObjRoots

Definition at line 70 of file sfmDec.c.

◆ vObjSims

Vec_Wrd_t Sfm_Dec_t_::vObjSims

Definition at line 77 of file sfmDec.c.

◆ vObjSims2

Vec_Wrd_t Sfm_Dec_t_::vObjSims2

Definition at line 78 of file sfmDec.c.

◆ vSets

Vec_Wrd_t Sfm_Dec_t_::vSets[2]

Definition at line 85 of file sfmDec.c.

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