Digitaltechnik - Eine praxisnahe EinführungSpringer-Verlag, 2008. gada 21. febr. - 226 lappuses 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. |
No grāmatas satura
1.–5. rezultāts no 25.
... Funktionstabelle ist bis auf die Reihenfolge der Variablen eindeutig definiert. Wir definieren nun die Semantik der ... Funktionstabelle 1.2(a). Die Operatoren Aquivalenz ̈ und Exklusiv-Oder sind dual zueinander. Das heißt, wenn x = y ...
... Funktionstabelle unendlich viele Formeln, die diese Funktion darstellen. Offensichtlich kann es jedoch nur eine endliche Anzahl von Boole'schen Funktionen mit n Variablen geben, da es ja nur endlich viele Funktionstabellen mit n ...
... Funktionstabelle vorgibt). Diese Eigenschaft nennt man Vollständigkeit des Kalküls für die Aussagenlogik. Natürlich ist es möglich, dem Kalkül (also unserer Regelliste) weitere Regeln hinzuzufügen, um kürzere Beweise zu erzielen. Wenn ...
... Funktionstabelle beweisen. Wir wenden diese Vorgehensweise an, um folgende Abschwächungsregel zu beweisen: 1.5 Definition 1.5 (Abschwächung) Falls a =>y, so gilt a /\y – a. Die Korrektheit dieser Regel beweisen wir mittels Funktionstabelle ...
... Funktionstabelle beweisen: a /\y V –a /\z a /\y V -a /\z \/ y /\z MÜ / Z 0 0 1 1 0 0 1 1 Der Nachteil dieses Beweisverfahrens ist allerdings, dass das Aufzählen aller Belegungen mühsam ist (die Anzahl der Belegungen ist exponentiell in ...
Citi izdevumi - Skatīt visu
Digitaltechnik - Eine praxisnahe Einführung Armin Biere,Daniel Kröning,Georg Weissenbacher,Christoph M. Wintersteiger Priekšskatījums nav pieejams - 2008 |
Digitaltechnik - Eine praxisnahe Einführung Armin Biere,Daniel Kröning,Georg Weissenbacher,Christoph M. Wintersteiger Priekšskatījums nav pieejams - 2008 |