Conformal low power-2.电源感知等效性检查

电源感知等效性检查


第24页:电源感知等效性检查概述

第24页:启动低功耗(等效性检查)软件

第25页:电源感知等效性检查流程

第28页:电源感知等效性检查示例Do文件

电源感知等效性检查概述

电源感知等效性检查是一种高级方法,用于从寄存器传输级(RTL)到布局和布线的功能验证。电源感知等效性检查取代了边界检查,后者只能用于验证已经插入隔离的两个网表。

电源感知等效性检查提供以下功能:

- 低功耗设计等效性检查

- 状态元素域一致性检查

- 能够处理单元建模、开关建模和保持实例

- 电源意图比较

- 状态保持策略比较

注意:在电源感知等效性检查中,不需要移位器、保持单元和开关单元的插入。

启动低功耗(EC)软件

电源感知等效性检查是通过Encounter® Conformal®低功耗验证工具来完成的。

要在非图形模式下启动软件,请运行以下命令:

lec –NOGui –lp

要在图形模式下启动软件,请运行以下命令:

lec [-Gui] –lp

这里的`[-Gui]`表示在某些版本或配置中,可能需要显式指定`-Gui`参数来启动图形界面,而在其他情况下,图形界面可能是默认启动的。根据具体的软件文档或版本要求,选择适当的启动方式。

电源感知等效性检查流程

电源感知等效性检查流程包括以下任务:

- 设置电源感知等效性检查的低功耗选项

- 读取库和设计

- 读取并比较电源意图

- 执行等效性检查

- 执行状态元素域一致性检查

设置低功耗选项

可以使用`SET LOWPOWER OPTION`命令启用低功耗检查选项。此命令指定了读取网表的风格。

注意:当读取电源意图文件时,默认情况下会启用域一致性检查。

读取并比较电源意图

电源意图文件定义了设计的低功耗意图。

低功耗等效性检查(Low Power EC)基于单一共同的电源意图文件(CPF)的电源架构来比较两个设计。然而,在综合和布局布线过程中,电源意图可能会发生变化,这要求低功耗等效性检查读取电源意图文件的黄金版本和修订版本。低功耗等效性检查可以比较黄金版本和修订版本的电源意图文件,并报告它们之间的差异。

使用`READ POWER INTENT`命令读取电源意图文件的黄金版本和修订版本,并使用`COMPARE POWER INTENT`命令(这些命令仅在设置模式下可用)进行比较。比较电源意图后,使用`REPORT COMPARED INTENT`命令报告差异。

提交电源意图

解析电源意图文件后,可以使用带有`-insert_isolation`选项的`COMMIT POWER INTENT`命令执行隔离插入。

注意:电源感知等效性检查不会插入电平转换器、保持单元或开关单元。

检查域一致性并比较状态保持策略

完成等效性检查后,运行CHECK LOWPOWER CELLS命令以对顺序元素执行域一致性检查。低功耗等效性检查还增加了比较状态保持策略的能力,这可以比较是否对映射的状态元素应用了相同的保持策略。

以下是CHECK LOWPOWER CELLS命令结果的示例说明:

在这个例子中:

- 通过(Passed)—报告在比较的设计之间,位于相同电源域中的顺序对的数量。

- 失败(Failed)—报告在比较的设计之间,不位于相同电源域中的顺序对的数量。

- 未检查(Not checked)—指明未执行低功耗检查,或检查被中断的顺序元素的数量。

要获取详细的报告,请使用REPORT LOWPOWER DATA命令。

电源感知等效性检查示例Do文件

本节提供示例,展示第25页上的“电源感知等效性检查流程”。

示例2-1 RTL与逻辑网表

注意:存在一个CPF文件,两个网表都没有低功耗单元。

以下是一个执行RTL与逻辑网表电源意图等效性检查的Conformal do文件的示例。

示例 2-2 无低功耗单元的逻辑网表与含有低功耗单元的逻辑网表

注意:在这个例子中,两个网表具有不同的电源意图文件。

以下是一个Conformal do文件的示例,它对一个没有低功耗单元的逻辑网表与一个含有低功耗单元的逻辑网表执行电源意图等效性检查。

示例 2-3 含有低功耗单元的逻辑网表与物理网表

本文来自互联网用户投稿,该文观点仅代表作者本人,不代表本站立场。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如若转载,请注明出处:http://www.rhkb.cn/news/373539.html

如若内容造成侵权/违法违规/事实不符,请联系长河编程网进行投诉反馈email:809451989@qq.com,一经查实,立即删除!

相关文章

C# 异步编程Invoke、beginInvoke、endInvoke的用法和作用

C# 异步编程Invoke、beginInvoke、endInvoke的用法和作用 一、Invoke Invoke的本质只是一个方法,方法一定是要通过对象来调用的。 一般来说,Invoke其实用法只有两种情况: Control的Invoke Delegate的Invoke 也就是说,Invoke前…

【IEEE官方列表会议,EI, Scopus稳定检索】第三届半导体与电子技术国际研讨会(ISSET 2024,2024年8月23-25)

2024年第三届半导体与电子技术国际研讨会(ISSET 2024)将于2024年8月23-25日在中国西安举行。 ISSET 2024将围绕“半导体”与“电子技术”等相关最新研究领域,为来自国内外高等院校、科学研究所、企事业单位的专家、教授、学者、工程师等提供一…

Ubuntu20.04系统非root用户安装GAMIT10.71

(测试环境:20240701升级包和20240701数据,解算通过) QQ:8212714 群:302883438群文件(source安装包20240701升级包) 1、首先在计算机中安装VMware Workstation 16 Pro。建议:分配…

提高LabVIEW软件通用性的方法

