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

#include <gia.h>

Collaboration diagram for Gia_ManSim_t_:
Collaboration graph
[legend]

Public Attributes

Gia_Man_t * pAig
 
Gia_ParSim_t * pPars
 
int nWords
 
Vec_Int_t * vCis2Ids
 
Vec_Int_t * vConsts
 
unsigned * pDataSim
 
unsigned * pDataSimCis
 
unsigned * pDataSimCos
 

Detailed Description

Definition at line 320 of file gia.h.

Member Data Documentation

◆ nWords

int Gia_ManSim_t_::nWords

Definition at line 324 of file gia.h.

◆ pAig

Gia_Man_t* Gia_ManSim_t_::pAig

Definition at line 322 of file gia.h.

◆ pDataSim

unsigned* Gia_ManSim_t_::pDataSim

Definition at line 328 of file gia.h.

◆ pDataSimCis

unsigned* Gia_ManSim_t_::pDataSimCis

Definition at line 329 of file gia.h.

◆ pDataSimCos

unsigned* Gia_ManSim_t_::pDataSimCos

Definition at line 330 of file gia.h.

◆ pPars

Gia_ParSim_t* Gia_ManSim_t_::pPars

Definition at line 323 of file gia.h.

◆ vCis2Ids

Vec_Int_t* Gia_ManSim_t_::vCis2Ids

Definition at line 325 of file gia.h.

◆ vConsts

Vec_Int_t* Gia_ManSim_t_::vConsts

Definition at line 326 of file gia.h.

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