(pressebox) (Hannover, 21.11.2003) Auf dem diesjährigen edaForum am 7.11.03 hat das edacentrum erstmalig den jährlich zu vergebenden EDA Achievement Award verliehen. Ausgezeichnet wurden Prof. Dr.-Ing. Wolfram Büttner und das CVE-Team der Infineon Technologies AG für ihre Beiträge zur Steigerung der Leistungsfähigkeit und Anwendungsbreite der formalen Verifikation.

Das edacentrum würdigt damit die herausragenden Leistungen zur Verbreitung der formalen Verifikation in der deutschen Industrie und die Verdienste von Professor Büttner als Impulsgeber für die akademische Forschung.

Der EDA Achievement Award wird für besondere Forschungs- oder Entwicklungsleistungen im Bereich EDA (Electronic Design Automation) verliehen und ist mit 2000,- Euro dotiert. Damit sollen Leistungen hervorgehoben und prämiert werden, die in Projekten des Förderschwerpunktes Ekompass (Entwurfsplattformen komplexer angewandter Systeme und Schaltungen) erbracht worden sind.

Preiswürdig waren Arbeiten von Einzelpersonen oder Teams, die zur Erreichung der Ekompass-Ziele besonders beigetragen haben. Dabei sind insbesondere solche Beiträge berücksichtigt worden, die eine mess- und damit nachweisbare Verbesserung bzw. Beschleunigung des Entwurfsprozesses und damit einen industriellen Nutzen bewirkt haben.

Über edacentrum e.V.: Der im März 2001 gegründete Verein edacentrum e.V. versteht sich als zentrale Anlaufstelle für Fragen der Entwurfsautomatisierung. Als gemeinsame Initiative von Industrie, Hochschulforschung und dem Bundesministerium für Bildung und Forschung (BMBF) soll es dem Aufbau eines EDA-Netzwerkes mit dem Ziel einer weitgehenden Automatisierung des Chip-Entwurfs beschleunigen. Die Liste der Mitgliedsunternehmen des edacentrum liest sich wie das "Who-is-Who" der Mikro-elektronikindustrie in Deutschland, darunter Atmel, Bosch, Infineon, Nokia, Philips und viele mehr. Unterstützt durch das BMBF koordiniert das edacentrum Projekte, deren bereits genehmigtes Gesamtvolumen mehr als 120 Millionen Euro umfasst.