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

Public Attributes

char * pName
 
Vec_Ptr_t * vInputs
 
Vec_Ptr_t * vOutputs
 
Vec_Ptr_t * vLatches
 
Vec_Ptr_t * vFlops
 
Vec_Ptr_t * vResets
 
Vec_Ptr_t * vNames
 
Vec_Ptr_t * vSubckts
 
Vec_Ptr_t * vShorts
 
Vec_Ptr_t * vOnehots
 
Vec_Ptr_t * vMvs
 
Vec_Ptr_t * vConstrs
 
Vec_Ptr_t * vLtlProperties
 
int fBlackBox
 
Abc_Ntk_t * pNtk
 
Abc_Obj_t * pResetLatch
 
Io_MvMan_t * pMan
 

Detailed Description

Definition at line 48 of file ioReadBlifMv.c.

Member Data Documentation

◆ fBlackBox

int Io_MvMod_t_::fBlackBox

Definition at line 64 of file ioReadBlifMv.c.

◆ pMan

Io_MvMan_t* Io_MvMod_t_::pMan

Definition at line 69 of file ioReadBlifMv.c.

◆ pName

char* Io_MvMod_t_::pName

Definition at line 51 of file ioReadBlifMv.c.

◆ pNtk

Abc_Ntk_t* Io_MvMod_t_::pNtk

Definition at line 66 of file ioReadBlifMv.c.

◆ pResetLatch

Abc_Obj_t* Io_MvMod_t_::pResetLatch

Definition at line 67 of file ioReadBlifMv.c.

◆ vConstrs

Vec_Ptr_t* Io_MvMod_t_::vConstrs

Definition at line 62 of file ioReadBlifMv.c.

◆ vFlops

Vec_Ptr_t* Io_MvMod_t_::vFlops

Definition at line 55 of file ioReadBlifMv.c.

◆ vInputs

Vec_Ptr_t* Io_MvMod_t_::vInputs

Definition at line 52 of file ioReadBlifMv.c.

◆ vLatches

Vec_Ptr_t* Io_MvMod_t_::vLatches

Definition at line 54 of file ioReadBlifMv.c.

◆ vLtlProperties

Vec_Ptr_t* Io_MvMod_t_::vLtlProperties

Definition at line 63 of file ioReadBlifMv.c.

◆ vMvs

Vec_Ptr_t* Io_MvMod_t_::vMvs

Definition at line 61 of file ioReadBlifMv.c.

◆ vNames

Vec_Ptr_t* Io_MvMod_t_::vNames

Definition at line 57 of file ioReadBlifMv.c.

◆ vOnehots

Vec_Ptr_t* Io_MvMod_t_::vOnehots

Definition at line 60 of file ioReadBlifMv.c.

◆ vOutputs

Vec_Ptr_t* Io_MvMod_t_::vOutputs

Definition at line 53 of file ioReadBlifMv.c.

◆ vResets

Vec_Ptr_t* Io_MvMod_t_::vResets

Definition at line 56 of file ioReadBlifMv.c.

◆ vShorts

Vec_Ptr_t* Io_MvMod_t_::vShorts

Definition at line 59 of file ioReadBlifMv.c.

◆ vSubckts

Vec_Ptr_t* Io_MvMod_t_::vSubckts

Definition at line 58 of file ioReadBlifMv.c.

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