Rechnerarchitektur, also die "Kunst" vom Aufbau und Entwurf eines Rechners, ist die zentrale Thematik, mit der sich der Lehrstuhl für Rechnerarchitektur in Forschung und Lehre beschäftigt.

Vorlesungen, wie Technische Informatik und Rechnerarchitektur, vermitteln Basiswissen über Fragen und Probleme, die beim Rechnerbau zu beachten sind. Parallel dazu werden in Praktika, Studien- und Diplomarbeiten die Konzepte praktisch erprobt, etwa beim Chipentwurf bzw. beim Bau eines
einfachen Rechners.

In der Forschung beschäftigt sich die Arbeitsgruppe schwerpunktmäßig mit
Methoden zum computerunterstützten Entwurf von integrierten Schaltungen und Systemen (VLSI CAD). Qualitätssicherung durch (formale) Verifikation und
Test spielt dabei eine herausragende Rolle.




Der Lehrstuhl für Rechnerarchitektur unterstützt den "Freiburger Ferienpass"

CFV 2009 Eingeladener Vortrag & Beitrag von Bernd Becker und Tobias Schubert: SAT, SMT, and QBF Solving in a Multi-Core Environment.
Slides Paper Workshop
(01.07.09, 11:36)

Dr. Piet Engelke gewinnt mit seiner Dissertation
"Resistive Bridging Faults – Defect Oriented Modeling and Efficient Testing"
den PhD-Contest auf dem 14th IEEE European Test Symposium in Sevilla.

(17.06.09, 10:33)