HOME | KONTAKT

Logo Universität Bremen
LOGO AGRA | AG Rechnerarchitektur



Arbeitsgruppe Rechnerarchitektur / AGRA | Informatik | FB03 | Universität Bremen
Logiksynthese
H | 03-05-H-701.53

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.

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

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



©2023 | AG Rechnerarchitektur | Kontakt | Impressum & Datenschutz