Advertisement

Hardware Design

Formaler Entwurf digitaler Schaltungen

  • Jörg Keller
  • Wolfgang J. Paul

Part of the TEUBNER TEXTE zur Informatik book series (TTZI)

Table of contents

  1. Front Matter
    Pages 1-12
  2. Jörg Keller, Wolfgang J. Paul
    Pages 13-89
  3. Jörg Keller, Wolfgang J. Paul
    Pages 90-146
  4. Jörg Keller, Wolfgang J. Paul
    Pages 147-181
  5. Jörg Keller, Wolfgang J. Paul
    Pages 182-233
  6. Jörg Keller, Wolfgang J. Paul
    Pages 234-286
  7. Jörg Keller, Wolfgang J. Paul
    Pages 287-392
  8. Back Matter
    Pages 393-416

About this book

Introduction

Das vorliegende Lehrbuch ist aus Vorlesungen des zweiten Autors entstanden. Es beschäftigt sich in mathematisch präziser Weise mit einem ganz und gar praktischen Thema, nämlich dem Entwurf digitaler Hardware. Kapitel 1 enthält eine Diskussion mathematischer Grundbegriffe. In den Kapiteln 2 bis 4 werden die notwendigen theoretischen Grundlagen über Boole'sche Ausdrücke, Schaltkreiskomplexität und Rechnerarithmetik behandelt. Der Übergang von der abstrakten Schaltkreistheorie zum Entwurf konkreter Schaltungen findet nahtlos in Kapitel 5 statt, wo aus den Verzögerungszeiten von Gattern das zeitliche Verhalten von Flipflops und anderen Speicherbausteinen abgeleitet wird. Kapitel 6 enthält dann das vollständige Design eines einfachen Rechners. Für die 2., bearbeitete Auflage wurden Fehler und Unstimmigkeiten bereinigt und ein Beweis vereinfacht.

Keywords

Arithmetik Bauteile Beweis Design Entwicklung Entwurf Grundbegriffe Hardware Interface Mathematik Ringe SRAM Schnitt Zeit hardware design

Authors and affiliations

  • Jörg Keller
    • 1
  • Wolfgang J. Paul
    • 2
  1. 1.FernUniversität-GH HagenSaarlandesDeutschland
  2. 2.Universität des SaarlandesSaarlandesDeutschland

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-322-95378-0
  • Copyright Information Vieweg+Teubner Verlag | Springer Fachmedien Wiesbaden GmbH, Wiesbaden 1997
  • Publisher Name Vieweg+Teubner Verlag, Wiesbaden
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-8154-2304-2
  • Online ISBN 978-3-322-95378-0
  • Series Print ISSN 1615-4584
  • Buy this book on publisher's site
Industry Sectors
Automotive
Electronics
IT & Software
Telecommunications
Consumer Packaged Goods
Aerospace