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

From: Li, Lun (lli_at_mail.smu.edu)
Date: Mon Oct 18 2004 - 07:45:01 MDT

• Next message: Fabio Somenzi: "Re: Any function that can transfer a MDD to BDD in VIS?"
• Previous message: luca gambardella: "building zdd"
• Next in thread: Fabio Somenzi: "RE: About Questions of functions ttransferring a MDD to BDD in VIS --what I really want to do."
• Reply: Fabio Somenzi: "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 ]

Thanks for your answer, Cedric.

What I really want to do is:

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.

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

• application/ms-tnef attachment: winmail.dat

• Next message: Fabio Somenzi: "Re: Any function that can transfer a MDD to BDD in VIS?"
• Previous message: luca gambardella: "building zdd"
• Next in thread: Fabio Somenzi: "RE: About Questions of functions ttransferring a MDD to BDD in VIS --what I really want to do."
• Reply: Fabio Somenzi: "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 - 07:50:20 MDT