Ensuring Coverage In Large SoCs

The growing role of formal technology at advanced nodes.


Sven Beyer, product manager for design verification at OneSpin Solutions, talks 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.

Leave a Reply

(Note: This name will be displayed publicly)