OASIcs.WCET.2005.814.pdf
- Filesize: 283 kB
- 4 pages
Document
Efficient Analysis of Pipeline Models for WCET Computation
Author
-
Part of:
Volume:
5th International Workshop on Worst-Case Execution Time Analysis (WCET'05) (WCET 2005)
Series: Open Access Series in Informatics (OASIcs)
Conference: Workshop on Worst-Case Execution Time Analysis (WCET) - License:
Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported license
- Publication Date: 2007-03-29
Cite AsGet BibTex
Stephan Wilhelm. Efficient Analysis of Pipeline Models for WCET Computation. In 5th International Workshop on Worst-Case Execution Time Analysis (WCET'05). Open Access Series in Informatics (OASIcs), Volume 1, pp. 37-40, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2007)
https://doi.org/10.4230/OASIcs.WCET.2005.814
https://doi.org/10.4230/OASIcs.WCET.2005.814
Abstract
Worst-case execution time (WCET) prediction for modern
CPU’s cannot make local assumptions about the impact
of input information on the global worst-case because
of the existence of timing anomalies. Therefore, static analyses
on the hardware level must consider a large subset of
the reachable states of the underlying hardware model. As
the number of states grows, WCET prediction can become
infeasible because of the increase in computation time and
memory consumption. This paper presents a solution for
this problem by defining the static analysis of processor
pipelines for WCET computation in terms of operations on
binary decision diagrams (BDD’s).
Keywords
- Worst-case execution time prediction
- pipeline analysis
- timing anomalies
- binary decision diagrams
Metrics
- Access Statistics
-
Total Accesses (updated on a weekly basis)
0PDF Downloads