确保在低功耗设计中微妙的错误不会逃避。
Himanshu Bhatt和Shreedhar拉马
隔离、保留和电源开关的重要功能,节能设计,使用一些常见的低功耗技术(例如)电源关闭,(例如)dvf multi-voltage和先进技术,低VDD备用,偏压。策略隔离、保留和电平位移器中指定格式文件。在动态低功耗验证,仿真器读取的格式文件在RTL细化和评估隔离和保留信息的仿真测试做准备。目的是确保关闭序列,隔离和保留是准确的。动态模拟的另一个重要方面是使用低功率序列的技术,如断言,正确的隔离,夹值保存/恢复处理与重置,接通电源的处理,multi-rail宏观处理和覆盖的状态。“X-propagation”是权力意识到模拟的另一个重要方面,以确保RTL行为匹配与门级仿真(gl)和功能相关的bug可以检测到在设计周期。拥有一个有效的权力意识到调试工具是重要的有一个精确的权力意识到模拟器,使设计和验证工程师能够仿真失败的根本原因并修复它们。
在今天的情况下,低功耗设计的步伐,市场和成本的硅失败不允许电子行业类似的“烤”的节能设计所以使用权力意识到模拟器的功能加上一个直观而强大的调试是必不可少的,以确保微妙的错误不会逃脱硅。
电源管理验证需求
低功率验证需求如下:
图1:电源管理验证需求
权力意识到仿真和调试
为:权力意识到验证环境(铺)是一种基础设施,使访问UPF值对象,监控低功率事件,和写节能断言。它使用强大的UPF查询命令来查询意图和UPF bind_checker命令来检查程序模块绑定到UPF物体像电力领域,电源开关、隔离策略,保留策略。用户可以使用铺平道路基础设施等场景编写自定义断言“时钟停在高”当“重置低”等。
图2:铺平道路基础设施
图3:自定义断言场景来检查时钟不应该停在保存和恢复操作期间低
X-Prop:权力意识到模拟依赖于X传播展示力量的影响。使用这个,设计师可以找到失踪的孤立细胞相关的bug,任何使信号(如隔离启用),这并不活跃,会导致细胞隔离故障。
图4:发现低功率bug的传播X
可能有场景基于“RTL编码风格”,可能导致“X”逃脱从而导致错误在设计(可能被抓后,如果运行gl)。运行gl既耗费大量的时间和性能。“X-Prop”技术有助于模仿这样的gl行为在RTL级本身。下图说明了这一点。
图5:Synopsys对此风投与X-Prop NLP技术
接通电源的重置断言:失踪的重置升高会导致设计失败。同时,重置必须有一个最小脉冲宽度。
准确的权力意识到模拟器,VCS NLP等提供一个机制来赶这样重置相关问题,使用“权力= assert_reset_sequence”编译时选项使加电复位断言。
图6:接通电源的复位情况
模拟器将国旗这些断言,当权力意识到测试运行:
定制供应净决议:在用户定义的供应网UPF值可能有不同的解决方法基于用户需求。最常见的是“平行”和“热”。然而,可能有场景中用户想要指定自己的自定义分辨率函数以解决司机。下图说明了这一点。
图7:不同的供应网络解决方法
VCS NLP还提供了一个功能用户可以定义自己的自定义解析函数在一个包和使用相同的UPF值。
分析了UPF值比较流:一些设计师执行对等检查RTL和合成网表感觉之间需要协同作用在低功率流中使用的各种工具。分析了UPF流是一个这样的例子。在这个流程中,权力意识到模拟器创建一个“UPF_ *”数据库读完UPF值。等价性检查器然后使用这个数据库来执行低功率之间的等价性检查RTL和合成网表。权力意识到模拟器的UPF值输出隔离策略的有效元素在元素。因此,低功率等效检查最小的源/汇分析/跟踪。然而,对于异构展开的情况下,等价性检查器还需要做一些跟踪。这有助于避免错误的等价(下图说明了这个流)。
图8:UPF值之间的一致性仿真和合成
图9:输入UPF值转换成输出UPF值等价性检查器的消费
权力意识到调试:调试权力意识到设计是一个很大的挑战。使用权力意识到调试器中详尽的特性和与权力紧密集成意识到模拟器是非常可取的。下图表示的一些特性和功能的调试工具。
图10:权力意识到使用威尔第调试
结论
权力意识到仿真提出了多重挑战。使用一个强大的和准确的权力意识到模拟器的功能铺平道路,X-Prop,加电复位断言,定制供应净分辨率和UPF值比较分析流结合本地与权力意识的集成调试工具有助于提高验证签字信心确保一个“左移位”,确保微妙的错误不会逃入硅。您可以了解更多关于权力意识到模拟在这里。
|
|
|
|
|
|
|
|
|
|
在图7中,自定义解决一个实际的one_热驱动的决议。的被指定为one_hot_driven供应网络描述parallel_resolution案例之一。