Design of experiments and evaluation of BDD ordering heuristics |
| |
Authors: | Justin E. Harlow III Franc Brglez |
| |
Affiliation: | (1) Department of Electrical and Computer Engineering, Box 90291, Duke University, Durham, NC 27708, USA; E-mail: justin.harlow@duke.edu, US;(2) Collaborative Benchmarking Laboratory, Department of Computer Science, Box 8206, North Carolina State University, Raleigh, NC 27695, USA, US |
| |
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. Published online: 15 May 2001 |
| |
Keywords: | : Benchmarking – BDD – Design of experiments |
本文献已被 SpringerLink 等数据库收录! |
|