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.

Videos

Videos and recordings from OneSpin Solutions

Check out the latest videos about OneSpin and learn more about our formal verification solutions.

Our latest videos

Speeding Up Verification Using SystemC

Brett Cline, senior vice president at OneSpin Solutions, explains how adding formal verification into the high-level synthesis flow can reduce the time spent in optimization and debug by about two-thirds, why this needs to be done well ahead of RTL, starting with issues such as initialization, memory out of bounds and other issues that are difficult to find in simulation.

Formal Verification by the Book

Keerthikumara Devarajegowda, PhD candidate at Infineon Technologies, talks about the verification of error correction codes using formal verification, namely OneSpin 360 DV.

Ensuring Coverage In Large SoCs

Sven Beyer, product manager for design verification at OneSpin Solutions, talks with Semiconductor Engineering about why formal technology is required to ensure coverage in some of the newest chips, how it deals with potential interactions and different use cases, and why it is gaining traction in automotive applications.