Digitaltechnik und Entwurfsverfahren, WS 2015/2016, gehalten am 07.12.2015, Vorlesung 11
- 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
| Zugehörige Institution(en) am KIT | Institut für Anthropomatik und Robotik (IAR) |
| Publikationstyp | Audio & Video |
| Publikationsdatum | 10.12.2015 |
| Erstellungsdatum | 07.12.2015 |
| Sprache | Deutsch |
| DOI | 10.5445/DIVA/2015-957 |
| Identifikator | KITopen-ID: 1000113591 |
| Lizenz | KITopen-Lizenz |
| Serie | Digitaltechnik und Entwurfsverfahren, WS 2015/2016 |
| Folge | 11 |