editor's blog
Subscribe Now

Atrenta Goes Functional

Atrenta says that their customers consider their SpyGlass tool to be the definitive answer on whether their RTL code is up to snuff. But that’s largely been on the basis of whether the RTL looks good or follows well-behaved, well-understood styles. It also looks at whether clocks are likely to behave well as they jump domains, whether the power is optimized, whether the thing is testable, whether the timing constraints are right, and whether the routing is too congested.

But they haven’t been able to tell you whether the actual RTL behavior is as you expect; they’ve remained outside the functional verification category. There are two main tools for checking behavior: simulation and the use of assertions. And the latter is reasonably congruent to the kinds of technology that Atrenta has – specifically, formal methods.

But assertions have taken some time to catch on. They’ve been described as hard to write for anything more than simple tests and finicky in that you have to do it just right or else you might end up chasing your tail. This is where assertion synthesis has tried to make life easier.

One company engaging in assertion synthesis is NextOp, and Atrenta recently announced that they’re acquiring the company in order to add functional verification to their portfolio. They claim that this will give them full coverage of front-end design activities.

You can find out more about the acquisition (except for the terms) in their release.

Leave a Reply

featured blogs
Dec 5, 2019
In November, we wrapped up our technical debt cleanup, upgraded several of our back-end APIs, and rolled out several small user-experience updates throughout Samtec.com. These updates will pave the way for some exciting new applications and e-e-commerce features in 2020. Here...
Dec 5, 2019
Hello everyone! I am Aravind R, Principal Support AE at Cadence, and I have been supporting various users at our customer sites to generate and validate various formats of standard cell and IO... [[ Click on the title to access the full blog on the Cadence Community site. ]]...
Dec 4, 2019
At their recent Open Innovation Platform (OIP) Ecosystem Forum held in Santa Clara, CA, TSMC named Mentor as their OIP Partner of the Year in four categories during the awards luncheon: Joint Development of 6nm Design Infrastructure Joint Delivery of SoIC Design Solution Join...
Dec 4, 2019
Any reasonable thinking being knows that the Earth cannot possibly be flat -- if it were, cats would have pushed everything off it by now!...
Nov 29, 2019
[From the last episode: We saw what it means for an electronic system to sleep.] You'€™re on a phone call having a conversation, and you hear the sound that indicates that someone else is trying to call you. So excuse yourself to the person you'€™re talking to and quick t...