1、 IEC 61523-4 Edition 1.0 2015-03 INTERNATIONAL STANDARD Design and Verification of Low-Power Integrated Circuits IEC 61523-4:2015-03(en)IEEE Std 1801-2013 IEEE Std 1801-2013 THIS PUBLICATION IS COPYRIGHT PROTECTED Copyright 2013 IEEE All rights reserved.IEEE is a registered trademark in the U.S.Pate
2、nt&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
3、 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
4、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.infoieee.org Fax:+41 22 919 03 00 www.ieee.org infoiec.ch www.iec.ch About the IEC The International Electrotechnical Commission(IEC)is
5、 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 co
6、rrigenda or an amendment might have been published.IEC Catalogue-webstore.iec.ch/catalogue The stand-alone application for consulting the entire bibliographical information on IEC International Standards,Technical Specifications,Technical Reports and other documents.Available for PC,Mac OS,Android T
7、ablets and iPad.IEC publications search-www.iec.ch/searchpub The advanced search enables to find IEC publications by a variety of criteria(reference number,text,technical committee,).It also gives information on projects,replaced and withdrawn publications.IEC Just Published-webstore.iec.ch/justpubl
8、ished Stay up to date on all new IEC publications.Just Published details all new publications released.Available online and also once a month by email.Electropedia-www.electropedia.org The worlds leading online dictionary of electronic and electrical terms containing more than 30 000 terms and defin
9、itions in English and French,with equivalent terms in 15 additional languages.Also known as the International Electrotechnical Vocabulary(IEV)online.IEC Glossary-std.iec.ch/glossary More than 60 000 electrotechnical terminology entries in English and French extracted from the Terms and Definitions c
10、lause of IEC publications issued since 2002.Some entries have been collected from earlier publications of IEC TC 37,77,86 and CISPR.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
11、Centre:csciec.ch.IEC 61523-4 Edition 1.0 2015-03 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.IEEE
12、 Std 1801-2013 Registered trademark of the International Electrotechnical Commission xiCopyright 2013 IEEE.All rights reserved.Contents1.Overview.11.1Scope.11.2Purpose.11.3Key characteristics of the Unified Power Format.11.4Use of color in this standard.31.5Contents of this standard.32.Normative ref
13、erences.43.Definitions,acronyms,and abbreviations.43.1Definitions.43.2Acronyms and abbreviations.94.UPF concepts.114.1Design structure.114.2Design representation.114.3Power architecture.144.4Power distribution.174.5Power management.234.6Power states.264.7Simstates.294.8Successive refinement.304.9Too
14、l flow.314.10 File structure.325.Language basics.335.1UPF is Tcl.335.2Conventions used.335.3Lexical elements.345.4Boolean expressions.375.5Object declaration.395.6Attributes of objects.405.7Power state name spaces.435.8Precedence.445.9Generic UPF command semantics.455.10 effective_element_list seman
15、tics.455.11 Command refinement.485.12 Error handling.495.13 Units.506.Power intent commands.516.1Categories.516.2add_domain_elements deprecated.516.3add_port_state legacy.526.4add_power_state.526.5add_pst_state legacy.576.6apply_power_model.586.7associate_supply_set.59Published by IEC under license
16、from IEEE.2013 IEEE.All rights reserved.IEC 61523-4 IEEE Std 1801-2013ixiiCopyright 2013 IEEE.All rights reserved.6.8begin_power_model.606.9bind_checker.616.10 connect_logic_net.636.11 connect_supply_net.646.12 connect_supply_set.656.13 create_composite_domain.676.14 create_hdl2upf_vct.686.15 create_logic_net.696.16 create_logic_port.706.17 create_power_domain.716.18 create_power_switch.746.19 create_pst legacy.806.20 create_supply_net.806.21 create_supply_port.836.22 create_supply_set.846.23 cr
