Ensuring Coverage In Large SoCs
By Sven Beyer, Semiconductor Engineering
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.
