Conformal low power-1.概述

概述

设计师们越来越期望更长的电池寿命和更高的性能。由于漏电流的增加,使用90纳米及更小工艺节点制造的设备在不使用时的功耗与使用时相同。设计师们可以针对漏电流和动态功耗进行优化,这可以减少能源使用并降低冷却和封装成本。额外的高级低功耗方法提供了进一步的电力节省,但显著增加了验证过程的复杂性。

Encounter® Conformal® 低功耗软件能够在设计过程的早期使用形式化技术(而非仿真)验证这些低功耗设计技术的正确的实现,并验证硅片。它还减少了在产品上市前通常被遗漏的错误的风险。Conformal Low Power 是业界唯一提供全芯片低功耗功能验证的解决方案。

Conformal Low Power 接受具有或不具有明确电源或地线的RTL/门级网络列表,并接受用户定义的电源引脚、电源域、电源开关、电平转换单元、隔离单元和状态保持单元。

注意:本手册主要描述CPF流程。有关1801相关支持,请参阅第7章,“运行Conformal Low Power 1801流程”。

访问在线帮助和文档

启动Cadence帮助

在线文档系统称为Cadence Help。

从主GUI,点击帮助菜单项,然后导航到您希望查看的文档的HTML版本。这将打开Cadence Help。

一些GUI窗口还有一个帮助按钮,将启动Cadence Help。

获取Cadence帮助的帮助

启动Cadence帮助后,按F1或选择帮助 - 目录以显示Cadence帮助的帮助页面。

获取运行工具的命令帮助

可以通过输入工具或实用程序名称后跟 `-help` 选项来显示任何工具和实用程序的选项列表,如下所示:

% tool_name -help

示例:

% ccd -help

获取命令和消息的帮助

使用不带任何选项的 `MAN` 命令列出所有可用的命令。但是,要查看特定命令的帮助信息,请使用以下命令:

- `command_name` — 要查看特定命令的用法,请输入 `MAN` 命令后跟命令名称。例如:

  man read design

- `-verbose` — 要查看特定命令的扩展信息,请输入 `MAN` 命令,后跟命令名称和 `-verbose` 选项。例如:

  man read design -verbose

- `message_name` — 要查看特定规则检查消息的帮助,请输入 `MAN` 命令后跟消息名称。例如:

  man f10

有关 `MAN` 命令的更多信息,请在工具内使用以下命令:

%man man

搜索帮助数据库中指定的字符串

`SEARCH` 命令在帮助数据库中搜索命令和选项,以匹配您指定的字符串。包括 `-usage` 选项以显示命令及其选项。

使用帮助菜单

可以使用帮助菜单获取有关命令、许可证、文档和 Cadence 支持的更多信息。

从命令窗口获取帮助

许多命令窗口中都有一个帮助按钮。与主窗口上的帮助按钮不同,当您在命令窗口中左键点击帮助按钮时,Conformal软件会自动执行帮助 - 命令,并在命令帮助窗口中显示相关命令的信息。

访问用户文档

请按照以下步骤查看用户指南和参考手册:

1. 点击菜单栏最右端的“帮助”下拉菜单。

2. 点击《书名》(pdf)或《书名》(html)。

PDF阅读器启动并显示书籍的PDF版本。或者,Cadence帮助启动HTML版本。如果选择HTML版本,将通过Cadence帮助访问文档集中的所有其他书籍。

注意:必须有一个PDF阅读器才能访问文档。要下载Adobe Acrobat Reader的当前版本,请访问以下网页:

http://www.adobe.com/support/downloads/main.html

访问产品信息

请按照以下步骤显示Cadence公司的标志、产品版本号和日期、邮寄地址、电话和传真号码以及网页和电子邮件地址。

1. 点击菜单栏最右端的“帮助”下拉菜单。

2. 点击“关于”。

访问许可证信息

从主窗口的“帮助”下拉菜单中,点击“许可证”以查看有关所有已安装的Conformal软件许可证的信息。报告出现在“转录”窗口中,包括诸如当前用户、特性和到期日期等信息。

您也可以使用LICENSE命令来查看当前的许可证状态。许可证的当前状态出现在转录输出中。

附加学习资源

Cadence提供了以下关于Conformal Low Power的培训课程:

■ 使用Conformal进行低功耗验证

电源感知等效性检查

Conformal Low Power等效性检查为低功耗实现的RTL设计到放置和布线网络列表提供了高级等效性检查。

下表列出了每个验证阶段执行的电源感知等效性检查(yes=执行;no=未执行)。

更多的信息,请参考第2章

低功耗扩展检查

Conformal Low Power的扩展检查执行以下操作:

- 库一致性检查

- 电源意图质量检查

- 结构检查

- 用户定义的基于规则的检查

- 功能检查

- 电源感知电路分析检查

