三个步骤来完成节能调试

在以前的博客,我们已经讨论了UPF值和连续细化低功率流由手臂和导师图形(你可以找到这些在这里)。

在这个博客,我们想介绍一些典型的调试场景客户面临的低功耗设计。我问我们的两个低功率调试专家,加布里埃尔Chidolue和马克回归,加入我确保你得到我们最好的、最聪明的头脑中直接涂料。

Gabriel Chidolue验证技术专家,导师图形

应用工程师马克·交接导师图形

首先,UPF添加隔离细胞,水平移动,检查,在RTL和其他东西。域定义UPF值,UPF值中定义的状态,和你合并这一切之上的RTL。当你想开始调试,有什么重要的事情要访问和UPF值后能够看到已经添加到RTL吗?

盖伯瑞尔:它是至关重要的,UPF值被认为是设计的一部分。所以你需要一个完全统一的视图,因为您想要调试的RTL和之间的交互的内容一起UPF值。您需要一个环境,可以让你看到扩大后的工件,不仅包括逻辑的东西属于RTL但其他推断结构来自UPF的一面。

例如,图1显示了如何可视化工具设计层次结构选项卡允许您看一下这两个UPF和RTL结构,第一次可能,一起把这两个世界。这个例子表明,设计已经扩大到包括UPF构件在设计本身,所以都是混在一起的设计,设计后的逻辑层次结构。

图1:可视化工具设计层次和UPF值选项卡。

艾莉:什么是你使用的场景和流动时调试UPF值作为设计的一部分。你正在寻找的东西是什么?

盖伯瑞尔有三个步骤:静态检查、动态检查,和动态排序。

第一步:静态检查
首先你解决结构性问题从电源管理使用静态检查器。为了实现这种类型的检查,如果你得到一个错误,你要做的是理解为什么工具是报告一个错误。,你将需要一个供应网络以及港口问题,可能有一种孤立细胞缺失或相反,有一种孤立的细胞不是必需的。这类问题是最好的调试环境,允许您可视化结合工件的隔离,供应网络信息,和权力空间。

马克:当你做静态检查,你看着像电力领域交叉。可视化工具电源域口岸窗口在图2中列出了权力领域和信号,从一个域到另一个地方。最右侧的窗口,它显示了静态检查的结果是得到标记;即。冗余的电平位移器,““不插入电平位移器,”和“冗余的隔离。“UPF值最大的事情之一就是你适当添加这些结构设计。

图2:调试静态检查和UPF值使用域口岸窗口。

盖伯瑞尔:这个窗口允许您看到的问题,如果你想进一步调试,你单击图标之间的“状态”和“信息”打开示意图,图3中所示,显示详细信息,信号从一个特定的源域问题是穿越到水槽域。

图3:逻辑锥的权力领域跨越,完成细胞隔离。

马克:要通过检查和流的可视化是一个关键的部分,因为你从文本,显然在趟车,现在东西插入一个层次结构。不是检查或编译你的UPF单靠语法,它应用与设计,并确保这两个在一起工作。,因为你可能会花费合理的时间迭代这些静态检查,重要的是要有一个工具,提供了很好的可视化,这样你就可以有一个良好的周转时间。

步骤2:动态检查
艾莉:好吧,既然你有你所有的UPF结构正确,你在找什么?

马克:现在我们要动态地看问题,都是关于事件的序列;事情后一个精确的顺序。动态检查帮助调试的捕捉违法行为在实时仿真和低迷的给你。

如果你做一个启动,通常你会应用一个重置之前禁用或启用时钟。所以你可以检查事件的序列,所以时钟复位的顺序,应用隔离,应用保留,所有这些类型的事件可以与这些类型的动态检查检查。

Assertion-based动态检查更有效比试图找到所有这些事情在一个波形。你只是打开这些断言,运行模拟,根据违规行为的检查和调试。你调试的违规导致你的地方在你寻找的波形检查失败的原因。

图4:动态消息查看器。

马克:当你运行模拟,得到图4所示的窗口,这表明断言解雇了因为没有得到妥善隔离。然后你可以点击波形图标来获得更多细节。

步骤3:动态排序
艾莉所以一旦运行这些自动检查您浏览波形和观察序列找出自己做错了什么。你在找什么?

盖伯瑞尔:你想看到它正确的行为。你回到更传统的验证流程,你可以设计从一个状态转换到另一个,而且,虽然这样做,所有的部分设计检查。

重要的是你的调试器阶段表明你在当你经历一个权力序列。例如,在图5中,波形查看器使用红色交叉排线说明您已经成功关闭设计。这就是所谓的腐败模式,在这种情况下并不意味着的东西是错误的。这仅仅意味着没有权力去或特定领域。

图5:权力意识到波窗口。

马克:进一步,你需要确保权力序列使得隔离在正确的地方。权力意识到窗口使用一个绿点背景表明一个特定的端口隔离模式。这些功能帮助您调试升高的动态行为和省电和快速识别腐败和孤立。

艾莉保留呢?当你关闭一系列逻辑,当你电源备份吗?

盖伯瑞尔:保留是保护重要状态信息当你力量的东西。当你调试你要确保三件事时保留。你想确保你正确保存代码,确保它是被保留,确保它正确地恢复了力量。

艾莉这一切听起来非常强大。你怎么知道当你正确验证所有在你的电源管理吗?

盖伯瑞尔:你需要覆盖。我们要做的是把跳棋变成报道点。当你行使所有这些没有任何断言射击,你知道好了。你也要确保覆盖任何有趣的场景或设计的不同能量状态之间的相互作用。的工具来帮助你首先弄清楚不同的状态在权力的转换和给你一个cross-coverage视图显示你有多少你穿越设计不同功率状态。和这两件事你得到一个好质量的测量验证运动。

艾莉:谢谢盖伯瑞尔和马克!我认为重要的是要理解,在低功率设计,你不仅与RTL统一UPF值,但是也UPF值引入你的电源管理结构。所以你需要调试功能,给你所有的力量,你有当调试一个RTL设计和它的行为。

马克:你不总是输入一个调试会话的想法,今天我要调试低功率的问题。往往只是你有一些失败测试回归和一些奇怪的行为。你诊断和调试,事实证明,这是一个低功率的问题。这是一个的好处有一个工具,可以为您提供您的设计的集成视图。UPF值是您的设计的一部分,因此需要调试工具给你们所有的观点。这不是马后炮,它是一个集成设计的一部分,您需要这样认为。

对那些想要了解更多关于电源管理技术和验证,看看新的白皮书,P动态调整频率和电压电源意识到疾病预防控制中心的验证(dvf)工件2015年代,在DVCon欧洲。