|
ABC: A System for Sequential Synthesis and Verification
|
|
|
ABC: A System for Sequential Synthesis and Verification
|
|
#include <stdio.h>#include <stdlib.h>#include <string.h>#include <assert.h>#include "misc/vec/vec.h"#include "misc/mem/mem.h"#include "misc/st/st.h"#include "mio.h"
Go to the source code of this file.
Classes | |
| struct | Mio_LibraryStruct_t_ |
| STRUCTURE DEFINITIONS ///. More... | |
| struct | Mio_GateStruct_t_ |
| struct | Mio_PinStruct_t_ |
Macros | |
| #define | MIO_STRING_GATE "GATE" |
| INCLUDES ///. | |
| #define | MIO_STRING_LATCH "LATCH" |
| #define | MIO_STRING_PIN "PIN" |
| #define | MIO_STRING_NONINV "NONINV" |
| #define | MIO_STRING_INV "INV" |
| #define | MIO_STRING_UNKNOWN "UNKNOWN" |
| #define | MIO_STRING_CONST0 "CONST0" |
| #define | MIO_STRING_CONST1 "CONST1" |
| #define | MIO_MASK(n) |
| #define | MIO_FULL (~((unsigned)0)) |
| #define MIO_STRING_GATE "GATE" |
INCLUDES ///.
CFile****************************************************************
FileName [mioInt.h]
PackageName [MVSIS 2.0: Multi-valued logic synthesis system.]
Synopsis [File reading/writing for technology mapping.]
Author [MVSIS Group]
Affiliation [UC Berkeley]
Date [Ver. 1.0. Started - September 8, 2003.]
Revision [
] PARAMETERS ///