Veranstalter Prof. Dr. S.A.Huss Andreas Kühn Tim Sander

Beginn	19.04.2004
Zeit	Mittwoch, 9:50 - 11:30 Donnerstag, 14:25 - 15:10
Ort	S2 02 - C205
Turnus	Sommersemester (jährlich)
SWS	V2+Ü1
Einordnung	Kanonik
Vorwissen	TGDI 1+2

Herzlich Willkommen

Unterlagen zur Vorlesung

Wir stellen alle Unterlagen in PDF-Form bereit. Zu jeder Vorlesungseinheit wird es eine Übung geben. Die Musterlösung zur aktuellen Übung wird in der Folgewoche bereit gestellt.

• Einführung
• Petri-Netze   « Skriptum: Petri-Netze »
• Statecharts
• FSM und FSMD
• Synthese
• Ablaufplanung
• Bindung und FSMD-Synthese

Übungen

1. Übungsblatt  « Musterlösung »
2. Übungsblatt  « Musterlösung »
3. Übungsblatt  « Musterlösung »
4. Übungsblatt  « Musterlösung »
5. Übungsblatt  « Musterlösung »
6. Übungsblatt  « Musterlösung »
7. Übungsblatt  « Musterlösung »
8. Übungsblatt  « Musterlösung »
9. Übungsblatt  « Musterlösung »
10. Übungsblatt  « Musterlösung »

Errata
18.07.2006: Musterlösung 10: x_4,3 gestrichen, x_9,4 hinzugefügt, 3: Strich in G+ fehlte zwischen 4,8. 18.07.2006: Übung 10 1.d) T(v_i)=k ersetzt durch m=l-d_i+1
13.07.2006: Musterlösung 9.3.d 1:{3,7} anstatt 2:{3,7}
13.07.2006: Übung 10: 1.c Multiplizierer anstatt Multiplexer

Den kostenlosen PDF-Viewer gibt es hier.

Literatur

Grundlagen

1. Teil
   1. Bernd Baumgarten: Petri-Netze, Grundlagen und Anwendungen, Spektrum Akademischer Verlag, 1996
   2. Jörg Desel, Andreas Oberweis: Petri-Netze in der Angewandten Informatik-Einführung, Grundlagen und Perspektiven. Wirtschaftsinformatik, Vol. 38, Nr. 4, S. 359-398, Juli 1996
   3. Lutz Priese, Harro Wimmel: Petri-Netze. Springer Verlag, 2002
   4. Wolfgang Reisig: Petrinetze - Eine Einführung. Springer Verlag, 1986.
   5. Peter Starke: Analyse von Petri-Netz-Modellen. Teubner, 1990
   6. Kiencke, U.: Ereignisdiskrete Systeme, Oldenbourg. München, 1997
   7. Oberweis, A.: Modellierung und Ausführung von Workflows mit Petri-Netzen, Teubner, Stuttgart, 1996
   8. Peterson, J.L.: Petri Net Theory and the Modelling of Systems, Prentice Hall, London, 1981
   9. Reisig, M.: Petri-Nets, Springer, Berlin, 1985
   10. Schöning, U.: Ideen der Informatik, Oldenbourg, München, 2002
   11. Konrad Zuse: Petri-Netze aus der Sicht des Ingenieurs, Vieweg 1980
   12. Hans Liebig u. Stefan Thome: Logischer Entwurf digitaler Systeme, Springer
2. Teil
   1. D. D. Gajski: Principles of Digital Design. Prentice-Hall, New Jersey, 1997. ISBN 0-13-301144-5
   2. U. Heinkel, et al.: The VHDL Reference - A Practical Guide to Computer-Aided Integrated Circuit Design. John Wiley & Sons, Chichester, 2000. ISBN 0-471-89972-0
3. Teil
   1. Giovanni De Micheli: Synthesis and Optimization of Digital Circuits, McGraw-Hill, 1994

Vertiefung

1. A. Bleck, M. Goedecke, S. Huss, K. Waldschmidt: Praktikum des modernen VLSI-Entwurfs. B. G. Teubner, Stuttgart, 1996. ISBN 3-519-02296-6
2. K. C. Chang: Digital Systems with VHDL and Synthesis - An Integrated Approach. IEEE Computer Society, Los Alamitos, 1999. ISBN 0-7695-0023-4
3. H. Lehr: Modeling Custom Hardware in VHDL. Techn. Rep. ICS-99-29, Univ. of California, Irvine, July 1999

VHDL-Compiler/Waveform Viewer

Um das 'Üben' von VHDL etwas zu erleichtern braucht man einen entsprechenden Compiler (ghdl). Zur Anzeige der Simulationsergebnisse (Waveforms) braucht man einen entsprechenden Viewer. Unter Linux sind beide Tools kostenlos verfügbar (Debian Standardpaket). Für Windows ist mittlerweile ebenfalls ein ghdl- und ein gtkwave-Port verfügbar.

• VHDL-Compiler (ghdl): [ Linux ] [ Win32 ]
• WaveForm Viewer (gtkwave): [ Linux ] [ Win32 ]
• Electric, ein umfangreiches Set von Java-Applikationen (Erfahrungen?)

Es gibt folgende kommerzielle Tools, die aber entsprechend umfangreich sind. Erst lesen dann downloaden!

• Aldec Active-HDL [30Tage Testlizens]
• Xilinx ISE WebPACK (Auch für Linux)
• Symphony EDA VHDL Simili