source: vis_dev/glu-2.3/src/cuBdd/doc/node2.html @ 99

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

library glu 2.3
File size: 5.3 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>How to Get CUDD</TITLE>
11<META NAME="description" CONTENT="How to Get CUDD">
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="node3.html">
23<LINK REL="previous" HREF="node1.html">
24<LINK REL="up" HREF="cuddIntro.html">
25<LINK REL="next" HREF="node3.html">
26</HEAD>
27
28<BODY >
29<!--Navigation Panel-->
30<A NAME="tex2html258"
31  HREF="node3.html">
32<IMG WIDTH="37" HEIGHT="24" ALIGN="BOTTOM" BORDER="0" ALT="next"
33 SRC="icons/next.png"></A> 
34<A NAME="tex2html254"
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="tex2html248"
39  HREF="node1.html">
40<IMG WIDTH="63" HEIGHT="24" ALIGN="BOTTOM" BORDER="0" ALT="previous"
41 SRC="icons/prev.png"></A> 
42<A NAME="tex2html256"
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="tex2html259"
48  HREF="node3.html">User's Manual</A>
49<B> Up:</B> <A NAME="tex2html255"
50  HREF="cuddIntro.html">CUDD: CU Decision Diagram</A>
51<B> Previous:</B> <A NAME="tex2html249"
52  HREF="node1.html">Introduction</A>
53 &nbsp <B>  <A NAME="tex2html257"
54  HREF="node8.html">Index</A></B> 
55<BR>
56<BR>
57<!--End of Navigation Panel-->
58<!--Table of Child-Links-->
59<A NAME="CHILD_LINKS"><STRONG>Subsections</STRONG></A>
60
61<UL>
62<LI><A NAME="tex2html260"
63  HREF="#SECTION00021000000000000000">The CUDD Package</A>
64<LI><A NAME="tex2html261"
65  HREF="#SECTION00022000000000000000">CUDD Friends</A>
66</UL>
67<!--End of Table of Child-Links-->
68<HR>
69
70<H1><A NAME="SECTION00020000000000000000"></A>
71<A NAME="sec:getting"></A>
72<BR>
73How to Get CUDD
74</H1>
75
76<P>
77
78<H2><A NAME="SECTION00021000000000000000"></A>
79<A NAME="sec:getCUDD"></A>
80<BR>
81The CUDD Package
82</H2>
83
84<P>
85The CUDD package is available via anonymous FTP<A NAME="45"></A> from
86vlsi.Colorado.EDU.  A compressed tar file named <TT>  cudd-2.4.1.tar.gz</TT> can be found in directory <TT>pub</TT>. Once you
87have this file,
88<BLOCKQUOTE>
89<TT>gzip<A NAME="49"></A> -dc cudd-2.4.1.tar.gz | tar xvf -
90
91</TT></BLOCKQUOTE>
92will create directory <TT>cudd-2.4.1</TT> and its subdirectories.
93These directories contain the decision diagram package, a few support
94libraries<A NAME="52"></A>, and a toy application based on the
95decision diagram package.  There is a README<A NAME="53"></A> file
96with instructions on configuration<A NAME="54"></A> and
97installation<A NAME="55"></A> in <TT>cudd-2.4.1</TT>.
98You can use a compiler for either ANSI C or C++.
99
100<P>
101Once you have made the libraries and program, you can type:
102<BLOCKQUOTE>
103<TT>cd nanotrav<A NAME="58"></A> 
104<BR>
105nanotrav -p 1 -autodyn -reordering sifting -trav mult32a.blif
106
107</TT></BLOCKQUOTE>
108This will run a simple-minded FSM traversal program. (On a 200 MHz
109PentiumPro<A NAME="60"></A> (TM), it takes about 6 sec.) The
110output produced by the program can be checked against the contents of
111<TT>cudd-2.4.1/nanotrav/mult32a.out</TT>.  More information on the
112<TT>nanotrav<A NAME="62"></A></TT> program can be found in <TT>  cudd-2.4.1/nanotrav/README<A NAME="63"></A></TT>.
113
114<P>
115If you want to be notified of new releases of the CUDD package, send a
116message to <TT>Fabio@Colorado.EDU</TT>.
117
118<P>
119
120<H2><A NAME="SECTION00022000000000000000"></A>
121<A NAME="sec:getFriends"></A>
122<BR>
123CUDD Friends
124</H2>
125
126<P>
127Two CUDD extensions are available via anonymous FTP<A NAME="67"></A> from
128vlsi.Colorado.EDU.
129
130<UL>
131<LI><EM>PerlDD</EM> is an object-oriented Perl5 interface to CUDD. It
132  is organized as a standard Perl extension module. The Perl interface
133  is at a somewhat higher level than the C++ interface, but it is not
134  as complete.
135</LI>
136<LI><EM>DDcal</EM> is a graphic BDD calculator based on CUDD,
137  Perl-Tk, and dot. (See Section&nbsp;<A HREF="node3.html#sec:dump">3.18</A> for information on <EM>    dot</EM>.)
138
139<P>
140</LI>
141</UL><HR>
142<!--Navigation Panel-->
143<A NAME="tex2html258"
144  HREF="node3.html">
145<IMG WIDTH="37" HEIGHT="24" ALIGN="BOTTOM" BORDER="0" ALT="next"
146 SRC="icons/next.png"></A> 
147<A NAME="tex2html254"
148  HREF="cuddIntro.html">
149<IMG WIDTH="26" HEIGHT="24" ALIGN="BOTTOM" BORDER="0" ALT="up"
150 SRC="icons/up.png"></A> 
151<A NAME="tex2html248"
152  HREF="node1.html">
153<IMG WIDTH="63" HEIGHT="24" ALIGN="BOTTOM" BORDER="0" ALT="previous"
154 SRC="icons/prev.png"></A> 
155<A NAME="tex2html256"
156  HREF="node8.html">
157<IMG WIDTH="43" HEIGHT="24" ALIGN="BOTTOM" BORDER="0" ALT="index"
158 SRC="icons/index.png"></A> 
159<BR>
160<B> Next:</B> <A NAME="tex2html259"
161  HREF="node3.html">User's Manual</A>
162<B> Up:</B> <A NAME="tex2html255"
163  HREF="cuddIntro.html">CUDD: CU Decision Diagram</A>
164<B> Previous:</B> <A NAME="tex2html249"
165  HREF="node1.html">Introduction</A>
166 &nbsp <B>  <A NAME="tex2html257"
167  HREF="node8.html">Index</A></B> 
168<!--End of Navigation Panel-->
169<ADDRESS>
170Fabio Somenzi
1712005-05-17
172</ADDRESS>
173</BODY>
174</HTML>
Note: See TracBrowser for help on using the repository browser.