@comment FROM: Z_Citations@Alenex.bib via BibSplit on  Fri Oct 15 13:40:13 EDT 2004 
@Article{2001-STTT-Harlow,
  author  = {J. E. Harlow III and F. Brglez},
  title   = {Design of Experiments and Evaluation of {BDD} Ordering Heuristics},
  journal = {International Journal on Software Tools for Technology Transfer (STTT)},
  volume  = {3},
  number  = {2},
  pages   = {193--206},
  month   = {May},
  year = 2001,
  note = {Springer-Verlag Heidelberg. http://\-springerlink.metapress.com/, 
  ISSN: 1433-2779  (Paper) 1433-2787 (Online).
  A reprint also available under
  http://\-www.cbl.ncsu.edu/\-publications/},
  abstract = {
Traditional approaches to the measurement of performance for CAD algorithms involve the use of sets of so-called "benchmark circuits." In this paper, we demonstrate that current procedures do not produce results which accurately characterize the behavior of the algorithms under study. Indeed, we show that the apparent advances in algorithms which are documented by traditional benchmarking may well be due to chance, and not due to any new properties of the algorithms. As an alternative, we introduce a new methodology for the characterization of CAD heuristics which employs well-studied design of experiments methods. We show through numerous examples how such methods can be applied to evaluate the behavior of heuristics used in BDD variable ordering.
  },
  url = {http://springerlink.metapress.com/}
}