System Level Performance Analysis with Formal Methods and Virtual Prototyping

Abstract

The timing of modern multiprocessor systems is increasingly difficult to predict due to complex intercomponent timing dependencies. Therefore, reliable methods for performance analysis are essential in order to predict both average case and worst-case behavior. In this paper, we investigate the timing of multiprocessor-systems-on-chips, where computation… (More)

Topics

11 Figures and Tables

Cite this paper

@inproceedings{Schliecker2008SystemLP, title={System Level Performance Analysis with Formal Methods and Virtual Prototyping}, author={Simon Schliecker}, year={2008} }