首页 > 其他分享 >统一电源格式(UPF,Unified Power Format)

统一电源格式(UPF,Unified Power Format)

时间:2022-10-18 15:13:52浏览次数:75  
标签:Unified Power Format UPF 电源 Tcl 格式 设计 工具

介绍

统一功率格式(UPF)是IEEE发布的标准,由Accellera的成员开发。它旨在简化设计、模拟和验证具有多个电源状态和电源域的IC设计工作。该标准的IEEE 1801 -2009 版本基于Accellera(EDA组织)的捐赠。

UPF与RTL结合起来能完整描述芯片设计,可以一起用于设计过程的仿真阶段:

  • RTL描述逻辑意图
  • UPF描述电源意图

UPF能做什么

UPF的设计目的是在相对较高的水平上反映设计的电源意图。UPF脚本描述了哪些电源轨道应该被路由到单独的块,块预计何时被供电或关闭,当信号从一个电源域到另一个电源域时电压水平应该如何转移,以及如果一个域的主电源被移除,是否应该采取措施来保留寄存器和内存单元内容。

它是如何付诸行动的?
UPF以及类似的公共功率格式(Common Power Format, CPF)的基础是工具控制语言(Tool Control Language, Tcl),这是一种脚本语言,最初创建它是为了提供一种自动化控制设计软件的方法。

Tcl的吸引力在于,命令行命令可以作为脚本中的语句使用。大多数Tcl实现都是特定于单个工具的。然而,CPF和UPF定义不同寻常,因为它们是与电力感知流中的所有工具一起使用的——工具本身必须确定Tcl脚本中提供的命令是否与它们相关。

例如,感知upf的工具使用Tcl命令“create_power_domain”在设计中定义一组块,这些块被视为一个电源域,以不同的方式提供给同一芯片上的其他块。这类命令背后的思想是,电力感知工具读取设计中哪些块可以独立上电或下电的描述。这些工具可以使用这些信息来确定,例如,模拟在不同条件下的表现。

例如,用SystemVerilog编写的测试台可能会向模拟器标识某个特定的块应该关闭电源,以确保其他块在没有先检查电源状态的情况下不会访问它。

晶体管级模拟可以使用功率定义来观察当电源电压或衬底偏置电压改变时会发生什么。当一个模块的供电电压被降低以节省电力,而其他模块则以最大电压运行时,所有必要的逻辑路径是否满足预期的时间?类似地,静态分析工具可以检查正确的电平移位器是否到位,以确定不同功率域中的块是否可以通信。

世卫组织支持吗?
许多EDA供应商已经选择在他们的流程中支持UPF,包括Mentor Graphics和Synopsys。然而,支持并不是普遍的。Cadence Design Systems支持最初由公司开发的通用功率格式,但现在由Silicon Integration Initiative管理,但已宣布支持最新版本的IEEE 1801,该版本包含了来自CPF的许多特性。

标签:Unified,Power,Format,UPF,电源,Tcl,格式,设计,工具
From: https://www.cnblogs.com/lvzh/p/16802606.html

相关文章

  • String.format()的用法
    String.format()字符串常规类型格式化的两种重载方式format(Stringformat,Object…args)新字符串使用本地语言环境,制定字符串格式和参数生成格式化的新字符串。format......
  • Python format()格式化输出方法详解
    前面章节介绍了如何使用%操作符对各种类型的数据进行格式化输出,这是早期 Python 提供的方法。自Python2.6版本开始,字符串类型(str)提供了 format()方法对字符串进行......
  • PowerDesigner 16.5软件安装包下载及安装教程
    PowerDesigner16.5软件简介:PowerDesigner16.5是一款功能强大的数据库建模软件,采用模型驱动方法,将业务与IT结合起来,可帮助部署有效的企业体系架构,并为研发生命周期管理提供......
  • powershell
    将WindowsPowerShell更新到最新版本|D栈-DelftStackPowershell教程-IT宝库(itbaoku.cn)动力外壳画廊|家(powershellgallery.com)图库powershell字符集,......
  • 使用Powershell/cmd提取msi安装包中的文件
    在前面的文章中介绍过如何使用msiexec这个程序执行自动化安装(https://www.cnblogs.com/zhaotianff/p/11558602.html)如果需要提取msi安装包中的文件,也可以使用msiexec程......
  • 知识图谱-生物信息学-医学顶刊论文(Bioinformatics-2021)-SumGNN:通过有效的KG聚集进
    3.(2021.3.26)Bioinformatics-SumGNN:通过有效的KG聚集进行多类型DDI预测论文标题:SumGNN:multi-typeddruginteractionpredictionviaefficientknowledgegraphsu......
  • 2022-10-12 myql-Optimizing IN and EXISTS Subquery Predicates with Semijoin Trans
    8.2.2.1 OptimizingINandEXISTSSubqueryPredicateswithSemijoinTransformationsAsemijoinisapreparation-timetransformationthatenablesmultipleexecuti......
  • 2020CCPC秦皇岛-K. Kingdom's Power(树形DP + 贪心)
    题意给出一个有n个节点的有根树,1为根节点,根节点有无穷多个兵,每一秒可以让任意一个兵向任意一个地方移动一步,兵所到的点被占领,问最少需要经过多少秒,才能将所有的点都占领......
  • How to parallel power MOSFETs
    HitodayIwilldiscusshowtoparallelpowerMOSFETS.WhatisaffectingcurrentsharingandbestpracticestooptimizeyourdesignusinganXperiapowermosfet......
  • delphi FormatFloat随笔
    用FormatFloat来处理浮点数,是一个很好的选择.我这里只讲一种语法:FormatFloat(格式,数值)第一坑:第二参数为数值类型,别传个文本值进去.第二坑:返回值是一......