Hardware Design von Jörg Keller | Formaler Entwurf digitaler Schaltungen | ISBN 9783519230472

Hardware Design

Formaler Entwurf digitaler Schaltungen

von Jörg Keller und Wolfgang J. Paul
Mitwirkende
Autor / AutorinJörg Keller
Autor / AutorinWolfgang J. Paul
Buchcover Hardware Design | Jörg Keller | EAN 9783519230472 | ISBN 3-519-23047-X | ISBN 978-3-519-23047-2

Hardware Design

Formaler Entwurf digitaler Schaltungen

von Jörg Keller und Wolfgang J. Paul
Mitwirkende
Autor / AutorinJörg Keller
Autor / AutorinWolfgang J. Paul
Dieses Hochschullehrbuch behandelt in mathematisch präziser Weise den Entwurf digitaler Hardware. Kapitel eins enthält eine Diskussion mathematischer Grundbegriffe. In den Kapiteln zwei bis vier werden die notwendigen theoretischen Grundlagen über Boolesche Ausdrücke, Schaltkreiskomplexität und Rechnerarithmetik behandelt. Der Übergang von der abstrakten Schaltkreistheorie zum Entwurf konkreter Schaltungen findet nahtlos in Kapitel fünf statt, wo aus den Verzögerungszeiten von Gattern das zeitliche Verhalten von Flipflops und anderen Speicherbausteinen abgeleitet wird. Kapitel sechs enthält dann das vollständige Design eines einfachen Rechners. Zahlreiche Wissenschaftler, die heute in der Industrie Prozessoren designen, wurden nach diesem bewährten Buch ausgebildet.