source: vis_dev/glu-2.3/src/cuBdd/doc/node6.html

Last change on this file was 13, checked in by cecile, 14 years ago

library glu 2.3
File size: 4.2 KB
RevLine 
[13]1<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 3.2 Final//EN">
2
3<!--Converted with LaTeX2HTML 2K.1beta (1.47)
4original version by:  Nikos Drakos, CBLU, University of Leeds
5* revised and updated by:  Marcus Hennecke, Ross Moore, Herb Swan
6* with significant contributions from:
7  Jens Lippmann, Marek Rouchal, Martin Wilck and others -->
8<HTML>
9<HEAD>
10<TITLE>Acknowledgments</TITLE>
11<META NAME="description" CONTENT="Acknowledgments">
12<META NAME="keywords" CONTENT="cuddIntro">
13<META NAME="resource-type" CONTENT="document">
14<META NAME="distribution" CONTENT="global">
15
16<META HTTP-EQUIV="Content-Type" CONTENT="text/html; charset=iso-8859-1">
17<META NAME="Generator" CONTENT="LaTeX2HTML v2K.1beta">
18<META HTTP-EQUIV="Content-Style-Type" CONTENT="text/css">
19
20<LINK REL="STYLESHEET" HREF="cuddIntro.css">
21
22<LINK REL="next" HREF="node7.html">
23<LINK REL="previous" HREF="node5.html">
24<LINK REL="up" HREF="cuddIntro.html">
25<LINK REL="next" HREF="node7.html">
26</HEAD>
27
28<BODY >
29<!--Navigation Panel-->
30<A NAME="tex2html357"
31  HREF="node7.html">
32<IMG WIDTH="37" HEIGHT="24" ALIGN="BOTTOM" BORDER="0" ALT="next"
33 SRC="icons/next.png"></A> 
34<A NAME="tex2html353"
35  HREF="cuddIntro.html">
36<IMG WIDTH="26" HEIGHT="24" ALIGN="BOTTOM" BORDER="0" ALT="up"
37 SRC="icons/up.png"></A> 
38<A NAME="tex2html347"
39  HREF="node5.html">
40<IMG WIDTH="63" HEIGHT="24" ALIGN="BOTTOM" BORDER="0" ALT="previous"
41 SRC="icons/prev.png"></A> 
42<A NAME="tex2html355"
43  HREF="node8.html">
44<IMG WIDTH="43" HEIGHT="24" ALIGN="BOTTOM" BORDER="0" ALT="index"
45 SRC="icons/index.png"></A> 
46<BR>
47<B> Next:</B> <A NAME="tex2html358"
48  HREF="node7.html">Bibliography</A>
49<B> Up:</B> <A NAME="tex2html354"
50  HREF="cuddIntro.html">CUDD: CU Decision Diagram</A>
51<B> Previous:</B> <A NAME="tex2html348"
52  HREF="node5.html">The C++ Interface</A>
53 &nbsp <B>  <A NAME="tex2html356"
54  HREF="node8.html">Index</A></B> 
55<BR>
56<BR>
57<!--End of Navigation Panel-->
58
59<H1><A NAME="SECTION00060000000000000000"></A>
60<A NAME="sec:ack"></A>
61<BR>
62Acknowledgments
63</H1>
64
65<P>
66The contributors: Iris Bahar, Hyunwoo Cho, Erica Frohm, Charlie Gaona,
67Cheng Hua, Jae-Young Jang, Seh-Woong Jeong, Balakrishna Kumthekar,
68Enrico Macii, Bobbie Manne, In-Ho Moon, Curt Musfeldt, Shipra Panda,
69Abelardo Pardo, Bernard Plessier, Kavita Ravi, Hyongkyoon Shin, Alan
70Shuler, Arun Sivakumaran, Jorgen Sivesind.
71
72<P>
73The early adopters: Gianpiero Cabodi, Jordi Cortadella, Mario Escobar,
74Gayani Gamage, Gary Hachtel, Mariano Hermida, Woohyuk Lee, Enric
75Pastor, Massimo Poncino, Ellen Sentovich, the students of ECEN5139.
76
77<P>
78I am also particularly indebted to the following people for in-depth
79discussions on BDDs: Armin Biere, Olivier Coudert, Geert Janssen, David
80Long, Jean Christophe Madre, Ken McMillan, Shin-Ichi Minato, Jaehong
81Park, Rajeev Ranjan, Rick Rudell, Ellen Sentovich, Tom Shiple, and
82Bwolen Yang.
83
84<P>
85Special thanks to Norris Ip for guiding my faltering steps
86in the design of the C++ interface.
87Gianpiero Cabodi and Stefano Quer have graciously agreed to let me
88distribute their dddmp library with CUDD.
89
90<P>
91Masahiro Fujita, Gary Hachtel, and Carl Pixley have provided
92encouragement and advice.
93
94<P>
95The National Science Foundation and the Semiconductor Research Council
96have supported in part the development of this package.
97
98<P>
99
100<HR>
101<!--Navigation Panel-->
102<A NAME="tex2html357"
103  HREF="node7.html">
104<IMG WIDTH="37" HEIGHT="24" ALIGN="BOTTOM" BORDER="0" ALT="next"
105 SRC="icons/next.png"></A> 
106<A NAME="tex2html353"
107  HREF="cuddIntro.html">
108<IMG WIDTH="26" HEIGHT="24" ALIGN="BOTTOM" BORDER="0" ALT="up"
109 SRC="icons/up.png"></A> 
110<A NAME="tex2html347"
111  HREF="node5.html">
112<IMG WIDTH="63" HEIGHT="24" ALIGN="BOTTOM" BORDER="0" ALT="previous"
113 SRC="icons/prev.png"></A> 
114<A NAME="tex2html355"
115  HREF="node8.html">
116<IMG WIDTH="43" HEIGHT="24" ALIGN="BOTTOM" BORDER="0" ALT="index"
117 SRC="icons/index.png"></A> 
118<BR>
119<B> Next:</B> <A NAME="tex2html358"
120  HREF="node7.html">Bibliography</A>
121<B> Up:</B> <A NAME="tex2html354"
122  HREF="cuddIntro.html">CUDD: CU Decision Diagram</A>
123<B> Previous:</B> <A NAME="tex2html348"
124  HREF="node5.html">The C++ Interface</A>
125 &nbsp <B>  <A NAME="tex2html356"
126  HREF="node8.html">Index</A></B> 
127<!--End of Navigation Panel-->
128<ADDRESS>
129Fabio Somenzi
1302005-05-17
131</ADDRESS>
132</BODY>
133</HTML>
Note: See TracBrowser for help on using the repository browser.