DiscoverDigitaltechnik und Entwurfsverfahren, SS16, Vorlesung
Digitaltechnik und Entwurfsverfahren, SS16, Vorlesung
Claim Ownership

Digitaltechnik und Entwurfsverfahren, SS16, Vorlesung

Author: Karlsruher Institut für Technologie (KIT)

Subscribed: 7Played: 412
Share

Description

Der Inhalt der Lehrveranstaltung umfasst die Grundlagen der Informationsdarstellung, Zahlensysteme, Binärdarstellungen negativer Zahlen, Gleitkomma-Zahlen, Alphabete, Codes; Rechnertechnologie: MOS-Transistoren, CMOS-Schaltungen; formale Schaltungsbeschreibungen, boolesche Algebra, Normalformen, Schaltungsoptimierung; Realisierungsformen von digitalen Schaltungen: Gatter, PLDs, FPGAs, ASICs; einfache Grundschaltungen: FlipFlop-Typen, Multiplexer, Halb/Voll-Addierer; Rechenwerke: Addierer-Varianten, Multiplizier-Schaltungen, Divisionsschaltungen; Mikroprogrammierung.

Lehrinhalt:
Studierende sollen durch diese Lehrveranstaltung folgende Kompetenzen erwerben:

- Verständnis der verschiedenen Darstellungsformen von Zahlen und Alphabeten in Rechnern,

- Fähigkeiten der formalen und programmiersprachlichen Schaltungsbeschreibung,

- Kenntnisse der technischen Realisierungsformen von Schaltungen,

- basierend auf dem Verständnis für Aufbau und Funktion aller wichtigen Grundschaltungen und Rechenwerke die Fähigkeit, unbekannte Schaltungen zu analysieren und zu verstehen, sowie eigene Schaltungen zu entwickeln,

- Kenntnisse der relevanten Speichertechnologien,

