MBMV’23
Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen
23./24. März 2023, Technische Fakultät, Universität Freiburg
Eingeladener Vortrag
Early Co-verification of Firmware and Hardware to Speed up Development of Embedded Systems
Embedded system verification examines that firmware and hardware of an embedded system complement each other wrt. function, security and safety, and that the system meets its bandwidth, latency, and power requirements. The complexity of this verification requires an efficient approach with abstract hardware models or FPGA prototyping. But this should be complemented by efforts to identify as many bugs as possible before the system level verification. On this background, the development and verification workflows of firmware and hardware will be discussed, in separation as well as in the context of current research towards an early basic integration verification.
Frühe Co-Verifikation von Firmware und Hardware zur schnelleren Entwicklung von Embedded Systems
Bei der Verifikation von Embedded Systems wird untersucht, ob sich Firmware und Hardware in bezug auf Funktion, Security und Safety ergänzen, und dass das Embedded System die Ziele in Bezug auf Leistungsfähigkeit, Latenz und Energieaufnahme erfüllt. Die Komplexität dieser Verifikation erfordert eine effiziente Vorgehensweise, bei der abstrahierte Modelle der Hardware oder FPGA prototyping zum Einsatz kommen. Dies sollte aber durch Massnahmen ergänzt werden, mit denen möglichst viele Fehler schon vor der Systemverifikation entfernt werden. Aus diesem Blickwinkel werden die Entwurfsabläufe von Firmware und Hardware betrachtet, sowohl einzeln als auch im Kontext akteller Forschungen in Richtung auf eine frühe Integrationsverifikation.
Lebenslauf
Jörg Bormann hat bei Siemens, Infineon und OneSpin Solutions formale Methoden für den Hardwareentwurf entwickelt und erfolgreich angewandt. Als seinen bisher wichtigsten Beitrag betrachtet er GapFree Verification, über die er 2009 berufsbegleitend promoviert hat. Bei Intel hat er danach Erfahrung in Entwurf und Verifikation von Embedded Systems erworben. Er arbeitet jetzt wieder bei Siemens in der EDA-Sparte als Program Manager Advanced Verification. Hauptarbeitsgebiete sind formale Verifikation für FW/HW-Koverifikation und Security.