The Si2 Common Power Format, or CPF is a
file format
A file format is a Computer standard, standard way that information is encoded for storage in a computer file. It specifies how bits are used to encode information in a digital storage medium. File formats may be either proprietary format, pr ...
for specifying power-saving techniques early in the design process. In the design of
integrated circuits, saving power is a primary goal, and designers are forced to use sophisticated techniques such as
clock gating
Clock gating is a popular technique used in many synchronous circuits for reducing dynamic power dissipation, by removing the clock signal when the circuit is not in use or ignores clock signal. Clock gating saves power by pruning the clock tre ...
, multi-voltage logic, and turning off the power entirely to inactive blocks. These techniques require a consistent implementation in the design steps of
logic design
In computer engineering, logic synthesis is a process by which an abstract specification of desired circuit behavior, typically at register transfer level (RTL), is turned into a design implementation in terms of logic gates, typically by a comp ...
, implementation, and verification. For example, if multiple different power supplies are used, then
logic synthesis
In computer engineering, logic synthesis is a process by which an abstract specification of desired circuit behavior, typically at register transfer level (RTL), is turned into a design implementation in terms of logic gates, typically by a comp ...
must insert level shifters,
place
Place may refer to:
Geography
* Place (United States Census Bureau), defined as any concentration of population
** Census-designated place, a populated area lacking its own municipal government
* "Place", a type of street or road name
** Ofte ...
and
route must deal with them correctly, and other tools such as
static timing analysis
Static timing analysis (STA) is a simulation method of computing the expected timing of a synchronous digital circuit without requiring a simulation of the full circuit.
High-performance integrated circuits have traditionally been character ...
and
formal verification
In the context of hardware and software systems, formal verification is the act of proving or disproving the correctness of intended algorithms underlying a system with respect to a certain formal specification or property, using formal met ...
must understand these components. As power became an increasingly pressing concern, each tool independently added the features needed. Although this made it possible to build low power flows, it was difficult and error prone since the same information needed to be specified several times, in several formats, to many different tools. CPF was created as a common format that many tools can use to specify power-specific data, so that power intent only need be entered once and can be used consistently by all tools. The aim of CPF is to support an automated, power-aware design infrastructure.
Associated with CPF is the
Power Forward Initiative (PFI), a group of companies that collaborate to drive low-power design methodology and have contributed to the development of the CPF v1.0 specification. PFI membership spans
EDA, IP, library, foundry fabs, ASIC, IDM, and equipment companies. In March 2007, CPF v1.0 was contributed to the
Silicon Integration Initiative (Si2) where it was ratified by Si2’s Low Power Coalition (LPC) as a Si2 standard. The LPC controls the ongoing evolution of the CPF v1.0 standard.
Contents
Constructs expressing power domains and their power supplies:
* Logical design: hierarchical modules can be specified as belonging to specific power supply domains
* Physical design: explicit power/ground nets and connectivity can be specified per cell or block.
* Analysis: different timing library data for cases where the same cell is used in different power domains
Power control logic
* Specification of level shifter logic - special cells needed when signals traverse between blocks of different supply voltage.
* Specification of isolation logic - what special logic is needed for signals that traverse between blocks that can be powered up and down independently.
* Specification of state-retention logic - when blocks are switched off entirely, how is the state retained?
* Specification of switch logic and control signals - how are blocks switched on and off?
Definition and verification of power modes (standby, sleep, etc.)
* Mode definitions
* Mode transition expressions
History and controversy
Cadence Design Systems
Cadence Design Systems, Inc. (stylized as cādence), headquartered in San Jose, California, is an American multinational computational software company, founded in 1988 by the merger of SDA Systems and ECAD, Inc. The company produces software, ...
designed the early versions of CPF, then contributed it to Si2. This was followed shortly by an alternative effort, the
Unified Power Format or UPF, proposed as an
IEEE standard
The Institute of Electrical and Electronics Engineers Standards Association (IEEE SA) is an operating unit within IEEE that develops global standards in a broad range of industries, including: power and energy, artificial intelligence systems, i ...
as opposed to an Si2 standard. UPF has been driven mainly by
Synopsys
Synopsys is an American electronic design automation (EDA) company that focuses on silicon design and verification, silicon intellectual property and software security and quality. Products include tools for logic synthesis and physical desig ...
,
Mentor Graphics
Siemens EDA is a US-based electronic design automation (EDA) multinational corporation for electrical engineering and electronics, headquartered in Wilsonville, Oregon. Founded in 1981 as Mentor Graphics, the company was acquired by Siemens ...
and
Magma
Magma () is the molten or semi-molten natural material from which all igneous rocks are formed. Magma is found beneath the surface of the Earth, and evidence of magmatism has also been discovered on other terrestrial planets and some natura ...
. The technical differences between the two formats are relatively minor, but the political considerations are harder to overcome. Not surprisingly, the Cadence Low-Power Solution supported Si2’s CPF very early on, as well as UPF as it emerged; whereas the Synopsys, and Mentor Graphics offerings all support UPF. Magma supports both CPF and UPF.
An attempt at convergence is taking place in the Low Power Coalition at Si2.
[ Silicon Integration Initiative]
CPF 1.2 Roadmap
17 September 2008.
References
External links
*Downloa
CPF specification
Computer file formats
Power standards