ABC: A System for Sequential Synthesis and Verification
 
Loading...
Searching...
No Matches
Public Attributes | List of all members
Saig_Tsim_t_ Struct Reference
Collaboration diagram for Saig_Tsim_t_:
Collaboration graph
[legend]

Public Attributes

Aig_Man_t * pAig
 
int nWords
 
Vec_Ptr_t * vStates
 
Aig_MmFixed_t * pMem
 
int nPrefix
 
int nCycle
 
int nNonXRegs
 
Vec_Int_t * vNonXRegs
 
unsigned ** pBins
 
int nBins
 

Detailed Description

Definition at line 104 of file saigPhase.c.

Member Data Documentation

◆ nBins

int Saig_Tsim_t_::nBins

Definition at line 117 of file saigPhase.c.

◆ nCycle

int Saig_Tsim_t_::nCycle

Definition at line 112 of file saigPhase.c.

◆ nNonXRegs

int Saig_Tsim_t_::nNonXRegs

Definition at line 113 of file saigPhase.c.

◆ nPrefix

int Saig_Tsim_t_::nPrefix

Definition at line 111 of file saigPhase.c.

◆ nWords

int Saig_Tsim_t_::nWords

Definition at line 107 of file saigPhase.c.

◆ pAig

Aig_Man_t* Saig_Tsim_t_::pAig

Definition at line 106 of file saigPhase.c.

◆ pBins

unsigned** Saig_Tsim_t_::pBins

Definition at line 116 of file saigPhase.c.

◆ pMem

Aig_MmFixed_t* Saig_Tsim_t_::pMem

Definition at line 110 of file saigPhase.c.

◆ vNonXRegs

Vec_Int_t* Saig_Tsim_t_::vNonXRegs

Definition at line 114 of file saigPhase.c.

◆ vStates

Vec_Ptr_t* Saig_Tsim_t_::vStates

Definition at line 109 of file saigPhase.c.

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