abc-master
 All Data Structures Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros
cas.h File Reference

Go to the source code of this file.

Macros

#define MAXINPUTS   1024
 INCLUDES ///. More...
 
#define MAXOUTPUTS   1024
 

Macro Definition Documentation

#define MAXINPUTS   1024

INCLUDES ///.

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 [

Id:
cas.h,v 1.00 2005/06/20 00:00:00 alanmi Exp

]PARAMETERS ///

Definition at line 38 of file cas.h.

#define MAXOUTPUTS   1024

Definition at line 39 of file cas.h.