Application of Property Checking and Underlying Techniques
Raik Brinkmann, Peer Johannsen, Klaus Winkelmann · Kluwer Academic Publishers eBooks · 2006
This article gives an in-depth view of the use of formal property verification at Infineon Technologies AG. We present the method and tool from a user perspective, and also discuss some aspects of its underlying innovations. Finally we present a range of applications high-lighting the strong relevance of property checking for today’s complex design projects.