Go to the source code of this file.
Defines | |
#define | ABC_NUM_STEPS 10 |
#define ABC_NUM_STEPS 10 |
CFile****************************************************************
FileName [abcInt.h]
SystemName [ABC: Logic synthesis and verification system.]
PackageName [Network and node package.]
Synopsis [Internal declarations.]
Author [Alan Mishchenko]
Affiliation [UC Berkeley]
Date [Ver. 1.0. Started - June 20, 2005.]
Revision [
] INCLUDES /// PARAMETERS ///