The King has no clothes – and Certitude will tell you that.

Techbites.com
By: Brian Bailey

Everyone who knows me, knows that I have issues with coverage metrics and the ways in which al of them can be abused. That is one reason why I have always had an interest in the technologies developed by Certess and now part of Springsoft. The technology works by inserting faults into code and seeing if it changes the behavior of the design. Sounds simple, but there is a lot of complexity behind the scenes.

SpringSoft research reveals that certain faults injected into the register transfer level (RTL) code are more likely to expose major holes in verification and produce results that are easier to analyze. In the latest software release, faults are split into multiple prioritized classes utilizing rules developed through years of research and the results of thousands of Certitude runs. The faults are then automatically qualified in priority-order, exposing the most significant weaknesses first and providing early feedback on the overall health of the verification environment.

<Continue Reading Article Here>