Go to the source code of this file.
Defines | |
#define | MAXINPUTS 1024 |
#define | MAXOUTPUTS 1024 |
#define MAXINPUTS 1024 |
CFile****************************************************************
FileName [cas.h]
SystemName [ABC: Logic synthesis and verification system.]
PackageName [CASCADE: Decomposition of shared BDDs into a LUT cascade.]
Synopsis [External declarations.]
Author [Alan Mishchenko]
Affiliation [UC Berkeley]
Date [Ver. 1.0. Started - June 20, 2005.]
Revision [
] INCLUDES /// PARAMETERS ///