在考虑未来的验证时,不要忘记人的因素。
让吉姆•霍根Vista合资公司的管理合伙人,进一步在地平线上的变化比我们其余的人验证,在他所谓的验证的3.0。在他的执行概要,他概述了功能验证的重要进步在过去的20年里,如混合验证平台验证1.0和2.0硬件/软件co-verification验证。3.0验证与众多趋势将更系统化的方法,将塑造未来十年。霍根钉的一些关键半导体行业的发展和新兴趋势将进一步定义3.0验证,得出没有一个公司可以解决所面临的挑战。
虽然大多数霍根的分析是合理的,他错过了一个关键的腿在寻求全面验证覆盖率和人为因素。1.0验证是由设计师。2.0验证,特别是constrained-random模拟,看到崛起的专业验证团队与大自在,比RTL代码的软件项目。这种分离的技能和职责也有黑暗的一面。设计师不使用UVM探索和测试他们的代码提交前的特定方面。他们可能有一系列产品毛羽的工具,也许还有一些现有的测试,但是没有办法快速、深入探索他们最新的bug修复的影响,为一个新的或现有的特性或实现的选择。此外,随着回归测试、调试失败往往成为瓶颈时只有设计师才能深入RTL代码。
3.0验证必须解决这些缺点。已经有证据,主要是在硬件,软件也敏捷开发实践显著提高质量和效率。正式的敏捷RTL开发有着至关重要的作用。设计者可以使用正式的探索他们的代码和快速识别功能,性能,和其他问题没有构建全面的验证环境的负担。虽然这没有兑现的承诺建设“正确”——SystemC和高级合成部分,至少在某些特定,datapath-oriented类设计,意义重大。正式的专家,另一方面,熟悉RTL和,当涉及到调试断言失败,他们可以深入设计,有时暗示RTL综合解决。结对编程更少的角色界限和更多的代码共享,可以一定程度上协调设计验证和硬件软件分歧。
霍根正确识别验证的扩张作用。Constrained-random仿真基本已经到达了一个高原在范围和采用。便携式刺激标准和相关工具将提供急需的效率进行用例测试在系统级跨各种平台。招聘大量的顾问的实践来实现一次性SoC-level定向测试可能很快成为过去。正式采用将继续增长,成为必须解决一些棘手的挑战的安全分析和验证。很难达到,滥用cases-malicious或原本容易小姐在做计划时,不太可能在随机测试。没有技术超过详尽的正式本地倾向将安全与他们越来越值得关注。
霍根验证从3.0开始讨论,将讨论在许多行业活动,工程会议和更多。欢迎验证3.0 !
|
|
|
|
|
|
|
|
|
|
谢谢你的帖子。它应该得到有趣。
确实。最激动人心的时刻是一个验证专家自Specman推广作用。