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
Jun 6, 2023
Learn about our PVT Monitor IP, a key component of our SLM chip monitoring solutions, which successfully taped out on TSMC's N5 and N3E processes. The post Synopsys Tapes Out SLM PVT Monitor IP on TSMC N5 and N3E Processes appeared first on New Horizons for Chip Design....
Jun 6, 2023
At this year's DesignCon, Meta held a session on '˜PowerTree-Based PDN Analysis, Correlation, and Signoff for MR/AR Systems.' Presented by Kundan Chand and Grace Yu from Meta, they talked about power integrity (PI) analysis using Sigrity Aurora and Power Integrity tools such...
Jun 2, 2023
I just heard something that really gave me pause for thought -- the fact that everyone experiences two forms of death (given a choice, I'd rather not experience even one)....

featured video

Synopsys Solution for Comprehensive Low Power Verification

Sponsored by Synopsys

The growing complexity of power management in chips requires a holistic approach to UPF power-intent generation and low power verification. Learn how Synopsys addresses these requirements with a comprehensive solution for low-power verification.

Learn more about Synopsys’ Energy-Efficient SoCs Solutions

featured paper

EC Solver Tech Brief

Sponsored by Cadence Design Systems

The Cadence® Celsius™ EC Solver supports electronics system designers in managing the most challenging thermal/electronic cooling problems quickly and accurately. By utilizing a powerful computational engine and meshing technology, designers can model and analyze the fluid flow and heat transfer of even the most complex electronic system and ensure the electronic cooling system is reliable.

Click to read more

featured chalk talk

HARTING's HAN® 1A Connector Series
Sponsored by Mouser Electronics and HARTING
There is a big push in the electronics industry today to make our designs smaller and more modular. One way we can help solve these design challenges is with the choice of connector we select for our designs. In this episode of Chalk Talk, Goda Inokaityte from HARTING and Amelia Dalton examine the role that miniaturized connectivity plays in the future of electronic design. They also how HARTING's Han 1A connectors can help reduce errors in installation, improve serviceability and increase modularity in your next design.
Aug 3, 2022
36,614 views