Bild von Institut mit Unilogo
home uni uni suche suche kontakt kontakt
unilogo Universität Stuttgart
Institut für Technische Informatik

Algorithmen und Methoden zur Entwurfsautomatisierung in der Nano- und Mikroelektronik

Druckansicht
 

Die klassischen Verfahren der Zeitanalyse digitaler Schaltungen beruhen auf WorstCase Abschätzungen der Verzögerungen von Gattern und Leitungen, die als Intervalle angegeben werden und Eingangsparameter für die Analyse kritischer Pfade sind. Für aktuelle und künftige Technologien in 90 nm und darunter ist dieser Ansatz nicht mehr zielführend und ein fundamentaler Paradigmenwechsel ist erforderlich.

Hier bestimmen bereits einige wenige Atome die Funktionalität elementarer Komponenten, deren Parameter wie beispielsweise Schaltgeschwindigkeit und Stromverbrauch daher großen Schwankungen unterliegen. Ursachen hierfür sind nicht nur Fertigungstoleranzen etwa aufgrund der Auflösung in der Lithographie sondern auch physikalisch bedingte Quanteneffekte. Für den erfolgreichen Entwurf von Schaltungen in der Zukunft werden also Werkzeuge benötigt, die diese Effekte sowohl analysieren als auch bei der Synthese berücksichtigen können.

In der Vorlesung werden zunächst allgemeine, moderner Entwurfssoftware zugrundeliegende Algorithmen vorgestellt. Anschließend werden die in den verschiedenen Entwurfsebenen bei der Synthese, Analyse und Test von Schaltungen zu lösenden Probleme behandelt und aufgezeigt, wie sich diese algorithmisch lösen lassen. Auf die neuen Anforderungen der zukünftigen Nanometer-Technologien wird dabei besonderer Wert gelegt. Der Schwerpunkt der Vorlesung liegt dabei immer auf dem Entwurf von Software zum Schaltungsdesign und weniger auf dem Entwurf der Schaltungen selbst. Der Inhalt der Vorlesung wird im Rahmen von Übungen vertieft.

Inhaltsübersicht:

  • Einführung, grundlegende Algorithmen
  • Layout
  • Transistor-Level: Simulation, statistisches Timing, Test
  • Switch-Level: CSAW-Modell, Simulation, Partitionierung, Synthese, Test
  • Gate-Level: Synthese und Optimierung, Analyse, Test
  • RT-Level: High-Level Synthese, Zwischendarstellungen, Resource Scheduling and Allocation, Analyse
  • Architectural-Level: Modellierung, von der Spezifikation zur Verhaltensbeschreibung, Analyse

News

Ab dem 17. April finden die Veranstaltungen im Seminarraum des ITI (3.175, Pfaffenwaldring 47) statt!
Beginning with April 17th the lectures will take place in the ITI seminar room (3.175, Pfaffenwaldring 47)!

Vorlesung: Prof. Dr. H.-J. Wunderlich

Übungen

Vorlesungstermine

  • Dienstags, 14:00 - 15:30, Raum V47.05 (Vorlesung)
  • Donnerstags, 14:00 - 15:30, Raum V47.04 (Vorlesung/Übung)

DatumWochentagUhrzeitRaumBemerkung
15.04.2008Dienstag 14:00-15:30V47.05Lecture: Introduction
17.04.2008Donnerstag14:00-15:30ITI-3.175Lecture: Introduction
22.04.2008Dienstag 14:00-15:30ITI-3.175Lecture: Continuous Solutions - Analog Simulation
24.04.2008Donnerstag14:00-15:30ITI-3.175Lecture: Continuous Solutions - Minimization
29.04.2008Dienstag 14:00-15:30ITI-2.163Exercises: Continuous Solutions
01.05.2008Donnerstag Holiday
06.05.2008Dienstag 14:00-15:30ITI-3.175Lecture: Grid Based Methods
08.05.2008Donnerstag14:00-15:30ITI-2.163Exercises: Continuous Solutions cont'd
13.05.2008Dienstag Pfingstferien
15.05.2008Donnerstag Pfingstferien
20.05.2008Dienstag 14:00-15:30ITI-3.175Lecture: Algebraic Methods
22.05.2008Donnerstag Holiday
27.05.2008Dienstag 14:00-15:30ITI-3.175Lecture: Algebraic Methods (Melanie Elm)
29.05.2008Donnerstag14:00-15:30ITI-2.163Exercises: Algebraic Methods
03.06.2008Dienstag 14:00-15:30ITI-3.175Exercises: Algebraic Methods (continued)
05.06.2008Donnerstag14:00-15:30ITI-2.163Lecture: Algebraic Methods (Stefan Holst)
10.06.2008Dienstag 14:00-15:30ITI-2.163Lecture: Algebraic Methods (Stefan Holst)
12.06.2008Donnerstag14:00-15:30ITI-3.175Exercises: Algebraic Methods
17.06.2007Dienstag 14:00-15:30ITI-3.175Lecture: Boolean Methods and Graphs
19.06.2007Donnerstag14:00-15:30ITI-3.175Lecture: Graphs
24.06.2007Dienstag 14:00-15:30ITI-2.163Exercise: Graphs - Shortest Paths
26.06.2007Donnerstag14:00-15:30ITI-3.175Lecture: Graphs
01.07.2007Dienstag 14:00-15:30ITI-3.175Lecture: Graphs
03.07.2007Donnerstag14:00-15:30ITI-3.175Lecture: Graphs
08.07.2007Dienstag 14:00-15:30ITI-3.175Lecture: Lists
10.07.2007Donnerstag14:00-15:30ITI-2.163Exercise: Graphs - Partitioning
15.07.2007Dienstag 14:00-15:30ITI-3.175Lecture: Miscellaneous Topics in Test and Diagnosis
17.07.2007Donnerstag14:00-15:30

Material

Here you can download the latest revisions of the lecture slides and additional material using login and password given in the second lecture. If you find any errors or typos, drop me a mail. I'll correct them and publish new revisions here.

Exercises

Literatur

  • G. De Micheli: Synthesis and Optimization of Digital Circuits, McGrawHill, New York, NY, USA, 1994.
  • Hachtel, G. D. and Somenzi: Logic Synthesis and Verification Algorithms, Kluwer Academic Publishers, Norwell, MA, USA, 2000.
  • Ban Wong, Anurag Mittal, Yu Cao: Nano-CMOS Circuit and Physical Design, John Wiley & Sons Inc, 2004.
  • Ashish Srivastava, Dennis Sylvester, David Blaauw: Statistical Analysis and Optimization for VLSI: Timing and Power, Springer, 2005.
  • Jens Lienig: Layoutsynthese elektronischer Schaltungen - Grundlegende Algorithmen fuer die Entwurfsautomatisierung, Springer, 2006.
  • William Randolph Simpson; John W Sheppard: System test and diagnosis, Kluwer Academic, 1994.
  • E. Börger: Architecture design and validation methods, Springer, 2000.
  • Anand Raghunathan; Niraj K Jha; Sujit Dey: High-level power analysis and optimization, Kluwer Academic, 1998.

Anmerkungen

Hauptstudium, Studiengänge Informatik (Teil der Vertiefungslinie Rechnerarchitektur) und Softwaretechnik, 3V+1Ü

Formulare für Rechnerzugänge: werden in den Übungen verteilt