editor's blog
Subscribe Now

More Than Power Structures

With the multi-domain power beasts being designed into today’s SoCs, it’s easy to miss a detail. Which is why verification is so much more important than it used to be, when inspection and a spreadsheet or two might have gotten you through.

So today you can get verification tools to help you to ensure that the voltages are right and that level shifters and isolation are all in place. But, in a recent announcement, Jasper claims to take things one step further: In addition to verifying the static structure of the power edifice, they can also verify the power sequencing.

They take in the design RTL and the power intent (either UPF for CPF) and, from that, create a model that can be verified using their formal technology. They say that they can check the power optimization structures, power management, and the sequencing. In conjunction with their other tools, they can also check to make sure that the power optimization circuits won’t screw something else in the design up.

You can read more in their release.

Leave a Reply

featured blogs
Sep 20, 2019
Earlier this year, on July 20, we celebrated the 50th anniversary of the first landing on the moon. I wrote about it'€”well, mostly about the Apollo Guidance Computer'€”that day in my post The First... [[ Click on the title to access the full blog on the Cadence Communit...
Sep 19, 2019
The word '€œrevolution'€ is very common in today'€™s world.  Whether it'€™s a revolutionary new smartphone or a revolution in personal transport, it is a phrase that is used frequently.  How many of these things are truly groundbreaking, or how many are vic...