Education
11: Vorlesung | 0:00:00 Starten 0:00:10 Consensus-Verfahren: Motivation 0:02:44 Consensus-Regel 0:11:33 Consensus-Würfel 0:16:24 Beispiel 0:17:32 Sonderfälle bei der Consensus-Bildung 0:19:42 Anwendungen der Consensusbildung auf den Schaltnetzwurf 0:22:06 Consensus-Verfahren zur Bestimmung aller Primimplikanten 0:26:01 Consensus-Verfahren 0:31:15 Weitere Anwendung der Consensus-Bildung 0:34:11 Nelson-Verfahren 0:39:48 Beweis Absorptionsgesetz 0:44:34 Beispiel 1:06:39 Vorgehensweise beim Minimieren 1:07:27 Vergleich der Verfahren 1:08:59 Erweiterter Minimierungsansatz 1:09:36 Beispiel Bündelminimierung 1:10:51 Primkoppelterm 1:11:05 Beispiel Primkoppelterm 1:11:45 Allgemeine Problematik 1:13:00 Heuristische Minimierung 1:13:50 Heuristische Verfahren zur Logikminimierung 1:14:50 Der ESPRESSO-Algorithmus 1:14:56 Letzter Schritt beim Logikentwurf