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

#include <sbd.h>

Public Attributes

int nLutSize
 
int nLutNum
 
int nCutSize
 
int nCutNum
 
int nTfoLevels
 
int nTfoFanMax
 
int nWinSizeMax
 
int nBTLimit
 
int nWords
 
int fMapping
 
int fMoreCuts
 
int fFindDivs
 
int fUsePath
 
int fArea
 
int fCover
 
int fVerbose
 
int fVeryVerbose
 

Detailed Description

Definition at line 39 of file sbd.h.

Member Data Documentation

◆ fArea

int Sbd_Par_t_::fArea

Definition at line 54 of file sbd.h.

◆ fCover

int Sbd_Par_t_::fCover

Definition at line 55 of file sbd.h.

◆ fFindDivs

int Sbd_Par_t_::fFindDivs

Definition at line 52 of file sbd.h.

◆ fMapping

int Sbd_Par_t_::fMapping

Definition at line 50 of file sbd.h.

◆ fMoreCuts

int Sbd_Par_t_::fMoreCuts

Definition at line 51 of file sbd.h.

◆ fUsePath

int Sbd_Par_t_::fUsePath

Definition at line 53 of file sbd.h.

◆ fVerbose

int Sbd_Par_t_::fVerbose

Definition at line 56 of file sbd.h.

◆ fVeryVerbose

int Sbd_Par_t_::fVeryVerbose

Definition at line 57 of file sbd.h.

◆ nBTLimit

int Sbd_Par_t_::nBTLimit

Definition at line 48 of file sbd.h.

◆ nCutNum

int Sbd_Par_t_::nCutNum

Definition at line 44 of file sbd.h.

◆ nCutSize

int Sbd_Par_t_::nCutSize

Definition at line 43 of file sbd.h.

◆ nLutNum

int Sbd_Par_t_::nLutNum

Definition at line 42 of file sbd.h.

◆ nLutSize

int Sbd_Par_t_::nLutSize

Definition at line 41 of file sbd.h.

◆ nTfoFanMax

int Sbd_Par_t_::nTfoFanMax

Definition at line 46 of file sbd.h.

◆ nTfoLevels

int Sbd_Par_t_::nTfoLevels

Definition at line 45 of file sbd.h.

◆ nWinSizeMax

int Sbd_Par_t_::nWinSizeMax

Definition at line 47 of file sbd.h.

◆ nWords

int Sbd_Par_t_::nWords

Definition at line 49 of file sbd.h.


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