IEEE 1801-2015
$277.88
IEEE Standard for Design and Verification of Low-Power, Energy-Aware Electronic Systems
| Published By | Publication Date | Number of Pages |
| IEEE | 2015 | 515 |
Revision Standard – Superseded. 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 of that power-management architecture. The method supports incremental refinement of power-intent specifications required for IP-based design flows.
PDF Catalog
| PDF Pages | PDF Title |
|---|---|
| 1 | IEEE Std 1801-2015 Front Cover |
| 2 | Title page |
| 4 | Important Notices and Disclaimers Concerning IEEE Standards Documents |
| 7 | Participants |
| 8 | Introduction |
| 10 | Contents |
| 14 | IMPORTANT NOTICE 1. Overview 1.1 Scope 1.2 Purpose 1.3 Key characteristics of the Unified Power Format |
| 16 | 1.4 Contents of this standard |
| 17 | 2. Normative references 3. Definitions, acronyms, and abbreviations 3.1 Definitions |
| 23 | 3.2 Acronyms and abbreviations |
| 24 | 4. Concepts 4.1 Introduction 4.2 Design structure |
| 25 | 4.3 Design representation |
| 28 | 4.4 Power architecture |
| 31 | 4.5 Power distribution |
| 39 | 4.6 Power management |
| 44 | 4.7 Supply states and power states |
| 51 | 4.8 Simstates |
| 52 | 4.9 Power intent specification |
| 58 | 5. Language basics 5.1 UPF is Tcl 5.2 Conventions used |
| 60 | 5.3 Lexical elements |
| 64 | 5.4 Boolean expressions |
| 66 | 5.5 Object declaration 5.6 Attributes of objects |
| 71 | 5.7 Precedence |
| 73 | 5.8 Generic UPF command semantics 5.9 effective_element_list semantics |
| 76 | 5.10 Command refinement |
| 78 | 5.11 Error handling 5.12 Units 5.13 SystemC language basic 6. Power intent commands 6.1 Introduction 6.2 Categories |
| 79 | 6.3 add_parameter |
| 80 | 6.4 add_port_state (legacy) |
| 81 | 6.5 add_power_state |
| 87 | 6.6 add_pst_state (legacy) |
| 89 | 6.7 add_state_transition |
| 91 | 6.8 add_supply_state 6.9 apply_power_model |
| 93 | 6.10 associate_supply_set |
| 94 | 6.11 begin_power_model |
| 96 | 6.12 bind_checker |
| 97 | 6.13 connect_logic_net |
| 99 | 6.14 connect_supply_net |
| 101 | 6.15 connect_supply_set |
| 102 | 6.16 create_composite_domain |
| 104 | 6.17 create_hdl2upf_vct |
| 105 | 6.18 create_logic_net |
| 106 | 6.19 create_logic_port |
| 107 | 6.20 create_power_domain |
| 110 | 6.21 create_power_state_group |
| 112 | 6.22 create_power_switch |
| 119 | 6.23 create_pst (legacy) |
| 120 | 6.24 create_supply_net |
| 124 | 6.25 create_supply_port |
| 125 | 6.26 create_supply_set |
| 126 | 6.27 create_upf2hdl_vct |
| 127 | 6.28 describe_state_transition (deprecated) 6.29 end_power_model |
| 128 | 6.30 find_objects |
| 132 | 6.31 load_simstate_behavior |
| 133 | 6.32 load_upf |
| 134 | 6.33 load_upf_protected (deprecated) 6.34 map_power_switch |
| 135 | 6.35 map_repeater_cell |
| 136 | 6.36 map_retention_cell |
| 140 | 6.37 name_format |
| 141 | 6.38 save_upf |
| 142 | 6.39 set_correlated |
| 143 | 6.40 set_design_attributes |
| 144 | 6.41 set_design_top |
| 145 | 6.42 set_domain_supply_net (legacy) |
| 146 | 6.43 set_equivalent |
| 148 | 6.44 set_isolation |
| 155 | 6.45 set_level_shifter |
| 161 | 6.46 set_partial_on_translation |
| 162 | 6.47 set_port_attributes |
| 168 | 6.48 set_repeater |
| 171 | 6.49 set_retention |
| 175 | 6.50 set_retention_elements |
| 176 | 6.51 set_scope |
| 177 | 6.52 set_simstate_behavior |
| 178 | 6.53 set_variation |
| 179 | 6.54 upf_version |
| 180 | 6.55 use_interface_cell |
| 182 | 7. Power-management cell definition commands 7.1 Introduction |
| 183 | 7.2 define_always_on_cell |
| 184 | 7.3 define_diode_clamp |
| 185 | 7.4 define_isolation_cell |
| 188 | 7.5 define_level_shifter_cell |
| 192 | 7.6 define_power_switch_cell |
| 194 | 7.7 define_retention_cell |
| 196 | 8. UPF processing 8.1 Overview |
| 197 | 8.2 Data requirements 8.3 Processing phases |
| 201 | 8.4 Error checking 9. Simulation semantics 9.1 Supply network creation |
| 203 | 9.2 Supply network simulation |
| 204 | 9.3 Power state simulation |
| 207 | 9.4 Power state transition detection 9.5 Simstate simulation |
| 210 | 9.6 Transitioning from one simstate state to another |
| 211 | 9.7 Simulation of retention |
| 217 | 9.8 Simulation of isolation |
| 218 | 9.9 Simulation of level-shifting 9.10 Simulation of repeaters 10. UPF information model 10.1 Overview |
| 219 | 10.2 Components of UPF information model |
| 220 | 10.3 Identifiers in information model (IDs) |
| 223 | 10.4 Classification of objects |
| 230 | 10.5 Example of design hierarchy |
| 231 | 10.6 Object definitions |
| 285 | 11. Information model application programmable interface (API) 11.1 Tcl interface |
| 295 | 11.2 HDL interface |
| 357 | Annex A (informative) Bibliography |
| 358 | Annex B (normative) Value conversion tables |
| 361 | Annex C (informative) UPF query examples |
| 365 | Annex D (informative) Replacing deprecated and legacy commands and options |
| 368 | Annex E (informative) Low-power design methodology |
| 395 | Annex F (informative) Power-management cell definitions in UPF and Liberty |
| 410 | Annex G (informative) Power-management cell modeling examples |
| 474 | Annex H (informative) IP power modeling for system-level design |
| 481 | Annex I (normative) Switching Activity Interchange Format |
| 515 | Back Cover |
Related products
-
IEEE 1804 2017:2018 Edition
IEEE Standard for Fault Accounting and Coverage Reporting(FACR) for Digital Modules Published By Publication Dateā¦
-
IEEE 1851-2012
IEEE Standard for Design Criteria of Integrated Sensor-Based Test Applications for Household Appliances Published Byā¦
-
IEEE 1701-2011
IEEE Standard for Optical Port Communication Protocol to Complement the Utility Industry End Device Dataā¦
-
IEEE 1800-2017
IEEE Standard for SystemVerilog–Unified Hardware Design, Specification, and Verification Language (Superseded) Published By Publication Dateā¦
-
IEEE 1861 2014
IEEE Guide for On-Site Acceptance Tests of Electrical Equipment and System Commissioning of 1000 kVā¦
-
IEEE 1801-2015
IEEE Standard for Design and Verification of Low-Power, Energy-Aware Electronic Systems Published By Publication Dateā¦
-
BS IEC 61523-4:2023:2024 Edition
Delay and power calculation standards – Design and Verification of Low-Power, Energy-Aware Electronic Systems Publishedā¦
-
IEEE 1851-2012
IEEE Standard for Design Criteria of Integrated Sensor-Based Test Applications for Household Appliances (Superseded) Publishedā¦
-
IEEE 1810 2017
IEEE Guide for the Installation of Fire-Rated Cables Suitable for Hydrocarbon Pool Fires for Criticalā¦
-
IEEE 1095-2012(Redline)
IEEE Guide for the Installation of Vertical Generators and Generator/Motors for Hydroelectric Applications (Redline) Publishedā¦
-
IEEE 1804-2017
IEEE Standard for Fault Accounting and Coverage Reporting(FACR) for Digital Modules Published By Publication Dateā¦
-
IEEE 61523-4-2015
IEEE/IEC International Standard – Design and Verification of Low-Power Integrated Circuits Published By Publication Dateā¦
-
IEEE 1800-2012
IEEE Standard for SystemVerilog–Unified Hardware Design, Specification, and Verification Language Published By Publication Date Numberā¦
-
IEEE IEC 61523 4 2015
IEEE/IEC International Standard – Design and Verification of Low-Power Integrated Circuits Published By Publication Dateā¦
-
IEEE 1901 2010
IEEE Standard for Broadband over Power Line Networks: Medium Access Control and Physical Layer Specificationsā¦
-
IEEE 1901-2010
IEEE Standard for Broadband over Power Line Networks: Medium Access Control and Physical Layer Specificationsā¦
-
IEEE 1801-2015
IEEE Standard for Design and Verification of Low-Power, Energy-Aware Electronic Systems Published By Publication Dateā¦
-
IEEE 1801-2013
IEEE Standard for Design and Verification of Low-Power Integrated Circuits Published By Publication Date Numberā¦
-
IEEE 1800 2017:2018 Edition
IEEE Standard for SystemVerilog–Unified Hardware Design, Specification, and Verification Language Published By Publication Date Numberā¦
-
IEEE 1800-2017
IEEE Standard for SystemVerilog–Unified Hardware Design, Specification, and Verification Language (Superseded) Published By Publication Dateā¦
-
IEEE 1800-2017
IEEE Standard for SystemVerilog–Unified Hardware Design, Specification, and Verification Language (Superseded) Published By Publication Dateā¦
-
IEEE 1851 2012
IEEE Standard for Design Criteria of Integrated Sensor-Based Test Applications for Household Appliances Published Byā¦
-
IEEE 1801 2018:2019 Edition
IEEE Standard for Design and Verification of Low-Power, Energy-Aware Electronic Systems Published By Publication Dateā¦
-
IEEE 1801 2013
IEEE Standard for Design and Verification of Low-Power Integrated Circuits Published By Publication Date Numberā¦
-
IEEE 1801 2016
IEEE Standard for Design and Verification of Low-Power, Energy-Aware Electronic Systems Published By Publication Dateā¦
-
IEEE 1881 2016
IEEE Standard Glossary of Stationary Battery Terminology Published By Publication Date Number of Pages IEEEā¦
-
IEEE C57.131-2012
IEEE Standard Requirements for Tap Changers (Superseded Redline) Published By Publication Date Number of Pagesā¦
-
IEEE 1800-2005
IEEE Standard for SystemVerilog: Unified Hardware Design, Specification and Verification Language Published By Publication Dateā¦
-
IEEE 1601 2010
IEEE Trial-Use Standard for Optical AC Current and Voltage Sensing Systems Published By Publication Dateā¦
-
IEEE 1800 2005
IEEE Standard for SystemVerilog: Unified Hardware Design, Specification and Verification Language Published By Publication Dateā¦
-
IEEE 1057 2017:2018 Edition
IEEE Standard for Digitizing Waveform Recorders Published By Publication Date Number of Pages IEEE 2018ā¦
-
IEEE 1601-2010
IEEE Trial-Use Standard for Optical AC Current and Voltage Sensing Systems Published By Publication Dateā¦
-
IEEE 1349-2011
IEEE Guide for Application of Electric Motors in Class I, Division 2 and Class I,ā¦
-
IEEE 1808 2011
IEEE Guide for Collecting and Managing Transmission Line Inspection and Maintenance Data Published By Publicationā¦
-
IEEE 1851-2012
IEEE Standard for Design Criteria of Integrated Sensor-Based Test Applications for Household Appliances Published Byā¦
-
IEEE IEC 62530 2007
IEC 62530 Ed. 1 (IEEE Std 1800(TM)-2005): Standard for SystemVerilog – Unified Hardware Design, Specification,ā¦
-
IEEE 1050 2005
IEEE Guide for Instrumentation and Control Equipment Grounding in Generating Stations Published By Publication Dateā¦
-
IEEE 1329 2010
IEEE Standard Method for Measuring Transmission Performance of Speakerphones Published By Publication Date Number ofā¦
-
IEEE 1881-2016
IEEE Standard Glossary of Stationary Battery Terminology Published By Publication Date Number of Pages IEEEā¦
-
IEEE 1801a-2014
IEEE Standard for Design and Verification of Low-Power Integrated Circuits–Amendment 1 Published By Publication Dateā¦
