IEC 61523-4:2015
(Main)Design and Verification of Low-Power Integrated Circuits
Design and Verification of Low-Power Integrated Circuits
IEC 61523-4:2015(E) establishes a format used to define the low-power design intent for electronic systems and electronic intellectual property (IP). The format provides the ability to specify the supply network, switches, isolation, retention, and other aspects relevant to power management of an electronic system. The standard defines the relationship between the low-power design specification and the logic design specification captured via other formats [e.g., standard hardware description languages (HDLs)].
General Information
Standards Content (sample)
IEC 61523-4
Edition 1.0 2015-03
IEEE Std 1801™-2013
INTERNATIONAL
STANDARD
Design and Verification of Low-Power Integrated Circuits
IEC 61523-4:2015-03(en) IEEE Std 1801-2013
---------------------- Page: 1 ----------------------
THIS PUBLICATION IS COPYRIGHT PROTECTED
Copyright © 2013 IEEE
All rights reserved. IEEE is a registered trademark in the U.S. Patent & Trademark Office, owned by the Institute of
Electrical and Electronics Engineers, Inc. Unless otherwise specified, no part of this publication may be reproduced
or utilized in any form or by any means, electronic or mechanical, including photocopying and microfilm, without
permission in writing from the IEC Central Office. Any questions about IEEE copyright should be addressed to the
IEEE. Enquiries about obtaining additional rights to this publication and other information requests should be
addressed to the IEC or your local IEC member National Committee.IEC Central Office Institute of Electrical and Electronics Engineers, Inc.
3, rue de Varembé 3 Park Avenue
CH-1211 Geneva 20 New York, NY 10016-5997
Switzerland United States of America
Tel.: +41 22 919 02 11 stds.info@ieee.org
Fax: +41 22 919 03 00 www.ieee.org
info@iec.ch
www.iec.ch
About the IEC
The International Electrotechnical Commission (IEC) is the leading global organization that prepares and publishes
International Standards for all electrical, electronic and related technologies.About IEC publications
The technical content of IEC publications is kept under constant review by the IEC. Please make sure that you have the
latest edition, a corrigenda or an amendment might have been published.IEC Catalogue - webstore.iec.ch/catalogue Electropedia - www.electropedia.org
The stand-alone application for consulting the entire The world's leading online dictionary of electronic and
bibliographical information on IEC International Standards, electrical terms containing more than 30 000 terms and
Technical Specifications, Technical Reports and other definitions in English and French, with equivalent terms in 15
documents. Available for PC, Mac OS, Android Tablets and additional languages. Also known as the International
iPad. Electrotechnical Vocabulary (IEV) online.IEC publications search - www.iec.ch/searchpub IEC Glossary - std.iec.ch/glossary
The advanced search enables to find IEC publications by a More than 60 000 electrotechnical terminology entries in
variety of criteria (reference number, text, technical English and French extracted from the Terms and Definitions
committee,…). It also gives information on projects, replaced clause of IEC publications issued since 2002. Some entries
and withdrawn publications. have been collected from earlier publications of IEC TC 37,
77, 86 and CISPR.IEC Just Published - webstore.iec.ch/justpublished
Stay up to date on all new IEC publications. Just Published IEC Customer Service Centre - webstore.iec.ch/csc
details all new publications released. Available online and If you wish to give us your feedback on this publication or
also once a month by email. need further assistance, please contact the Customer Service
Centre: csc@iec.ch.---------------------- Page: 2 ----------------------
IEC 61523-4
Edition 1.0 2015-03
IEEE Std 1801™-2013
INTERNATIONAL
STANDARD
Design and Verification of Low-Power Integrated Circuits
INTERNATIONAL
ELECTROTECHNICAL
COMMISSION
ICS 25.040; 35.060 ISBN 978-2-8322-2266-9
Warning! Make sure that you obtained this publication from an authorized distributor.
® Registered trademark of the International Electrotechnical Commission---------------------- Page: 3 ----------------------
IEC 61523-4
i IEEE Std 1801-2013
Contents
1. Overview.............................................................................................................................................. 1
1.1 Scope.......................................................................................................................................... 1
1.2 Purpose....................................................................................................................................... 1
1.3 Key characteristics of the Unified Power Format...................................................................... 1
1.4 Use of color in this standard ...................................................................................................... 3
1.5 Contents of this standard............................................................................................................ 3
2. Normative references........................................................................................................................... 4
3. Definitions, acronyms, and abbreviations............................................................................................ 4
3.1 Definitions ................................................................................................................................. 4
3.2 Acronyms and abbreviations ..................................................................................................... 9
4. UPF concepts ..................................................................................................................................... 11
4.1 Design structure ....................................................................................................................... 11
4.2 Design representation .............................................................................................................. 11
4.3 Power architecture ................................................................................................................... 14
4.4 Power distribution.................................................................................................................... 17
4.5 Power management.................................................................................................................. 23
4.6 Power states ............................................................................................................................. 26
4.7 Simstates .................................................................................................................................. 29
4.8 Successive refinement.............................................................................................................. 30
4.9 Tool flow.................................................................................................................................. 31
4.10 File structure ............................................................................................................................ 32
5. Language basics................................................................................................................................. 33
5.1 UPF is Tcl ................................................................................................................................ 33
5.2 Conventions used..................................................................................................................... 33
5.3 Lexical elements ...................................................................................................................... 34
5.4 Boolean expressions ................................................................................................................ 37
5.5 Object declaration .................................................................................................................... 39
5.6 Attributes of objects................................................................................................................. 40
5.7 Power state name spaces.......................................................................................................... 43
5.8 Precedence ............................................................................................................................... 44
5.9 Generic UPF command semantics........................................................................................... 45
5.10 effective_element_list semantics ............................................................................................. 45
5.11 Command refinement .............................................................................................................. 48
5.12 Error handling .......................................................................................................................... 49
5.13 Units......................................................................................................................................... 50
6. Power intent commands..................................................................................................................... 51
6.1 Categories ................................................................................................................................ 51
6.2 add_domain_elements [deprecated] ........................................................................................ 51
..... 526.3 add_port_state [legacy] ......................................................................................................
6.4 add_power_state ..................................................................................................................... 52
6.5 add_pst_state [legacy] ............................................................................................................. 57
6.6 apply_power_model................................................................................................................. 58
6.7 associate_supply_set ............................................................................................................... 59
Published by IEC under license from IEEE. © 2013 IEEE. All rights reserved.Copyright © 2013 IEEE. All rights reserved.
---------------------- Page: 4 ----------------------
IEC 61523-4
IEEE Std 1801-2013 ii
6.8 begin_power_model ................................................................................................................ 60
6.9 bind_checker ........................................................................................................................... 61
6.10 connect_logic_net ................................................................................................................... 63
6.11 connect_supply_net ................................................................................................................ 64
6.12 connect_supply_set ................................................................................................................. 65
6.13 create_composite_domain ...................................................................................................... 67
6.14 create_hdl2upf_vct .................................................................................................................. 68
6.15 create_logic_net ...................................................................................................................... 69
6.16 create_logic_port .................................................................................................................... 70
6.17 create_power_domain ............................................................................................................. 71
6.18 create_power_switch .............................................................................................................. 74
6.19 create_pst [legacy] .................................................................................................................. 80
6.20 create_supply_net ................................................................................................................... 80
6.21 create_supply_port .................................................................................................................. 83
6.22 create_supply_set .................................................................................................................... 84
6.23 create_upf2hdl_vct .................................................................................................................. 85
6.24 describe_state_transition ......................................................................................................... 86
6.25 end_power_model.................................................................................................................... 87
6.26 find_objects ............................................................................................................................. 88
6.27 load_simstate_behavior .......................................................................................................... 90
6.28 load_upf .................................................................................................................................. 91
6.29 load_upf_protected ................................................................................................................. 92
6.30 map_isolation_cell [deprecated] .............................................................................................. 93
6.31 map_level_shifter_cell [deprecated]........................................................................................ 93
6.32 map_power_switch ................................................................................................................. 93
6.33 map_retention_cell .................................................................................................................. 94
6.34 merge_power_domains [deprecated]....................................................................................... 97
6.35 name_format ........................................................................................................................... 98
6.36 save_upf .................................................................................................................................. 99
6.37 set_design_attributes ............................................................................................................. 100
6.38 set_design_top ...................................................................................................................... 101
6.39 set_domain_supply_net [legacy] .......................................................................................... 101
6.40 set_equivalent ....................................................................................................................... 102
6.41 set_isolation .......................................................................................................................... 104
6.42 set_isolation_control [deprecated]......................................................................................... 110
6.43 set_level_shifter .................................................................................................................... 111
6.44 set_partial_on_translation ..................................................................................................... 116
6.45 set_pin_related_supply [deprecated] ..................................................................................... 116
6.46 set_port_attributes ................................................................................................................. 117
6.47 set_power_switch [deprecated].............................................................................................. 121
6.48 set_repeater ........................................................................................................................... 121
6.49 set_retention .......................................................................................................................... 124
6.50 set_retention_control [deprecated] ........................................................................................ 128
6.51 set_retention_elements .......................................................................................................... 128
6.52 set_scope ............................................................................................................................... 129
6.53 set_simstate_behavior ........................................................................................................... 130
6.54 upf_version ........................................................................................................................... 131
6.55 use_interface_cell ................................................................................................................. 132
7. Power management cell commands................................................................................................. 135
7.1 Introduction............................................................................................................................ 135
7.2 define_always_on_cell........................................................................................................... 136
7.3 define_diode_clamp............................................................................................................... 137
xiiPublished by IEC under license from IEEE. © 2013 IEEE. All rights reserved.
Copyright © 2013 IEEE. All rights reserved.
---------------------- Page: 5 ----------------------
IEC 61523-4
iii IEEE Std 1801-2013
7.4 define_isolation_cell.............................................................................................................. 138
7.5 define_level_shifter_cell........................................................................................................ 141
7.6 define_power_switch_cell .....................................................................................................145
7.7 define_retention_cell ............................................................................................................. 147
8. UPF processing ................................................................................................................................ 150
8.1 Overview................................................................................................................................ 150
8.2 Data requirements .................................................................................................................. 150
8.3 Processing phases .................................................................................................................. 150
8.4 Error checking........................................................................................................................ 153
9. Simulation semantics ....................................................................................................................... 154
9.1 Supply network creation ........................................................................................................ 154
9.2 Supply network simulation ....................................................................................................155
9.3 Power state simulation ........................................................................................................... 157
9.4 Simstate simulation................................................................................................................ 159
9.5 Transitioning from one simstate state to another................................................................... 161
9.6 Simulation of retention .......................................................................................................... 162
9.7 Simulation of isolation........................................................................................................... 168
9.8 Simulation of level-shifting ................................................................................................... 168
9.9 Simulation of repeater............................................................................................................ 168
Annex A (informative) Bibliography .......................................................................................................... 169
Annex B (normative) HDL package UPF.................................................................................................... 170
Annex C (normative) Queries...................................................................................................................... 182
Annex D (informative) Replacing deprecated and legacy commands and options..................................... 219
Annex E (informative) Low-power design methodology............................................................................ 227
Annex F (normative) Value conversion tables ............................................................................................ 252
Annex G (normative) Supporting hard IP.................................................................................................... 255
Annex H (normative) UPF power-management commands semantics and Liberty mappings................... 258
Annex I (informative) Power-management cell modeling examples .......................................................... 273
Annex J (informative) Switching Activity Interchange Format .................................................................. 303
Annex K(informative) IEEE List of Participants..........................................................................................333
xiiiPublished by IEC under license from IEEE. © 2013 IEEE. All rights reserved.
Copyright © 2013 IEEE. All rights reserved.
---------------------- Page: 6 ----------------------
IEC 61523-4
IEEE Std 1801-2013 iv
xiv
Published by IEC under license from IEEE. © 2013 IEEE. All rights reserved.
Copyright © 2013 IEEE. All rights reserved.
---------------------- Page: 7 ----------------------
IEC 61523-4
v IEEE Std 1801-2013
DESIGN AND
VERIFICATION OF
LOW-POWER INTEGRATED CIRCUITS
FOREWORD
1) The International Electrotechnical Commission (IEC) is a worldwide organization for standardization comprising
all national electrotechnical committees (IEC National Committees). The object of IEC is to promote
international co-operation on all questions concerning standardization in the electrical and electronic fields. To
this end and in addition to other activities, IEC publishes International Standards, Technical Specifications,
Technical Reports, Publicly Available Specifications (PAS) and Guides (hereafter referred to as “IEC
Publication(s)”). Their preparation is entrusted to technical committees; any IEC National Committee interested
in the subject dealt with may participate in this preparatory work. International, governmental and non-
governmental organizations liaising with the IEC also participate in this preparation.
IEEE Standards documents are developed within IEEE Societies and Standards Coordinating Committees of the
IEEE Standards Association (IEEE-SA) Standards Board. IEEE develops its standards through a consensus
development process, which brings together volunteers representing varied viewpoints and interests to achieve
the final product. Volunteers are not necessarily members of IEEE and serve without compensation. While IEEE
administers the process and establishes rules to promote fairness in the consensus development process, IEEE
does not independently evaluate, test, or verify the accuracy of any of the information contained in its
standards. Use of IEEE Standards documents is wholly voluntary. IEEE documents are made available for use
subject to important notices and legal disclaimers (see http://standards.ieee.org/IPR/disclaimers.html for more
information).IEC collaborates closely with IEEE in accordance with conditions determined by agreement between the two
organizations.2) The formal decisions of IEC on technical matters express, as nearly as possible, an international consensus of
opinion on the relevant subjects since each technical committee has representation from all interested IEC
National Committees. The formal decisions of IEEE on technical matters, once consensus within IEEE Societies
and Standards Coordinating Committees has been reached, is determined by a balanced ballot of materially
interested parties who indicate interest in reviewing the proposed standard. Final approval of the IEEE
standards document is given by the IEEE Standards Association (IEEE-SA) Standards Board.
3) IEC/IEEE Publications have the form of recommendations for international use and are accepted by IEC
National Committees/IEEE Societies in that sense. While all reasonable efforts are made to ensure that the
technical content of IEC/IEEE Publications is accurate, IEC or IEEE cannot be held responsible for the way in
which they are used or for any misinterpretation by any end user.4) In order to promote international uniformity, IEC National Committees undertake to apply IEC Publications
(including IEC/IEEE Publications) transparently to the maximum extent possible in their national and regional
publications. Any divergence between any IEC/IEEE Publication and the corresponding national or regional
publication shall be clearly indicated in the latter.5) IEC and IEEE do not provide any attestation of conformity. Independent certification bodies provide conformity
assessment services and, in some areas, access to IEC marks of conformity. IEC and IEEE are not responsible
for any services carried out by independent certification bodies.6) All users should ensure that they have the latest edition of this publication.
7) No liability shall attach to IEC or IEEE or their directors, employees, servants or agents including individual
experts and members of technical committees and IEC National Committees, or volunteers of IEEE Societies
and the Standards Coordinating Committees of the IEEE Standards Association (IEEE-SA) Standards Board,
for any personal injury, property damage or other damage of any nature whatsoever, whether direct or indirect,
or for costs (including legal fees) and expenses arising out of the publication, use of, or reliance upon, this
IEC/IEEE Publication or any other IEC or IEEE Publications.8) Attention is drawn to the normative references cited in this publication. Use of the referenced publications is
indispensable for the correct application of this publication.9) Attention is drawn to the possibility that implementation of this IEC/IEEE Publication may require use of
material covered by patent rights. By publication of this standard, no position is taken with respect to the
existence or validity of any patent rights in connection therewith. IEC or IEEE shall not be held responsible for
identifying Essential Patent Claims for which a license may be required, for conducting inquiries into the legal
validity or scope of Patent Claims or determining whether any licensing terms or conditions provided in
connection with submission of a Letter of Assurance, if any, or in any licensing agreements are reasonable or
non-discriminatory. Users of this standard are expressly advised that determination of the validity of any patent
rights, and the risk of infringement of such rights, is entirely their own responsibility.
Published by IEC under license from IEEE. © 2013 IEEE. All rights reserved.---------------------- Page: 8 ----------------------
IEC 61523-4
IEEE Std 1801-2013 vi
International Standard IEC 61523-4/IEEE Std 1801-2013 has been processed through IEC
technical committee 91: Electronics assembly technology, under the IEC/IEEE Dual Logo
Agreement.The text of this standard is based on the following documents:
IEEE Std FDIS Report on voting
1801 (2013) 91/1209/FDIS 91/1228/RVD
Full information on the voting for the approval of this standard can be found in the report on
voting indicated in the above table.The IEC Technical Committee and IEEE Technical Committee have decided that the contents
of this publication will remain unchanged until the stability date indicated on the IEC web site
under "http://webstore.iec.ch" in the data related to the specific publication. At this date, the
publication will be• reconfirmed,
• withdrawn,
• replaced by a revised edition, or
• amended.
Published by IEC under license from IEEE. © 2013 IEEE. All rights reserved.
---------------------- Page: 9 ----------------------
IEC 61523-4
vii IEEE Std 1801-2013
IEEE Std 1801™-2013
(Revision of
IEEE Std 1801-2009)
IEEE Standard for Design and
Verification of
Low-Power Integrated Circuits
Sponsor
Design Automation Committee
of the
IEEE Computer Society
and the
IEEE Standards Association Corporate Advisory Group
Approved 6 March 2013
IEEE-SA Standards Board
Published by IEC under license from IEEE. © 2013 IEEE. All rights reserved.
---------------------- Page: 10 ----------------------
IEC 61523-4
IEEE Std 1801-2013 viii
Grateful acknowledgment is made to the following for permission to use source material:
Accellera Systems InitiativeUnified Power Format (UPF) Standard, Version 1.0
Cadence Design Systems, Inc.
Library Cell Modeling Guide Using CPF
Hierarchical Power Intent Modeling Guide Using CPF
Silicon Integration Initiative, Inc.
Si2 Common Power Format Specification, Version 2.0
Abstract: A method is provided for specifying power intent for an electronic design, for use in
verification of the structure and behavior of the design in the context of a given power management
architecture, and for driving implementation o...
Questions, Comments and Discussion
Ask us and Technical Secretary will try to provide an answer. You can facilitate discussion about the standard in here.