Timing Verification of Undocumented Multicore
October 2018 • Poster
Bjorn Andersson
This poster describes an abstraction and corresponding analysis that allow timing verification of undocumented hardware.
Abstract
The lack of timing verification of undocumented multicore is an obstacle for the use of multicore processors in safety-critical systems. In this project, we developed an abstraction and corresponding analysis that allow timing verification of undocumented hardware.