ZBDD support

From: Emil (Emil.Dumitrescu@imag.fr)
Date: Tue Mar 19 2002 - 04:39:05 MST

  • Next message: Fabio Somenzi: "Re: ZBDD support"

    Hello,

    I recently consulted the resease documentation of CUDD, available at

    http://vlsi.Colorado.EDU/~fabio/CUDD/cuddIntro.html

    I can see that the CUDD package offers some support for ZDD manipulation.
    I'd like to know whether VIS can handle ZDDs. For instance, is it possible
    to chose between BDDs or ZDDs for representing a state space (maybe when
    calling build_partition_mdd), and to perform the most common checks
    (invariant or equivalence checking, model checking) ?

    Best regards,

    Emil

    This archive was generated by hypermail 2b30 : Tue Mar 19 2002 - 04:46:38 MST