在IEEE 1801的新,你需要知道什么。
有一些激动人心的新事物在刚刚发布了ieee1801 - 2015(又名UPF值3.0),其中一些有好处的报道低功率设计,这就是我们要看这个博客。
其中之一是改善了语义添加功率状态命令,引入ieee1801 - 2009(又名UPF值2.0)。这些说明添加电源状态命令允许您清晰地定义系统的电力的电力领域,哪些工具可以利用自动化覆盖范围。这给你一个很好的方法来衡量的完整性验证的设计,包括电源管理架构,所以你知道当你达到低功率覆盖关闭。
知道你正确地测试您的设计是非常重要的。我想买一些见解从加布里埃尔Chidolue一直在努力使我们的客户更容易和更快的接近他们的低功耗设计的报道有信心继续tapeout。
Gabriel Chidolue验证技术专家,导师图形
问:你会描述在低功耗领域覆盖是什么意思?和低功率覆盖范围的不同方面是什么?
Chidolue:首先我想谈谈问题收集覆盖率数据和UPF值制定覆盖模型。
首先,一个人可以从动态收集覆盖率(即权力意识到检查。断言)这样的工具,支持自动。我们在最后谈到这些半导体工程博客,三个步骤来完成节能调试。任何一个动态检查已成功地通过不费是一个好的保险点,因为它给出了一些具体的指示功能,比如序列是否激活一个孤立的细胞或启动电源域是正确。
我们还收集覆盖率数据供应的电力状态集形成了供应网络。重要的是要理解如果你控制供应网络激活到适当的状态和电压。这个报道也根据国家规范中可用UPF值使用添加功率状态命令。新的语义和澄清UPF 3.0描述电力状态组成和细化,使其可以收集覆盖整个系统。
问:为什么这种覆盖低功率测量功能重要的用户?
ChidolueRTL设计:一般来说,保险是重要的给你一个概念你是否充分测试系统中复杂的交互。这同样适用于低功率设计。
低功率,它不仅仅是报道的RTL功能,它的报道RTL功能以及电源管理工件UPF值推断出的文件。这就是为什么工具必须能够提取这些信息的UPF值建立一个完整的覆盖模型代表了各种状态的设计可能。然后验证工具要通过testbench操作设计,最后testbench已激活的设计,以确保所有这些不同的州已经覆盖。这就是为什么覆盖是关键。这是一个测试的质量指标。
问:这一定很快变得非常复杂与所有不同的权力领域,子系统,gpu和cpu在不同能量状态同时拥有如此多的相互依赖关系。如何这个直接让所有人吗?
Chidolue:这是一个很好的观点。设计只是变得越来越复杂。所以接下来你需要的是一个自动化的解决方案跟踪报道,例如,验证管理、中提取低功率测试计划基于UPF值和任何检查用户可能已经启用,然后链接这些测试计划项目与权力意识到覆盖对象已经创建在测试运行期间的设计。,验证管理门店覆盖率数据和测试计划UCDB(一个行业标准覆盖格式兼容uci API)现在你有一个完整的、统一的视图的覆盖RTL和电源管理功能的设计。
下面是这一切是如何工作的细节。所以你问自己的问题是,“我看到正确的行为在所有的法律权力,我的设计可以吗?这样做你需要设计到所有这些法律权力过渡状态,你需要确保你覆盖所有的权力状态转换。,PASim自动化覆盖范围,提取和建筑,实际上,这种画面以不同的方式对你。
问:这对收集覆盖率数据,然后你如何分析和现在的覆盖率和报告在一个有趣的方式吗?
Chidolue:这就是覆盖报告和测试计划集成进来。因为我们商店的所有UCDB覆盖率数据,我们可以利用所有的验证管理提供基础设施。我们可以自动创建一个测试计划的UPF值数据和链接的报道对象,我们跟踪功率状态转换和权力断言测试计划。测试计划是可执行的,所以它可以使用的验证管理解决方案。
UPF值用于指定电源状态的整个系统,在电力的每个可能的组合系统的电力领域——或者更确切地说,为每个权力领域的主要供应。,PASim礼物这个系统电源状态信息以图形化形式类似于一个有限状态机,连同表格表示,PST结构非常相似。在表中,电源显示为列,系统电源状态显示为行。绿色细胞代表每个供应的现状,和黄色细胞代表每个供应的之前的状态。因此所有的行绿色代表当前电力系统的状态。
UPF值描述这个我们可以自动提取所有这些信息和构建UPF值覆盖模型。趟车的伟大之处,很强大。
也检查出一个“新学校”低功耗方法称为“细化”,这是详细的网络研讨会:新的低功率验证技术。包括什么样的权力应该捕获意图信息在每个阶段的设计流程,哪些特性的UPF参与这样做,以及这如何IP提供商和IP用户结构化方法的好处。
|
|
|
|
|
|
|
|
|
|
留下一个回复