1 Table of Contents: “... Checking of Analog and Mixed-Signal Circuits Using an SMT Solver -- Model Checking Contracts – A Case Study...”

2 Table of Contents: “... -- 2.1 Introduction -- 2.2 Restrictions for very high frequencies -- 2.3 Synthesis methods -- 2.4...”