source: vis_dev/glu-2.3/src/cuBdd/doc/node7.html @ 104

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

library glu 2.3
File size: 6.5 KB
Line 
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>Bibliography</TITLE>
11<META NAME="description" CONTENT="Bibliography">
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="node8.html">
23<LINK REL="previous" HREF="node6.html">
24<LINK REL="up" HREF="cuddIntro.html">
25<LINK REL="next" HREF="node8.html">
26</HEAD>
27
28<BODY >
29<!--Navigation Panel-->
30<A NAME="tex2html369"
31  HREF="node8.html">
32<IMG WIDTH="37" HEIGHT="24" ALIGN="BOTTOM" BORDER="0" ALT="next"
33 SRC="icons/next.png"></A> 
34<A NAME="tex2html365"
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="tex2html359"
39  HREF="node6.html">
40<IMG WIDTH="63" HEIGHT="24" ALIGN="BOTTOM" BORDER="0" ALT="previous"
41 SRC="icons/prev.png"></A> 
42<A NAME="tex2html367"
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="tex2html370"
48  HREF="node8.html">Index</A>
49<B> Up:</B> <A NAME="tex2html366"
50  HREF="cuddIntro.html">CUDD: CU Decision Diagram</A>
51<B> Previous:</B> <A NAME="tex2html360"
52  HREF="node6.html">Acknowledgments</A>
53 &nbsp <B>  <A NAME="tex2html368"
54  HREF="node8.html">Index</A></B> 
55<BR><BR>
56<!--End of Navigation Panel-->
57
58<H2><A NAME="SECTION00070000000000000000">
59Bibliography</A>
60</H2><DL COMPACT><DD><P></P><DT><A NAME="Bahar93">1</A>
61<DD>
62R.&nbsp;I. Bahar, E.&nbsp;A. Frohm, C.&nbsp;M. Gaona, G.&nbsp;D. Hachtel, E.&nbsp;Macii, A.&nbsp;Pardo, and
63  F.&nbsp;Somenzi.
64<BR>Algebraic decision diagrams and their applications.
65<BR>In <EM>Proceedings of the International Conference on Computer-Aided
66  Design</EM>, pages 188-191, Santa Clara, CA, November 1993.
67
68<P></P><DT><A NAME="Bollig95">2</A>
69<DD>
70B.&nbsp;Bollig, M.&nbsp;L&#246;bbing, and I.&nbsp;Wegener.
71<BR>Simulated annealing to improve variable orderings for OBDDs.
72<BR>Presented at the International Workshop on Logic Synthesis,
73  Granlibakken, CA, May 1995.
74
75<P></P><DT><A NAME="BBR">3</A>
76<DD>
77K.&nbsp;S. Brace, R.&nbsp;L. Rudell, and R.&nbsp;E. Bryant.
78<BR>Efficient implementation of a BDD package.
79<BR>In <EM>Proceedings of the 27th Design Automation Conference</EM>, pages
80  40-45, Orlando, FL, June 1990.
81
82<P></P><DT><A NAME="VIS">4</A>
83<DD>
84R.&nbsp;K. Brayton et&nbsp;al.
85<BR>VIS: A system for verification and synthesis.
86<BR>Technical Report UCB/ERL M95/104, Electronics Research Lab, Univ. of
87  California, December 1995.
88
89<P></P><DT><A NAME="BDD">5</A>
90<DD>
91R.&nbsp;E. Bryant.
92<BR>Graph-based algorithms for Boolean function manipulation.
93<BR><EM>IEEE Transactions on Computers</EM>, C-35(8):677-691, August 1986.
94
95<P></P><DT><A NAME="Drechs95">6</A>
96<DD>
97R.&nbsp;Drechsler, B.&nbsp;Becker, and N.&nbsp;G&#246;ckel.
98<BR>A genetic algorithm for variable ordering of OBDDs.
99<BR>Presented at the International Workshop on Logic Synthesis,
100  Granlibakken, CA, May 1995.
101
102<P></P><DT><A NAME="Friedman90">7</A>
103<DD>
104S.&nbsp;J. Friedman and K.&nbsp;J. Supowit.
105<BR>Finding the optimal variable ordering for binary decision diagrams.
106<BR><EM>IEEE Transactions on Computers</EM>, 39(5):710-713, May 1990.
107
108<P></P><DT><A NAME="Fujita91b">8</A>
109<DD>
110M.&nbsp;Fujita, Y.&nbsp;Matsunaga, and T.&nbsp;Kakuda.
111<BR>On variable ordering of binary decision diagrams for the application
112  of multi-level logic synthesis.
113<BR>In <EM>Proceedings of the European Conference on Design Automation</EM>,
114  pages 50-54, Amsterdam, February 1991.
115
116<P></P><DT><A NAME="Held62">9</A>
117<DD>
118M.&nbsp;Held and R.&nbsp;M. Karp.
119<BR>A dynamic programming approach to sequencing problems.
120<BR><EM>J. SIAM</EM>, 10(1):196-210, 1962.
121
122<P></P><DT><A NAME="Ishiur91">10</A>
123<DD>
124N.&nbsp;Ishiura, H.&nbsp;Sawada, and S.&nbsp;Yajima.
125<BR>Minimization of binary decision diagrams based on exchanges of
126  variables.
127<BR>In <EM>Proceedings of the International Conference on Computer-Aided
128  Design</EM>, pages 472-475, Santa Clara, CA, November 1991.
129
130<P></P><DT><A NAME="Jeong93">11</A>
131<DD>
132S.-W. Jeong, T.-S. Kim, and F.&nbsp;Somenzi.
133<BR>An efficient method for optimal BDD ordering computation.
134<BR>In <EM>International Conference on VLSI and CAD (ICVC'93)</EM>, Taejon,
135  Korea, November 1993.
136
137<P></P><DT><A NAME="Minato93">12</A>
138<DD>
139S.-I. Minato.
140<BR>Zero-suppressed BDDs for set manipulation in combinatorial
141  problems.
142<BR>In <EM>Proceedings of the Design Automation Conference</EM>, pages
143  272-277, Dallas, TX, June 1993.
144
145<P></P><DT><A NAME="Panda95b">13</A>
146<DD>
147S.&nbsp;Panda and F.&nbsp;Somenzi.
148<BR>Who are the variables in your neighborhood.
149<BR>In <EM>Proceedings of the International Conference on Computer-Aided
150  Design</EM>, pages 74-77, San Jose, CA, November 1995.
151
152<P></P><DT><A NAME="Panda94">14</A>
153<DD>
154S.&nbsp;Panda, F.&nbsp;Somenzi, and B.&nbsp;F. Plessier.
155<BR>Symmetry detection and dynamic variable ordering of decision
156  diagrams.
157<BR>In <EM>Proceedings of the International Conference on Computer-Aided
158  Design</EM>, pages 628-631, San Jose, CA, November 1994.
159
160<P></P><DT><A NAME="Plessi93">15</A>
161<DD>
162B.&nbsp;F. Plessier.
163<BR><EM>A General Framework for Verification of Sequential Circuits</EM>.
164<BR>PhD thesis, University of Colorado at Boulder, Dept. of Electrical
165  and Computer Engineering, 1993.
166
167<P></P><DT><A NAME="Rudell93">16</A>
168<DD>
169R.&nbsp;Rudell.
170<BR>Dynamic variable ordering for ordered binary decision diagrams.
171<BR>In <EM>Proceedings of the International Conference on Computer-Aided
172  Design</EM>, pages 42-47, Santa Clara, CA, November 1993.
173
174<P></P><DT><A NAME="Sentov92">17</A>
175<DD>
176E.&nbsp;M. Sentovich, K.&nbsp;J. Singh, C.&nbsp;Moon, H.&nbsp;Savoj, R.&nbsp;K. Brayton, and
177  A.&nbsp;Sangiovanni-Vincentelli.
178<BR>Sequential circuit design using synthesis and optimization.
179<BR>In <EM>Proceedings of the International Conference on Computer
180  Design</EM>, pages 328-333, Cambridge, MA, October 1992.
181</DL>
182<A NAME="1416"></A>
183<A NAME="1417"></A>
184<A NAME="1418"></A>
185<A NAME="1419"></A>
186<A NAME="1420"></A>
187<A NAME="1421"></A>
188
189<P>
190<BR><HR>
191<ADDRESS>
192Fabio Somenzi
1932005-05-17
194</ADDRESS>
195</BODY>
196</HTML>
Note: See TracBrowser for help on using the repository browser.