应对百万门级系统级芯片验证挑战的可扩展解决方案

任何有效的系统验证策略都必须提出这样的前提条件，即系统实际上指的是整套系统，它包含的远非数字逻辑那么局限。换而言之， 一套有意义的解决方案必须能够解决数模信号混合问题，必须能够提供为软件、RTOS的验证运行所必须依赖的环境，并将其联系在一套统一的解决方案之中。

新的测试平台组件正在进入今天的验证方法之中，断言的使用可能对质量和速度产生戏剧性的影响，因为验证工作可以利用断言来 开展。此外，某些更新的测试平台组件正在出现。所有这些新的组件都将受到属性的驱动，既而操控和利用属性。这是未来的发展方向，现在开始已经变得异常光 明。这种自动化、基于属性的验证方法将推动验证性能的提高，这也是缩短验证鸿沟的必要条件。这事实上相当于10年之前设计路径曾经享受过的综合的好处。验 证综合还在发展之中，并将从根本上改变探讨和处理验证问题的方式。