From: Fabio Somenzi (Fabio_at_colorado.edu)
Date: Tue Jan 06 2009 - 18:35:14 MST
>>>>> "SF" == Shaun Feng <xsfeng_at_cs.ubc.ca> writes:
SF> Cudd_DumpDot can print a BDD to a graph in dot format (you can edit
SF> the dot file very easily. I did that cause I want to change names for
SF> nodes). Then, you can use dot2ps inside graphviz package to get
SF> postscript graph.
SF> http://vlsi.colorado.edu/~fabio/CUDD/cuddAllDet.html#Cudd_DumpDot
Cudd_DumpDot is what I would also recommend. From within vis, you can
call bdd_dump_dot, which is just a wrapper function. If you don't
have an application that manipulates BDDs, you can try downloading
DDcal from:
ftp://vlsi.colorado.edu/pub/DDcal-0.7.tar.gz
You need, CUDD, Perl-Tk, and graphviz to build it.
Fabio
This archive was generated by hypermail 2.1.7 : Tue Jan 06 2009 - 18:35:53 MST