Formal verification is the act of proving the correctness of a system with respect to a certain formal specification or property. It is being used in increasing amounts by the largest semiconductor companies around the globe. This article from Semiengineering describes the conversation between formal verification experts on what are the approaches to get formal deployed and how formal is being used to found issues and problems such as compilation errors in the design life-cycle.

Read More

Join T&VS Formal Verification Training to learn how to write effective assertions to find & fix bugs and deploy the formal verification.