editor's blog
Subscribe Now

Fast and Accurate?

It’s a song as old as time: if the tool takes too long to run, then run a less accurate version early on, and just use the accurate version at the end.

In other words, speed comes at the expense of accuracy.

So I have to say that I was a bit confused and suspicious when Atrenta claimed that their new Fast Lint didn’t sacrifice any accuracy. A conversation with their Mike Gianfagna cleared the picture up a bit.

You see, Atrenta says that they live and breathe by the accuracy of Spyglass. They say that their customers refer to designs being “Spyglass clean.” With that kind of equity in the brand, accuracy is probably the last thing they want to trade off. And you could practically hear them scrambling to explain when I suggested that they must be giving up accuracy.

So here’s the deal. They have their normal version of Spyglass that actually does synthesis under the hood in order to find things that the customer’s synthesis tool may not like. They refer to this as structural linting. Of course, synthesis takes time.

Then they released Advanced Lint, which adds formal proofs to the collection of things to be checked. This doesn’t increase the accuracy of things they were checking before; it adds a whole new list of things to check for. But formal analysis takes even more time.

And they started getting feedback that designers really couldn’t check their designs as often as they’d like because it just took too long.

So what they found was that they could take the 5000 or so rules that they have and structure them. There’s a first category that can be run quickly because they don’t need any synthesis. They grouped these together into Fast Lint. Then there’s the structural lint portion that does synthesis but not formal; and then there’s Advanced Lint that does the whole shebang.

Of course, they then adjusted their interface to reflect this new structure.

So Fast Lint is intended to be run each time the design is checked in. In fact, you can script things so that it’s automatically done at check-in, and check-in can be rejected if it fails. Structural Lint can be performed on a less frequent basis to give more of a thorough check. And Advanced Lint can be done, if at no other time, for sign-off. But probably before then: if you’re ready for sign-off, it better be clean.

So none of the tests lose accuracy; it’s just a matter of which tests you run when.

You can find more in their release

Leave a Reply

featured blogs
Apr 13, 2021
We explain the NHTSA's latest automotive cybersecurity best practices, including guidelines to protect automotive ECUs and connected vehicle technologies. The post NHTSA Shares Best Practices for Improving Autmotive Cybersecurity appeared first on From Silicon To Software....
Apr 13, 2021
If a picture is worth a thousand words, a video tells you the entire story. Cadence's subsystem SoC silicon for PCI Express (PCIe) 5.0 demo video shows you how we put together the latest... [[ Click on the title to access the full blog on the Cadence Community site. ]]...
Apr 12, 2021
The Semiconductor Ecosystem- It is the definition of '€œHigh Tech'€, but it isn'€™t just about… The post Calibre and the Semiconductor Ecosystem appeared first on Design with Calibre....
Apr 8, 2021
We all know the widespread havoc that Covid-19 wreaked in 2020. While the electronics industry in general, and connectors in particular, took an initial hit, the industry rebounded in the second half of 2020 and is rolling into 2021. Travel came to an almost stand-still in 20...

featured video

Meeting Cloud Data Bandwidth Requirements with HPC IP

Sponsored by Synopsys

As people continue to work remotely, demands on cloud data centers have never been higher. Chip designers for high-performance computing (HPC) SoCs are looking to new and innovative IP to meet their bandwidth, capacity, and security needs.

Click here for more information

featured paper

Understanding the Foundations of Quiescent Current in Linear Power Systems

Sponsored by Texas Instruments

Minimizing power consumption is an important design consideration, especially in battery-powered systems that utilize linear regulators or low-dropout regulators (LDOs). Read this new whitepaper to learn the fundamentals of IQ in linear-power systems, how to predict behavior in dropout conditions, and maintain minimal disturbance during the load transient response.

Click here to download the whitepaper

Featured Chalk Talk

Electronic Fuses (eFuses)

Sponsored by Mouser Electronics and ON Semiconductor

Today’s advanced designs demand advanced circuit protection. The days of replacing old-school fuses are long gone, and we need solutions that provide more robust protection and improved failure modes. In this episode of Chalk Talk, Amelia Dalton chats with Pramit Nandy of ON Semiconductor about the latest advances in electronic fuses, and how they can protect against overcurrent, thermal, and overvoltage.

More information about ON Semiconductor Electronic Fuses