Low Power Considerations for Verification


Image for Low Power Considerations for Verification event

The verification state space can grow exponentially as a function of the number of power domains in a system. UPF power states can help bound the verification state space and enable tool automation.

Achieving coverage closure increases with the number of power domains in a design. The UPF add_power_state and add_state_transition commands can help bound the verification state space. We will discuss how to use these commands to manage verification.

What You Will Learn:

  • The verification challenges associated with low power designs
  • How the UPF power states constraint verification
  • How UPF power states enable verification automation

Who Should Attend:

  • Design & Verification Engineers & Managers designing power managed ICs

Meet the speakers

Photo of Rick Koster
Siemens EDA

Rick Koster

Low Power Specialist

Rick Koster is the North America Low Power Specialist for verification tools at Siemens EDA. Rick started his career at Texas Instruments as a microcontroller application engineer. He has held engineering positions at the US Army, Bytex Corporation and for almost 25 years has worked in verification applications at Siemens EDA through Mentor Graphics and Ikos Systems.
Photo of Tom Fitzpatrick
Siemens EDA

Tom Fitzpatrick

Strategic Verification Architect

Tom is a Strategic Verification Architect at Siemens Digital Industries Software (Siemens EDA) where he works on developing advanced verification methodologies and educating users and partners on their adoption. He has been a significant contributor to several industry standards, both in Accellera and IEEE, including Verilog 1364, SystemVerilog 1800, UVM 1800.2 and is a founding member and current Vice Chair of the Portable Stimulus Working Group. He is also the 2019 recipient of the Accellera Technical Excellence Award. He has published multiple articles and technical papers about SystemVerilog, verification methodologies, assertion-based verification, functional coverage, formal verification, Portable Stimulus and other functional verification topics, and has produced some of the most popular and successful video training courses on Mentor's Verification Academy website. Tom holds Master’s and Bachelor’s degrees in EE/CS from MIT, is an avid golfer and a huge Boston Red Sox and New England Patriots fan, and has been married to his wife, Dee, for 25 years.


Create or Login with a Siemens account to register for this webinar.