Tutorial - Streamlining Low-Power Verification: From UPF to Signoff

Abstract:

Generative AI created a lot of interest recently and is poised to change our lives in many unimaginable ways. One significant change we already know is the huge amount of power it consumes: an AI chip with the functionality of GPT-3 and 175 billion parameters would require an estimated 1280 megawatt-hours, which is equivalent to about 120 gasoline-powered cars operating for one year and creating around 550 tons carbon emissions.

Generative AI and other similar applications leverage semiconductor devices, so it is imperative that such devices consume as little power as possible.  The most common power saving schemes are clock gating, separating power domains and voltage islands, installing retention cells, and designing efficient power management units.

These low-power instruments add circuitry to the design and potentially impact design behavior. Verifying the functional intent of the design in the presence of the low-power constructs is critical. Low-power signoff is a new verification requirement for the chip design and verification community.
 

Just as functional verification and signoff requires different techniques, such as static, formal, simulation, and hardware prototyping to ensure design integrity, the same is true for functional verification of low-power designs.
 

This tutorial offers a comprehensive overview of various low-power design techniques as well as the corresponding, recommended verification steps. You will be provided with complete understanding of what it takes for low-power signoff. Topics covered include:

  • Generation, optimization and maintenance of UPF throughout the flow
  • Static low-power checks at different stages of the design and verification flow, from UPF creation to gate-level design connected to power-ground (PG) pins
  • Formal connectivity checking and property verification in the presence of low-power elements in the design, including optimization of clock gating and retention to improve PPA
  • Dynamic, low-power simulation to further ensure design functionality in the presence of UPF
  • Debug of issues that arise during low-power verification

You will hear from low-power experts to gain a solid understanding of steps to implement and verify a solid low-power strategy that reduces silicon power consumption.  This practical knowledge will prepare you for the trend of ever lower power consuming designs.

Speaker:

  • Tushar Parikh, Principal Applications Engineer