三大支柱的方法着重于预防缺陷。
我们正处在一个危机之间日益增长的差距验证效率和有效性。这场危机无法通过验证方法和技术的改进解决孤独。事实上,它需要一个哲学方式的改变我们的方法设计,强调缺陷预防。我们称这个根本性的改变设计使用intent-focused洞察力,或设计+意图。
开发生命周期包含设计+意图并不会使验证比它已经不那么重要了。事实上,设计+意图过程的目标是提高验证效率减少缺陷密度,影响下游的过程,从而降低了成本。而设计+意图缺陷预防策略包括集成电路设计的各个方面,主要有设计方案今天存在的关注提高RTL质量,如静态分析。
静态分析是一个non-simulation-based测试活动的RTL代码分析不符合规范的缺陷,从已知的与设计有关的bug。静态分析也可以用来查找错误的转换设计进展通过各种实现阶段。完全自动化的静态分析的解决方案的范围从轻量级的工具,如线头,先进找出bug静态分析工具,使用正式的技术。
采用静态分析解决方案的价值是一个重要的改进验证调试效率由于RTL切换期间减少bug。静态分析是一个容易接受的第一步一个项目的总体设计+意图缺陷预防策略。
设计+意图解决方案是建立在三个功能柱,如图1所示。由一个过程,第一支柱生产正确的设计意图在施工期间尽量减少错误。第二个支柱证明了满足设计师的意图和需求在开发周期的早期。第三个支柱保护(或保持)设计意图的设计进展通过开发生命周期的不同阶段。
图1:三大支柱的设计+目的方法。
设计+目的方法始于探索各种解决方案生产的支柱。第一个解决方案可以提高设计水平的抽象,而利用高级合成。通过利用高级语言(HLL),如C / c++,我们减少了所需的代码行数来描述设计。然而,并不是所有的设计街区借给自己高级合成。因此,另一个生产支柱的关键部分是HDL设计环境,深入分析功能集成到创建过程。这些可以快速评估新和重用代码质量,防止缺陷在开发过程中。
证明是设计的核心支柱+目的的解决方案。它提供了洞察确保设计师的目的是满足。进行的分析证明柱分为两大类。第一类包括RTL代码的语法、语义、风格、和结构分析,确定编码或方法错误,昂贵的查找和修复后的代码检查的回归。第二类采用序贯分析,利用先进的找出bug静态分析和正式的技术,使工程师能够识别复杂的个别案例与并发相关的bug。几个bug发现使用顺序分析的例子包括组合循环,FSM死锁、算术溢出和索引的问题。关键的一点是,通过利用序列分析的设计方案可以找到这些错误和固定在编码阶段不需要创建一个模拟testbench。
保护柱由分析工具,以确保设计的目的是保留在整个开发生命周期;例如,识别新的亚稳度在合成和实施过程中可能引入的问题。
一个建议采用设计时+目的方法是自动构建这些分析到持续集成流,确保设计时免受错误的变化从创建完成。以来,这很容易实现自动静态分析工具中包含各种支柱一般涉及简单的或任何限制,不需要人工交互操作。事实上,它可以实现一组光高价值检查理应对任何回归签到。这是紧随其后的是深入分析日常和周末回归,而最深的检查可以执行之前提交的设计更密集的和昂贵的原型和模拟阶段,通常用于硬件/软件合作设计和系统验证。
找到一个路径验证危机需要一个哲学改变整个开发生命周期的基础建立在缺陷预防。开始这段旅程,我们提议项目专注于设计+目的的解决方案,如静态分析,促进更加一致的开发周期和提高RTL质量验证收敛更快。
学习更多关于验证危机的根源和我们的解决方案的上下文中,请访问siemens.com阅读这篇文章,验证Crisis-Improving RTL的质量。
|
|
|
|
|
|
|
|
|
|
留下一个回复