FMCAD'98: BDD Study

Participants


Paper / Talk

• Paper
  postscript (985K) || pdf (567K)
   
• Talk
  MS Power-Point'97 (1MB) || postscript (330K) || pdf (82K).
   

Software

• BDD Trace Driver 0.9 (326Kb tar/gzip) (Under Construction!)
  This package is a platform for executing BDD-call traces, where a BDD call trace is a record of function calls to BDD operations. Note that the next version of trace driver will have a very different interface. For more information, please see this README file.
   
• FMCAD'98 Benchmark Traces (6.3MB tar/gzip)
  Set of BDD-call traces from SMV execution. See README for more details.
   

Expreimental Results

---

Bwolen Yang bwolen@cmu.edu
accesses since November 1998.