首页 | 官方网站   微博 | 高级检索  
     


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 等数据库收录!
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司    京ICP备09084417号-23

京公网安备 11010802026262号