Overview of IEEE1801-2015: Standard for Design and Verification of Low-Power, Energy-Aware Electronic Systems: Invited Paper

P1801 is an IEEE-SA entity based work-group that consists of a wide range of participants including EDA, Semiconductor companies and IP-providers. 1801-2015 is the latest revision of the standard that made it,s first debut in 2009. This talk will give an overview of IEEE 1801-2015, and elaborate on the new capabilities and updates in 2015 compared to the previous standard release. Some of the key updates that will be discussed include: • A major revision of the definition of power states and transitions. • New concepts related to hard and soft macros and bottom-up implementation. • Support for IP component power modeling for system level power analysis. • Generalization of supply states to apply to all supply objects, not just ports. • Generalization of power models to represent hard and soft macros, power models, etc. • New Power groups concept for defining a group of related power states. • Support for user-defined supply resolution functions and related semantics. • Support for find_objects to find supply ports. • Ability to map repeater strategies to library cells. • New model for nominal supply values, supply source variation, and correlation. • Clarification of level shifting insertion algorithm, and removal of default level shifter strategy. • New Information Model (clause 10) and API (UPF packages and Tcl bindings). • New Query functions. • New usage examples illustrating Successive Refinement and Bottom-Up implementation.