Image
The eVerify framework supports formal software verification by considering the hardware behavior of loosely coupled devices, e.g., peripherals.
This is achieved using the Behavioral Description (BD) based on CTL* to specify hardware behavior from the software point of view. Based on the BD specification, the tool verifyDown generates assumptions/assertions for the hardware description and the software driver code.
Visibility
Internal for Scale4Edge partners only!
ISA Compliance
Status
Date of Availability
Contact
FZI Forschungszentrum Informatik
Julian Ganz
Haid-und-Neu-Str. 10–14
76131 Karlsruhe
Deutschland
Contact Email
ganz [at] fzi.de
Asset Reference
Asset Reference Description
Integrates into the CHIPS hardware verification flow.
Target TRL at the end of phase 1
TRL3: Nachweis der Funktionsfähigkeit --> Plattform ohne Parametrisierbarkeit
Target TRL at the end of phase 2
TRL4: Versuchsaufbau im Labor --> Plattform mit Parametrisierung
Component is required for safety critical systems
Nein