Automatisierte Verifikation algorithmischer Beschreibungen

• Applicant: Professor Dr.-Ing. Hans Eveking
• Subject Area: Computer Architecture, Embedded and Massively Parallel Systems
• Term: from 2001 to 2006
• Project identifier: Deutsche Forschungsgemeinschaft (DFG) - Project number 5304336

Entwurfskorrektheit ist ein entscheidendes Qualitätsmerkmal und wird im Bereich des Hardwareentwurfs wegen der ständig zunehmenden Integrationsdichte und Komplexität der Schaltungen immer schwieriger zu erreichen. Im Projekt werden Verfahren entwickelt, mit denen die korrekte Implementierung eines Hardwareentwurfs auf höheren Beschreibungsebenen automatisiert und vollständig nachgewiesen kann. Damit wird der Anwendungsbereich automatisierter, formaler Verifikationsmethoden beim Hardwareentwurf, der bisher auf die Registertransfer - und Gatterebene beschränkt war, stark erweitert.

• DFG Programme: Research Grants