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

本文小结

设计团队需要运用那些能够在设计复杂性和多层次抽象之间扩展的工具改进现有方法。可扩展解决方案能够帮助工程师开展他们目前能够开展的工作，而且在相同时间范围内只会变得更好、更快且效率更高。它使得验证工具对用户更为友好，并能够在设计过程中推入更多测试向量。

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

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

作者：Brian Bailey

Email: brian_bailey@mentor.com

Memtor Graphics公司