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

DECLARATIONS ///. More...

Collaboration diagram for Txs3_Man_t_:
Collaboration graph
[legend]

Public Attributes

Gia_Man_t * pGia
 
Vec_Int_t * vPrio
 
Vec_Int_t * vCiObjs
 
Vec_Int_t * vFosPre
 
Vec_Int_t * vFosAbs
 
Vec_Int_t * vCoObjs
 
Vec_Int_t * vCiVals
 
Vec_Int_t * vCoVals
 
Vec_Int_t * vNodes
 
Vec_Int_t * vTemp
 
Vec_Int_t * vPiLits
 
Vec_Int_t * vFfLits
 
Pdr_Man_t * pMan
 
int nPiLits
 

Detailed Description

DECLARATIONS ///.

CFile****************************************************************

FileName [pdrTsim3.c]

SystemName [ABC: Logic synthesis and verification system.]

PackageName [Property driven reachability.]

Synopsis [Improved ternary simulation.]

Author [Alan Mishchenko]

Affiliation [UC Berkeley]

Date [Ver. 1.0. Started - November 20, 2010.]

Revision [

Id
pdrTsim3.c,v 1.00 2010/11/20 00:00:00 alanmi Exp

]

Definition at line 30 of file pdrTsim3.c.

Member Data Documentation

◆ nPiLits

int Txs3_Man_t_::nPiLits

Definition at line 45 of file pdrTsim3.c.

◆ pGia

Gia_Man_t* Txs3_Man_t_::pGia

Definition at line 32 of file pdrTsim3.c.

◆ pMan

Pdr_Man_t* Txs3_Man_t_::pMan

Definition at line 44 of file pdrTsim3.c.

◆ vCiObjs

Vec_Int_t* Txs3_Man_t_::vCiObjs

Definition at line 34 of file pdrTsim3.c.

◆ vCiVals

Vec_Int_t* Txs3_Man_t_::vCiVals

Definition at line 38 of file pdrTsim3.c.

◆ vCoObjs

Vec_Int_t* Txs3_Man_t_::vCoObjs

Definition at line 37 of file pdrTsim3.c.

◆ vCoVals

Vec_Int_t* Txs3_Man_t_::vCoVals

Definition at line 39 of file pdrTsim3.c.

◆ vFfLits

Vec_Int_t* Txs3_Man_t_::vFfLits

Definition at line 43 of file pdrTsim3.c.

◆ vFosAbs

Vec_Int_t* Txs3_Man_t_::vFosAbs

Definition at line 36 of file pdrTsim3.c.

◆ vFosPre

Vec_Int_t* Txs3_Man_t_::vFosPre

Definition at line 35 of file pdrTsim3.c.

◆ vNodes

Vec_Int_t* Txs3_Man_t_::vNodes

Definition at line 40 of file pdrTsim3.c.

◆ vPiLits

Vec_Int_t* Txs3_Man_t_::vPiLits

Definition at line 42 of file pdrTsim3.c.

◆ vPrio

Vec_Int_t* Txs3_Man_t_::vPrio

Definition at line 33 of file pdrTsim3.c.

◆ vTemp

Vec_Int_t* Txs3_Man_t_::vTemp

Definition at line 41 of file pdrTsim3.c.

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