IEEE Std 1801-2015：低功耗电子系统设计与验证标准

低功耗设计

5星 · 超过95%的资源需积分: 39 181 浏览量更新于2024-07-09 6 收藏 7.08MB PDF 举报

身份认证购VIP最低享 7 折!

领优惠券(最高得80元）

"IEEE 1801-2015(3.0).pdf" 是一份关于低功耗设计的最新标准文档，全称为"IEEE Standard for Design and Verification of Low-Power, Energy-Aware Electronic Systems"。这个标准由IEEE Computer Society的设计自动化标准委员会赞助，并在2015年12月5日得到了IEEE-SA Standards Board的批准。这份文档是对2013年版本的修订，主要关注低功耗电子系统的设计和验证。在低功耗设计领域，统一电源格式（UPF）是关键的技术标准，它在3.x版本（特别是3.1）中对2.x版本进行了重大升级。UPF 3.x引入了更强大的抽象建模能力，使得设计师能够更加精细地控制和管理电子系统的功耗。然而，值得注意的是，不同的设计工具对UPF中的某些属性和命令的支持程度可能不一。因此，在实际应用中，建议使用最新版本的工具，并且在升级到3.x版本的UPF之前，应先通过工具提供商如cdnshelp或S公司的帮助文档确认所使用的命令和属性是否被支持。 UPF（Unified Power Format）是一种文本格式，用于描述集成电路（IC）设计中的电源管理策略。它允许设计者定义电源域、电源状态、开关网络以及如何在不同电源状态之间切换，以实现功耗优化。在3.1版本中，虽然改动不大，主要是对描述进行了改进，以提高理解和使用性。 IEEE 1801标准包含了多个方面的内容，例如： 1. **电源域定义**：定义了电路的不同电源域，每个域有自己的电压和电流需求。 2. **电源状态管理**：描述了设备在不同操作模式下的电源状态，如活动、休眠、关闭等，以及如何在这些状态之间转换。 3. **电源门控**：提供了控制电源通断的机制，以减少不必要的静态功耗。 4. **多电压域操作**：支持在同一芯片上使用不同电压等级的操作，以优化功耗。 5. **功耗估算和报告**：定义了如何计算和报告设计的功耗，这对于功耗预算和热管理至关重要。 6. **功耗约束**：允许设计者设置功耗限制，确保设计满足特定的能效目标。 7. **与EDA工具的接口**：UPF提供了与各种设计自动化工具集成的标准接口，如综合器、布局与布线工具、仿真器等。 IEEE 1801-2015标准对于实现现代电子设备的低功耗设计至关重要，它提供了标准化的方法来描述和验证能源效率，从而帮助设计者在保持性能的同时降低功耗，满足不断增长的能源效率需求。在使用这一标准时，设计者需要充分了解其提供的功能，并确保所使用的工具集成功能与其兼容，以充分发挥标准的潜力。

资源详情

资源推荐

IEEE Std 1801-2015

IEEE Standard for Design and Verification of Low-Power, Energy-Aware Electronic Systems

 A user may further refine the UPF specification to add implementation-related information. This

further-refined specification may then be processed by synthesis tools to produce a netlist and

optionally update the UPF fileset accordingly.

 In those cases where design object names change, a UPF file with the new names is needed. A

UPF-aware logical equivalence checker can read the full design and UPF filesets and perform the

checks to ensure power-aware equivalence.

 Place and route tools read both the netlist and the UPF files and produce a physical netlist,

potentially including an output UPF file.

UPF is a concise, power-intent specification capability. Power intent can be easily specified over many

elements in the design. A UPF specification can be included with the other deliverables of intellectual

property (IP) blocks and reused along with the other delivered IP. UPF supports various methodologies

through carefully defined semantics, flexibility in specification, and, when needed, defined rational

limitations that facilitate automation in verification and implementation.

1.4 Contents of this standard

The organization of the remainder of this standard is as follows:

 Clause 2

provides references to other applicable standards that are presumed or required for this

standard.

 Clause 3 defines terms and acronyms used throughout the different specifications contained in this

standard.

 Clause 4 describes the basic concepts underlying UPF.

 Clause 5 describes the language basics for UPF and its commands.

 Clause 6 details the syntax and semantics for each UPF power intent command.

 Clause 7 details the syntax and semantics for each UPF power-management cell command.

 Clause 8 defines a reference model for UPF command processing.

 Clause 9 defines simulation semantics for various UPF commands.

 Clause 10 defines the UPF information model.

 Clause 11 defines the UPF information model application programmable interface (API).

 Annex A lists potentially useful additional reference material.

 Annex B lists the predefined value conversion tables (VCTs) for use in power intent specifications.

 Annex C provides sample Tcl procs for retrieving power intent information.

 Annex D summarizes deprecated and legacy commands.

 Annex E provides an overview of UPF tool flows and use model with an illustrative example.

 Annex F provdes a summary of UPF power-management cell command semantics and Liberty

mappings.

 Annex G provides examples of UPF power-management cell modeling.

 Annex H provides an overview of UPF use model for system-level IP power modeling.

 Annex I defines the Switching Activity Interchange Format (SAIF) for representing power-related

activity in a design.

Authorized licensed use limited to: University of Electronic Science and Tech of China. Downloaded on July 11,2018 at 08:11:41 UTC from IEEE Xplore. Restrictions apply.

IEEE Std 1801-2015

IEEE Standard for Design and Verification of Low-Power, Energy-Aware Electronic Systems

2. Normative references

The following referenced documents are indispensable for the application of this document (i.e., they must

be understood and used, so each referenced document is cited in text and its relationship to this document is

explained). For dated references, only the edition cited applies. For undated references, the latest edition of

the referenced document (including any amendments or corrigenda) applies.

IEC 61691-1-1/IEEE Std 1076™, Behavioural languages—Part 1-1: VHDL Language Reference Manual.

10, 11,

IEEE Std 1800™, IEEE Standard for SystemVerilog—Unified Hardware Design, Specification, and

Verification Language.

ISO/IEC 19501:2005, Information technology—Open Distributed Processing—Unified Modeling

Language (UML) Version 1.4.2.

3. Definitions, acronyms, and abbreviations

For the purposes of this document, the following terms and definitions apply. The IEEE Standards

Dictionary Online [B1]

should be consulted for terms not defined in this clause.

Certain terms in this

standard reflect their corresponding definitions in IEEE Std 1800™ or IEC 61691-1-1/IEEE Std 1076™, or

they are listed in

Annex A.

3.1 Definitions

active component: A component that contains one or more input receivers and one or more output drivers

whose values are functions of the inputs, but whose inputs and outputs are not directly connected; or any

hardware description language (HDL) construct(s) that synthesize(s) to an active component.

active control signal: A control signal that is currently presenting the value (level) or transition (edge) that

enables or triggers an active component to operate in a particular manner.

active power state: A power state whose logic expression—or, in certain cases, supply expression—

evaluate to True at a given time.

activity: Any change in the value of a net, regardless of whether that change is propagated to an output.

analog port: A port that is part of a connection that delivers analog signals.

ancestor: Any instance between the current scope in the logic hierarchy and its root scope. When the

current scope is a top-level module, it does not have any ancestors. See also: descendant.

anonymous object: An object that is not named in the context of Unified Power Format (UPF).

Implementations may assign a legal name, but such names are not visible in the UPF context.

ISO/IEC publications are available from the International Electrotechnical Commission (http://www.iec.ch/). IEC publications are

also available in the United States from the American National Standards Institute (http://www.ansi.org/).

IEEE publications are available from The Institute of Electrical and Electronics Engineers (http://standards.ieee.org/).

The IEEE standards or products referred to in this clause are trademarks of The Institute of Electrical and Electronics Engineers,

Inc.

The numbers in brackets correspond to those of the bibliography in Annex A.

IEEE Standards Dictionary Online subscription is available at:

http://www.ieee.org/portal/innovate/products/standard/standards_dictionary.html

Authorized licensed use limited to: University of Electronic Science and Tech of China. Downloaded on July 11,2018 at 08:11:41 UTC from IEEE Xplore. Restrictions apply.

IEEE Std 1801-2015

IEEE Standard for Design and Verification of Low-Power, Energy-Aware Electronic Systems

balloon latch: A retention element style in which a register’s value is saved to a dedicated latch at power-

down and the latch value is restored to the register at power-up.

boundary instance: An instance that has no parent or whose parent is in a different power domain.

child domain (of a HighConn port on the lower boundary of a power domain): The power domain

whose upper boundary contains the corresponding LowConn of the HighConn port.

coarse grain switch: A power switch that is used to generate switched supply for a group of library cells.

This is identified using the attribute

switch_cell_type: coarse_grain in Liberty and design attribute

UPF_switch_cell_type coarse_grain in Unified Power Format (UPF) (see Table 4

component: A physical and logical construction that relates inputs to outputs.

composite domain: A power domain consisting of subordinate power domains called subdomains. All

subdomains in a composite domain share the same primary supply set.

configuration UPF: A Unified Power Format (UPF) specification of the power-management configuration

for a system.

connected: Attached together via a direct connection.

constraint UPF: A Unified Power Format (UPF) specification for an intellectual property (IP) block that

defines constraints for any instance of this IP block that must be met by the power-management

configuration of the system containing that instance.

correlated: A pair of supply nets or a pair of supply sets that are deemed to be at the same point in their

voltage range when being considered for level-shifting. As such, when voltage levels are considered

between them they should be mutually compared, e.g., minimum to minimum and maximum to maximum.

corruption semantics: The rules defining the behavior of logic in response to reduction or disconnection

of power to that logic.

current scope: The design hierarchy location that serves as the immediate context for interpretation and

execution of Unified Power Format (UPF) commands. Also, the instance specified by the set_scope

command.

declared: Specified in the hardware description language (HDL) explicitly or implicitly via a Unified

Power Format (UPF) command.

descendant: Any instance between the current scope in the logic hierarchy and its leaf-level instances.

See also: ancestor.

descendant subtree: A portion of a logic hierarchy, rooted at one instance in the hierarchy, and

containing that instance and all of its descendants.

design hierarchy: A hierarchical structure of nested definitions described in a hardware description

language (HDL).

direct connection: A physical wire; or any hardware description language (HDL) construct(s) that

synthesize(s) to a direct connection.

domain port: A port that is on the interface of a power domain.

Authorized licensed use limited to: University of Electronic Science and Tech of China. Downloaded on July 11,2018 at 08:11:41 UTC from IEEE Xplore. Restrictions apply.

IEEE Std 1801-2015

IEEE Standard for Design and Verification of Low-Power, Energy-Aware Electronic Systems

driver: The source or drain of a transistor, if the drain or source is connected to a power rail; a

complementary metal oxide semiconductor (CMOS) inverter that continually connects a node to power or

ground; any component that sets the value of its output via a transistor or inverter; a constant assignment;

any combinational logic including a buffer of any kind; any sequential logic; or any hardware description

language (HDL) construct(s) that synthesize(s) to such combinational or sequential logic.

driver supply: For a driver that is a transistor, the supply connected to its source or drain; for a driver that

is an inverter, the pair of supplies connected to the source/drain of the transistor pair comprising the

inverter; or for an output of an active component, the related supply set of that output.

electrically equivalent: For supply ports/nets, connected (whether the connections are evident or not in

the design) without any intervening switches, and therefore have the same value at all times from the

perspective of any load; for supply sets/set handles, consisting of a set of electrically equivalent supply

nets for each required function.

equivalent: A pair of supply nets, a pair of supply sets or a pair of logic nets that are considered to be

interchangeable for certain purposes. See also: electrically equivalent; functionally equivalent.

erroneous: A usage that is likely to lead to an error in the design, but that tools may not be able to detect

and report.

extent (of a domain): The set of instances that comprise a power domain.

fanout domain (of a given port to which a given strategy applies): The power domain containing any of

the following: receiving logic for that port, or a leaf-level cell instance HighConn input port that is

connected to the given port, or a design top module LowConn output port that is connected to the given

port.

feedthrough: A direct connection between two ports on the interface of a power domain, where the

connection involves two ports on the upper boundary, or two ports on the lower boundary, or one of each;

also, a direction connection between two ports of the same leaf-level instance.

feedthrough port: A port on the interface of a power domain that is part of a feedthrough through that

domain, or a port on the interface of a leaf-level instance that is part of a feedthrough through that

instance.

fine grain switch: A power switch that is used to generate switched supply for a single library cell. This is

typically used to describe embedded macro power switches. This is identified using the attribute

switch_cell_type: fine_grain in Liberty and design attribute UPF_switch_cell_type fine_grain in

Unified Power Format (UPF) (see Table 4

functionally equivalent: Functioning identically from the perspective of any load, either as a result of

being electrically equivalent, or due to independent but parallel circuitry.

generate block: In the hardware description language (HDL) code, this represents a level of design

hierarchy, although a generate block is not itself an instance. After synthesis, generate blocks do not exist

as an independent level of hierarchy. It is illegal to create any Unified Power Format (UPF) objects in a

scope that corresponds to a generate block.

golden source: The design together with the constraint Unified Power Format (UPF) and the configuration

UPF.

hard macro: A block that has been completely implemented and can be used as it is in other blocks. This

can be modeled by an hardware description language (HDL) module for verification or as a library cell for

implementation.

Authorized licensed use limited to: University of Electronic Science and Tech of China. Downloaded on July 11,2018 at 08:11:41 UTC from IEEE Xplore. Restrictions apply.

IEEE Std 1801-2015

IEEE Standard for Design and Verification of Low-Power, Energy-Aware Electronic Systems

hierarchical name: A series of names separated by the hierarchical separator character, the final name

of which is a legal hardware description language (HDL) name or Unified Power Format (UPF) name, and

each preceding name is the name of an instance or generate block in which the following name is

declared. See also: hierarchical separator character.

hierarchical separator character: A special character used in composing hierarchical names. The

hierarchical separator character is a slash (/).

HighConn: The side of a port connection that is higher in the design hierarchy; the actual signal

associated with a formal port definition.

implementation UPF: The Unified Power Format (UPF) specification of how power distribution and

control is to be implemented for a system.

inactive: A normally active component in a state in which it does not respond to activity on its inputs.

Also, a control signal that is not currently presenting the value (level) or transition (edge) that enables or

triggers an active component to operate in a particular manner.

instance: A particular occurrence of a SystemVerilog module (see IEEE Std 1800), very high speed

integrated circuit (VHSIC) hardware description language (VHDL) entity (see IEC 61691-1-1/IEEE Std

1076), or library cell at a specific location within the design hierarchy.

interface of a power domain: The union of the upper boundary and the lower boundary of the power

domain.

isolation: A technique used to provide defined behavior of a logic signal when its driving logic is not

active.

isolation cell: An instance that passes logic values during normal mode operation and clamps its output to

some specified logic value when a control signal is asserted.

leaf-level cell: An instance that has no descendants, or an instance that is a soft or hard macro.

leaf-level instance: See: leaf-level cell.

level-shifter: An instance that translates signal values from an input voltage swing to a different output

voltage swing.

live slave: A retention element style in which the slave latch of a master-slave flip-flop (MSFF) is always

on and therefore maintains the value of the MSFF during power-down.

logically equivalent: Logic ports/nets that are directly connected without any intervening logic and

therefore have the same value at all times from the perspective of any sink.

logic hierarchy: An abstract view of a design hierarchy in which only those definitions representing

instances are included.

LowConn: The side of a port connection that is lower in the design hierarchy; the formal port definition.

lower boundary (of a power domain): The HighConn side of each port of each boundary instance in

the extent of another power domain whose parent is in the extent of this domain, together with the

HighConn side of each port of any macro cell instance in this power domain, for which the related supply

set is neither identical to nor equivalent to the primary supply set of this domain.

Authorized licensed use limited to: University of Electronic Science and Tech of China. Downloaded on July 11,2018 at 08:11:41 UTC from IEEE Xplore. Restrictions apply.

剩余514页未读，继续阅读

羊无六成

粉丝: 0
资源: 2

IEEE Std 1801-2015：低功耗电子系统设计与验证标准

1801-2018 (UPF 3.1).pdf

upf3.0 IEEE1801 2015版

IEEE 1801 UPF2.0.pdf

ieee 1801-2015 upf 3.1

30[单选题]下列哪个是网络标准化组织?-|||-○ A.ISO-|||-○ B.IEEE-|||-○ C.IETF-|||-○ D.W3C

upf3.0 ieee1801 2015文档

systemverilog ieee 1800-2017.pdf

ieee std 1588-2019.pdf

让CRC32-BZIP2 算法与CRC32-IEEE802.3 算法计算结果一致的具体做法

ieee standard for ethernet 802.3-2018.pdf

ieee 802.1d-2004.pdf

pg047-gig-eth-pcs-pma.pdf

ieeestd1003.13-2003ieeestandardforinformationtechnology.pdf

ieee 802.15.4协议完整版英文

软件工程实用教程朴勇习题4-11答案.pdf

ieee std 1801-2018

ieee 802.1as-2011.pdf

ieee 1800-2017 system verilog pdf

ieee 802.3-2015 以太网协议

用Python实现文献[6] J.-H. Syu, S.-J. Wang, and L.-C. Wang, “Hierarchical image segmentation based on iterative contraction and merging,” IEEE Transactions on Image Processing, vol. 26, no. 5, pp. 2246–2260, May 2017.d

最新资源