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.