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

Public Attributes

Gia_Man_tpGia
 
Tim_Man_tpManTim
 
Jf_Par_tpPars
 
Vec_Mem_tvTtMem
 
Vec_Wec_tvTt2Match
 
Mio_Cell2_tpCells
 
int nCells
 
Nf_Obj_tpNfObjs
 
Vec_Ptr_t vPages
 
Vec_Int_t vCutSets
 
Vec_Int_t vMapRefs
 
Vec_Flt_t vFlowRefs
 
Vec_Int_t vRequired
 
Vec_Flt_t vCutFlows
 
Vec_Int_t vCutDelays
 
Vec_Int_t vBackup
 
int iCur
 
int Iter
 
int fUseEla
 
int nInvs
 
int InvDelayI
 
word InvAreaW
 
float InvAreaF
 
abctime clkStart
 
double CutCount [6]
 
int nCutUseAll
 

Detailed Description

Definition at line 87 of file giaNf.c.

Member Data Documentation

◆ clkStart

abctime Nf_Man_t_::clkStart

Definition at line 116 of file giaNf.c.

◆ CutCount

double Nf_Man_t_::CutCount[6]

Definition at line 117 of file giaNf.c.

◆ fUseEla

int Nf_Man_t_::fUseEla

Definition at line 110 of file giaNf.c.

◆ iCur

int Nf_Man_t_::iCur

Definition at line 108 of file giaNf.c.

◆ InvAreaF

float Nf_Man_t_::InvAreaF

Definition at line 114 of file giaNf.c.

◆ InvAreaW

word Nf_Man_t_::InvAreaW

Definition at line 113 of file giaNf.c.

◆ InvDelayI

int Nf_Man_t_::InvDelayI

Definition at line 112 of file giaNf.c.

◆ Iter

int Nf_Man_t_::Iter

Definition at line 109 of file giaNf.c.

◆ nCells

int Nf_Man_t_::nCells

Definition at line 97 of file giaNf.c.

◆ nCutUseAll

int Nf_Man_t_::nCutUseAll

Definition at line 118 of file giaNf.c.

◆ nInvs

int Nf_Man_t_::nInvs

Definition at line 111 of file giaNf.c.

◆ pCells

Mio_Cell2_t* Nf_Man_t_::pCells

Definition at line 96 of file giaNf.c.

◆ pGia

Gia_Man_t* Nf_Man_t_::pGia

Definition at line 90 of file giaNf.c.

◆ pManTim

Tim_Man_t* Nf_Man_t_::pManTim

Definition at line 91 of file giaNf.c.

◆ pNfObjs

Nf_Obj_t* Nf_Man_t_::pNfObjs

Definition at line 99 of file giaNf.c.

◆ pPars

Jf_Par_t* Nf_Man_t_::pPars

Definition at line 92 of file giaNf.c.

◆ vBackup

Vec_Int_t Nf_Man_t_::vBackup

Definition at line 107 of file giaNf.c.

◆ vCutDelays

Vec_Int_t Nf_Man_t_::vCutDelays

Definition at line 106 of file giaNf.c.

◆ vCutFlows

Vec_Flt_t Nf_Man_t_::vCutFlows

Definition at line 105 of file giaNf.c.

◆ vCutSets

Vec_Int_t Nf_Man_t_::vCutSets

Definition at line 101 of file giaNf.c.

◆ vFlowRefs

Vec_Flt_t Nf_Man_t_::vFlowRefs

Definition at line 103 of file giaNf.c.

◆ vMapRefs

Vec_Int_t Nf_Man_t_::vMapRefs

Definition at line 102 of file giaNf.c.

◆ vPages

Vec_Ptr_t Nf_Man_t_::vPages

Definition at line 100 of file giaNf.c.

◆ vRequired

Vec_Int_t Nf_Man_t_::vRequired

Definition at line 104 of file giaNf.c.

◆ vTt2Match

Vec_Wec_t* Nf_Man_t_::vTt2Match

Definition at line 95 of file giaNf.c.

◆ vTtMem

Vec_Mem_t* Nf_Man_t_::vTtMem

Definition at line 94 of file giaNf.c.


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