Preliminaries

Abstract

In this chapter the basic notations and definitions are given to make this book self-contained. In the first part Boolean reasoning including state-of the-art proof techniques are reviewed. Then, circuits and their respective representation are introduced. Thereafter, the two typical scenarios of formal verification are described, i.e. equivalence checking and (bounded) model checking. Finally, the basics and concept of the system description language SystemC are given.

The presentation is always given in a compact way, but references for further reading are provided.