Formal Verification has been playing a vital role in semiconductor industry. Tool developers changed direction and started to create self-contained apps which have led to a rapid proliferation of the technology.  But formal is a diverse set of tools that can solve a variety of problems in the verification space and this has created a different kind of confusion within the industry.

This article from Semiengineering captures the conversation between Synopsys, Imagination, Oski, and Broadcom on the best possible ways to apply formal verification.

Read More

Join T&VS Formal Verification Training to find the solutions for formal confusion and learn how to find & fix bugs and deploy the formal verification.