30
Fakultät für Informatik Informatik 12 technische universität dortmund Rechnergestützter Entwurf von Mikroelektronik Peter Marwedel TU Dortmund, Informatik 12

Fakultät für Informatik Informatik 12 technische universität dortmund Rechnergestützter Entwurf von Mikroelektronik Peter Marwedel TU Dortmund, Informatik

Embed Size (px)

Citation preview

Page 1: Fakultät für Informatik Informatik 12 technische universität dortmund Rechnergestützter Entwurf von Mikroelektronik Peter Marwedel TU Dortmund, Informatik

Fakultät für InformatikInformatik 12

technische universität dortmund

Rechnergestützter Entwurfvon Mikroelektronik

Peter MarwedelTU Dortmund, Informatik 12

Page 2: Fakultät für Informatik Informatik 12 technische universität dortmund Rechnergestützter Entwurf von Mikroelektronik Peter Marwedel TU Dortmund, Informatik

- 2 -technische universitätdortmund

fakultät für informatik

P.Marwedel, Informatik 12, 2008

Zukunft der Informationstechnologie?

Gemäß Vorhersagen charakterisiert durch Begriffe wie

verschwindender Rechner,

Ubiquitous computing,

Pervasive computing,

Ambient intelligence,

Post-PC era.

Basistechnologien:

Eingebettete Systeme

Kommunikationstechnik

Page 3: Fakultät für Informatik Informatik 12 technische universität dortmund Rechnergestützter Entwurf von Mikroelektronik Peter Marwedel TU Dortmund, Informatik

- 3 -technische universitätdortmund

fakultät für informatik

P.Marwedel, Informatik 12, 2008

Beispiel: Entwicklung von Smart Phones

Integration umfassender Funktionalität:

