|
ABC: A System for Sequential Synthesis and Verification
|
|
|
ABC: A System for Sequential Synthesis and Verification
|
|
#include <stdio.h>
Go to the source code of this file.
Classes | |
| struct | Vec_Att_t_ |
Typedefs | |
| typedef struct Vec_Att_t_ | Vec_Att_t |
| BASIC TYPES ///. | |
Enumerations | |
| enum | Vec_AttrType_t { VEC_ATTR_NONE = 0 , VEC_ATTR_COPY , VEC_ATTR_LOCAL_AIG , VEC_ATTR_LOCAL_SOP , VEC_ATTR_LOCAL_BDD , VEC_ATTR_GLOBAL_AIG , VEC_ATTR_GLOBAL_SOP , VEC_ATTR_GLOBAL_BDD , VEC_ATTR_LEVEL , VEC_ATTR_LEVEL_REV , VEC_ATTR_RETIME_LAG , VEC_ATTR_FRAIG , VEC_ATTR_MVVAR , VEC_ATTR_DATA1 , VEC_ATTR_DATA2 , VEC_ATTR_TOTAL_NUM } |
| INCLUDES ///. More... | |
| typedef struct Vec_Att_t_ Vec_Att_t |
| enum Vec_AttrType_t |
INCLUDES ///.
CFile****************************************************************
FileName [vecAtt.h]
SystemName [ABC: Logic synthesis and verification system.]
PackageName [Resizable arrays.]
Synopsis [Array of user-specified attiributes.]
Author [Alan Mishchenko]
Affiliation [UC Berkeley]
Date [Ver. 1.0. Started - June 20, 2005.]
Revision [
] PARAMETERS ///
Definition at line 39 of file vecAtt.h.