Homepage
Sitemap
Kontakt




Universität Bremen Universität Bremen Fachbereich 3 Informatik
Home « Lehre « Lehrmaterial


Logiksynthese 03-05-H-701.53

Veranstalter: Prof. Dr. Gerhard Dueck, Dipl. Inf. Daniel Große

Die Vorlesung beschreibt die Logiksynthese kombinatorischer Schaltungen, also die Transformation einer Booleschen Funktion in eine kostengünstige und effiziente Hardwarerealisierung. Dabei liegt der Schwerpunkt auf effizienten Datenstrukturen und schnellen Algorithmen, die aufgrund der Komplexität der Schaltfunktionen benötigt werden. Folgende Themenbereiche werden behandelt:

  • Boolesche Algebra
  • Logische Netzwerke und Entscheidungsgraphen
  • Effiziente OBDD Strukturen und Algorithmen
  • Zweistufige Logikminimierung
  • Funktionale Dekomposition Boolescher Funktionen
  • EXOR Logik
  • Reversible Logik

Literatur:

  • Switching Theory for Logic Synthesis, Tsutomu Sasao, Kluwer Academic Press, 1999.
  • Datenstrukturen und effiziente Algorithmen für die Logiksynthese kombinatorischer Schaltungen, Paul Molitor und Christoph Scholl, B. G. Teubner, Stuttgart / Leipzig 1999.


 Ort & Zeit:

Vorlesung:
Mo von 10:00 - 12:00 MZH Kl. Senatssaal (1380),

Übungen: Achtung: Raumänderung
Di von 15:00 - 17:00 MZH 4194



[Folien (außer Übungsblätter) nur aus dem Campusnetz erreichbar]


Programmieraufgabe

PDF


Reversible Functionen


ZIP PS

Reversible Functionen zur Programmieruebung
Übungsblatt 1

PDF


Übungsblatt 2

PDF


Übungsblatt 3

PDF


Übungsblatt 3 Lösung

PDF


Übungsblatt 4

PDF


Übungsblatt 5

PDF


Zum Schluss: Schein Fachgespräch

PDF


Zum Schluss: Schein Modulprüfung

PDF






zurück





English









Zum Seitenanfang Zur Homepage
Zur Sitemap
Kontakt