ABC: A System for Sequential Synthesis and Verification
 
Loading...
Searching...
No Matches
If_Par_t_ Struct Reference

#include <if.h>

Collaboration diagram for If_Par_t_:

Public Attributes

int nLutSize
 
int nCutsMax
 
int nFlowIters
 
int nAreaIters
 
int nGateSize
 
int nNonDecLimit
 
float DelayTarget
 
float Epsilon
 
int nRelaxRatio
 
int nStructType
 
int nAndDelay
 
int nAndArea
 
int nLutDecSize
 
int fPreprocess
 
int fArea
 
int fFancy
 
int fExpRed
 
int fLatchPaths
 
int fLut6Filter
 
int fEdge
 
int fPower
 
int fCutMin
 
int fDelayOpt
 
int fDelayOptLut
 
int fDsdBalance
 
int fUserRecLib
 
int fUserSesLib
 
int fBidec
 
int fUse34Spec
 
int fUseBat
 
int fUseBuffs
 
int fEnableCheck07
 
int fEnableCheck08
 
int fEnableCheck10
 
int fEnableCheck75
 
int fEnableCheck75u
 
int fUseDsd
 
int fUseDsdTune
 
int fUseCofVars
 
int fUseAndVars
 
int fUseTtPerm
 
int fUseCheck1
 
int fUseCheck2
 
int fDeriveLuts
 
int fDoAverage
 
int fHashMapping
 
int fUserLutDec
 
int fUserLut2D
 
int fVerbose
 
int fVerboseTrace
 
char * pLutStruct
 
int fEnableStructN
 
float WireDelay
 
int fSkipCutFilter
 
int fAreaOnly
 
int fTruth
 
int fUsePerm
 
int fUseBdds
 
int fUseSops
 
int fUseCnfs
 
int fUseMv
 
int nLatchesCi
 
int nLatchesCo
 
int nLatchesCiBox
 
int nLatchesCoBox
 
int fLiftLeaves
 
int fUseCoAttrs
 
float DelayTargetNew
 
float FinalDelay
 
float FinalArea
 
If_LibLut_tpLutLib
 
float * pTimesArr
 
float * pTimesReq
 
int(* pFuncCost )(If_Man_t *, If_Cut_t *)
 
int(* pFuncUser )(If_Man_t *, If_Obj_t *, If_Cut_t *)
 
int(* pFuncCell )(If_Man_t *, unsigned *, int, int, char *)
 
int(* pFuncCell2 )(If_Man_t *, word *, int, Vec_Str_t *, char **)
 
int(* pFuncWrite )(If_Man_t *)
 
void * pReoMan
 

Detailed Description

Definition at line 101 of file if.h.

Member Data Documentation

◆ DelayTarget

float If_Par_t_::DelayTarget

Definition at line 110 of file if.h.

◆ DelayTargetNew

float If_Par_t_::DelayTargetNew

Definition at line 172 of file if.h.

◆ Epsilon

float If_Par_t_::Epsilon

Definition at line 111 of file if.h.

◆ fArea

int If_Par_t_::fArea

Definition at line 118 of file if.h.

◆ fAreaOnly

int If_Par_t_::fAreaOnly

Definition at line 159 of file if.h.

◆ fBidec

int If_Par_t_::fBidec

Definition at line 131 of file if.h.

◆ fCutMin

int If_Par_t_::fCutMin

Definition at line 125 of file if.h.

◆ fDelayOpt

int If_Par_t_::fDelayOpt

Definition at line 126 of file if.h.

◆ fDelayOptLut

int If_Par_t_::fDelayOptLut

Definition at line 127 of file if.h.

◆ fDeriveLuts

int If_Par_t_::fDeriveLuts

Definition at line 147 of file if.h.

◆ fDoAverage

int If_Par_t_::fDoAverage

Definition at line 148 of file if.h.

◆ fDsdBalance

int If_Par_t_::fDsdBalance

Definition at line 128 of file if.h.

◆ fEdge

int If_Par_t_::fEdge

Definition at line 123 of file if.h.

◆ fEnableCheck07

int If_Par_t_::fEnableCheck07

Definition at line 135 of file if.h.

◆ fEnableCheck08

int If_Par_t_::fEnableCheck08

Definition at line 136 of file if.h.

◆ fEnableCheck10

int If_Par_t_::fEnableCheck10

Definition at line 137 of file if.h.

◆ fEnableCheck75

int If_Par_t_::fEnableCheck75

Definition at line 138 of file if.h.

◆ fEnableCheck75u

int If_Par_t_::fEnableCheck75u

Definition at line 139 of file if.h.

◆ fEnableStructN

int If_Par_t_::fEnableStructN

Definition at line 155 of file if.h.

◆ fExpRed

int If_Par_t_::fExpRed

Definition at line 120 of file if.h.

◆ fFancy

int If_Par_t_::fFancy

Definition at line 119 of file if.h.

◆ fHashMapping

int If_Par_t_::fHashMapping

Definition at line 149 of file if.h.

◆ FinalArea

float If_Par_t_::FinalArea

Definition at line 174 of file if.h.

◆ FinalDelay

float If_Par_t_::FinalDelay

Definition at line 173 of file if.h.

◆ fLatchPaths

int If_Par_t_::fLatchPaths

Definition at line 121 of file if.h.

◆ fLiftLeaves

int If_Par_t_::fLiftLeaves

Definition at line 170 of file if.h.

◆ fLut6Filter

int If_Par_t_::fLut6Filter

Definition at line 122 of file if.h.

◆ fPower

int If_Par_t_::fPower

Definition at line 124 of file if.h.

◆ fPreprocess

