distr/cudd/doc/node2.html

   1 <!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 3.2 Final//EN">
   2
   3 <!--Converted with jLaTeX2HTML 2002-2-1 (1.70) JA patch-2.0
   4 patched version by:  Kenshi Muto, Debian Project.
   5 * modified by:  Shige TAKENO
   6 LaTeX2HTML 2002-2-1 (1.70),
   7 original version by:  Nikos Drakos, CBLU, University of Leeds
   8 * revised and updated by:  Marcus Hennecke, Ross Moore, Herb Swan
   9 * with significant contributions from:
  10   Jens Lippmann, Marek Rouchal, Martin Wilck and others -->
  11 <HTML>
  12 <HEAD>
  13 <TITLE>How to Get CUDD</TITLE>
  14 <META NAME="description" CONTENT="How to Get CUDD">
  15 <META NAME="keywords" CONTENT="cuddIntro">
  16 <META NAME="resource-type" CONTENT="document">
  17 <META NAME="distribution" CONTENT="global">
  18
  19 <META NAME="Generator" CONTENT="jLaTeX2HTML v2002-2-1 JA patch-2.0">
  20 <META HTTP-EQUIV="Content-Style-Type" CONTENT="text/css">
  21
  22 <LINK REL="STYLESHEET" HREF="cuddIntro.css">
  23
  24 <LINK REL="next" HREF="node3.html">
  25 <LINK REL="previous" HREF="node1.html">
  26 <LINK REL="up" HREF="cuddIntro.html">
  27 <LINK REL="next" HREF="node3.html">
  28 </HEAD>
  29
  30 <BODY >
  31 <!--Navigation Panel-->
  32 <A NAME="tex2html97"
  33   HREF="node3.html">
  34 <IMG WIDTH="37" HEIGHT="24" ALIGN="BOTTOM" BORDER="0" ALT="next"
  35  SRC="icons/next.png"></A>
  36 <A NAME="tex2html93"
  37   HREF="cuddIntro.html">
  38 <IMG WIDTH="26" HEIGHT="24" ALIGN="BOTTOM" BORDER="0" ALT="up"
  39  SRC="icons/up.png"></A>
  40 <A NAME="tex2html87"
  41   HREF="node1.html">
  42 <IMG WIDTH="63" HEIGHT="24" ALIGN="BOTTOM" BORDER="0" ALT="previous"
  43  SRC="icons/prev.png"></A>
  44 <A NAME="tex2html95"
  45   HREF="node8.html">
  46 <IMG WIDTH="43" HEIGHT="24" ALIGN="BOTTOM" BORDER="0" ALT="index"
  47  SRC="icons/index.png"></A>
  48 <BR>
  49 <B> Next:</B> <A NAME="tex2html98"
  50   HREF="node3.html">User's Manual</A>
  51 <B> Up:</B> <A NAME="tex2html94"
  52   HREF="cuddIntro.html">CUDD: CU Decision Diagram</A>
  53 <B> Previous:</B> <A NAME="tex2html88"
  54   HREF="node1.html">Introduction</A>
  55  &nbsp; <B>  <A NAME="tex2html96"
  56   HREF="node8.html">Index</A></B>
  57 <BR>
  58 <BR>
  59 <!--End of Navigation Panel-->
  60 <!--Table of Child-Links-->
  61 <A NAME="CHILD_LINKS"><STRONG>Subsections</STRONG></A>
  62
  63 <UL>
  64 <LI><A NAME="tex2html99"
  65   HREF="node2.html#SECTION00021000000000000000">The CUDD Package</A>
  66 <LI><A NAME="tex2html100"
  67   HREF="node2.html#SECTION00022000000000000000">CUDD Friends</A>
  68 </UL>
  69 <!--End of Table of Child-Links-->
  70 <HR>
  71
  72 <H1><A NAME="SECTION00020000000000000000"></A>
  73 <A NAME="sec:getting"></A>
  74 <BR>
  75 How to Get CUDD
  76 </H1>
  77
  78 <P>
  79
  80 <H2><A NAME="SECTION00021000000000000000"></A>
  81 <A NAME="sec:getCUDD"></A>
  82 <BR>
  83 The CUDD Package
  84 </H2>
  85
  86 <P>
  87 The CUDD package is available via anonymous FTP<A NAME="46"></A> from
  88 vlsi.Colorado.EDU.  A compressed tar file named
  89 <TT>cudd-2.4.2.tar.gz</TT> can be found in directory <TT>pub</TT>.
  90 Once you have this file,
  91 <BLOCKQUOTE>
  92 <TT>gzip<A NAME="50"></A> -dc cudd-2.4.2.tar.gz | tar xvf -
  93
  94 </TT></BLOCKQUOTE>
  95 will create directory <TT>cudd-2.4.2</TT> and its subdirectories.
  96 These directories contain the decision diagram package, a few support
  97 libraries<A NAME="53"></A>, and a toy application based on the
  98 decision diagram package.  There is a README<A NAME="54"></A> file
  99 with instructions on configuration<A NAME="55"></A> and
 100 installation<A NAME="56"></A> in <TT>cudd-2.4.2</TT>.  You can use
 101 a compiler for either ANSI C or C++.
 102
 103 <P>
 104 Once you have made the libraries and program, you can type:
 105 <BLOCKQUOTE>
 106 <TT>cd nanotrav<A NAME="59"></A>
 107 <BR>
 108 nanotrav -p 1 -autodyn -reordering sifting -trav mult32a.blif
 109
 110 </TT></BLOCKQUOTE>
 111 This will run a simple-minded FSM traversal program. (On a 2.4 GHz
 112 Pentium 4<A NAME="61"></A> (TM), it takes about 0.5 s.) The
 113 output produced by the program can be checked against
 114 <TT>cudd-2.4.2/nanotrav/mult32a.out</TT>.  More information on the
 115 <TT>nanotrav<A NAME="63"></A></TT> program can be found in
 116 <TT>cudd-2.4.2/nanotrav/README<A NAME="64"></A></TT>.
 117
 118 <P>
 119 If you want to be notified of new releases of the CUDD package, send a
 120 message to <TT>Fabio@Colorado.EDU</TT>.
 121
 122 <P>
 123
 124 <H2><A NAME="SECTION00022000000000000000"></A>
 125 <A NAME="sec:getFriends"></A>
 126 <BR>
 127 CUDD Friends
 128 </H2>
 129
 130 <P>
 131 Two CUDD extensions are available via anonymous FTP<A NAME="68"></A> from
 132 vlsi.Colorado.EDU.
 133
 134 <UL>
 135 <LI><I>PerlDD</I> is an object-oriented Perl5 interface to CUDD. It
 136   is organized as a standard Perl extension module. The Perl interface
 137   is at a somewhat higher level than the C++ interface, but it is not
 138   as complete.
 139 </LI>
 140 <LI><I>DDcal</I> is a graphic BDD calculator based on CUDD, Perl-Tk,
 141   and dot. (See Section&nbsp;<A HREF="node3.html#sec:dump">3.18</A> for information on <I>dot</I>.)
 142
 143 <P>
 144 </LI>
 145 </UL><HR>
 146 <!--Navigation Panel-->
 147 <A NAME="tex2html97"
 148   HREF="node3.html">
 149 <IMG WIDTH="37" HEIGHT="24" ALIGN="BOTTOM" BORDER="0" ALT="next"
 150  SRC="icons/next.png"></A>
 151 <A NAME="tex2html93"
 152   HREF="cuddIntro.html">
 153 <IMG WIDTH="26" HEIGHT="24" ALIGN="BOTTOM" BORDER="0" ALT="up"
 154  SRC="icons/up.png"></A>
 155 <A NAME="tex2html87"
 156   HREF="node1.html">
 157 <IMG WIDTH="63" HEIGHT="24" ALIGN="BOTTOM" BORDER="0" ALT="previous"
 158  SRC="icons/prev.png"></A>
 159 <A NAME="tex2html95"
 160   HREF="node8.html">
 161 <IMG WIDTH="43" HEIGHT="24" ALIGN="BOTTOM" BORDER="0" ALT="index"
 162  SRC="icons/index.png"></A>
 163 <BR>
 164 <B> Next:</B> <A NAME="tex2html98"
 165   HREF="node3.html">User's Manual</A>
 166 <B> Up:</B> <A NAME="tex2html94"
 167   HREF="cuddIntro.html">CUDD: CU Decision Diagram</A>
 168 <B> Previous:</B> <A NAME="tex2html88"
 169   HREF="node1.html">Introduction</A>
 170  &nbsp; <B>  <A NAME="tex2html96"
 171   HREF="node8.html">Index</A></B>
 172 <!--End of Navigation Panel-->
 173 <ADDRESS>
 174 Fabio Somenzi
 175 2009-02-20
 176 </ADDRESS>
 177 </BODY>
 178 </HTML>