FMCAD'98: BDD Study
Paper / Talk
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
FMCAD'98 Benchmark Traces
Set of BDD-call traces from SMV execution.
See README for more details.
accesses since November 1998.