Systematic verification boosts productivity

Process systematically delivers predictable, repeatable verification results for complex modules and IP, accelerating the gap-free formal verification that ensures first-time error-free operation.

New from OneSpin Solutions, GapFreeVerification is a patent-pending systematic verification process that dramatically boosts the verification productivity of its award-winning 360 Module Verifier (360 MV).

The new process systematically delivers predictable, repeatable verification results for complex modules and IP, accelerating the gap-free formal verification that ensures first-time error-free operation.

It defines a structured and integrated sequence of user activities and tool tasks; this sequence predictably transforms the design-under-verification (DUV) and its informal specification into a gap-free formal specification and a provably equivalent DUV.

The GapFreeVerification process virtually eliminates one of the main productivity killers in today's verification approaches: the extensive effort required by simulation-based and other formal verification approaches for verification planning and review, construction of complex coverage models, and collection and analysis of massive coverage information to improve verification quality - none of which can ensure the absence of verification holes.

The new process guides users in the systematic construction of a high-level, functional reference model consisting of a gap-free property set.

The high-level reference model is a formal specification of the entire expected functionality of the DUV - analogous to golden reference models that specify expected DUV behaviour in advanced testbenches.

Using 360 MV's property and completeness checking capabilities, the reference model is compared with the DUV with the same rigour as RTL and netlist models are compared using formal equivalence checking.

This ensures gap-free verification and error-free DUV operation.

Moreover, the new process and enhanced 360 MV tools mitigate the capacity, scalability and spurious counter-example limitations common in other formal verification tools, which are targeted primarily at "bug hunting".

By mitigating these limitations, GapFreeVerification extends systematic formal verification to a broad range of complex modules and IP where other formal approaches fail to scale.

According to Peter Feist, President and CEO of OneSpin: "A dramatic increase in verification productivity is needed to keep verification scalable".

"By integrating 360 MV with a highly productive verification process, we have achieved an important milestone in helping companies to reduce verification time and effort".

"The GapFreeVerification process encapsulates the experience and best practices we accumulated during a decade of collaborating with customers to systematically verify highly complex designs".

"The new process makes this experience accessible to novice users as well as formal verification experts, enabling them to efficiently perform gap-free verification with predictable results - highest quality of complex modules/IP and dramatically reduced verification effort".

Available now, GapFreeVerification is included in the latest version of 360 MV at no additional cost.

Back to top