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

Public Attributes

int nLutSize
 
int nCutSize
 
int nCutNum
 
int fVerbose
 
Gia_Man_tpGia
 
Vec_Int_tvMirrors
 
Vec_Int_tvLutLevs
 
Vec_Int_tvLevs
 
Vec_Int_tvRefs
 
Sbd_Cut_t pCuts [SBD_MAX_CUTNUM]
 
Sbd_Cut_tppCuts [SBD_MAX_CUTNUM]
 
abctime clkStart
 
Vec_Int_tvCut0
 
Vec_Int_tvCut
 
Vec_Int_tvCutTop
 
Vec_Int_tvCutBot
 

Detailed Description

Definition at line 49 of file sbdCut2.c.

Member Data Documentation

◆ clkStart

abctime Sbd_Srv_t_::clkStart

Definition at line 62 of file sbdCut2.c.

◆ fVerbose

int Sbd_Srv_t_::fVerbose

Definition at line 54 of file sbdCut2.c.

◆ nCutNum

int Sbd_Srv_t_::nCutNum

Definition at line 53 of file sbdCut2.c.

◆ nCutSize

int Sbd_Srv_t_::nCutSize

Definition at line 52 of file sbdCut2.c.

◆ nLutSize

int Sbd_Srv_t_::nLutSize

Definition at line 51 of file sbdCut2.c.

◆ pCuts

Sbd_Cut_t Sbd_Srv_t_::pCuts[SBD_MAX_CUTNUM]

Definition at line 60 of file sbdCut2.c.

◆ pGia

Gia_Man_t* Sbd_Srv_t_::pGia

Definition at line 55 of file sbdCut2.c.

◆ ppCuts

Sbd_Cut_t* Sbd_Srv_t_::ppCuts[SBD_MAX_CUTNUM]

Definition at line 61 of file sbdCut2.c.

◆ vCut

Vec_Int_t* Sbd_Srv_t_::vCut

Definition at line 64 of file sbdCut2.c.

◆ vCut0

Vec_Int_t* Sbd_Srv_t_::vCut0

Definition at line 63 of file sbdCut2.c.

◆ vCutBot

Vec_Int_t* Sbd_Srv_t_::vCutBot

Definition at line 66 of file sbdCut2.c.

◆ vCutTop

Vec_Int_t* Sbd_Srv_t_::vCutTop

Definition at line 65 of file sbdCut2.c.

◆ vLevs

Vec_Int_t* Sbd_Srv_t_::vLevs

Definition at line 58 of file sbdCut2.c.

◆ vLutLevs

Vec_Int_t* Sbd_Srv_t_::vLutLevs

Definition at line 57 of file sbdCut2.c.

◆ vMirrors

Vec_Int_t* Sbd_Srv_t_::vMirrors

Definition at line 56 of file sbdCut2.c.

◆ vRefs

Vec_Int_t* Sbd_Srv_t_::vRefs

Definition at line 59 of file sbdCut2.c.


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