Uni-Logo
Sie sind hier: Startseite Daten Lehrstühle Rechnerarchitektur
Artikelaktionen

Rechnerarchitektur

Page VALSE-XT
Förderschwerpunkt EkompaSS des BMBF, gemeinsam mit der Arbeitsgruppe für Betriebssysteme.
Page FEST - Funktionale Verifikation von Systemen
Es handelt sich um ein im Rahmen der Förderinitiative Ekompass gestartetes Projekt, das vom Bundesministerium für Bildung und Forschung (BMBF) sowie durch die edacentrum GmbH unterstützt wird. Projektpartner sind neben der Albert-Ludwigs-Universität Freiburg die TU Darmstadt, Universität Frankfurt/Main, TU Ilmenau, Universität Kaiserslautern sowie die Universität Tübingen. Im Rahmen des Projektes werden Lösungen erforscht, die eine einheitliche Verifikation von SoCs (System On Chip) ermöglichen. Mit dem gewonnenen Forschungs-Know-How soll die Halbleiter-Industrie in Deutschland unterstützt werden, um die Kompetenz ihrer Entwurfsteams auch in Zukunft auf höchstem Niveau zu halten und neue, leistungsfähigere Verfahren in ihre Entwurfsplattformen zu integrieren. Der Freiburger Beitrag zum Projekterfolg besteht in der Untersuchung und Entwicklung von Black-Box-Techniken bei der Eigenschaftsprüfung.
Benutzerspezifische Werkzeuge