ACCESS: HW/SW-Co-Equivalence Checking for Firmware Optimization
Konferenz: MBMV 2019 - 22. Workshop „Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen“
08.04.2019 - 08.04.2019 in Kaiserslautern, Deutschland
Tagungsband: MBMV 2019
Seiten: 4Sprache: EnglischTyp: PDF
Persönliche VDE-Mitglieder erhalten auf diesen Artikel 10% Rabatt
Autoren:
Schwarz, Michael; Stoffel, Dominik; Kunz, Wolfgang (TU Kaiserslautern, Germany)
Inhalt:
Customizing embedded computing platforms to specific application domains often necessitates optimizing the firmware and/or the HW/SW interface under tight resource constraints. Such optimizations frequently alter the communication between the firmware and the peripheral devices, possibly compromising functional correctness of the input/output behavior of the embedded system. This paper proposes a formal HW/SW co-equivalence checking technique for verifying correct I/O behavior of peripherals under a modified firmware.