Pro-Seminar Computerarithmetik Winter Semester 2024
Das Pro-Seminar wird auf Deutsch abgehandelt und hat als Thema Verifikation von arithmetischen Schaltkreise. In der Vorlesung sind alle vom CCA und vom ABS Lehrstuhl involviert.
Update:
-
- Oktober: Datum war falsch (14 -> 15 und 21 -> 22, Dienstag stimmt, war auch so im HisInOne dagestellt)
Organisiation
-
Kein Treffen am 15.10 (!), erst am 22.10
-
Vorbesprechung: Dienstag, 22.10., 17:30 h, in Raum 00-026 in Geb. 051
-
Vorträge: die drei letzten Dienstage des Semesters (voraussichtlich 21 und 28 Januar und 4. Februar). Innerhalb vom Semester gibt es drei Treffen mit dem jeweiligen Betreuer (also ein Mitarbeiter von ABS oder CCA).
Beschreibung
Seit dem Bug von Pentium wo ein Multiplizierer die falsche Antworten geben konnte, ist die Verifikation von Schaltkreise ein wichtiges Thema. In diesem Proseminar werden wir uns um den unterschiedlichen Aufbau von Addierern (z.B., Ladner-Fisher), Multiplizierer (Wallace-Tree), Division (Restoring oder Newtonmethode), Wurzelberechnung, usw. In diesem Seminar geht es nicht nur um die Struktur sondern auch um den Beweis der Korrektheit.
For more details refer to the ABS page on the seminar.