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.

Property Checker App

Supporting formal verification with user-specified assertions

OneSpin’s extensive family of formal applications (apps) are designed to make formal technology available to non-experts. The apps address specific varication challenges and, in most cases, automatically generate all assertions needed.

However, engineers wishing to adopt a full assertion-based verification (ABV) flow need to write their own assertions to verify parts of their design beyond the areas covered by the apps.

OneSpin’s Property Checker App enables formal verification of user-specified assertions. It is included in the DV-Verify and DV-Certify platforms.

Get in touch!

Improve your performance and try the OneSpin Coverage Closure Acceleration App now!

» Contact