- Kenntnisse verschiedener Realisierungsformen komplexer Schaltungen. Vorlesungsaufzeichnung: http://webcast.kit.edu
23 Episodes
Reverse
23 | 0:00:00 Starten 0:00:04 BCD-Addierer 0:11:40 Subtraktion 0:18:13 Multiplikation und Division 0:41:55 Division 0:46:39 Register-Transfer-Ebene 0:55:38 Logische Bausteine der RT-Ebene 0:57:30 Arithmetisch-logische Einheit (ALU) 1:06:09 Zusammenfassung von TI
22 | 0:00:00 Starten 0:00:45 Verbale Aufgabenstellung 0:01:36 Technische Randbedingungen 0:02:23 Formalisierung der Aufgabe 0:05:35 Automatengraph 0:06:42 Automatentabelle 0:07:27 Zustandskodierung 0:08:16 Kodierte Ablauftabelle 0:11:55 Ansteuerfunktionen der Flipflops 0:14:03 Ausgabefunktion 0:15:41 Kapitel 4.5 Spezielle Schaltwerkbausteine 0:17:14 4-Bit-Register aus D-Flipflops mit Freigabesignal 0:19:35 Kapitel 4.5.2 Schieberegister 0:24:02 Kapitel 4.5.3 Zähler 0:27:03 Synchroner 3-stelliger Dualzähler 0:30:32 Herleitung 0:36:26 Asynchrone Zähler (Ripple Counter) 0:39:45 Nachteile asynchrone Zähler 0:41:03 Kapitel 4.5.4 Programmierbare Bausteine 0:41:48 NAND-Gatter im Gate-Array-Entwurfsstil 0:44:02 Aufbau eines MPGA (ASIC) 0:46:35 FPGAs 0:50:08 Kapitel 5 Rechnerarithmetik 0:51:27 Addition 0:53:21 Kapitel 5.1.1 Voll- und Halbaddierer 1:00:34 Schaltnetz und Schaltsymbol 1:02:35 Serielle Addition (Papier- und Bleistift-Methode) 1:05:01 Addieren zweier Dualzahlen mit mehreren Stellen 1:06:20 Kapitel 5.1.3 Carry-Lookahead-Addierer 1:07:08 Berechnung der Überträge aus den Eingangsvariablen 1:09:46 Carry-lookahead-Addierer 1:11:43 Anmerkungen
21 | 0:00:00 Starten 0:00:04 6. Übung: Schaltwerke 0:01:22 Entwurf von Schaltwerken 0:02:59 Beispiel: Datenpfad für die MIPS-Architektur 0:04:29 Zustandsautomat (DLX Pipeline) 0:04:59 Entwurf von Schaltwerken 0:07:00 Kodierte Ablauftabelle 0:11:34 Flipflop-Ansteuertabellen 0:14:51 Herleitung der Ansteuertabellen 0:16:18 Aufgabe 1 0:19:32 Automatengraph 0:23:47 Zustandskodierung 0:25:23 Kodierte Ablauftabelle 0:30:56 Ansteuerfunktionen der FFs 0:32:06 Ausgabefunktion 0:33:04 Aufgabe 1.4 0:38:07 Methode des Koeffizientenvergleichs 0:43:36 Aufgabe 1.5 0:44:51 Verläufe der Signale 0:47:04 Aufgabe 1.6 0:48:42 Schaltwerkanalyse 0:50:14 Aufgabe 2 0:56:42 Aufgabe 3 0:57:27 Automatengraph 0:58:36 Zustandskodierung 0:59:10 Kodierte Ablauftabelle 1:02:17 Aufgabe 3.3 1:02:20 Aufgabe 3.4 1:03:17 Schaltung 1:05:37 Zähler mit RS-Flipflops 1:06:28 Zähler mit JK-Flipflops 1:07:19 Aufgabe 4 1:07:59 Geldwechselautomat 1:08:22 Zustände und Automatengraph 1:10:14 Ablauftabelle 1:10:32 Kodierungen
19 | 0:00:00 Starten 0:00:04 Kapitel 4.1.3 Darstellungsmöglichkeiten 0:00:55 Formalisierte Beschreibung 0:01:45 Zeitdiagramm 0:03:37 Ablauftabelle 0:05:05 Automatentabelle 0:07:31 Automatengraph 0:09:41 Kapitel 4.1.4 Realisierung von Automaten 0:09:50 Zustandsspeicher 0:11:04 Beispiel: Rückgekoppeltes NOR-Gatter 0:18:15 Defenitionen 0:18:56 Pegelsteuerung 0:19:39 Flankensteuerung 0:20:01 Synchrone Schaltwerke vs. Asynchrone Schaltwerke 0:22:08 Kapitel 4.2 Entwurf asynchroner Schaltwerke 0:22:28 Beispiel: Einfacher Speicher 0:23:55 Vorgehensweise 0:25:32 Funktionsweise 0:25:56 Übertragen des Automatengraphen in die Automatentafel 0:26:55 Stabilitätskriterium 0:28:13 Beispiel: Flussmatrix des einfachen Speichers 0:30:37 Mögliche Formen eines Zustandsübergangs 0:35:26 Kapitel 4.2.3 Wahl der Zustandskodierung 0:35:47 Binäre Zustandskodierung 0:36:31 Anzahl der Zustandsvariablen 0:37:38 Willkürlich gewählte Zustandskodierung 0:40:55 Wechsel von Zustand 0 zu Zustand 3 0:41:41 Mögliche Fälle eines Wettlaufs 0:44:33 Kritischer Wettlauf 0:46:47 Wettlauffreie Zustandskodierung 0:49:56 Anmerkungen 0:51:18 Kapitel 4.2.4 Erzeugen der Ausgabe- und Übergangsschaltnetze 0:51:24 Erregungsmatrix 0:52:55 Ausgabe- und Übergangsschaltnetze 0:55:53 Schaltbild des Speichers 0:56:40 Das asynchrone RS-Flipflop 0:58:21 Probleme asynchroner Schaltwerke 1:00:23 Kapitel 4.2.5 Analyse asynchroner Schaltwerke 1:00:45 Analyse asynchroner Schaltwerke 1:08:07 Genauere Analyse eines Übergangs 1:11:54 Verhalten des Flipflops bei Auftreten des Hasardfehlers
20 | 0:00:00 Starten 0:00:04 Kapitel 4.3 Flipflops als Zustandsspeicher 0:00:22 Einleitung 0:01:18 Asynchrones RS-Flipflop 0:02:34 Verhalten des RS-Flipflops 0:03:19 Pegelgesteuerter RS-Latch 0:05:00 Anmerkung zur Notation 0:05:37 Ansteuertabelle (RS-Flipflop) 0:11:29 D-Latch 0:14:38 Pegelgesteurtes synchrones D-Flipflop 0:16:27 Taktflankengesteurtes D-Flipflop 0:20:26 Einflankgesteuertes D-Flipflop 0:25:03 Schaltwerke mit D-Flipflops 0:28:35 Zusatzbetrachtung für flankengesteuerte Flipflops 0:29:12 Setzzeit (Setup-) und Haltezeit (Hold-Time) 0:30:15 Zweiflankengesteuerte Flipflops 0:34:24 JK-Flipflop 0:35:47 Beispiel 0:38:48 JK-Flipflops aus einem D-Flipflop 0:39:31 Schaltbild des synchrones JK-Flipflops 0:40:32 Ansteuertabelle 0:43:17 Beispiel: Asynchron rücksetzbares JK-Flipflop 0:46:50 T-Flipflop 0:47:39 T-Flipflop aus JK-Flipflop 0:48:37 T-Flipflop: Verkürzte Funktionstabelle 0:49:20 T-Flipflop: Ansteuertabelle 0:49:45 Zusammenfassung Flipflops 0:50:57 Wichtigste Hilfsmittel: Ansteuertabelle 0:52:31 Kapitel 4.4 Entwurf synchroner Schaltwerke 0:52:55 Einleitung 0:53:04 Serienaddierer 0:56:30 Automatengraph 0:59:39 Aufstellen der Automatentafel 1:02:57 Wahl der Zustandskodierung 1:04:03 Zustandskodierung beim Serienaddierer 1:05:30 Ausgabe- und Übergangsschaltnetze 1:05:50 Kodierte Ablauftabelle 1:09:04 Ansteuerung des Flipflops 1:11:19 Minimierte Ausgangs- und Ansteuerungsnetze 1:13:09 Realisierung des Serienaddierers
18 | 0:00:00 Starten 0:00:04 Hasardbehaftete Übergänge 0:00:32 Klassifizierung von Übergängen 0:00:54 Klassifizierung von Hasards 0:01:16 Zusammenfassung 0:02:58 Aufgabe 1 0:41:54 Aufgabe 2 1:00:07 Aufgabe 3
17 | 0:00:00 Starten 0:00:06 Klassifizierung von Hasards 0:00:41 Funktions- und Strukturhasard 0:01:34 Funktionshasard 0:02:26 Strukturhasard 0:03:28 Klassifizierung von Laufzeiteffekten 0:04:13 Analyse von Hasards 0:05:19 Erkennen eines Funktionshasard 0:08:53 Beispiel 0:14:27 Erkennen eines Sturkturhasard 0:17:23 Beispiel 0:19:27 Das strukturspezifische KV-Diagramm 0:23:49 Anderer Übergang im gleichen Schaltnetz 0:29:05 Zeitbedingungen für Hasardfehler 0:31:23 Zeitbedingungen 0:32:32 Beheben von Hasards 0:32:42 Beheben von Funktionshasards 0:33:19 Beheben von Stukturhasards 0:34:16 Behebung statuischer 1-Strukturhasards 0:41:38 Behebung statischer 0-Strukturhasards 0:42:37 Satz von Eichelberger 0:43:35 Beispiel 0:45:25 Behebung dynamischer Stukturhasards 0:45:49 Vorgehensweise 0:46:43 Beispiel 0:55:38 Wieso funktioniert dieses Verfahren? 0:56:16 Regel für zweistufige Schaltnetze in konjunktiver Form 0:56:36 Weitere Modelle und Methoden 0:57:18 Schaltwerke 0:59:01 Einleitung 1:01:32 Formale Grundlagen 1:03:58 Arbeitsweise 1:04:59 Mealy- und Moore-Automat 1:05:03 Moore-Automat 1:05:52 Mealy-Automat 1:06:46 Moore-Automat vs. Mealy-Automat 1:07:44 Unterschiede im Verhalten der beiden Automaten 1:09:30 Darstellungsmöglichkeiten 1:09:35 Formalisierte Beschreibung 1:11:16 Zeitdiagramm 1:13:18 Ablauftabelle 1:14:09 Automatentabelle
16 | 0:00:00 Starten 0:00:04 SRAM und DRAM 0:02:41 Programmable Logic Array (PLA) 0:03:38 Schematische Darstellung eines PLA 0:05:28 Beispiel 0:06:54 FPLA und PAL 0:08:05 Schematische Darstellung eines PAL 0:09:52 Kapitel 3.4 Laufzeiteffekte 0:11:45 Realer und idealer Signalverlauf (Inverter) 0:12:55 Modellierung und Laufzeiteffekten 0:13:24 Das Totzeitmodell 0:15:58 Beispiel: Inverteranwendung 0:16:41 Zeit-Diagramm 0:18:50 Verhalten eines Schaltnetzes bei Änderung der Eingabebelegung 0:21:34 Beispiel 0:22:28 Eingabewechsel 0:25:05 Das Verhalten anhand des Totzeitmodells 0:30:30 Trennung von Verzögerungs- und Verknüpfungsteil 0:32:28 Eigenschaften von Totzeiten 0:37:36 Beispiel 1 0:44:06 Pfadvektor und Strukturausdruck 0:47:36 Alternative Methode 0:49:06 Kapitel 3.4.2 Hasardfehler 0:49:42 Eingabewechsel und Übergang 0:51:40 Einschränkungen 0:52:18 Hasardfehler und Hasard 0:53:42 Hasardbehaftete Übergänge 0:54:28 Zu Beispiel 1 0:55:26 Statischer Übergang 0:56:12 Dynamischer Übergang 0:57:02 Statischer 0-Hasard 0:57:46 Dynamischer-Hasard 0:58:14 Klassifizierung von Hasards 1:00:53 Klassifizierung von Laufzeiteffekten
15 | 0:00:00 Starten 0:00:39 Minimierungsverfahren 0:00:54 Vorgehensweise beim Minimieren 0:02:20 Quine-McCluskey-Verfahren 0:03:33 Aufgabe 3 0:04:10 Bestimmung der Primimplikanten 0:12:37 Bestimmung der DMF 0:13:41 Bearbeitung der Überdeckungstabelle 0:24:08 Disjunktive Minimalformen 0:25:59 Konjunktive Minimalformen 0:30:17 Aufgabe 4 0:36:47 Das Überdeckungsproblem 0:45:13 Consensus-Verfahren 0:54:32 DMF 0:55:14 Überdeckungstabelle 0:57:27 Nelson-Verfahren 0:58:27 Aufgabe 6 0:59:42 Bündelminimierung 1:00:29 Funktion einzeln minimieren 1:01:58 FUnktion gemeinsam minimieren
14 | 0:00:00 Starten 0:00:06 Nelson- Verfahren (1) 0:01:20 Nelson Verfahren (2) 0:01:26 Beweis Absorptionsgesetz 0:02:05 Beispiel 0:07:43 Nelson Verfahren (3) 0:08:16 Beispiel 0:09:10 Nelson-Verfahren (4) 0:09:37 Vorgehensweise beim Minimieren 0:10:17 Vergleich der Verfahren 0:11:29 Erweiterter Minimierungsansatz 0:11:53 Beispiel Bündelminimierung 0:12:39 Primkoppelterm 0:13:32 Allgemeine Problematik 0:14:03 Heuristische Minimierung 0:17:09 Kapitel 3.3.3 Spezielle Strukturen 0:17:23 Kontemplation und Motivation 0:17:33 Komplexere Bausteine 0:17:51 Multiplexer 0:32:36 Realisierung von logischen Funktionen mittels Multiplexer 0:33:05 Implementierungstabelle 0:33:19 Beispiel: Realisierung der Funktion 0:42:48 Demultiplexer / Dekoder 0:50:25 Realisierung logischer Funktionen durch Dekoder 0:51:16 Realisierung 0:52:05 Realisierung mittels Speicherbausteinen 0:52:35 Schemantischer Aufbau eines Speicherbausteins 0:53:16 Organisation von Speicherbausteinen 0:53:35 Speicherwerk 0:54:50 Beispiel 0:55:24 Lösung 0:56:03 Speichertypen 0:57:01 Festwertspeicher: ROM (Read Only Memory) 0:57:53 RAM ( Random Access Memory ) 0:58:04 Statische RAM-Speicherzellen (SRAM) 1:04:39 Dynamische RAM-Speicherzellen 1:06:16 Dynamische MOS-Speicherzellen: Lesen 1:07:33 Dynamische MOS-Speicherzellen: Schreiben 1:07:56 Dynamische RAM-Bausteine (DRAM)
13 | 0:00:00 Starten 0:00:26 1. CMOS 0:00:46 CMOS-Technologie 0:01:40 Inverter in CMOS-Tchnologie 0:03:31 NAND-Funktion in CMOS 0:05:11 NOR-Funktion in CMOS 0:06:07 Schaltsymbole für MOSFETs 0:06:56 Aufgabe 1 0:13:14 Aufgabe 2 0:14:55 Schaltfähigkeit von nMOS und pMOS 0:17:32 Transmission-Gate 0:18:55 Aufgabe 3 0:28:28 Prinzipieller Aufbau einer CMOS Schaltung für n-stellige Boolesche Funktion 0:29:29 Aufgabe 4 0:34:26 AND-OR-Inverter 0:37:58 Aufgabe 5 0:44:00 Aufgabe 6 0:45:05 2. Minimierungsverfahren 0:45:40 Vorgehensweise beim Minimieren 0:47:15 KV-Diagramm 0:51:05 KV-Diagramm mit 6 Variablen 0:52:36 Aufgabe 1 1:10:13 Aufgabe 2 1:11:43 DMF mit KV-Diagramm 1:17:06 KMF mit KV-Diagramm 1:20:29 Quine-McCluskey-Verfahren 1:23:55 Aufgabe 3 1:24:23 Bestimmung der Primimplikanten
12 | 0:00:00 Starten 0:00:06 Das Quine-McCluskey-Verfahren 0:01:11 Beispiel mit fünf Variablen 0:02:22 Verfahren Bestimmung der Primimplikanten 0:05:55 Auswahl einer minmalen Anzahl von Primimplikanten 0:08:52 Überdeckungsfunktion 0:24:02 Bearbeitung der Überdeckungstabelle 0:26:13 Überdeckungsfunktion des Beispiels 0:27:28 Wdh.: Funktionsdarstellung im Würfelkalkül 0:30:57 Wdh.: Weitere Definitionen 0:33:02 Wdh.: Beispiele als Aufgabe: A n B = ?? 0:33:58 Consensus-Verfahren: Motivation 0:35:52 Consensus-Regel 0:41:54 Consensus-Würfel 0:45:08 Beispiel 0:46:59 Sonderfälle bei der Consensus-Bildung 0:49:05 Anwendung der Consensusbildung als Schaltnetzentwurf 0:50:12 Consensus-Verfahren zur Bestimmung aller Primimplikanten 0:52:56 Consensus-Verfahren 1:00:33 Weitere Anwendung der Consensus-Bildung 1:04:24 Nelson-Verfahren 1:05:56 Beweis Absorptionsgesetz 1:09:31 Beispiel
11 | 0:00:00 Starten 0:00:06 Kapitel 3.3.2: Minimierungsverfahren 0:00:48 Zweistufiges Schaltnetz (Beispiel) 0:01:24 Arten von Minimierungsverfahren 0:02:14 Das KV-Diagramm (nach Karnaugh und Veitch) 0:09:50 Einfache Eintragung der Feldindizes 0:17:13 Alternative Spiegelung 0:20:40 Visualisierung KV-Diagramm für 4 Variablen 0:22:21 KV-Diagramme (Erstellung) (mit Beispiel) 0:23:38 Eigenschaften der KV-Diagramme 0:31:24 Implikanten im KV-Diagramm 0:36:45 Definition: Primimplikant 0:38:17 Herauslesen der Primimplikanten aus dem KV-Diagramm (mit Beispiel) 0:42:54 Minimierung einer zweistufigen Schaltfunktion 0:43:32 Minimale Überdeckung 0:44:24 Disjunktive Minimalform 0:45:57 Beispiel 1: Disjunktive Minimalform 0:57:36 Beispiel 2: Disjunktive Minimalform 1:00:04 Bestimmung einer konjunktiven Minimalform aus dem KV-Diagramm 1:00:20 Konjunktive Minimalform 1:01:59 Unvollständig definierte Funktionen 1:02:49 Beispiel: Airbag-Steuerung 1:09:00 Unvollständig definierte Funktionen (Fortsetzung) 1:12:12 Zusammenfassung: Graphische Minimierung 1:13:26 Übersicht Minimierungsverfahren 1:14:09 Das Quine-McCluskey-Verfahren 1:14:37 Beispiel mit fünf Variablen 1:15:47 Verfahren Bestimmung der Primimplikanten 1:20:44 Auswahl einer minimalen Anzahl von Primimplikanten
10 | 0:00:00 Starten 0:00:06 Kapitel 3.2.2 Schalterebene 0:00:29 Schalterebene 0:01:00 Transistor als Schalter 0:01:29 Schaltfähigkeit 0:03:01 Transmission-Gate 0:12:50 Schalter und logische Verknüpfungen 0:19:33 CMOS-Technologie 0:20:11 Zusammenschaltung von p- und n-Kanal-MOSFETs 0:21:38 Inverter in CMOS-Technologie 0:23:06 NAND-Funktion in CMOS 0:24:35 NOR-Funktion in CMOS 0:24:57 Prinzipieller Aufbau einer CMOS-Schaltung 0:33:39 Vorteil dieser Konstruktion 0:34:22 Ideales Modell 0:34:56 Realeres Modell 0:51:36 Spannungsverlauf des Modells 0:52:45 Schlussfolgerungen 0:56:33 Kapitel 3.3 Entwurf von Schaltnetzen 0:57:56 Kapitel 3.3.2 Minimierungsverfahren
09 | 0:00:00 Starten 0:00:06 Kapitel 3.1.7 NAND/NOR 0:01:15 NAND-Konvertierung 0:04:14 NAND(2)/NAND(3)-Funktion 0:06:17 NAND(k)-Funktion 0:08:20 NOR-Konversion 0:11:25 NOR-Funktion 0:14:01 Kapitel 3.2 Realisierung von Schaltnetzen 0:15:11 Kapitel 3.2.1 Gatterebene 0:15:57 Bedeutung der Zeichen 0:16:48 Äquivalenz-Gatter 0:17:51 Antivalenz-Gatter 0:21:01 Halbleiter-Grundlagen 0:21:35 Halbleiter (Silizium, Germanium) 0:36:34 pn-Übergang 0:40:17 Isr der Widerstand der Sperrschicht steuerbar? 0:41:49 Dioden-Kennlinie 0:42:25 Wie kann man daraus ein steuerbares technisches Baulement machen? 0:45:19 Bipolar-Transistor 0:46:35 Funktionsweise: npn-Transistor 0:48:36 MOSFET 0:51:34 Selbstsperrende n-Kanal-MOSFETs 1:01:43 Selbstsperrende p-Kanal-MOSFETs 1:04:11 Selbstleitende n-Kanal-MOSFETs 1:06:12 Schaltsymbole für MOSFETs 1:08:38 Kapitel 3.2.2 Schalterebene 1:09:24 Transistor als Schalter 1:10:26 Schaltfähigkeit
08 | 0:00:00 Starten 0:01:04 Zusammenfassung: Boolesche Algebra 0:02:27 Huntingtonsche Axiome in der Schaltalgebra 0:06:55 Abgeleitete Gesetze der Schaltalgebra 0:08:37 Dualitätsprinzip 0:09:57 Aufgabe 1 0:14:38 Aufgabe 2 0:22:13 Boolesche Funktionen 0:23:32 Zweistellige Boolesche Funktionen 0:31:39 Normalformen 0:32:47 DNF und KNF 0:38:56 Normalformen 0:39:07 Zweistufige Disjunktive Schaltungen 0:40:45 Zweistufige Konjunktive Schaltungen 0:42:24 DNF oder KNF aus beliebiger Form 0:44:09 Aufgabe 3 0:48:51 Dualitätsprinzip 0:50:25 Aufgabe 4 0:58:40 Aufgabe 5: ""Farmer's DIlemma"" 1:01:44 DNF: Farmer's Dilemma 1:05:20 KNF: Farmer's DIlemma 1:08:17 Aufgabe 6 1:11:40 Aufgabe 7 1:14:30 Aufgabe 8
07 | 0:00:00 Starten 0:00:06 Kapitel 3.1.3 Boolesche Funktionen 0:04:31 Einstellige und Zweistellige Boolesche Funktionen 0:06:59 Vollständige Operatorensysteme (1) 0:09:55 Vollständige Operatorensysteme (2) 0:22:03 Tautologie 0:28:09 Kapitel 3.1.4 Normalformen 0:28:45 Produktterme 0:29:10 Literale und Produktterme 0:29:27 Implikant und Minterm 0:31:09 Disjunktive Normalform 0:36:03 Dualitätsprinzip 0:37:10 Minterme und Maxterme 0:38:35 Herkunft der Bezeichnungen 0:39:25 DNF und KNF 0:43:29 DNF oder KNF aus beliebiger Form 0:45:01 Beweis Entwicklungssatz 0:49:04 Beispiel (1) 0:53:40 Beispiel (2) 0:58:32 Beispiel (3) 1:01:14 Dualer Entwicklungssatz 1:01:30 Deutung: Normalformen 1:02:00 Beispiel: DNF und KNF 1:03:15 DNF/KNF: Kurze Schreibweise 1:03:57 Kapitel 3.1.5 Minimalformen 1:04:39 Disjunktive Minimalform (DMF) 1:05:38 Beispiel: DMF 1:07:35 Konjunktive Minimalform (KMF) 1:10:10 DMF & KMF 1:11:31 Anmerkungen 1:12:23 Kapitel 3.1.6 Funktionsdarstellung im Würfelkalkül 1:16:01 Weiter Definitionen
06 | 0:00:00 Starten 0:00:06 Fehlerkorrektur durch Hammingkodes 0:02:15 Ein-Bit-Fehlerkorrektur 0:03:05 Mindestaufwand: Ein-Bit Fehlerkorrekturcodes 0:03:19 Aufbauprinzipien 0:03:46 Beispiel: 7-bit Codewort 0:05:19 Ansatz 0:08:46 Beispiel (1) 0:10:41 Beispiel (2) 0:12:06 Beispiel (3) 0:13:04 Aufbau mit Generatormatrix 0:27:51 Hammingkode: 2-Bitfehler 0:29:36 Hammingkode: Beispiel 2-Bitfehler 0:33:36 Fallunterscheidungen 0:35:06 Hammingkode: Zusammenfassung 0:36:16 Kapitel 3: Schaltnetze 0:36:59 Einleitung 0:37:29 Aufbau eines digitalen Signalverarbeitungssystems 0:40:38 Kontinuierliche und diskrete Signale 0:45:06 Binäre Signale 0:46:33 Kapitel 3.1: Formale Grundlagen - Einleitung 0:47:17 Kapitel 3.1.1: Boolesche Algebra 0:48:36 Huntingtonsche Axiome 0:50:06 Eindeutigkeit des Einselements 0:54:11 Eindeutigkeit des Nullelements 0:56:53 Eindeutigkeit des inversen Elements 1:04:39 Mengenalgebra 1:05:44 Mengenalgebra und Boolesche Algebra 1:05:59 Kapitel 3.1.2: Schaltalgebra 1:15:03 2-wertige ""binäre"" algebraische Strukturen 1:15:23 Zusammenfassung: Boolesche Algebra 1:15:34 Boolescher Ausdruck 1:16:36 Boolescher Ausdruck: Beispiele 1:16:50 Boolescher Ausdruck: Definitionen 1:17:39 Kapitel 3.1.3: Boolesche Funktionen
05 | 0:00:00 Starten 0:00:06 1. Übung: Zahlendarstellung im Rechner, Fehlerkorrektur 0:01:08 Was ist 11111? 0:04:15 Zahlen in Zweierkompliment 0:11:14 Addition von Zweierkompliment-Zahlen (1) 0:12:09 Zweierkompliment-Darstellung 0:13:06 Addition von ZK-Zahlen 0:14:18 Subtraktion von ZK-Zahlen 0:16:44 Beispiel 1 0:18:06 Addition von Zweierkompliment-Zahlen (2) 0:19:01 Beispiel 2 0:19:45 Addition von Zweierkompliment-Zahlen (3) 0:20:43 Beispiel 3 0:21:31 Überlauferkennung 0:24:52 IEEE-P 754-Floating-Point-Standard 0:27:18 Zusammenfassung des 32 (64)-Bit-IEEE-Formats 0:31:13 IEEE-P 754 Format (32 Bit) 0:39:47 Zusammenfassung der 32-Bit Format 0:42:51 Aufgabe 1 0:46:57 Aufgabe 2 0:51:09 Rechnerregeln für Gleitkommazahlen 0:54:47 Aufgabe 3 1:01:32 Aufgabe 4 1:07:20 Aufgabe 5 1:08:35 Lösung 1:18:24 Probleme bei Gleitkommaarithmetik 1:20:10 Ein-Bit-Fehlerkorrektur 1:21:07 Aufbauprinzipien 1:22:53 Ansatz (1) 1:23:51 Ansatz (2) 1:24:56 Ansatz (3) 1:25:40 Beispiel (1) 1:28:20 Beispiel (2) 1:30:06 Beispiel (3) 1:30:37 Zusammenfassung
04 | 0:00:00 Starten 0:00:07 Darstellbarer Zahlenbereich (1) 0:01:18 Darstellbarer Zahlenbereich (2) 0:02:09 Darstellbarer Zahlenbereich (3) 0:03:21 Darstellbarer Zahlenbereich (4) 0:06:54 Darstellbarer Zahlenbereich: Übersicht 0:08:27 Charakteristische Zahlen 0:09:39 Beispiel charakteristische Zahlen im Format b) 0:12:18 Beispiel: Assoziativgesetz 0:13:48 Problematik unterschiedlicher Definitionen 0:15:09 Normierung (IEEE-Standard) 0:16:12 IEEE-P 754-Floating-Point-Standard 0:16:57 Eigenschaften des IEEE-P 754 0:26:51 Übersicht über das 32 (64) Bit IEEE Format 0:28:43 Das IEEE-P 764 (32 Bit) im Detail (1) 0:29:49 Das IEEE-P 764 (32 Bit) im Detail (2) 0:31:46 Das IEEE-P 764 (32 Bit) im Detail (3) 0:34:37 Das IEEE-P 764 (32 Bit) im Detail (4) 0:35:34 Zusammenfassung des IEEE 32-Bit Formats 0:36:52 Kapitel 2.4: Kodierungen zur Zahlen- und Zeichendarstellung 0:37:43 BCD-Kodierung 0:38:25 Beispiel: BCD-Kodierung 0:39:31 Gray-Kodierung 0:40:49 Gray-Kodierung: Tabelle 0:47:46 Umwandlung: Dual- in Gray-Code 0:48:31 Zusammenfassung: BCD & Gray 0:49:07 Zeichenkodierung 0:49:40 Unicode: Entwurfsprinzipien (2) 0:50:22 Kapitel 2.5: Fehlerkorrigierende Codes 0:52:31 Übersicht 0:53:07 Fehlererkennung durch Quersummenbits 0:54:22 Beispiel 0:57:46 Einfache Bit-Fehlererkennung (1) 0:58:12 Beispiel 0:59:46 Einfache Bit-Fehlererkennung (2) 1:00:18 Fehlerkorrektur durch Hammingkodes 1:02:43 Ein-Bit-Fehlerkorrektur 1:08:59 Mindestaufwand: Ein-Bit Fehlerkorrekturcodes 1:09:48 Aufbauprinzipien 1:23:08 Ansatz (1)
loading
Comments 
loading