Io_MvMod_t_ Struct Reference

Data Fields
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.

Field Documentation

int Io_MvMod_t_::fBlackBox

Definition at line 64 of file ioReadBlifMv.c.

Io_MvMan_t* Io_MvMod_t_::pMan

Definition at line 69 of file ioReadBlifMv.c.

char* Io_MvMod_t_::pName

Definition at line 51 of file ioReadBlifMv.c.

Abc_Ntk_t* Io_MvMod_t_::pNtk

Definition at line 66 of file ioReadBlifMv.c.

Abc_Obj_t* Io_MvMod_t_::pResetLatch

Definition at line 67 of file ioReadBlifMv.c.

Vec_Ptr_t* Io_MvMod_t_::vConstrs

Definition at line 62 of file ioReadBlifMv.c.

Vec_Ptr_t* Io_MvMod_t_::vFlops

Definition at line 55 of file ioReadBlifMv.c.

Vec_Ptr_t* Io_MvMod_t_::vInputs

Definition at line 52 of file ioReadBlifMv.c.

Vec_Ptr_t* Io_MvMod_t_::vLatches

Definition at line 54 of file ioReadBlifMv.c.

Vec_Ptr_t* Io_MvMod_t_::vLtlProperties

Definition at line 63 of file ioReadBlifMv.c.

Vec_Ptr_t* Io_MvMod_t_::vMvs

Definition at line 61 of file ioReadBlifMv.c.

Vec_Ptr_t* Io_MvMod_t_::vNames

Definition at line 57 of file ioReadBlifMv.c.

Vec_Ptr_t* Io_MvMod_t_::vOnehots

Definition at line 60 of file ioReadBlifMv.c.

Vec_Ptr_t* Io_MvMod_t_::vOutputs

Definition at line 53 of file ioReadBlifMv.c.

Vec_Ptr_t* Io_MvMod_t_::vResets

Definition at line 56 of file ioReadBlifMv.c.

Vec_Ptr_t* Io_MvMod_t_::vShorts

Definition at line 59 of file ioReadBlifMv.c.

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:

• ioReadBlifMv.c