Forschung

Forschungsinteressen

Unser Lehrstuhl beschäftigt sich mit grundsätzlichen Fragen der Hardware-Konstruktion von Rechenanlagen. Dies umfasst den Entwurf integrierter Schaltungen, deren Analyse durch Simulation oder formale Verifikation, die rechnergestützte Synthese und Optimierung digitaler Schaltkreise, automatische Layout-Synthese, Diagnose und Test von Schaltkreisen und Systemen sowie den Entwurf dazugehöriger wiederverwendbarer Anwendungssoftware. Dazu zählen etwa FPGAs und Mikrokontroller, die beispielsweise in Eingebetteten Systemen (Embedded Systems) oder drahtlosen Sensornetzwerken (Wireless Sensor Networks, WSN) anzutreffen sind.

Publikationen

bisherige Publikationen