editor's blog
Subscribe Now

Greater Certitude

About two years ago, we looked at a new product from SpringSoft, Certitude, inherited through the acquisition of Certess. SpringSoft has just announced some improvements to the product.

As a quick reminder, Certitude performs what SpringSoft calls “functional qualification.” That fundamentally means that it looks for untestable pieces of your design by inserting bugs and seeing if the bugs can be detected.

Most of the improvements have to do with improving the specificity and relevance of what the analysis returns. First, they’ve tuned some of the kinds of errors they inject to align with the typical kinds of faults that might be found in an SoC. Second, they correlate results in a manner that eliminates a multitude of “hits” that might all relate to the same issue. This reduces the amount of “noise” in the results, making it easier to sift through. Third, results are ranked based on likely impact so that the most important issues can be addressed first.

They’re also introducing a new use mode intended for checking out the testbench setup. The focus of this is to prove out the checkers early on while the tests are still being written.

More info in their press release

Leave a Reply

featured blogs
Oct 27, 2021
ASIC hardware verification is a complex process; explore key challenges and bug hunting, debug, and SoC verification solutions to satisfy sign-off requirements. The post The Quest for Bugs: The Key Challenges appeared first on From Silicon To Software....
Oct 27, 2021
Cadence was recently ranked #7 on Newsweek's Most Loved Workplaces list for 2021 and #17 on Fortune's World's Best Workplaces list. Cadence received top recognition among thousands of other companies... [[ Click on the title to access the full blog on the Cadence Community s...
Oct 20, 2021
I've seen a lot of things in my time, but I don't think I was ready to see a robot that can walk, fly, ride a skateboard, and balance on a slackline....
Oct 4, 2021
The latest version of Intel® Quartus® Prime software version 21.3 has been released. It introduces many new intuitive features and improvements that make it easier to design with Intel® FPGAs, including the new Intel® Agilex'„¢ FPGAs. These new features and improvements...

featured video

Maxim Integrated is now part of Analog Devices

Sponsored by Maxim Integrated (now part of Analog Devices)

What if the march of progress suddenly broke into a full-in sprint?

See What If: analog.com/Maxim

featured paper

The ABCs of Glitch-Free Voltage Supervisors

Sponsored by Maxim Integrated (now part of Analog Devices)

Reset glitches can trigger a false signal to the processor or critical load during power-up. This application note discusses the various aspects and benefits of a glitch-free supervisor.

Click to read more

featured chalk talk

How Trinamic's Stepper Motor Technologies Improve Your Application

Sponsored by Mouser Electronics and Maxim Integrated (now part of Analog Devices)

Stepper motor control has come a long way in the past few years. New techniques can give greater control, smoother operation, greater torque, and better efficiency. In this episode of Chalk Talk, Amelia Dalton chats with Lars Jaskulski about Trinamic stepper solutions and how to take advantage of micro stepping, load measurement, and more.

Click here for more information about Trinamic TMCM-6110 6-Axis Stepper Motor Driver Board