programming documention/exampls on GLU 2.1 and MDDs

From: Borzoo Bonakdarpour (borzoo_at_cse.msu.edu)
Date: Mon Dec 04 2006 - 13:42:41 MST

• Next message: Pongstorn Maidee: "BDD node behaviour"
• Previous message: Fabio Somenzi: "Re: Problem with a mux description in Verilog"
• Messages sorted by: [ date ] [ thread ] [ subject ] [ author ] [ attachment ]
• Mail actions: [ respond to this message ] [ mail a new topic ]

Hi everyone,

I have been trying to find a programming manual and examples on how to
use Glu 2.1 in order to use MDDs in a C++ program. There is a
comprehensive website for CUDD to use BDDs which I am very familiar
with, but I have not been able to find similar documentation for
Glu/MDDs. Please advise.

Thanks,
Borzoo

• Next message: Pongstorn Maidee: "BDD node behaviour"
• Previous message: Fabio Somenzi: "Re: Problem with a mux description in Verilog"
• Messages sorted by: [ date ] [ thread ] [ subject ] [ author ] [ attachment ]
• Mail actions: [ respond to this message ] [ mail a new topic ]

This archive was generated by hypermail 2.1.7 : Mon Dec 04 2006 - 13:53:25 MST