Ein moderner VLSI-Chip besteht aus einer Zillion Teilen - Logik, Steuerung, Speicher, Verbindungen usw. Wie entwerfen wir diese komplexen Chips? Antwort: Mit CAD-Software-Tools. Ein moderner VLSI-Chip ist ein bemerkenswert komplexes Gebilde: Milliarden von Transistoren, Millionen von Logikgattern, die für Berechnungen und Steuerung eingesetzt werden, große Speicherblöcke, eingebettete Blöcke mit vorgefertigten Funktionen, die von Dritten entworfen wurden (als "geistiges Eigentum" oder IP-Blöcke bezeichnet). Wie schaffen es die Menschen, diese komplizierten Chips zu entwerfen? Antwort: Mit einer Reihe von CAD-Tools (Computer Aided Design) wird eine abstrakte Beschreibung des Chips erstellt und schrittweise zu einem endgültigen Design verfeinert. Dieser Kurs konzentriert sich auf die wichtigsten Design-Tools, die bei der Erstellung eines anwendungsspezifischen integrierten Schaltkreises (ASIC) oder eines System on Chip (SoC) verwendet werden. In diesem ersten Teil des Kurses konzentrieren wir uns auf die wichtigsten booleschen Logikdarstellungen, die es ermöglichen, die Gate-Level-Logik in diesen Designs zu synthetisieren und zu verifizieren. Dies ist der erste Schritt in der Designkette, da wir von der Logik zum Layout übergehen. Unser Ziel ist es, dass die Studenten verstehen, wie die Tools selbst funktionieren, und zwar auf der Ebene ihrer grundlegenden Algorithmen und Datenstrukturen. Zu den behandelten Themen gehören: Boolesche Algebra, Logikverifikation und Logiksynthese (2-stufig und mehrstufig). Empfohlene Vorkenntnisse Programmiererfahrung (C, C++, Java, Python, etc.) und Grundkenntnisse über Datenstrukturen und Algorithmen (insbesondere rekursive Algorithmen). Grundlegende Kenntnisse im digitalen Design: Boolesche Algebra, Kmaps, Gatter und Flipflops, Entwurf von endlichen Zustandsmaschinen. Lineare Algebra und Kalkül auf dem Niveau eines Junior- oder Senior-Ingenieurstudenten. Grundlegende VLSI-Kenntnisse auf Undergraduate-Niveau sind von Vorteil, aber nicht notwendig. Wir werden den Kurs in sich geschlossen halten, aber Studenten mit einigen VLSI-Kenntnissen werden in der Lage sein, einen Teil des Hintergrundmaterials in diesem Kurs zu überspringen.
In diesem Modul werden Sie mit dem Kurs und unserer Lernumgebung vertraut gemacht. Die Orientierung wird Ihnen auch helfen, die für den Kurs erforderlichen technischen Kenntnisse zu erwerben.
Willkommen! Bitte erzählen Sie uns etwas über sich.•15 Minuten
Boolesche Algebra für Berechnungen
2 Stunden abzuschließen
Moduldetails
In diesem Modul führen wir fortgeschrittene mathematische Konzepte der Booleschen Algebra ein, die es ermöglichen, einen "rechnerischen" Ansatz für die Boolesche Algebra zu wählen.
Boolesche Algebra für Berechnungen: Boolesche Differenz•16 Minuten
Boolesche Algebra für Berechnungen: Quantifizierungsoperatoren•13 Minuten
Boolesche Computeralgebra: Anwendung auf die Reparatur logischer Netzwerke•16 Minuten
Boolesche Algebra für Berechnungen: Rekursive Tautologie•10 Minuten
Boolesche Algebra für Berechnungen: Rekursive Tautologie-URP Implementierung•21 Minuten
2 Lektüren•Insgesamt 20 Minuten
Woche 1 Überblick•10 Minuten
Aufgaben für Woche 1•10 Minuten
Boolesche Repräsentation über BDDs und SAT
7 Stunden abzuschließen
Moduldetails
In Woche 2 werden zwei leistungsstarke und wichtige Repräsentationstechniken vorgestellt, die es uns ermöglichen, die Boolesche Algebra in industriellem Maßstab ernsthaft zu berechnen.
Das ist alles enthalten
7 Videos2 Lektüren1 Aufgabe1 Programmieraufgabe
Infos zu Modulinhalt anzeigen
7 Videos•Insgesamt 135 Minuten
BDD-Grundlagen, Teil 1•15 Minuten
BDD-Grundlagen, Teil 2•17 Minuten
BDD Freigabe•17 Minuten
BDD-Bestellung•28 Minuten
Erfüllbarkeit (SAT), Teil 1•14 Minuten
Boolean Constraint Propagation (BCP) für SAT•18 Minuten
logiksynthese auf 2 Ebenen und Logiksynthese auf mehreren Ebenen über das algebraische Modell
3 Stunden abzuschließen
Moduldetails
In Woche 3 werden wir von der "Darstellung" von Dingen zur "Synthese" von Dingen übergehen. In diesem Fall bedeutet Synthese "Optimierung", oder vielleicht ist Ihnen das Wort "Minimierung" aus der Arbeit mit Kmaps oder Boolescher Algebra vertrauter.
Das ist alles enthalten
8 Videos2 Lektüren1 Aufgabe
Infos zu Modulinhalt anzeigen
8 Videos•Insgesamt 119 Minuten
2-stufige Logik: Grundlagen•9 Minuten
2-Ebenen-Logik: Die Reduce-Expand-Irredundant Optimierungsschleife•13 Minuten
2-stufige Logik: Details für einen Schritt: Erweitern•21 Minuten
Mehrstufige Logik und das Boolesche Netzwerkmodell•14 Minuten
Mehrstufige Logik: Algebraisches Modell für Factoring•14 Minuten
Mehrstufige Logik: Die Rolle von Kernen und Co-Kernen bei der Faktorisierung•15 Minuten
Multilevel-Logik: Die Suche nach den Kernen•18 Minuten
2 Lektüren•Insgesamt 20 Minuten
Woche 3 Überblick•10 Minuten
Woche 3 Aufgaben•10 Minuten
1 Aufgabe•Insgesamt 60 Minuten
Problemstellung #2•60 Minuten
Multilevel-Faktor-Extrakt und Don't Cares
7 Stunden abzuschließen
Moduldetails
Sie wissen jetzt, dass Sie sich die Kernel und Co-Kernel ansehen müssen, um ein mehrstufiges Netzwerk zu faktorisieren und so seine Komplexität zu reduzieren. Sie wissen, wie Sie diese für jeden Knoten "bekommen" können. Aber - was machen Sie mit einem großen Netzwerk, um die richtigen gemeinsamen Teiler zu finden? Dies wird EXTRAKTION genannt. Anschließend sehen wir uns eine neue Möglichkeit zur Optimierung der mehrstufigen Logik an: Don't Cares. In einfachen Designs betrachten wir Don't Cares normalerweise als "unmögliche Eingaben" - Dinge, die einfach nicht vorkommen, so dass wir den Wert wählen können, den die Hardware erzeugt, um die Logik zu minimieren.
Das ist alles enthalten
8 Videos2 Lektüren2 Aufgaben1 Programmieraufgabe
Infos zu Modulinhalt anzeigen
8 Videos•Insgesamt 123 Minuten
Mehrstufige Logik und Divisor-Extraktion - Ein-Würfel-Fall•14 Minuten
Mehrstufige Logik und Divisor-Extraktion - Fall mit mehreren Würfeln•21 Minuten
Mehrstufige Logik und Divisor-Extraktion - Primzahl-Rechtecke finden & Zusammenfassung•11 Minuten
Mehrstufige Logik - Implizites Nichtstun, Teil 1•18 Minuten
Mehrstufige Logik - Implizites Nichtstun, Teil 2•11 Minuten
Mehrstufige Logik - Erfüllbarkeit ist mir egal•11 Minuten
Mehrstufige Logik-Kontrollierbarkeit ist egal•20 Minuten
Diese Woche gibt es keine neuen Inhalte. Stattdessen sollten Sie sich darauf konzentrieren, die letzte Aufgabenstellung abzuschließen und die Abschlussprüfung zu absolvieren.
Das ist alles enthalten
3 Aufgaben1 Plug-in
Infos zu Modulinhalt anzeigen
3 Aufgaben•Insgesamt 185 Minuten
Aufgabenstellung #4•60 Minuten
Abschlussprüfung•120 Minuten
Umfrage am Ende des Kurses•5 Minuten
1 Plug-in•Insgesamt 15 Minuten
Wie war der Kurs?•15 Minuten
Dozent
Lehrkraftbewertungen
Lehrkraftbewertungen
Wir haben alle Lernenden um Feedback zu unseren Dozenten gebeten, ausgehend von der Qualität ihres Unterrichtsstils.
Die University of Illinois in Urbana-Champaign ist weltweit führend in Forschung, Lehre und öffentlichem Engagement. Sie zeichnet sich durch die Breite ihrer Programme, ihre akademische Exzellenz und ihre international renommierten Dozenten und Alumni aus. Illinois dient der Welt, indem es Wissen schafft, Studenten auf ein Leben mit Wirkung vorbereitet und Lösungen für kritische gesellschaftliche Bedürfnisse findet.
Wann werde ich Zugang zu den Vorlesungen und Aufgaben haben?
Um Zugang zu den Kursmaterialien und Aufgaben zu erhalten und um ein Zertifikat zu erwerben, müssen Sie die Zertifikatserfahrung erwerben, wenn Sie sich für einen Kurs anmelden. Sie können stattdessen eine kostenlose Testversion ausprobieren oder finanzielle Unterstützung beantragen. Der Kurs kann stattdessen die Option "Vollständiger Kurs, kein Zertifikat" anbieten. Mit dieser Option können Sie alle Kursmaterialien einsehen, die erforderlichen Bewertungen abgeben und eine Abschlussnote erhalten. Dies bedeutet auch, dass Sie kein Zertifikat erwerben können.
Was erhalte ich, wenn ich das Zertifikat kaufe?
Wenn Sie ein Zertifikat erwerben, erhalten Sie Zugang zu allen Kursmaterialien, einschließlich der benoteten Aufgaben. Nach Abschluss des Kurses wird Ihr elektronisches Zertifikat zu Ihrer Erfolgsseite hinzugefügt - von dort aus können Sie Ihr Zertifikat ausdrucken oder zu Ihrem LinkedIn-Profil hinzufügen.
Ist finanzielle Hilfe verfügbar?
Ja. Für ausgewählte Lernprogramme können Sie finanzielle Unterstützung oder ein Stipendium beantragen, wenn Sie die Einschreibegebühr nicht aufbringen können. Wenn für das von Ihnen gewählte Lernprogramm eine finanzielle Unterstützung oder ein Stipendium verfügbar ist, finden Sie auf der Beschreibungsseite einen Link zur Beantragung.