Conformal Low Power的扩展检查还提供了一个电源意图开发环境(PIA)。用户可以使用此环境创建/修改低功耗单元库和设计电源意图。

逻辑和物理网络列表

Conformal Low Power逻辑网络列表检查适用于没有电源和地连接的网络列表。它检查电平转换器的位置和隔离单元的类型及位置。Conformal Low Power物理网络列表检查适用于有电源和地连接的网络列表。它完成电平转换器、隔离单元和状态保持单元的检查。

更多信息,请参见第4章“逻辑网络列表检查”和第5章“物理网络列表检查”。

结构检查

结构检查是指我们仅通过查看连接性并通过简单的反相器和缓冲器门进行遍历所能做的任何事情。结构检查不分析任何逻辑来进行检查。

- ISO7检查标记了在可切换与不可切换域之间缺少隔离的问题

- 没有电源域或有多个电源域的原语(数据或设置问题)

- 没有驱动器的网络

- 明显的冗余隔离(在两个不可切换域之间)

- 电源端口未连接到电源域

- 电源和地域短路

- 电源和电源域短路

- 电平转换器电源端口连接错误(连接到错误的电压)

- 隔离单元电源端口连接(不是基于接收器的正确域)

- 电源开关单元端口检查

在以下示例中,工具发现电平转换器电源路由错误以及网络Err_net上缺少的电平转换器:

基于规则的检查

可以通过定义检查隔离和状态保持单元的有效规则来指定期望隔离或保持的实现方式。

在以下示例中,工具发现三个错误:

- 交叉点c1的隔离类型是高电平,而它应该是低电平。

- 交叉点c2的隔离控制极性不正确。

- 交叉点c4没有隔离。

CPF隔离插入规则:

create_isolation_rule \

-from Dom1-to Dom2 \

-isolation_condition xc/Iso \

-isolation_type low

电路分析检查

Conformal Low Power的扩展检查包括以下电源感知的电路分析检查:

- 钳位二极管检查

- 开路源输入检查(需要GXL许可证)

- 切换体连接检查(需要GXL许可证)

- 衬底偏置连接检查(需要GXL许可证)

以下图表展示了一些电源感知的电路分析检查的示例。

通用电源格式(CPF)

通用电源格式(CPF)旨在通过使设计者能够为高级电源管理技术捕获其意图,来解决当前设计自动化工具流程的限制。CPF提供了支持,可以将所有设计与技术相关的电源约束捕获在单个文件格式中,以供在整个RTL到GDSII设计流程中使用,包括验证、验证、综合、测试、物理实现和签核分析。

通过CPF基础设施支持实现的自动化将是应对行业面临的日益增长的电源管理设计挑战的答案。CPF的引入及其支持将为设计者带来生产力的提高和硅片质量的改善,而无需对当前传统的RTL进行任何更改。

有关通用电源格式(CPF)的更多信息,请参见以下文档:

- 通用电源格式语言参考

  可以从主Conformal窗口通过选择“帮助” - “CPF参考手册”来打开它。

- 通用电源格式用户指南

  可以从主Conformal窗口通过选择“帮助” - “CPF用户指南”来打开它。

低功耗概念

时钟门控

时钟门控是指接收来自时钟门控触发器和寄存器的信号的逻辑不切换。这样不消耗动态功率。时钟门控最小化了切换。在许多设计中,数据不经常加载到寄存器中,但时钟信号在每个时钟周期继续切换,通常驱动一个较大的电容负载。通过识别寄存器何时处于非活动状态,并在这些期间禁用时钟,可以节省大量功率。

二极管钳位
电源钳位单元

电源钳位单元通过数据信号到电源网络具有一个二极管连接,如下所示的图表:

当输入信号的电压上升超过电源电压VDD​加上阈值电压Vth​时,二极管就会导通,从而将信号电压钳位在VDD​+Vth​。

地钳位单元

地钳位单元具有从地网络到数据信号的二极管连接,如下所示的图表所示:

如果输入信号电压下降到 -Vth 以下,二极管就会导通,从而将信号电压钳位在 -Vth。

电源和地钳位单元

具有到电源和地网络的二极管连接的钳位单元,如下所示的图表,可以对数据信号上的高低电压都进行钳位。任何高于 VDD + Vth 的电压都会被钳位到 VDD + Vth,低于 -Vth 的电压则被钳位到 -Vth。

二极管钳位单元保护实例 i0 的数据输入引脚 A 免受静电放电(ESD)的损害,同时也防止信号网上的电压过冲和欠冲。

动态功耗

动态功耗是在门电路转换时,电源和地之间的瞬态短路连接以及在充电或放电内部和网络电容时消耗的开关功耗。

隔离(Isolation)

