Accurate timing analysis by modeling caches, speculation and their interaction

This publication has 9 references indexed in Scilit:

• Timing analysis of embedded software for speculative processors
  Published by Association for Computing Machinery (ACM) ,2002
• Associative caches in formal software timing analysis
  Proceedings of the 39th conference on Design automation - DAC '02, 2002
• Retargetable static timing analysis for embedded software
  Published by Association for Computing Machinery (ACM) ,2001
• Fast and Precise WCET Prediction by Separated Cache and Path Analyses
  Real-Time Systems, 2000
• Worst Case Execution Time Analysis for a Processor with Branch Prediction
  Real-Time Systems, 2000
• Performance estimation of embedded software with instruction cache modeling
  ACM Transactions on Design Automation of Electronic Systems, 1999
• Bounding pipeline and instruction cache performance
  IEEE Transactions on Computers, 1999
• A worst case timing analysis technique for instruction prefetch buffers
  Microprocessing and Microprogramming, 1994
• Alternative implementations of two-level adaptive branch prediction
  Published by Association for Computing Machinery (ACM) ,1992