|
ABC: A System for Sequential Synthesis and Verification
|
|
|
ABC: A System for Sequential Synthesis and Verification
|
|
DECLARATIONS ///. More...
Public Attributes | |
| int | Next |
| int | Area |
| char | pFansT [SFM_SUPP_MAX+1] |
| char | pFansB [SFM_SUPP_MAX+1] |
DECLARATIONS ///.
CFile****************************************************************
FileName [sfmLib.c]
SystemName [ABC: Logic synthesis and verification system.]
PackageName [SAT-based optimization using internal don't-cares.]
Synopsis [Preprocessing genlib library.]
Author [Alan Mishchenko]
Affiliation [UC Berkeley]
Date [Ver. 1.0. Started - June 20, 2005.]
Revision [
]
| char Sfm_Fun_t_::pFansB[SFM_SUPP_MAX+1] |
| char Sfm_Fun_t_::pFansT[SFM_SUPP_MAX+1] |