Thomas Kropf Knihy

Hardware verification is a hot topic in circuit and system design due to rising circuit complexity. This advanced textbook presents an almost complete overview of techniques for hardware verification. It covers all approaches used in existing tools, such as binary and word-level decision diagrams, symbolic methods for equivalence checking, and temporal logic model checking, and introduces the use of higher-order logic theorem proving for verifying circuit correctness. It enables the reader to understand the advantages and limitations of each technique. Each chapter contains an introduction and a summary as well as a section for the advanced reader. Thus a broad audience is addressed, from beginners in system design to experts.

This state-of-the-art monograph presents a coherent survey of a variety of methods and systems for formal hardware verification. It emphasizes the presentation of approaches that have matured into tools and systems usable for the actual verification of nontrivial circuits. All in all, the book is a representative and well-structured survey on the success and future potential of formal methods in proving the correctness of circuits. The various chapters describe the respective approaches supplying theoretical foundations as well as taking into account the application viewpoint. By applying all methods and systems presented to the same set of IFIP WG10.5 hardware verification examples, a valuable and fair analysis of the strenghts and weaknesses of the various approaches is given.

Schon seit ihrer Gründung in den 1970er-Jahren ist die Reihe Germanistische Linguistik (RGL) exponiertes Forum des Faches, dessen Namen sie im Titel führt. Hinsichtlich der thematischen Breite (Sprachebenen, Varietäten, Kommunikationsformen, Epochen), der Forschungsperspektiven (Theorie und Empirie, Grundlagenforschung und Anwendung, Inter- und Transdisziplinarität) und des methodologischen Spektrums ist die Reihe offen angelegt. Das Aufgreifen neuer Trends hat in ihr ebenso Platz wie das Fortführen von Bewährtem. Die Publikationsformen reichen von Monographien und Sammelbänden bis zu Wörterbüchern. Wissenschaftlicher Beirat (ab November 2011): Prof. Dr. Karin Donhauser (Berlin)Prof. Dr. Stephan Elspaß (Augsburg)Prof. Dr. Helmuth Feilke (Gießen)Prof. Dr. Jürg Fleischer (Marburg)Prof. Dr. Stephan Habscheid (Siegen)Prof. Dr. Rüdiger Harnisch (Passau)

Gibt es verborgene Verbindungen zwischen der Sängerin Rihanna und dem Kommunistischen Manifest? Aber sicher! Wie ging es zu, als Micheline Bernardini in Paris den ersten Bikini präsentierte? Und weshalb hiess die Insel Robinson Crusoe ganz anders, als sie entdeckt wurde? In 101 kurzen Geschichten geht der Autor Ereignissen nach, die mit einem bestimmten Tag, einem bestimmten Datum verbunden sind. Er spannt dabei den Bogen von der Erschaffung der Welt am 23. Oktober 4004 vor Christus bis zu den Terroranschlägen der jüngsten Vergangenheit.