edacentrum | Schneiderberg 32 | 30167 Hannover | fon: +49 511 762-19699 | fax:+49 511 762-19695 | email: info@edacentrum.de
oben
Die Realisierung kompletter Systeme auf einem Chip ist die große Herausforderung für EDA. Kritisch für die Bewältigung dieser Aufgabe ist die Verfügbarkeit qualitativ hochwertiger Blöcke. Ein solch hohes Qualitätsniveau kann nur noch mit Formalen Methoden, das sind ausgeklügelte, hochautomatisierte mathematische Beweisverfahren, garantiert werden. VALSE ist ein Verifikationsprojekt, das die Validierung von "System-on-Chip"-Entwürfen revolutionieren will.
| Projektkoordination: |
|
OneSpin Solutions GmbH Prof. Dr. Wolfram Büttner |
| Projektmanagement: |
|
Technische Universität Kaiserslautern Prof. Dr. Wolfgang Kunz |
| Projektpartner: |
|
Infineon Technologies AG
Melexis GmbH Robert Bosch GmbH |
| Forschungspartner: |
|
Fraunhofer-Institut für Integrierte Schaltungen, Außenstelle Entwurfsautomatisierung
Institut für Mikroelektronik- und Mechatronik-Systeme gGmbH Technische Universität Kaiserslautern - Lehrstuhl für Entwurf Mikroelektronischer Systeme (EMS) Leibniz Universität Hannover - Institut für Mikroelektronische Systeme (IMS) Eberhard Karls Universität Tübingen - Technische Informatik (TI) |
| Förderkennzeichnen: |
| 01 M 3052 |
| Laufzeit: |
| 01.03.2001 - 28.02.2003 |
edacentrum | Schneiderberg 32 | 30167 Hannover | fon: +49 511 762-19699 | fax:+49 511 762-19695 | email: info@edacentrum.de
oben