home > projektübersicht

| IIF | English | Login

Lehrstuhl für Rechnerarchitektur / Chair of Computer Architecture
Aktuelles
Team
Projekte
Kontakt		 Publikationen
Impressum
Basis-Datenstrukturen und -Algorithmen
Genetische Algorithmen
Binary Decision Diagrams (BDDs)

Verifikation
Verifikation von Arithmetik-Schaltungen mit Word-Level Decision Diagrams
VALSE-XT (Förderschwerpunkt EkompaSS des BMBF, gemeinsam mit der Arbeitsgruppe für Betriebssysteme)
Funktionale Simulation
Formale Verifikation mit Decision Diagrams
FEST - Funktionale Verifikation von Systemen (gefördert im Rahmen der BMBF-Förderinitiative Ekompass, in Kooperation mit der Arbeitsgruppe Betriebssysteme)
Bounded Model Checking of Blackbox Designs via Quantified Boolean Formulas (gefördert durch den DAAD (VIGONI))
AVACS: Automatic Verification and Analysis of Complex Systems (Sonderforschungsbereich/Transregio, gefördert durch die DFG)
Automatisierte Verifikationstechniken bei unvollständiger Information (gefördert durch die DFG, in Kooperation mit der Arbeitsgruppe für Betriebssysteme)

Test
RealTest Reliability and Test in Nanoscale Technologies
DBT - Defect Based Testing (gefördert von der DFG und Mentor Graphics; in Kooperation mit Mentor Graphics (Portland) und LIRMM (Montpellier))

Synthese
XOR-basierte Logiksynthese (gefördert durch die DFG)
Technologieabhängige Logiksynthese
Routing-Probleme in VLSI-Systemen - Lösungsansätze mit Genetischen Algorithmen (gefördert durch die DFG)
PTL-Synthese mit Multiplexerschaltkreisen
Logiksynthese mit Funktionaler Dekomposition

Entwurf von Schaltungen und Systemen
Entwurf eines Multiprozessorsystems auf Microcontroller-Basis

E-Learning
Winfoline
ULI - Universitärer Lehrverbund Informatik (gefördert durch das BMBF)
MoPo - Mobile Pools (Mobile Rechner Pools, unterstützt durch das MWK Baden Württemberg)
F-MoLL - Mobilität in Lehre und Lernen (gefördert durch das BMBF)

Graduiertenkollegs
Mathematische Logik und Anwendungen (gefördert durch die DFG)
EMS - Eingebettete Mikrosysteme (gefördert durch die DFG)

Know-how Transfer, Ausgründungen
mindshape
Life-2-Digital
FEST-AmI: Freiburg Embedded SystemsTalks - Academia meets Industry (in Kooperation mit Endress+Hauser AG, Micronas GmbH, Sick AG)