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
Apr 7, 2020
Have you seen the video that describes how the coronavirus has hit hardest where 5G was first deployed?...
Apr 7, 2020
In March 2020, the web team focused heavily on some larger features that we are working on for release in the spring. You’ll be reading about these in a few upcoming posts. Here are a few smaller updates we were able to roll out in March 2020. New Online Features for Ma...
Apr 6, 2020
My latest video blog is now available. This time I am looking at the use of dynamic memory in real-time embedded applications. You can see the video here or here: Future video blogs will continue to look at topics of interest to embedded software developers. Suggestions for t...
Apr 3, 2020
[From the last episode: We saw some of the mistakes that can cause programs to fail and to breach security and/or privacy.] We'€™ve seen how having more than one program or user resident as a '€œtenant'€ in a server in the cloud can create some challenges '€“ at leas...

Featured Video

Automotive Trends Driving New SoC Architectures -- Synopsys

Sponsored by Synopsys

Today’s automotive trends are driving new design requirements for automotive SoCs targeting ADAS, gateways, connected cars and infotainment. Find out why it is essential to use pre-designed, pre-verified, reusable automotive-optimized IP to meet such new requirements and accelerate design time.

Drive Your Next Design to Completion Today with DesignWare IP® for Automotive SoCs