re:a question about building bdd tree with CU Decision Diagram Package

From: 062052002_at_fudan.edu.cn
Date: Thu Oct 19 2006 - 21:00:17 MDT

• Next message: Najeeb K: "smv cadence"
• Previous message: Fabio Somenzi: "re: a question about building bdd tree with CU Decision Diagram Package"
• Maybe in reply to: 062052002_at_fudan.edu.cn: "a question about building bdd tree with CU Decision Diagram Package"
• Messages sorted by: [ date ] [ thread ] [ subject ] [ author ] [ attachment ]
• Mail actions: [ respond to this message ] [ mail a new topic ]

thanks for your helps. I will try BDD rather than ADD as for
BDD has more memory efficient.

niu

• Next message: Najeeb K: "smv cadence"
• Previous message: Fabio Somenzi: "re: a question about building bdd tree with CU Decision Diagram Package"
• Maybe in reply to: 062052002_at_fudan.edu.cn: "a question about building bdd tree with CU Decision Diagram Package"
• 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 : Thu Oct 19 2006 - 21:28:19 MDT