src/bdd/cas/cas.h File Reference

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Defines

#define MAXINPUTS   1024
#define MAXOUTPUTS   1024

Define Documentation

#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 [

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

] INCLUDES /// PARAMETERS ///

Definition at line 36 of file cas.h.

#define MAXOUTPUTS   1024

Definition at line 37 of file cas.h.


Generated on Tue Jan 5 12:18:51 2010 for abc70930 by  doxygen 1.6.1