IEC 61523-4:2015

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

• Status: Published
• Publication Date: 10-Mar-2015
• ICS: 01 - GENERALITIES. TERMINOLOGY. STANDARDIZATION. DOCUMENTATION
• ICS: 25.040.01 - Industrial automation systems in general
• ICS: 35.060 - Languages used in information technology
• Technical Committee: TC 91 - Electronics assembly technology

Relations

• Revised: IEC 61523-4:2023 - Delay and power calculation standards - Part 4: Design and Verification of Low-Power, Energy-Aware Electronic Systems
• Effective Date: 05-Sep-2023

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

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.: [phone] [e-mail]
Fax: [phone] www.ieee.org
[e-mail]
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: [e-mail].
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

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
..... 52
6.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
xi
Published by IEC under license from IEEE. © 2013 IEEE. All rights reserved.
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 .
...