[© Jeong-Taek Kong (Samsung), DATE 2005, http://www.date-conference.com]

Page 4: Fakultät für Informatik Informatik 12 technische universität dortmund Rechnergestützter Entwurf von Mikroelektronik Peter Marwedel TU Dortmund, Informatik

- 4 -technische universitätdortmund

fakultät für informatik

P.Marwedel, Informatik 12, 2008

Fülle von Technologien

[© Jeong-Taek Kong (Samsung), DATE 2005, http://www.date-conference.com]

Page 5: Fakultät für Informatik Informatik 12 technische universität dortmund Rechnergestützter Entwurf von Mikroelektronik Peter Marwedel TU Dortmund, Informatik

- 5 -technische universitätdortmund

fakultät für informatik

P.Marwedel, Informatik 12, 2008

Basistechnologien werden immer komplexer

ww

w.s

equ

en

cede

sign

.com

/ do

wnl

oads

/ED

A_T

echn

olo

gy_

Tre

nds

.pd

f

Page 6: Fakultät für Informatik Informatik 12 technische universität dortmund Rechnergestützter Entwurf von Mikroelektronik Peter Marwedel TU Dortmund, Informatik

- 6 -technische universitätdortmund

fakultät für informatik

P.Marwedel, Informatik 12, 2008

Resultierende Entwurfsprobleme

Page 7: Fakultät für Informatik Informatik 12 technische universität dortmund Rechnergestützter Entwurf von Mikroelektronik Peter Marwedel TU Dortmund, Informatik

- 7 -technische universitätdortmund

fakultät für informatik

P.Marwedel, Informatik 12, 2008

Führt zur Entwurfslücke (Design gap)

[B.

Bec

ker,

U.

Fre

ibur

g]

Page 8: Fakultät für Informatik Informatik 12 technische universität dortmund Rechnergestützter Entwurf von Mikroelektronik Peter Marwedel TU Dortmund, Informatik

- 8 -technische universitätdortmund

fakultät für informatik

P.Marwedel, Informatik 12, 2008

Typische Abhängigkeit des Gewinns von Störungen

[B.

Bec

ker,

U.

Fre

ibur

g]

Page 9: Fakultät für Informatik Informatik 12 technische universität dortmund Rechnergestützter Entwurf von Mikroelektronik Peter Marwedel TU Dortmund, Informatik

- 9 -technische universitätdortmund

fakultät für informatik

P.Marwedel, Informatik 12, 2008

Motivation für diesen Kurs

Wie werden moderne IT Produkte entworfen? Millionen bis Milliarden von Bauteilen Starke Verbreitung Schneller Fortschritt der Technologie Immer mehr Effekte zu berücksichtigen

Möglichkeit, den Herausforderungen zu begegnen: Menschen spezifizieren, Maschinen ergänzen die Details Erhöhung der Abstraktionsebene, auf der spezifiziert wird Insgesamt muss aber Effizienz erreicht werden

electronic design automation (EDA)

Page 10: Fakultät für Informatik Informatik 12 technische universität dortmund Rechnergestützter Entwurf von Mikroelektronik Peter Marwedel TU Dortmund, Informatik

- 10 -technische universitätdortmund

fakultät für informatik

P.Marwedel, Informatik 12, 2008

Motivation

Page 11: Fakultät für Informatik Informatik 12 technische universität dortmund Rechnergestützter Entwurf von Mikroelektronik Peter Marwedel TU Dortmund, Informatik

- 11 -technische universitätdortmund

fakultät für informatik

P.Marwedel, Informatik 12, 2008

Möglicher Entwurfsfluss

© M

ES

, T

U D

arm

stad

t

Page 12: Fakultät für Informatik Informatik 12 technische universität dortmund Rechnergestützter Entwurf von Mikroelektronik Peter Marwedel TU Dortmund, Informatik

- 12 -technische universitätdortmund

fakultät für informatik

P.Marwedel, Informatik 12, 2008

Umfang des Markts für EDA Software

Que

lle:

ww

w.e

dac.

org

Film der edac

Page 13: Fakultät für Informatik Informatik 12 technische universität dortmund Rechnergestützter Entwurf von Mikroelektronik Peter Marwedel TU Dortmund, Informatik

- 13 -technische universitätdortmund

fakultät für informatik

P.Marwedel, Informatik 12, 2008

Erwartetes Wachstum(weitere Sparten einbezogen)

ww

w.s

equ

en

cede

sign

.com

/ do

wnl

oads

/ED

A_T

echn

olo

gy_

Tre

nds

.pd

f

Page 14: Fakultät für Informatik Informatik 12 technische universität dortmund Rechnergestützter Entwurf von Mikroelektronik Peter Marwedel TU Dortmund, Informatik

- 14 -technische universitätdortmund

fakultät für informatik

P.Marwedel, Informatik 12, 2008

Page 15: Fakultät für Informatik Informatik 12 technische universität dortmund Rechnergestützter Entwurf von Mikroelektronik Peter Marwedel TU Dortmund, Informatik

- 15 -technische universitätdortmund

fakultät für informatik

P.Marwedel, Informatik 12, 2008

Themenkreis für diesen Kurs

Methoden des rechnergestützten Entwurfs von IT(engl. EDA: electronic design automation)

• Systembeschreibungssprache SystemC• Nutzung von FPGAs

• Xilinx ISE• Synthese mit VHDL,• Synthese mit SystemC• evtl. Nutzung der PowerPCs und Agility-Synthese

• Mikroarchitektur-Synthese• Automatensynthese• Logiksynthese• Layoutsynthese

Page 16: Fakultät für Informatik Informatik 12 technische universität dortmund Rechnergestützter Entwurf von Mikroelektronik Peter Marwedel TU Dortmund, Informatik

- 16 -technische universitätdortmund

fakultät für informatik

P.Marwedel, Informatik 12, 2008

Mögliche Entwurfsebenen

Ebene Verhalten Struktur Geometrie

VollständigeSysteme

Verhalten des Gesamtsystems

Komponenten des Gesamtsystems

Geometrie des Gesamtsystems

…..

Algorithmische Ebene

Entsprechend Berechnungsmodell

z.B. Knoten eines Taskgraphen

Abb. von Berechungen auf geometr. Inform.

PMS-EbeneGesamtverhalten eines Multiprozessormodells

Processor, Memory, Switch

Geometrische Inform. zu PMS-Komponenten

Instruction-Set Architecture Befehlssemantik

Arithmetische & Transport-Operationen

Zuordnung zur Fest-/Fließkommaeinheit

Register-Transfer-Ebene Register-Transfers Register, RAMs, ALUs

Layout von RT-Bausteinen

Logik-EbeneBoolesche Gleichungen Gatter, Flip-Flops

Geometrieinformation zu Gattern & Flip-Flops

Schaltkreisebene Netzwerkgleichungen Transistoren Schaltkreis-Layout

Bauelementebene Gleichungen f. Gatter Gates, Kanäle Bauelemetlayout

Prozessebene Diffusions-Verhalten Kristallgitter Masken

Page 17: Fakultät für Informatik Informatik 12 technische universität dortmund Rechnergestützter Entwurf von Mikroelektronik Peter Marwedel TU Dortmund, Informatik

- 17 -technische universitätdortmund

fakultät für informatik

P.Marwedel, Informatik 12, 2008

Ausbildungsziel

Studierende sollen nach dem Kurs in der Lage sein bei der Entwicklung gemischter Hardware/Software-

Systeme bzw. Eingebetteter Systeme solche Systeme in einer Systembeschreibungssprache zu modellieren,

in der Lage sein, mit Hardware-Entwicklern zu kommunizieren,

Modelle in SystemC erstellen können, Spezifikationen auf FPGAs abbilden können Basisalgorithmen zum rechnergestützten Entwurf von IT

kennen und dabei exemplarisch die Anwendung von Informatik-Verfahren auf ein Anwendungsgebiet erfahren haben.

Keine Beschränkung auf den Chip-Entwurf

Page 18: Fakultät für Informatik Informatik 12 technische universität dortmund Rechnergestützter Entwurf von Mikroelektronik Peter Marwedel TU Dortmund, Informatik

- 18 -technische universitätdortmund

fakultät für informatik

P.Marwedel, Informatik 12, 2008

Zusammenhang mit Kurs "Eingebettete Systeme"

In diesem Kurs behandelt

Page 19: Fakultät für Informatik Informatik 12 technische universität dortmund Rechnergestützter Entwurf von Mikroelektronik Peter Marwedel TU Dortmund, Informatik

- 19 -technische universitätdortmund

fakultät für informatik

P.Marwedel, Informatik 12, 2008

Gliederung

EinführungSystemC

Vorlesungen und ProgrammierungFPGAs

- Vorlesungen- VHDL-basierte Konfiguration von FPGAs

mit dem XUP VII Pro Entwicklungssystem Algorithmen

- Mikroarchitektur-Synthese- Automatensynthese- Logiksynthese- Layoutsynthese

Zeitplan

3 Wochen

3,5 Wochen

6,5 Wochen

Page 20: Fakultät für Informatik Informatik 12 technische universität dortmund Rechnergestützter Entwurf von Mikroelektronik Peter Marwedel TU Dortmund, Informatik

- 20 -technische universitätdortmund

fakultät für informatik

P.Marwedel, Informatik 12, 2008

Lehrmethode

Vorlesung

Praktische ÜbungenNutzung kommerzieller Software1. Semesterhälfte

"Theoretische" ÜbungenVertiefung im Bereich der Algorithmen2. Semesterhälfte

Page 21: Fakultät für Informatik Informatik 12 technische universität dortmund Rechnergestützter Entwurf von Mikroelektronik Peter Marwedel TU Dortmund, Informatik

- 21 -technische universitätdortmund

fakultät für informatik

P.Marwedel, Informatik 12, 2008

Inhalte

Kurs ist Weiterentwicklung des Kurses „Rechnergestützter Entwurf (Mikroelektronik)„.

Im Sommersemester 2005 neu konzipiert.

Jetziger Kurs ist 4. Iteration.

Neu:

Kombination mit Fachprojekt „Entwurf Eingebetteter Systeme“ (v.a. für Bachelorstudiengänge)

Kombination mit Kurs „Synthese Eingebetteter Systeme“ (v.a. für Masterstudiengänge)

Page 22: Fakultät für Informatik Informatik 12 technische universität dortmund Rechnergestützter Entwurf von Mikroelektronik Peter Marwedel TU Dortmund, Informatik

- 22 -technische universitätdortmund

fakultät für informatik

P.Marwedel, Informatik 12, 2008

Kombination der Kurse

REM

Fachprojekt

SystemC

FPGAs EDA-Algorithmen

April Mai Juni Juli

FPGA-VertiefungSynthese Eingebetteter Systeme

Page 23: Fakultät für Informatik Informatik 12 technische universität dortmund Rechnergestützter Entwurf von Mikroelektronik Peter Marwedel TU Dortmund, Informatik

- 23 -technische universitätdortmund

fakultät für informatik

P.Marwedel, Informatik 12, 2008

Literatur (1)

SystemCSystemC Language Reference Manual, //www.SystemC.org

David C. Black, Jack Donovan: SystemC: From the ground up, Springer, 2004 (Präsenzbestand BI, Internet)

Page 24: Fakultät für Informatik Informatik 12 technische universität dortmund Rechnergestützter Entwurf von Mikroelektronik Peter Marwedel TU Dortmund, Informatik

- 24 -technische universitätdortmund

fakultät für informatik

P.Marwedel, Informatik 12, 2008

Literatur (2)

FPGAshttp://www.xilinx.com/univ/index.htm 

AlgorithmenP. Marwedel: Synthese und Simulation von VLSI-Systemen, Hanser, 1993

P. Marwedel: Skript, im SS 07 aktualisiert

J. Reichart, B. Schwarz: VHDL-Synthese, Hanser, 2003

P. Eles, K. Kuchcinski, und Z. Peng: System Synthesis with VHDL, Springer, 1997

Sunggu Lee: Advanced Digital Logic Design. Using VHDL, State Machines, and Synthesis for FPGAs: State Machine Design Using VHDL, Verilog, and Synthesis for FPGAS, Itps Thomson Learning, 2005

Page 25: Fakultät für Informatik Informatik 12 technische universität dortmund Rechnergestützter Entwurf von Mikroelektronik Peter Marwedel TU Dortmund, Informatik

- 25 -technische universitätdortmund

fakultät für informatik

P.Marwedel, Informatik 12, 2008

Folien

Einführung SystemC

- Vorlesungen und Programmierung FPGAs

- Vorlesungen- VHDL-basierte Konfiguration von

FPGAs mit dem XUP VII Pro Entwicklungssystem

Algorithmen- Mikroarchitektur-Synthese- Automatensynthese- Logiksynthese- Layoutsynthese

Werden parallel aktualisiert. Mail bei erfolgter Aktualisierung.http://ls12-www.cs.tu-dortmund.de/~marwedel/eda/08-eda-index.html

englisch(sonst schreckliche Mischungdeutsch/englisch)

deutsch

Deutsch/englisch

Page 26: Fakultät für Informatik Informatik 12 technische universität dortmund Rechnergestützter Entwurf von Mikroelektronik Peter Marwedel TU Dortmund, Informatik

- 26 -technische universitätdortmund

fakultät für informatik

P.Marwedel, Informatik 12, 2008

Anrechenbarkeit

DPO 2001:Anrechenbar als Spezialvorlesung im Schwerpunktgebiet "Eingebettete Systeme"

DPO 97 (Angewandte Informatik)Als Wahlplichtveranstaltung"Rechnergestützter Entwurf und Fertigung"

DPO 96Als Spezialvorlesung

Andere Studiengänge:Bitte im Einzelfall nachfragen

Page 27: Fakultät für Informatik Informatik 12 technische universität dortmund Rechnergestützter Entwurf von Mikroelektronik Peter Marwedel TU Dortmund, Informatik

- 27 -technische universitätdortmund

fakultät für informatik

P.Marwedel, Informatik 12, 2008

Prüfungen

Mündliche Prüfungen für alle

Leistungspunkte: 9 ECTS-Punkte bei bestandener Prüf.

• Anmeldung im Sekretariat(mit ausgefülltem Prüfungsbogen)

• Kein echter Terminengpass

Page 28: Fakultät für Informatik Informatik 12 technische universität dortmund Rechnergestützter Entwurf von Mikroelektronik Peter Marwedel TU Dortmund, Informatik

- 28 -technische universitätdortmund

fakultät für informatik

P.Marwedel, Informatik 12, 2008

Plan für künftige Semester

Plan WS 08/09 SS 09 WS 09/10 SS10 WS 10/11

Marwedel RS Forschungssemester

RS Introduction to ES

RS

Marwedel ES ES REM/Synth. Eing. Syst.

ES

Informatik 12

FachprojektSystemC

FachprojektFPGA

Fachprojekt SystemC

FachprojektFPGA

Fachprojekt SystemC

Spinczyk Veranstaltungen mit Bezug zu Betriebssystemen für Eingebettete Systeme

Fink ReSys(ex-RA)

ReSys(ex-RA)

Page 29: Fakultät für Informatik Informatik 12 technische universität dortmund Rechnergestützter Entwurf von Mikroelektronik Peter Marwedel TU Dortmund, Informatik

- 29 -technische universitätdortmund

fakultät für informatik

P.Marwedel, Informatik 12, 2008

Kontaktmöglichkeiten

P. Marwedel• E-mail:• Tel.: (0231) 755 6111• Fax: (0231) 755 6116• Sprechstunde: Montags, 13:00-14:00, Otto-Hahn-Str. 16, E21

Übungen: Mi 10-12 Übungsleitung

• SystemC: Jürgen Mäter• FPGAs: Sascha Plazar• EDA-Algorithmen: Daniel Cordese-mail: <vorname>.<nachname> <at> tu-dortmund.de

Elektronisch• Inpud-Forum• Mailing-Liste (s. Link von Webpage

ls12-www.cs.uni-dortmund.de/~marwedel/eda/08-eda-index.html)

Page 30: Fakultät für Informatik Informatik 12 technische universität dortmund Rechnergestützter Entwurf von Mikroelektronik Peter Marwedel TU Dortmund, Informatik

- 30 -technische universitätdortmund

fakultät für informatik

P.Marwedel, Informatik 12, 2008

Infos zum Übungsbetrieb

Softwareempfehlung für SystemC Aufgaben:VisualStudio 6.0 (z.B. über MSDN-AA)SystemC 2.1.v1 Library + Manual (www.systemc.org)

IRB Accounts für Pools können bereitgestellt werden.

Softwareempfehlung für SystemC Aufgaben:VisualStudio 6.0 (z.B. über MSDN-AA)SystemC 2.1.v1 Library + Manual (www.systemc.org)

IRB Accounts für Pools können bereitgestellt werden.

Viel Erfolg beim Kurs!