
Go to the source code of this file.
Classes | |
| struct | Abc_RData_t_ |
Typedefs | |
| typedef typedefABC_NAMESPACE_HEADER_START struct Abc_RData_t_ | Abc_RData_t |
| INCLUDES ///. | |
Functions | |
| void | Extra_BitMatrixTransposeP (Vec_Wrd_t *vSimsIn, int nWordsIn, Vec_Wrd_t *vSimsOut, int nWordsOut) |
| FUNCTION DECLARATIONS ///. | |
| typedef typedefABC_NAMESPACE_HEADER_START struct Abc_RData_t_ Abc_RData_t |
INCLUDES ///.
CFile****************************************************************
FileName [ioResub.h]
SystemName [ABC: Logic synthesis and verification system.]
PackageName [Command processing package.]
Synopsis [External declarations.]
Author [Alan Mishchenko]
Affiliation [UC Berkeley]
Date [Ver. 1.0. Started - June 20, 2005.]
Revision [
] PARAMETERS /// BASIC TYPES ///
|
extern |
FUNCTION DECLARATIONS ///.
FUNCTION DECLARATIONS ///.
CFile****************************************************************
FileName [giaDecs.c]
SystemName [ABC: Logic synthesis and verification system.]
PackageName [Scalable AIG package.]
Synopsis [Calling various decomposition engines.]
Author [Alan Mishchenko]
Affiliation [UC Berkeley]
Date [Ver. 1.0. Started - June 20, 2005.]
Revision [
]
Definition at line 2652 of file extraUtilMisc.c.
