close By using this website, you agree to the use of cookies. Detailed information on the use of cookies on this website can be obtained on OneSpin's Privacy Policy. At this point you may also object to the use of cookies and adjust the browser settings accordingly.

New Uses for Assertions

By: Ann Steffora Mutschler

Proponents point to applications in system reliability, AI, and data analytics.

Shaun Giebel, director of product management at OneSpin Solutions, agreed. “The ‘app’ trend continues to be the key characteristic of formal adoption. Formal super-experts are rare. Most designers want automation, high ROI, and a quick ramp-up. One of the key differentiators of today’s formal verification solutions and their customer support is the technical and organizational flexibility to deliver high-quality custom solutions quickly. Whether it is about increasing the capacity of an existing app, like connectivity checking or verifying RISC-V cores with custom instructions, having pre-packaged, highly-automated solutions is what most companies want.”


OneSpin provides an app that allows for the precise measure of verification progress and coverage. In particular, it helps to determine whether enough assertions are being used, and if they are the right assertions. “It also helps to determine whether the assertion quality is up-to-snuff by combining the results of simulation and formal into a single view to get a clear understanding of verification coverage and progress so you know where and when to make adjustments,” OneSpin’s Giebel pointed out.


Related Links