Skip to main content

Hardware Design

Formaler Entwurf digitaler Schaltungen

  • Textbook
  • © 1995

Overview

Part of the book series: XTeubner Studienbücher Informatik (XTSBI, volume 15)

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

Access this book

eBook USD 49.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 49.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

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. Kapitel 1 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 Kapitell 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

  • Universität des Saarlandes, Saarbrücken, Deutschland

    Jörg Keller, Wolfgang J. Paul

Bibliographic Information

  • Book Title: Hardware Design

  • Book Subtitle: Formaler Entwurf digitaler Schaltungen

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

  • Series Title: XTeubner Studienbücher Informatik

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

  • Publisher: Vieweg+Teubner Verlag Wiesbaden

  • eBook Packages: Springer Book Archive

  • Copyright Information: Springer Fachmedien Wiesbaden 1995

  • Softcover ISBN: 978-3-8154-2065-2Published: 01 September 1995

  • eBook ISBN: 978-3-322-93438-3Published: 03 September 2013

  • Edition Number: 1

  • Number of Pages: 416

  • Number of Illustrations: 11 b/w illustrations

  • Topics: Engineering, general

Publish with us