提高LabVIEW软件通用性的方法 在使用LabVIEW开发软件时,提高软件的通用性非常重要。通用性意味着软件可以在不同的应用场景中使用,具备高度的适应性和灵活性,从而提高软件的价值和用户满意度。以下从多个角度详细探讨如何提高LabVIEW软件的通…

二十年大数据到 AI,图灵奖得主眼中的数据库因果循环

最近,MIT 教授 Michael Stonebraker 和 CMU 教授 Andrew Pavlo (Andy) 教授联合发表了一篇数据库论文。Michael Stonebraker 80 高龄,是数据库行业唯一在世的图灵奖得主,Andy 则是业界少壮派里的最大 KOL。 一老一少,当今数据库届…

获超九成Gartner用户力推!FortiGate连续五年斩获“客户之选”称号

近日,Gartner Peer Insights™ 网络防火墙客户之选报告发布,Fortinet 连续第五年荣登这项权威榜单。该评选结果源于广大用户对 Fortinet 防火墙产品的真实反馈,是客户选择 Fortinet 的重要参考依据,也是FortiGate能够占据全球防火…

玩鸣潮提示错误代码126:加载x3daudio1_7.dll失败无法打开的多个详细有效解决方法分享

玩游戏期间你是否也有遇到过找不到x3daudio1_7.dll无法继续执行代码打不开游戏?那么遇到这个问题要怎么办?有什么方法能解决?今天详细给大家介绍一下如何解决找不到x3daudio1_7.dll文件或x3daudio1_7.dll丢失的多个不同方法! 第一…

数据开源 | Magic Data大模型高质量十万轮对话数据集

能够自然的与人类进行聊天交谈,是现今的大语言模型 (LLM) 区别于传统语言模型的重要能力之一,近日OpenAI推出的GPT-4o给我们展示了这样的可能性。 对话于人类来说是与生俱来的,但构建具备对话能力的大模型是一项不小的挑战,收集高…

three-platformize 微信小程序 uniapp 使用截图功能

最近需要将3d场景进行截图,但是网上的各种各样,看的我一团乱麻,因此在解决完后就将这些简单的分享一下; 原理:将3维场景的那个canvas中的像素提取出来,找一个空的canvas二维画布放上去,然后用二…

【鸿蒙学习笔记】Stage模型

官方文档:Stage模型开发概述 目录标题 Stage模型好处Stage模型概念图ContextAbilityStageUIAbility组件和ExtensionAbility组件WindowStage Stage模型-组件模型Stage模型-进程模型Stage模型-ArkTS线程模型和任务模型关于任务模型,我们先来了解一下什么是…

Pearson 相关系数的可视化辅助判断和怎么用

Pearson 相关系数的可视化辅助判断和怎么用 flyfish Pearson 相关系数 是一种用于衡量两个连续型变量之间线性相关程度的统计量。其定义为两个变量协方差与标准差的乘积的比值。公式如下: r ∑ ( x i − x ˉ ) ( y i − y ˉ ) ∑ ( x i − x ˉ ) 2 ∑ ( y i −…

RK3568平台(opencv篇)opencv处理图像视频

一.读取图像文件并展示 灰度图像: 灰度图需要用 8 位二进制来表示,取值范围是 0-255。用 0 表示 0(黑色), 用 255 表示 1(白色),取值越大表示该点越亮。 RGB 彩色图像:…

计算机网络浅谈—什么是 OSI 模型?

开放系统通信(OSI)模型是一个代表网络通信工作方式的概念模型。 思维导图 什么是 OSI 模型? 开放系统互连 (OSI) 模型是由国际标准化组织创建的概念模型,支持各种通信系统使用标准协议进行通信。简单而言,OSI 为保证…

【问题记录】VsCode中以管理员权限运行Powershell

问题展示 今天在尝试运行nodemon命令的时候出问题,显示没法识别,经过分析发现是管理员权限的问题,由于是在vscode里面进行开发,因此特此进行配置。 方法一 直接在vscode命令行中输入如下命令: Start-Process powers…

如何查询并下载韩国签证

登录大韩民国签证门户网站(https://www.visa.go.kr),点击“查询/签发”- “办理进度查询及打印”。 2) 输入护照号码、英文姓名及出生日期后点击查询。 3) 若签证通过,办理状态信息栏下面会显示签证信息。 4)点击“签证…

人生苦短,我用Python+Docker

今天用一个简单的例子,介绍下如何使用Docker进行Python部署。 前期准备 本地需要有Python环境; 一个Linux的服务器并已经装好Docker ; 能把代码上传到服务端的工具。 本文的本地环境是Win10Python3.12,服务器使用Ubuntu的云服…

springboot通江银耳销售管理系统-计算机毕业设计源码15998

摘要 随着人们健康意识的增强,银耳这种传统的中药食材备受关注。而通江银耳是四川省通江县特产,中国国家地理标志产品。四川省通江县是银耳的发源地,中国银耳之乡,通江银耳因主产于此而得名,以其独到的质厚、肉嫩、易炖…

Objective-C 中的 isa 不再是简单的结构体指针

了解 Objective-C 中的 isa 指针内存结构 在 Objective-C 中,isa 指针是对象和类之间的重要桥梁。它不仅帮助运行时系统识别对象的类型,还参与了一些内存和性能优化。本文将深入讲解 isa 指针的内存结构,包括其在早期和现代实现中的演变。 …

彩虹小插画:成都亚恒丰创教育科技有限公司

彩虹小插画:色彩斑斓的梦幻世界 在繁忙的生活节奏中,总有一抹温柔的色彩能悄然触动心弦,那就是彩虹小插画带来的梦幻与宁静。彩虹,这一自然界的奇迹,被艺术家们巧妙地融入小巧精致的插画之中,不仅捕捉了瞬…