IEC 61523-4:2023

Delay and power calculation standards - Part 4: Design and Verification of Low-Power, Energy-Aware Electronic Systems

IEC 61523-4:2023 defines the syntax and semantics of a format used to express power intent in energy-aware electronic system design. Power intent includes the concepts and information required for specification and validation, implementation and verification, and modeling and analysis of power-managed electronic systems. This standard also defines the relationship between the power intent captured in this format and design intent captured via other formats (e.g., standard hardware description languages and cell libraries). This is an IEC/IEEE dual logo standard.
The contents of the corrigendum 1 (2024-02) have been included in this copy.

General Information

• Status: Published
• Publication Date: 10-Oct-2023
• ICS: 25.040.01 - Industrial automation systems in general
• ICS: 35.060 - Languages used in information technology
• Technical Committee: TC 91 - Electronics assembly technology
• Drafting Committee: WG 13 - TC 91/WG 13
• Current Stage: PPUB - Publication issued
• Start Date: 08-Sep-2023
• Completion Date: 11-Oct-2023

Relations

• Corrected By: IEC 61523-4:2023/COR1:2024 - Corrigendum 1 - Delay and power calculation standards - Part 4: Design and Verification of Low-Power, Energy-Aware Electronic Systems
• Effective Date: 16-Feb-2024
• Revises: IEC 61523-4:2015 - Design and Verification of Low-Power Integrated Circuits
• Effective Date: 05-Sep-2023

Standards Content (Sample)

IEC 61523-4 ®
Edition 2.0 2023-10
™
IEEE Std 1801
INTERNATIONAL
STANDARD
colour
inside
Delay and power calculation standards –
Part 4: Design and Verification of Low-Power, Energy-Aware Electronic Systems
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 Secretariat 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]
[e-mail] www.ieee.org
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 corrigendum or an amendment might have been published.
IEC publications search - webstore.iec.ch/advsearchform IEC Products & Services Portal - products.iec.ch
The advanced search enables to find IEC publications by a Discover our powerful search engine and read freely all the
variety of criteria (reference number, text, technical publications previews. With a subscription you will always have
committee, …). It also gives information on projects, replaced access to up to date content tailored to your needs.
and withdrawn publications.
Electropedia - www.electropedia.org
IEC Just Published - webstore.iec.ch/justpublished
The world's leading online dictionary on electrotechnology,
Stay up to date on all new IEC publications. Just Published
containing more than 22 300 terminological entries in English
details all new publications released. Available online and once
and French, with equivalent terms in 19 additional languages.
a month by email.
Also known as the International Electrotechnical Vocabulary
(IEV) online.
IEC Customer Service Centre - webstore.iec.ch/csc
If you wish to give us your feedback on this publication or need
further assistance, please contact the Customer Service
Centre: [e-mail].
IEC 61523-4 ®
Edition 2.0 2023-10
IEEE Std 1801™
INTERNATIONAL
STANDARD
colour
inside
Delay and power calculation standards –
Part 4: Design and Verification of Low-Power, Energy-Aware Electronic Systems
INTERNATIONAL
ELECTROTECHNICAL
COMMISSION
ICS 25.040.01, 35.060 ISBN 978-2-8322-7540-5
– i – IEEE Std 1801™-2018
IEEE Std 1801-2018
IEEE Standard for Design and Verification of Low-Power, Energy-Aware Electronic Systems
Contents
1. Overview . 13
1.1 Scope . 13
1.2 Purpose . 13
1.3 Key characteristics of the Unified Power Format . 13
1.4 Contents of this standard . 15
2. Normative references . 16
3. Definitions, acronyms, and abbreviations. 16
3.1 Definitions . 16
3.2 Acronyms and abbreviations . 22
4. Concepts . 23
4.1 Introduction . 23
4.2 Design structure . 24
4.3 Design representation . 24
4.4 Power architecture . 28
4.5 Power distribution . 31
4.6 Power management . 39
4.7 Supply states and power states. 44
4.8 Simstates . 51
4.9 Power intent specification . 52
5. Language basics . 58
5.1 UPF is Tcl . 58
5.2 Conventions used . 59
5.3 Lexical elements . 61
5.4 Boolean expressions . 65
5.5 Object declaration . 67
5.6 Attributes of objects . 67
5.7 Precedence . 72
5.8 Generic UPF command semantics . 75
5.9 effective_element_list semantics . 76
5.10 Command refinement . 79
5.11 Error handling . 80
5.12 Units . 80
5.13 SystemC language basic . 80
6. Power intent commands. 81
6.1 Introduction . 81
6.2 Categories . 81
6.3 add_parameter . 82
6.4 add_port_state (legacy) . 83
6.5 add_power_state . 84
6.6 add_pst_state (legacy) . 91
6.7 add_state_transition . 92
6.8 add_supply_state . 94
6.9 apply_power_model . 95
6.10 associate_supply_set . 97
6.11 begin_power_model (legacy) . 99
6.12 bind_checker . 100

Published by IEC under licence from IEEE. © 2018 IEEE. All rights reserved.

IEEE Std 1801™-2018 – ii –
IEEE Std 1801-2018
IEEE Standard for Design and Verification of Low-Power, Energy-Aware Electronic Systems
6.13 connect_logic_net . 102
6.14 connect_supply_net . 104
6.15 connect_supply_set . 106
6.16 create_composite_domain . 107
6.17 create_hdl2upf_vct . 109
6.18 create_logic_net . 110
6.19 create_logic_port . 111
6.20 create_power_domain . 112
6.21 create_power_state_group . 119
6.22 create_power_switch . 121
6.23 create_pst (legacy) . 128
6.24 create_supply_net . 129
6.25 create_supply_port . 133
6.26 create_supply_set . 134
6.27 create_upf2hdl_vct . 136
6.28 define_power_model . 137
6.29 describe_state_transition (deprecated) . 139
6.30 end_power_model (legacy) . 139
6.31 find_objects . 140
6.32 load_simstate_behavior . 144
6.33 load_upf . 145
6.34 load_upf_protected (deprecated) . 146
6.35 map_power_switch . 146
6.36 map_repeater_cell . 147
6.37 map_retention_cell . 148
6.38 name_format . 152
6.39 save
...