隔离是一种电源管理技术,它防止关闭的模块的未驱动输出在活动模块中引起电气问题。有源隔离为活动逻辑提供驱动值,将逻辑单元输入设置为一个级别,使得所有其他输入变为无关紧要,即其他数据输入的电压水平对内部网络或输出没有任何影响。如果非活动逻辑没有被隔离,会发生严重问题。

电平转换(level shift)

电平转换是一种将信号从一个电压值传输到更高或更低电压值的技术。电平转换器是一种用作跨电压域信号的边界的单元。从低到高的电压跨越总是需要电平转换器,以防止异常的高功耗。通常使用由较高电压供电的缓冲器作为电平转换器,用于从高到低电压域的跨越。如果信号在没有适当的电平转换的情况下从低电压域到高电压域,会发生严重问题。

多电压电源

当一个较低电压的信号驱动一个由较高电压供电的门时,就需要电平转换器。这些单元被放置在由不同电压供电的源和接收器之间,以保护接收器不受过高或过低电压的影响。电平转换器需要内部同时具备这两种电压才能正常工作。

当一个较高电压的信号驱动一个由较低电压供电的门时,可能不会使用电平转换器。如果使用电平转换器,它将使用较低电压进行输出阶段,并且不会使用任何较低或较高的电压进行输入阶段。

电源域

电源域是指所有电源电压相同的电路(相同的供电网络)。所有共享相同电源的电路,如果是可切换的,也会共享相同的电源启用和禁用控制。在下面的示意图中,所有块都位于不同的电源域中:

电源门控

电源门控是一种节省漏电的技术,它将电源域与电源的连接关闭,如下所示的示意图:

电源切换

电源开关是一个位于电源引脚和模块电源之间的PMOS器件。当这个晶体管关闭时,被供电电路的电源域就被禁用了。电源开关的电源输出网络被称为切换电源域。通过关闭PMOS器件来关闭模块电源。

信号门控

信号门控是一种通过在不需要信号值切换时停止其切换来减少动态功耗的技术。信号门控是RAM地址和数据线脚常用的技术。这使得接收门控信号的逻辑输入保持恒定,从而消除了动态功耗。

状态保持

状态保持是一种电源管理技术,它在模块断电之前保存状态。这是在模块的主电源或地线被关闭之前,保存存储元件(如锁存器或触发器)的重要状态的过程。保存状态的电路将需要不可中断的电源和地线以确保状态得以保留。

在下面的示意图中,当时钟较低时,Sleep = Ret被断言,然后VDD被关闭。在唤醒 - VDD被打开后,Ret在时钟较低时被取消断言。

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

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

相关文章

视觉语言模型:融合视觉与语言的未来

1. 概述 视觉语言模型(Vision-Language Models, VLMs)是能够同时处理和理解视觉(图像)和语言(文本)两种模态信息的人工智能模型。这种模型结合了计算机视觉和自然语言处理的技术,使得它们能够在…

基于SAM的零样本相似性评价方法

文章目录 介绍方法SAM编码器相似性指标代码复现介绍 图像转换具有广泛的应用,如风格转换和模态转换,通常是生成具有高度真实和忠实的图像。这些问题仍然很困难,特别是在保存语义结构很重要的时候。传统的图像级相似性度量的用途有限,因为图像的语义是高级的,并且不受对原…

简单分享下利用python做测试的学习方向

