Formal verification for real-world designs
Valeria Bertacco · 2006
This tutorial addresses state-of-the-art methods used to verify the correctness of sequential digital systems. The focus is on providing an overview of the main technologies and their applicability to complex designs. We cover the baseline algorithms involved in a range of verification methods, their application for specific aspects of formal verification and their deployment in verification software currently available both from industry and from academia. The tutorial is intended for designers and CAD engineers interested in a better understanding of current formal verification technologies, their growth potential, and the critical CAD needs in this area.