From: Shaun Feng (xsfeng_at_cs.ubc.ca)
Date: Mon Jan 05 2009 - 21:25:31 MST
Cudd_DumpDot can print a BDD to a graph in dot format (you can edit
the dot file very easily. I did that cause I want to change names for
nodes). Then, you can use dot2ps inside graphviz package to get
postscript graph.
http://vlsi.colorado.edu/~fabio/CUDD/cuddAllDet.html#Cudd_DumpDot
Shaun Feng.
Advanced Micro Devices
http://www.cs.ubc.ca/~xsfeng/
On Mon, Jan 5, 2009 at 10:23 PM, Shaun Feng <xsfeng_at_gmail.com> wrote:
> Cudd_DumpDot can print a BDD to a graph in dot format (you can edit
> the dot file very easily. I did that cause I want to change names for
> nodes). Then, you can use dot2ps inside graphviz package to get
> postscript graph.
>
> http://vlsi.colorado.edu/~fabio/CUDD/cuddAllDet.html#Cudd_DumpDot
>
>
> Shaun Feng.
>
> Advanced Micro Devices
> http://www.cs.ubc.ca/~xsfeng/
>
> On Mon, Jan 5, 2009 at 5:51 PM, Saqib Bin Sohail
> <Saqib.Sohail_at_colorado.edu> wrote:
>> Hi Aly
>>
>> I have been using bdd_print_cover() and bdd_print_minterm(). These function
>> calls do not depend on the 'bdd order' rather use the ascending order of
>> bddIds.
>>
>> I don't know of any function which will display a bdd graphically, although
>> I can help you if you would like to write something up which would display a
>> bdd graphically.
>>
>>
>>
>> Saqib bin Sohail
>> PhD ECE Univ of Colorado at Boulder
>> (303) 786 0658
>> http://webfiles.colorado.edu/sohail/www/
>>
>> On Mon, 5 Jan 2009, Aly Farahat wrote:
>>
>>> Can anybody direct me to a library function that "pretty-prints" or
>>> displays in a friendly way BDD's or MDD's?
>>>
>>
>>
>
This archive was generated by hypermail 2.1.7 : Mon Jan 05 2009 - 21:27:51 MST