17: Digitaltechnik und Entwurfsverfahren, Vorlesung, SS 2016, am 23.06.2016

Digitaltechnik und Entwurfsverfahren, SS16, Vorlesung

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