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.