Formal Verification Archives | The Art Of Verification

Formal Verification vs Functional Verification: A Tale of Two Approaches

Posted on October 9, 2023October 24, 2023 by The Art of Verification

Formal verification and functional verification are two complementary approaches to ASIC verification. Formal verification uses mathematical methods to prove that a design meets its specifications, while functional verification uses simulations to test the design against a variety of scenarios. Formal verification is more rigorous and can find bugs that functional verification may miss, but it […]

Formal Verification: Where to use it and Why?

Posted on May 5, 2022April 7, 2023 by The Art of Verification

With innovations in technologies and methodology, the benefits of formal functional verification apply in many more areas. If we understand the characteristics of areas with high formal applicability, we can identify not only which blocks are good candidates, but also what portions or functionalities of the blocks will give the greatest return on the time […]