PA-Static verification, are performed on designs that adopt certain power dissipation reduction techniques through the power intent or UPF. The term static originates from verification tools and methodologies that applies a set of pre-defined power aware (PA) or multi-voltage (MV) rules based on the power requirements, statically on the structure of the design. More precisely, the rule sets are applied on the physical structure, architecture, and microarchitecture of the design, in conjunction with the UPF specification but without the requirements of any external stimulus or testbenches.This article describes the foundations of power aware static verification and the solution features used for its verification.

Read More

Find out how T&VS services help to meet the challenging requirements with respect to performance, flexibility and power efficiency to implement, verify and program today’s complex mixed-signal/low-power designs.