RE: About Questions of functions ttransferring a MDD to BDD in VIS --what I really want to do.

From: Fabio Somenzi (Fabio_at_colorado.edu)
Date: Mon Oct 18 2004 - 11:07:40 MDT

• Next message: Li, Lun: "Could VIS be used for under-approximation in reachabilibity analysis?"
• Previous message: Fabio Somenzi: "Re: Any function that can transfer a MDD to BDD in VIS?"
• In reply to: Li, Lun: "RE: About Questions of functions ttransferring a MDD to BDD in VIS --what I really want to do."
• Messages sorted by: [ date ] [ thread ] [ subject ] [ author ] [ attachment ]
• Mail actions: [ respond to this message ] [ mail a new topic ]

If your model has only binary variables, your mdd is already the
required BDD. Otherwise, if you want something that will work in
general, you should study the way Mc_ComputeAMinterm in mcUtil.c
deals with the choice of a state from a set.

Fabio

>
> Thanks for your answer, Cedric.

> What I really want to do is:=20

> After reachability analysis, I'd like to dump out the reachable states =
> computed (to blif) and reconstruct the BDD (from dumped blif) in =
> seperate application program where I will compare the reacheble states =
> BDD with some other BDD. =20

> Since CUDD has a function named as BddDumpBlif and the result of =
> reachability analysis is in MDD, so I think I first translate the MDD to =
> corresponding BDD and use that function to dump it out.

> Is it possible or any other easy way to do it?

> Best regards,

> Lun

• Next message: Li, Lun: "Could VIS be used for under-approximation in reachabilibity analysis?"
• Previous message: Fabio Somenzi: "Re: Any function that can transfer a MDD to BDD in VIS?"
• In reply to: Li, Lun: "RE: About Questions of functions ttransferring a MDD to BDD in VIS --what I really want to do."
• 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 Oct 18 2004 - 11:10:48 MDT