做为一名转行过来的工程师,我想分享一下这些年来,我对于技术是怎样晋升的,我是在职,边上班边利用时间学习起来的,也听过很多业内人的分享(简单可以总结以下几点,分享给大家碎片的式学习方式&…

ESP32网络开发:1.创建一个基于TCP网络协议的网站

一、TCP协议的介绍 TCP(传输控制协议,Transmission Control Protocol)是互联网协议套件中的一种核心协议,主要用于在网络中的计算机之间可靠地传输数据。TCP协议位于OSI模型(开放系统互联模型)的传输层&…

「7.9更新日志」JVS·智能BI、逻辑引擎(服务编排)功能更新说明

项目介绍 JVS是企业级数字化服务构建的基础脚手架,主要解决企业信息化项目交付难、实施效率低、开发成本高的问题,采用微服务配置化的方式,提供了 低代码数据分析物联网的核心能力产品,并构建了协同办公、企业常用的管理工具等&am…

java使用poi-tl模版引擎导出word之列表循环数据渲染

目录 1.模版制作2.开启spring表达式3.编写关键代码接口4. 导出结果 poi-tl模版引擎中,如果区块对的值是一个非空集合,区块中的文档元素会被迭代渲染一次或者N次,这取决于集合的大小,类似于foreach语法。 1.模版制作 在静态资源目…

[ACM独立出版]2024年虚拟现实、图像和信号处理国际学术会议(ICVISP 2024)

[ACM独立出版]2024年虚拟现实、图像和信号处理国际学术会议(ICVISP 2024) 2024 International Conference on Virtual Reality, Image and Signal Processing 最新消息ICVISP 2024-已通过ACM出版申请投稿免费参会,口头汇报或海报展示(可获得…

品牌推广的要素有哪些?探寻最佳实践方法

作为一个手工酸奶品牌的创始人,目前全国复制了100多家门店。我来和大家分享下品牌推广的基本要素,以及最佳实践方法! 一、品牌推广基本要素 1、目标市场分析 品牌推广的第一步就是明确目标市场。先了解目标受众的年龄、性别、消费习惯、有…

centos在GitHub上下载代码

1、安装git yum install -y git2、下载 git clone https://github.com/dji-sdk/Payload-SDK3、若遇到 centos 7 git clone 报错:fatal: unable to access解决方法: 3.1、 打开/etc/hosts文件;命令:sudo vim /etc/hosts 3.2、 添…

MFC扩展库BCGControlBar Pro v35.0 - 可视化管理主题等全新升级

BCGControlBar库拥有500多个经过全面设计、测试和充分记录的MFC扩展类。 我们的组件可以轻松地集成到您的应用程序中,并为您节省数百个开发和调试时间。 BCGControlBar专业版 v35.0已全新发布了,这个版本改进类Visual Studio 2022的视觉主题、增强对多个…

ASUS NUC 14 Pro+:掌中宇宙,性能无界

在这个追求多样性的斜杠时代,ASUS NUC 14 Pro 顺势而生,将浩瀚宇宙般的强大性能浓缩于方寸之间,它不仅是一款设备,更是助您探索多重身份的斜杠伙伴! 浑然天成,简约而不简单 小巧的机身、简约的线条、精致的…

【电脑应用技巧】如何寻找电脑应用的安装包华为电脑、平板和手机资源交换共享

电脑的初学者可能会直接用【百度】搜索电脑应用程序的安装包,但是这样找到的电脑应用程序安装包经常会被加入木马或者强制捆绑一些不需要的应用装入电脑。 今天告诉大家一个得到干净电脑应用程序安装包的方法,就是用【联想的应用商店】。联想电脑我是一点…

哈喽GPT-4o,程序员如何通过GPT-4o提高办公效率

目录 一、编写工作汇报Prompt:我是一名Java开发工程师,请写一份工作总结,工作内容是一个SpringBootVue实现的图书管理系统,按下面的结构来撰写:1. 工作背景;2. 工作内容;3. 工作建议&#xff1b…

文献解读-多组学-第十七期|《基于多组学分析和综合模型的三阴性乳腺癌腋窝淋巴结转移预测》

关键词:多组学分析;基因测序;多组学模型; 文献简介 标题(英文):Prediction of axillary lymph node metastasis in triple-negative breast cancer by multi-omics analysis and an integrated…

【常见开源库的二次开发】基于openssl的加密与解密——openssl认识与配置(一)

一、什么是openssl? OpenSSL 是一个开源的软件库,它提供了一系列加密工具和协议,主要用于实现安全通信,如在网络上的数据传输。它支持多种加密算法,包括对称加密、非对称加密、散列函数、伪随机数生成器、数字签名、密…

基于vue的引入登录界面

以下是一些常见的登录页面布局: 1. 中心布局 - 登录表单位于页面的中心位置,通常包括用户名输入框、密码输入框、登录按钮等元素。页面背景简洁,以突出登录表单。 - 这种布局常见于大多数网站和应用,简洁明了,用户注意…

Kubernetes 为pod指定DNS

在k8s里面,默认创建pod会给pod默认分配一个默认的dns,这个dns是哪来的呢?可不可以改成其他的dns呢? 先进入到pod里面来,可以看到这里面默认设置的DNS服务器,这个服务器地址为10.96.0.10。这个地址是k8s自动…

RFID智能锁控系统在物流安全运输中的应用与效益分析

一、物流锁控系统现状与挑战 1.1 传统锁控系统的局限性 安全性不足:机械锁容易被撬开或钥匙被复制,导致货物在运输过程中面临被盗风险。 无法实时追踪:一旦货物离开发货点,物流公司无法实时监控货物状态,增加了货物…

【前端】包管理器:npm、Yarn 和 pnpm 的全面比较

前端开发中的包管理器:npm、Yarn 和 pnpm 的全面比较 在现代前端开发中,包管理器是开发者必不可少的工具。它们不仅能帮我们管理项目的依赖,还能极大地提高开发效率。本文将详细介绍三种主流的前端包管理器:npm、Yarn 和 pnpm&am…

软考五个高级科目怎么选?如何一口气拿下证书!

软考高级包括: 信息系统项目管理师、系统分析师、系统架构设计师、网络规划设计师、系统规划与管理师等五个考试。 一、各科特点: 信息系统项目管理师 特点:主要从事信息系统项目管理方面的工作,要求掌握项目管理的知识体系和实…