Skip to main content
  • Textbook
  • © 2008

Digitaltechnik - Eine praxisnahe Einführung

  • Ein Lehrbuch – speziell für Bachelorstudenten
  • Hardwarebeschreibungssprache Verilog anstelle des veralteten VHDL
  • Moderne Technik am Beispiel des Risk-Prozessors
  • Beispielhafte Realisierung einer Schaltung
  • Fehlersuche (Debugging) innerhalb des Entwicklungsprozesses
  • Includes supplementary material: sn.pub/extras

Buy it now

Buying options

eBook USD 29.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 29.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

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

Table of contents (7 chapters)

  1. Front Matter

    Pages I-X
  2. Technologie

    Pages 39-83
  3. Arithmetik

    Pages 111-148
  4. Verifikation

    Pages 149-171
  5. Speicherelemente

    Pages 173-190
  6. Back Matter

    Pages 219-226

About this book

Dieses Einführungswerk in die Digitaltechnik wurde speziell für Bachelorstudenten entwickelt. Es enthält viele auf den Anfänger zugeschnittene praktische Anwendungen. Folgende Aspekte sind einmalig: Tool-orientierter Ansatz - Verwendung der Hardwarebeschreibungssprache Verilog - Einführung in systematische Methoden zur Fehlersuche - Geringe Anforderungen an die mathematischen Vorkenntnisse - Ein vereinfachter X86 IA32-Prozessor als Anwendungsbeispiel

Die vorgestellten Beispiele werden mit Hilfe von Tools wie XILINX ISE und MentorGraphics ModelSim in echte Schaltungen umgesetzt. Diese Tools werden auch im industriellen Alltag eingesetzt. Im Internet werden weitere Übungen, realisierte Beispiele sowie Animationen angeboten. Für Dozenten stehen Folien zum Abrufen bereit.

Reviews

Aus den Rezensionen:

"… Dieses Buch bringt sowohl die notwendige Theorie als auch den konsequenten Bezug zur Praxis. Jedes Kapitel enthält zahlreiche Aufgaben … und ausführliche Literaturhinweise. ... Erwähnenswert ist auch ein wichtiger … Aspekt, nämlich die Verifikation. Der Vorlesungsstoff dient hauptsächlich Bachelorstudenten als Einführung, insbesondere Anfängern wegen seiner auf diese zugeschnittenen Anwendungen." (Rita Weinheimer-Hartmann, in: ekz-Informationsdienst Einkaufszentrale für öffentliche Bibliotheken, 2008, Issue 25)

Authors and Affiliations

  • Institute for Formal Models and Verification, Johannes Kepler University, Linz, Österreich

    Armin Biere

  • Computer Systems Institute, ETH Zürich, Zürich, Schweiz

    Daniel Kroening, Georg Weissenbacher, Christoph M. Wintersteiger

Bibliographic Information

Buy it now

Buying options

eBook USD 29.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 29.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