Die Informatik des Fachbereiches 3 der Universität Bremen Hier geht es zur Homepage der Verwaltung des Fachbereiches 3 der Universität Bremen Hier geht es zur Homepage der Informatik des Fachbereiches 3 der Universität Bremen Hier geht es zur Homepage der Mathematik des Fachbereiches 3 der Universität Bremen Hier geht es zur Homepage des Fachbereiches 3 der Universität Bremen Hier geht es zur Homepage der Universität Bremen


 




Zeige Systems Engineering-Format Pdf_icon Wirtschaftsinformatik-Format Pdf_icon Informatik-Format Pdf_icon Digitale Medien-Format Pdf_icon

Informatik-Ansicht

Schaltkreisentwurf (deleted:Sun Jun 20 16:04:08 +0200 2010)


Modulnummer
ME-701.05
Master
Pflicht/Wahl
Wahl Basis Ergänzung
Sonderfall
Zugeordnet zu Masterprofil
Basis Ergänzung
Sicherheit und Qualität
KI, Kognition, Robotik
Digitale Medien und Interaktion
Modulbereich : Praktische und Technische Informatik
Modulteilbereich : 701 Rechnerarchitektur
Anzahl der SWS
V UE K S Prak. Proj. ∑
2 2 0 0 0 0 4
Kreditpunkte : 6 Turnus

i. d. R. angeboten alle 2 Jahre

Formale Voraussetzungen : -
Inhaltliche Voraussetzungen : Technische Informatik 1 - Rechnerarchitektur und digitale Schaltungen
Vorgesehenes Semester : ab 1. Semester
Sprache : Deutsch
Ziele :
  • Detaillierte Kenntnis des Entwurfsablaufs für integrierte Schaltkreise
  • Transformation von Problemen im Entwurf auf Graphenalgorithmen
  • Algorithmen im Entwurfsablauf
  • Aufwandsabschätzung der eingeführten Algorithmen
  • Eigenständige Präsentation von Lösungen (in den wöchentlichen Tutorien)
  • Einschätzung der Komplexität von Entwurfsproblemen
  • Transformation eines gegebenen Problems auf ein bekanntes und Lösung durch effiziente Algorithmen
Inhalte :
  1. CAD in der Mikroelektronik
  2. Hardwaremodellierung und Syntheseproblem
  3. Scheduling
  4. Binding
  5. Boolesche Funktionen und ihre Darstellungen
  6. Zweistufige Logiksynthese
  7. Mehrstufige Logiksynthese
  8. Analyse des Zeitverhaltens
  9. Technologieanpassung
  10. Sequentielle Schaltungen Insbesondere werden folgende theoretisch/methodische Grundlagen im Zusammenhang dieser Inhalte behandelt:
  • Datenstrukturen zur Darstellung und Manipulation Boolescher Funktionen
  • Komplexitätstheoretische Betrachtung unterschiedlicher Darstellungen
  • Algorithmen zur Bestimmung von Scheduling, Binding
  • Effiziente Berechnung kompakter zweistufiger Darstellungen Boolescher Funktionen
  • Algebraische Verfahren zur Logiksynthese
  • Optimalität der Algorithmen bzgl. der Qualität der Lösung
  • Komplexitätstheoretische Betrachtung der Laufzeiten ausgewählter Verfahren
Unterlagen (Skripte, Literatur, Programme usw.) :

G.Hachtel, F. Somenzi: Logic Synthesis and Verifications Algorithms, Kluwer Academic Publishers 1996 G. DeMicheli: Synthesis and Optimization of Digital Circuits, McGraw-Hill, 1994 P. Molitor, C. Scholl: Datenstrukturen und effiziente Algorithmen für die Logiksynthese kombinatorischer Schaltungen, B.G. Teubner Stuttgart, 1999
Form der Prüfung : i.d R. Bearbeitung von Übungsaufgaben und Fachgespräch oder mündliche Prüfung
Arbeitsaufwand
Präsenz 56
Übungsbetrieb/Prüfungsvorbereitung 124
Summe 180 h
Lehrende: Prof. Dr. R. Drechsler Verantwortlich Prof. Dr. R. Drechsler
Zurück

Zeige Systems Engineering-Format Pdf_icon Wirtschaftsinformatik-Format Pdf_icon Informatik-Format Pdf_icon Digitale Medien-Format Pdf_icon