Ensuring Coverage In Large SoCs
Sven Beyer, OneSpin Solutions
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.