Skip to main content
  • Textbook
  • © 1997

Hardware Design

Formaler Entwurf digitaler Schaltungen

Part of the book series: Teubner Texte zur Informatik (TTZI)

  • 734 Accesses

Buy it now

Buying options

eBook USD 54.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever

Tax calculation will be finalised at checkout

Other ways to access

This is a preview of subscription content, log in via an institution to check for access.

Table of contents (6 chapters)

  1. Front Matter

    Pages 1-12
  2. Mathematische Grundlagen

    • Jörg Keller, Wolfgang J. Paul
    Pages 13-89
  3. Boole’sche Ausdrücke

    • Jörg Keller, Wolfgang J. Paul
    Pages 90-146
  4. Schaltkreise

    • Jörg Keller, Wolfgang J. Paul
    Pages 147-181
  5. Arithmetik

    • Jörg Keller, Wolfgang J. Paul
    Pages 182-233
  6. Speicher und Tristate-Bausteine

    • Jörg Keller, Wolfgang J. Paul
    Pages 234-286
  7. Ein einfacher Rechner

    • Jörg Keller, Wolfgang J. Paul
    Pages 287-392
  8. Back Matter

    Pages 393-416

About this book

Das vorliegende Lehrbuch beschäftigt sich in mathematisch präziser Weise mit ei­ nem ganz und gar praktischen Thema, nämlich dem Entwurf von 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 Verhal­ ten von Flipflops und anderen Speicherbausteinen abgeleitet wird. Kapitel 6 enthält dann das vollständige Design eines einfachen Rechners. Das Lehrbuch ist aus Vorlesungen des zweiten Autors entstanden. Kapitel 2 bis 6 enthalten den Stoff für eine einsemestrige Anfängervorlesung. Kapitell ist mehr ein Nachschlagewerk für nagende Fragen, die sich früher oder später einstellen. Kapitel und Abschnitte, die mit einem Stern gekennzeichnet sind, kann man überspringen. Die Darstellung großer Teile der Kapitell, 5 und 6 ist neu. Die Kapitel 2 bis 4 haben einen erheblichen Anteil an fortgeschrittenem Material. Es hat sich jedoch gezeigt, daß Erstsemester damit keine besonderen Schwierigkeiten haben. Im Einzelnen enthält Kapitel 1 eine Entwicklung des formalen Mengenkonzepts in einer für Studienanfänger verständlichen Form. Die Sätze und Beweise in diesem Kapitel sind von vorne bis hinten klassische Mathematik. Der Standpunkt, von dem aus wir sie interpretieren, ist bewußt übermütig und nicht klassisch. Wir wollen damit den Studierenden schmackhaft machen, von Zeit zu Zeit auch Wohlvertrautes von einem frischen - natürlich nicht unsinnigen - Standpunkt aus zu betrachten. Das ist insbesondere beim Forschenmanchmal sehr nützlich.

Authors and Affiliations

  • FernUniversität-GH Hagen, Saarlandes, Deutschland

    Jörg Keller

  • Universität des Saarlandes, Saarlandes, Deutschland

    Wolfgang J. Paul

Bibliographic Information

  • Book Title: Hardware Design

  • Book Subtitle: Formaler Entwurf digitaler Schaltungen

  • Authors: Jörg Keller, Wolfgang J. Paul

  • Series Title: Teubner Texte zur Informatik

  • DOI: https://doi.org/10.1007/978-3-322-95378-0

  • Publisher: Vieweg+Teubner Verlag Wiesbaden

  • eBook Packages: Springer Book Archive

  • Copyright Information: Vieweg+Teubner Verlag | Springer Fachmedien Wiesbaden GmbH, Wiesbaden 1997

  • eBook ISBN: 978-3-322-95378-0Published: 09 March 2013

  • Series ISSN: 1615-4584

  • Edition Number: 2

  • Number of Pages: 415

  • Topics: Computer Hardware, Computer Engineering

Buy it now

Buying options

eBook USD 54.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever

Tax calculation will be finalised at checkout

Other ways to access