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

1:16:00
 
Teilen
 

Manage episode 188442325 series 1591411
Von Karlsruher Institut für Technologie (KIT) entdeckt von Player FM und unserer Community - Das Urheberrecht hat der Herausgeber, nicht Player FM, und die Audiodaten werden direkt von ihren Servern gestreamt. Tippe auf Abonnieren um Updates in Player FM zu verfolgen oder füge die URL in andere Podcast Apps ein.
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

23 Episoden