ABC: A System for Sequential Synthesis and Verification
 
Loading...
Searching...
No Matches
Public Attributes | List of all members
Fsim_ParSim_t_ Struct Reference

#include <fsim.h>

Public Attributes

int nWords
 
int nIters
 
int TimeLimit
 
int fCheckMiter
 
int fVerbose
 
int fCompressAig
 

Detailed Description

Definition at line 46 of file fsim.h.

Member Data Documentation

◆ fCheckMiter

int Fsim_ParSim_t_::fCheckMiter

Definition at line 52 of file fsim.h.

◆ fCompressAig

int Fsim_ParSim_t_::fCompressAig

Definition at line 55 of file fsim.h.

◆ fVerbose

int Fsim_ParSim_t_::fVerbose

Definition at line 53 of file fsim.h.

◆ nIters

int Fsim_ParSim_t_::nIters

Definition at line 50 of file fsim.h.

◆ nWords

int Fsim_ParSim_t_::nWords

Definition at line 49 of file fsim.h.

◆ TimeLimit

int Fsim_ParSim_t_::TimeLimit

Definition at line 51 of file fsim.h.

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