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
Jan 24, 2020
Someone has created a song by taking Pi, assigning each number to a note, and adding harmonies. The result is strangely captivating....
Jan 24, 2020
[From the last episode: We looked at the different ways memory can be organized in different kinds of systems.] Let'€™s look at a scenario: you run a restaurant, but you'€™re short on funds to hire people. So you'€™re your own chief cook and bottle-washer. You do everyt...
Jan 23, 2020
Embedded design trends typically revolve around three main ideas: faster data rates, smaller form factors and cost-effective solutions. Those design trends drive the theme for the 2020 Embedded Tech Trends forum: The Business and Technology Forum for Critical and Intelligent ...
Jan 22, 2020
Master the design and verification of next gen transport: Part One – Overview Master the design and verification of next gen transport: Part Two – High-Level Synthesis Master the design and verification of next gen transport: Part Three – Functional Safety M...

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