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