Hardware Design Formaler Entwurf digitaler Schaltungen

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�...

Full description

Bibliographic Details
Main Authors: Keller, Jörg, Paul, Wolfgang J. (Author)
Format: eBook
Language:German
Published: Wiesbaden Vieweg+Teubner Verlag 1995, 1995
Edition:1st ed. 1995
Series:XTeubner Studienbücher Informatik
Subjects:
Online Access:
Collection: Springer Book Archives -2004 - Collection details see MPG.ReNa
LEADER 03233nmm a2200289 u 4500
001 EB000647639
003 EBX01000000000000000500721
005 00000000000000.0
007 cr|||||||||||||||||||||
008 140122 ||| ger
020 |a 9783322934383 
100 1 |a Keller, Jörg 
245 0 0 |a Hardware Design  |h Elektronische Ressource  |b Formaler Entwurf digitaler Schaltungen  |c von Jörg Keller, Wolfgang J. Paul 
250 |a 1st ed. 1995 
260 |a Wiesbaden  |b Vieweg+Teubner Verlag  |c 1995, 1995 
300 |a 416 S. 11 Abb  |b online resource 
505 0 |a 1 Mathematische Grundlagen -- 2 Boole’sche Ausdrücke -- 3 Schaltkreise -- 4 Arithmetik -- 5 Speicher und Tristate-Bausteine -- 6 Ein einfacher Rechner -- A Verwendete Bauteile -- A.1 Gatter -- A.2 Multiplexer -- A.3 Register -- A.4 Zähler -- A.5 Treiber -- A.6 ALU Bausteine -- A.7 PALs -- A.8 Speicherbausteine -- A.9 Ein- und Ausgabe -- B PAL-Gleichungen -- B.1 CPU-Kontrolle -- B.2 SRAM-Kontrolle -- B.3 EPROM-Kontrolle -- B.4 UART-Kontrolle 
653 |a Engineering 
653 |a Technology and Engineering 
700 1 |a Paul, Wolfgang J.  |e [author] 
041 0 7 |a ger  |2 ISO 639-2 
989 |b SBA  |a Springer Book Archives -2004 
490 0 |a XTeubner Studienbücher Informatik 
028 5 0 |a 10.1007/978-3-322-93438-3 
856 4 0 |u https://doi.org/10.1007/978-3-322-93438-3?nosfx=y  |x Verlag  |3 Volltext 
082 0 |a 620 
520 |a 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