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.
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.