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

Public Attributes

int fBlifMv
 
int fUseReset
 
char * pFileName
 
char * pBuffer
 
Vec_Ptr_t * vLines
 
Abc_Des_t * pDesign
 
int nNDnodes
 
Vec_Ptr_t * vModels
 
Io_MvMod_t * pLatest
 
Vec_Ptr_t * vTokens
 
Vec_Ptr_t * vTokens2
 
Vec_Str_t * vFunc
 
char sError [512]
 
int nTablesRead
 
int nTablesLeft
 

Detailed Description

Definition at line 72 of file ioReadBlifMv.c.

Member Data Documentation

◆ fBlifMv

int Io_MvMan_t_::fBlifMv

Definition at line 75 of file ioReadBlifMv.c.

◆ fUseReset

int Io_MvMan_t_::fUseReset

Definition at line 76 of file ioReadBlifMv.c.

◆ nNDnodes

int Io_MvMan_t_::nNDnodes

Definition at line 82 of file ioReadBlifMv.c.

◆ nTablesLeft

int Io_MvMan_t_::nTablesLeft

Definition at line 94 of file ioReadBlifMv.c.

◆ nTablesRead

int Io_MvMan_t_::nTablesRead

Definition at line 93 of file ioReadBlifMv.c.

◆ pBuffer

char* Io_MvMan_t_::pBuffer

Definition at line 78 of file ioReadBlifMv.c.

◆ pDesign

Abc_Des_t* Io_MvMan_t_::pDesign

Definition at line 81 of file ioReadBlifMv.c.

◆ pFileName

char* Io_MvMan_t_::pFileName

Definition at line 77 of file ioReadBlifMv.c.

◆ pLatest

Io_MvMod_t* Io_MvMan_t_::pLatest

Definition at line 85 of file ioReadBlifMv.c.

◆ sError

char Io_MvMan_t_::sError[512]

Definition at line 91 of file ioReadBlifMv.c.

◆ vFunc

Vec_Str_t* Io_MvMan_t_::vFunc

Definition at line 89 of file ioReadBlifMv.c.

◆ vLines

Vec_Ptr_t* Io_MvMan_t_::vLines

Definition at line 79 of file ioReadBlifMv.c.

◆ vModels

Vec_Ptr_t* Io_MvMan_t_::vModels

Definition at line 84 of file ioReadBlifMv.c.

◆ vTokens

Vec_Ptr_t* Io_MvMan_t_::vTokens

Definition at line 87 of file ioReadBlifMv.c.

◆ vTokens2

Vec_Ptr_t* Io_MvMan_t_::vTokens2

Definition at line 88 of file ioReadBlifMv.c.

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