Formal verification of low-power designs encompasses two elements: low-power verification and logical equivalency. For low-power verification, the focus is on ensuring that the design is electrically correct from a low-power perspective. The flow will verify that the retention and isolation are complete and correct as specified by the power intent. This article highlights why shift left is a way to move functional verification earlier in design to compress the overall design cycle.
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.