[13] | 1 | <!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 3.2 Final//EN"> |
---|
| 2 | |
---|
| 3 | <!--Converted with LaTeX2HTML 2K.1beta (1.47) |
---|
| 4 | original 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 |   <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> |
---|
| 62 | Acknowledgments |
---|
| 63 | </H1> |
---|
| 64 | |
---|
| 65 | <P> |
---|
| 66 | The contributors: Iris Bahar, Hyunwoo Cho, Erica Frohm, Charlie Gaona, |
---|
| 67 | Cheng Hua, Jae-Young Jang, Seh-Woong Jeong, Balakrishna Kumthekar, |
---|
| 68 | Enrico Macii, Bobbie Manne, In-Ho Moon, Curt Musfeldt, Shipra Panda, |
---|
| 69 | Abelardo Pardo, Bernard Plessier, Kavita Ravi, Hyongkyoon Shin, Alan |
---|
| 70 | Shuler, Arun Sivakumaran, Jorgen Sivesind. |
---|
| 71 | |
---|
| 72 | <P> |
---|
| 73 | The early adopters: Gianpiero Cabodi, Jordi Cortadella, Mario Escobar, |
---|
| 74 | Gayani Gamage, Gary Hachtel, Mariano Hermida, Woohyuk Lee, Enric |
---|
| 75 | Pastor, Massimo Poncino, Ellen Sentovich, the students of ECEN5139. |
---|
| 76 | |
---|
| 77 | <P> |
---|
| 78 | I am also particularly indebted to the following people for in-depth |
---|
| 79 | discussions on BDDs: Armin Biere, Olivier Coudert, Geert Janssen, David |
---|
| 80 | Long, Jean Christophe Madre, Ken McMillan, Shin-Ichi Minato, Jaehong |
---|
| 81 | Park, Rajeev Ranjan, Rick Rudell, Ellen Sentovich, Tom Shiple, and |
---|
| 82 | Bwolen Yang. |
---|
| 83 | |
---|
| 84 | <P> |
---|
| 85 | Special thanks to Norris Ip for guiding my faltering steps |
---|
| 86 | in the design of the C++ interface. |
---|
| 87 | Gianpiero Cabodi and Stefano Quer have graciously agreed to let me |
---|
| 88 | distribute their dddmp library with CUDD. |
---|
| 89 | |
---|
| 90 | <P> |
---|
| 91 | Masahiro Fujita, Gary Hachtel, and Carl Pixley have provided |
---|
| 92 | encouragement and advice. |
---|
| 93 | |
---|
| 94 | <P> |
---|
| 95 | The National Science Foundation and the Semiconductor Research Council |
---|
| 96 | have 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 |   <B> <A NAME="tex2html356" |
---|
| 126 | HREF="node8.html">Index</A></B> |
---|
| 127 | <!--End of Navigation Panel--> |
---|
| 128 | <ADDRESS> |
---|
| 129 | Fabio Somenzi |
---|
| 130 | 2005-05-17 |
---|
| 131 | </ADDRESS> |
---|
| 132 | </BODY> |
---|
| 133 | </HTML> |
---|