被采访过的设计人员证实,验证是巨大的挑战。White Rock 使用Forte Design System 开发的QuickBench验证套件。“Quick Bench为我们的工程师提供了一个选择的机会,即哪部分测试基准程序最适合用RAVE一类的高级语言来实现。”Keefer解释道:“百分之六、七十的设计过程涉及验证,验证在编代码阶段就已经开始。”
NEC Electronics的Roethig使用的是Tera System最新推出的设计规划工具。该工具的独到之处是可在综合成网表之前确定物理设计。Roethig在解决最佳分类工具(best-in-class)与集成化成套工具的关系方面处于有利位置。“没有一个供应商能够同时提供卓越的设计规划工具和布局布线工具。”