Entwurf zukünftiger Computertechnologien

i.d.R. angeboten alle 2 Semester

• Die Grundlagen reversibler Logik verstehen und erklären können
• Aktuelle Entwurfsmethoden für reversible Schaltungen kennen und anwenden können
• Grundlagenforschung und ihre offenen Probleme verstehen
• Aufgaben mit wissenschaftlichem Bezug verstehen und lösen können

Viele zukünftige Computertechnologien wie beispielsweise Quantencomputer basieren auf reversibler Logik. Entsprechende Logikschaltkreise erlauben nicht nur die Berechnung der Ausgänge durch Belegung der Eingänge, sondern auch umgekehrt die Rückführung der Eingangsbelegung durch Zuweisung der Ausgänge. Der Entwurf dieser Schaltkreise benötigt neue Algorithmen, die im Zentrum der Veranstaltung stehen. Es werden Verfahren für Synthese, Optimierung, Technologieabbildung sowie Verifikation vorgestellt. Der praktische Inhalt wird schließlich durch einige theoretische Überlegungen abgerundet.