|
Synthese, Test und Verifikation digitaler Schaltkreise
(Teil II)
|
|
Vorlesung
|
|
Veranstalter
|
| Name der Universität |
Martin-Luther-Universität
Halle-Wittenberg |
| Anbietende Einrichtung |
Institut für Informatik,
Lehrstuhl für Technische Informatik |
| Dozent / Dozentin |
Prof. Dr. Paul Molitor |
| Anschrift |
Martin-Luther-Universität
Halle-Wittenberg, Institut für Informatik, 06099
Halle/Saale |
|
|
Anmeldung
|
|
Anmeldung bis zum 11. April 2003.
|
|
Inhalt
|
|
Die Lehrveranstaltung behandelt die state-of-the-art
Verfahren zur mehrstufigen Logiksynthese digitaler
Schaltungen, wie sie in heutigen ASIC- bzw.
FPGA-Synthesetools eingesetzt werden. Weitere Schwerpunkte
bilden das Testen digitaler Schaltkreise (Fabrikationstest)
und die formale Verifikation von Spezifikationen und
synthetisierter Schaltungen.
|
|
Notwendige Vorkenntnisse
|
|
Synthese und Verifikation digitaler Schaltkreise (Teil I)
|
|
Curriculare Einordnung beim Anbieter
|
|
Hauptstudium, Wahlkurs
|
|
Ablauf
|
|
Vorlesung mit begleitender Übung
|
|
Prüfungsbedingungen
|
|
Am Ende der Vorlesung muß eine
Klausur abgelegt werden. Es werden nur die Studenten zur
Klausur zugelassen, die mindestens 50% der Gesamtpunkte der
Übungen erhalten haben.
|
|
Umfang
|
|
|
|
Betreuung
|
| Name des Betreuers / der Betreuerin |
Dipl. Inform. Riccardo Forth |
| Adresse |
- |
| Telefon |
0345 / 5 52 47 23 |
| E-Mail |
forth@informatik.uni-halle.de, Subject "ULI-Kurs Synthese II" |
| Sprechstunden |
- |
|
|
Startseite
|
|
http://nirvana.informatik.uni-halle.de/lehre/ss03/synii/index0.html
|
