Skip to main content
Book cover

Hardware Design

Formaler Entwurf digitaler Schaltungen

  • Textbook
  • © 1997

Overview

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

  • 734 Accesses

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

Access this book

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

Licence this eBook for your library

Institutional subscriptions

Table of contents (6 chapters)

Keywords

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

Publish with us