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.mzph.cn/pingmian/44164.shtml

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

相关文章

MySQL 中 SQL 查询语句的执行顺序

在 MySQL 中,SQL 查询的执行顺序通常按照以下顺序进行: FROM:从指定的表中选择数据。WHERE:对数据进行筛选,只选择满足条件的行。GROUP BY:按照指定的列对数据进行分组。SELECT:选择要返回的列或…

使用springboot 配置一个websocket客户端

要在 Spring Boot 应用程序中实现一个 WebSocket 客户端,您可以使用 Spring 的 WebSocketClient 接口。这里,我们将使用标凑的 StandardWebSocketClient 进行示例。客户端将被 Spring 管理,允许你注入任何需要的依赖,并支持向 Web…

亚马逊关键词优化全攻略:自养号测评让你的产品跃居首页

常常听到亚马逊运营吐槽: 为啥我的产品就是上不了首页呢? 我的关键词要怎么优化才能排名靠前啊? 的确,每天都有无数个卖家在想方设法让自己的产品排到首页,所以产品的竞争激烈程度不言而喻。 我们在亚马逊运营中&a…

在Python中什么是上下文管理器以及如何使用with语句来管理资源

什么是上下文管理器? 在Python中,上下文管理器(Context Manager)是一种支持with语句的协议,允许对象管理资源,如文件、线程锁的获取和释放、数据库连接等。上下文管理器负责资源的分配和释放,确…

昇思MindSpore学习笔记6-03计算机视觉--ResNet50图像分类

摘要: 记录MindSpore AI框架使用ResNet50神经网络模型,选择Bottleneck残差网络结构对CIFAR-10数据集进行分类的过程、步骤和方法。包括环境准备、下载数据集、数据集加载和预处理、构建模型、模型训练、模型测试等。 一、概念 1.图像分类 最基础的计算…

用6000万茅台案,了解什么是外挂?

近日,一起涉案金额高达6000余万元的案件出现在人们视野中。此前浙江丽水云和县公安局侦破了一起非法利用软件抢购电商平台茅台酒案。 据了解,犯罪嫌疑人以非法牟利为目的,开发了抢购软件,以有偿原价抢购电商平台飞天茅台酒为噱头&…

Raspberry Pi 使用 Halio 实现 13Top/s AI 加速

Raspberry Pi 5 现在可以选择用于神经网络、人工智能和机器学习的 AI 协处理器。 AI 套件包含最近宣布的用于容纳 NVMe 内存驱动器的相同 M.2 HAT,但装载了 13Top/s Hailo-8L AI 处理器。 据 Raspberry Pi 介绍,连接是通过其单通道“以 8Gbit/s 的速度…

《简历宝典》06 - 简历的“个人信息”模块,【期望薪资】和【籍贯】的注意点

目录 1 本节概要 2 我不是地域黑 3 籍贯这一项的小技巧 4 期望薪资不建议写 5 面试通过后努力争取 6 最后 1 本节概要 有少数人,还真的会在简历中写明期望薪资,我得给他讲半天,你不要写,为什么不要写。然后呢,人…

PyCharm在线版,一周使用总结!!!

前言 过去一周,对pycharm在线版进行了使用,对云原生开发工具有了全新的认识,云原生开发是一种现代化的软件开发和部署方法,它充分利用了云计算的优势,特别是容器化、微服务、持续集成/持续部署(CI/CD&…

Finalshell如何使用ssh秘钥连接服务器

[TOC](Finalshell如何使用ssh秘钥连接服务器)背景 最近在开发项目,需要部署到客户服务器,且不好暴露我们的gitlab地址去下载部署,只好回到解放前,使用工具上传文件到客户服务器部署😂 但是手写scp命令太麻烦&#x…

【WEB前端2024】3D智体编程:乔布斯3D纪念馆-第58集-agent机器人助理自动群发短信

【WEB前端2024】3D智体编程:乔布斯3D纪念馆-第58集-agent机器人助理自动群发短信 使用dtns.network德塔世界(开源的智体世界引擎),策划和设计《乔布斯超大型的开源3D纪念馆》的系列教程。dtns.network是一款主要由JavaScript编写…

20个实验数据创造AI蛋白质里程碑!上海交大联合上海AI Lab发布FSFP,有效优化蛋白质预训练模型

蛋白质,这些微小而强大的生物分子,是生命活动的基础,在生物体内扮演着多种角色。然而,要精确地调整和优化蛋白质功能,以适应特定的工业或医疗需求,却是一项极具挑战性的任务。传统上,科学家们依…

python入门综合篇—资源爬取与exe打包(图形界面)

了解我的人都知道,我是一个谨言慎行且兴趣爱好广泛的IT,作为一个合格的前端,没事捣鼓一下python很合理吧,再没事搞搞java和php也很合乎逻辑吧,实在没事,玩玩linux服务器也是合乎常理的吧。所以,…

多线程Thread

线程Thread简介 任务、线程、金城、多线程 多任务:短时间切换不同得任务 多线程:通过同一条道路,增加道多条道路,提高使用率,解决堵塞问题 普通方法调多线程只有主线一台执行路径是主线程调run()方法,方…

LlamaFactory可视化微调大模型 - 参数详解

LlamaFactory 前言 LLaMA Factory 是一个用于微调大型语言模型的强大工具,特别是针对 LLaMA 系列模型。 可以适应不同的模型架构和大小。 支持多种微调技术,如全参数微调、LoRA( Low-Rank Adaptation )、QLoRA( Quantized LoRA )等。 还给我们提供了简单实用的命令行…

activiti6学习

activiti6使用教程 activiti的数据库表结构主要分为五类: 数据表分类 描述 ACT_GE_* 通用数据表(GE表示General) ACT_RE_* 流程定义存储表(RE表示Repository) ACT_ID_* 身份信息表(ID表示Identity&#x…

Odoo免费开源ERP如何处理汽车零部件企业的OE编码问题

业务背景 汽车零部件企业在每个汽配零件都有OE编号,即原厂编号,Original Equipment Number。一个配件,可能可以在多个车型上使用,对应的,就有多个可兼容的OE编号。 客户下单时候,直接报OE编号&#xff0c…

集合与最大公因数

题目链接 三个小性质 1.相邻两个数互质,如5,6 2.连续三个奇数互质,如1,3,5 3.连续两个偶数必定有公因子,如2,4 对于这题我们要让四个数两两最大公约数为k,也就是说这四个数除了约数k以外没有其他公约数了,也就是如果我们把k都除掉,剩下四…

C语言 统计文章中的字符种类

有一篇文章,共有3行文字,每行有80个字符。要求分别统计出其中英文大写字 母、小写字母、数字、空格以及其他字符的个数。 #include <stdio.h>int main() {char text[3][80] {"This is a line of text 123.","Another line, with more Characters!"…

objc_object 与 objc_class 是一定要了解的底层结构

入门 在 Objective-C 中&#xff0c;objc_object 和 objc_class 是运行时系统的核心结构&#xff0c;用于表示对象和类。理解它们的结构和关系对于掌握 Objective-C 的运行时机制非常重要。 objc_object 结构 objc_object 结构代表一个 Objective-C 对象。每个 Objective-C …