home
news
team
teaching
research
tools
publications
contacts
imprint
Deutsch
Rechnerarchitektur
Albert-Ludwigs-Universität Freiburg
Startseite
|
Institut für Informatik
|
Technische Fakultät
course
overview
|
time/location
|
organiser
|
literature
materials
material download
Proseminar - Winter Term 2009/10
material
LaTeX template
LaTeX template for the thesis
-- choose file --
(97.88 kb)
Slides
Slides
-- choose file --
Slides by Göksel Kacmas (finite state machines) (1.81 MB)
Slides by Jan Hättig (Place & Route) (1.19 MB)
Slides by Catharina Gugel (Circuit Test) (233.18 kb)
Slides by Leonore Winterer (Verification) (532.88 kb)
Slides by Benedikt Mildenberger (SAT) (406.02 kb)
Slides by Felix Neubauer (SAT-based verification) (503.79 kb)
Slides by André Doser (AIGs) (527.6 kb)
Slides by Andreas Cramer (Blackboxes) (374.82 kb)