int If_Par_t_::fPreprocess

Definition at line 117 of file if.h.

◆ fSkipCutFilter

int If_Par_t_::fSkipCutFilter

Definition at line 158 of file if.h.

◆ fTruth

int If_Par_t_::fTruth

Definition at line 160 of file if.h.

◆ fUse34Spec

int If_Par_t_::fUse34Spec

Definition at line 132 of file if.h.

◆ fUseAndVars

int If_Par_t_::fUseAndVars

Definition at line 143 of file if.h.

◆ fUseBat

int If_Par_t_::fUseBat

Definition at line 133 of file if.h.

◆ fUseBdds

int If_Par_t_::fUseBdds

Definition at line 162 of file if.h.

◆ fUseBuffs

int If_Par_t_::fUseBuffs

Definition at line 134 of file if.h.

◆ fUseCheck1

int If_Par_t_::fUseCheck1

Definition at line 145 of file if.h.

◆ fUseCheck2

int If_Par_t_::fUseCheck2

Definition at line 146 of file if.h.

◆ fUseCnfs

int If_Par_t_::fUseCnfs

Definition at line 164 of file if.h.

◆ fUseCoAttrs

int If_Par_t_::fUseCoAttrs

Definition at line 171 of file if.h.

◆ fUseCofVars

int If_Par_t_::fUseCofVars

Definition at line 142 of file if.h.

◆ fUseDsd

int If_Par_t_::fUseDsd

Definition at line 140 of file if.h.

◆ fUseDsdTune

int If_Par_t_::fUseDsdTune

Definition at line 141 of file if.h.

◆ fUseMv

int If_Par_t_::fUseMv

Definition at line 165 of file if.h.

◆ fUsePerm

int If_Par_t_::fUsePerm

Definition at line 161 of file if.h.

◆ fUserLut2D

int If_Par_t_::fUserLut2D

Definition at line 151 of file if.h.

◆ fUserLutDec

int If_Par_t_::fUserLutDec

Definition at line 150 of file if.h.

◆ fUserRecLib

int If_Par_t_::fUserRecLib

Definition at line 129 of file if.h.

◆ fUserSesLib

int If_Par_t_::fUserSesLib

Definition at line 130 of file if.h.

◆ fUseSops

int If_Par_t_::fUseSops

Definition at line 163 of file if.h.

◆ fUseTtPerm

int If_Par_t_::fUseTtPerm

Definition at line 144 of file if.h.

◆ fVerbose

int If_Par_t_::fVerbose

Definition at line 152 of file if.h.

◆ fVerboseTrace

int If_Par_t_::fVerboseTrace

Definition at line 153 of file if.h.

◆ nAndArea

int If_Par_t_::nAndArea

Definition at line 115 of file if.h.

◆ nAndDelay

int If_Par_t_::nAndDelay

Definition at line 114 of file if.h.

◆ nAreaIters

int If_Par_t_::nAreaIters

Definition at line 107 of file if.h.

◆ nCutsMax

int If_Par_t_::nCutsMax

Definition at line 105 of file if.h.

◆ nFlowIters

int If_Par_t_::nFlowIters

Definition at line 106 of file if.h.

◆ nGateSize

int If_Par_t_::nGateSize

Definition at line 108 of file if.h.

◆ nLatchesCi

int If_Par_t_::nLatchesCi

Definition at line 166 of file if.h.

◆ nLatchesCiBox

int If_Par_t_::nLatchesCiBox

Definition at line 168 of file if.h.

◆ nLatchesCo

int If_Par_t_::nLatchesCo

Definition at line 167 of file if.h.

◆ nLatchesCoBox

int If_Par_t_::nLatchesCoBox

Definition at line 169 of file if.h.

◆ nLutDecSize

int If_Par_t_::nLutDecSize

Definition at line 116 of file if.h.

◆ nLutSize

int If_Par_t_::nLutSize

Definition at line 104 of file if.h.

◆ nNonDecLimit

int If_Par_t_::nNonDecLimit

Definition at line 109 of file if.h.

◆ nRelaxRatio

int If_Par_t_::nRelaxRatio

Definition at line 112 of file if.h.

◆ nStructType

int If_Par_t_::nStructType

Definition at line 113 of file if.h.

◆ pFuncCell

int(* If_Par_t_::pFuncCell) (If_Man_t *, unsigned *, int, int, char *)

Definition at line 180 of file if.h.

◆ pFuncCell2

int(* If_Par_t_::pFuncCell2) (If_Man_t *, word *, int, Vec_Str_t *, char **)

Definition at line 181 of file if.h.

◆ pFuncCost

int(* If_Par_t_::pFuncCost) (If_Man_t *, If_Cut_t *)

Definition at line 178 of file if.h.

◆ pFuncUser

int(* If_Par_t_::pFuncUser) (If_Man_t *, If_Obj_t *, If_Cut_t *)

Definition at line 179 of file if.h.

◆ pFuncWrite

int(* If_Par_t_::pFuncWrite) (If_Man_t *)

Definition at line 182 of file if.h.

◆ pLutLib

If_LibLut_t* If_Par_t_::pLutLib

Definition at line 175 of file if.h.

◆ pLutStruct

char* If_Par_t_::pLutStruct

Definition at line 154 of file if.h.

◆ pReoMan

void* If_Par_t_::pReoMan

Definition at line 183 of file if.h.

◆ pTimesArr

float* If_Par_t_::pTimesArr

Definition at line 176 of file if.h.

◆ pTimesReq

float* If_Par_t_::pTimesReq

Definition at line 177 of file if.h.

◆ WireDelay

float If_Par_t_::WireDelay

Definition at line 156 of file if.h.


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