IEEE 1801 2016

$169.00

IEEE Standard for Design and Verification of Low-Power, Energy-Aware Electronic Systems

Published By	Publication Date	Number of Pages
IEEE	2016	515

Guaranteed Safe Checkout

Category: IEEE

If you have any questions, feel free to reach out to our online customer service team by clicking on the bottom right corner. We’re here to assist you 24/7.
Email:[email protected]

Description

Revision Standard – Active. 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

Additional information

Standard Title	IEEE Standard for Design and Verification of Low-Power, Energy-Aware Electronic Systems
Published Code	IEEE
Publication Date	2016
Pages Count	515

Preview PDF


PDF Format	Searchable	Printable	Preview Now

IEEE 1801 2016

PDF Catalog

Related products