ABSTRACT
In this paper a comprehensive methodology for software execution time estimation is presented. The methodology is supported by rigorous mathematical models of C statements in terms of elementary operations. The deterministic contribution is combined with a statistical term accounting for all those aspects that cannot be quantified exactly. The methodology has been validated by realizing a complete prototype toolset, used to carry out the experiments.
- 1.J. R. Bammi W. Kruijtzer, and L. Lavagno. Software performance estimation strategies in a system-level design tool. In Proceedings of the Hardware Software CodeJign Workshop, pages 82-86, December 2000. Google ScholarDigital Library
- 2.C. Brandolese, W. Fornaciari, L. Pomante, F. Sallce, and D. Seiuto. A multi-level strategy for software power estimation. In Precedings of the 13th Int. Symposium on System Synthesis, pages 187-192, September 2000. Google ScholarDigital Library
- 3.C. Brandolese, W. Foruaciari, F. Salice, and D. Seiuto. An instruction-level functionality-based energy estimation model for 32-bits microprocessors. In Proceedings of the 57th Design Automation Conference pages 346-351, June 2000. Google ScholarDigital Library
- 4.E. Klingerman and A. D. S. 2ex. Real-time euclid: A language for reliable real-time systems. IEEE Tranaactiona on Soft,are Engineering, 12(9):795-825, November 1993. Google ScholarDigital Library
- 5.S. Malik, M. Martoncsi, and Y. T. S. Li. Static timing analysis of embedded software. In Proceedings of the Design Automation Conference, pages 147-152, June 1997. Google ScholarDigital Library
- 6.C. Y. Park. Predicting deterministing execution time of real-time programs. In PhD Thesis, Seattle, August 1992. University of Whashington. Google ScholarDigital Library
- 7.P. Pnsclmer and C. Koze Calculating the maximum execution time of real-time programs. The Journal of Real.Time Systew.s, 1(2):160-176, September 1989. Google ScholarDigital Library
- 8.K. Suzuki and A. Sangiovanni-Vincentelli. Eflieleut software performance estimation methods for hardware/software codesign. In Proceedings of the Design Automation Conference, June 1996. Google ScholarDigital Library
- 9.V. Zivojnovic and H. Meyr. Compiled hw/sw co-simulation. In Proceedings of the Dceign Automation Conference, June 1996. Google ScholarDigital Library
Index Terms
- Source-level execution time estimation of C programs
Recommendations
A system-level power-estimation methodology based on IP-level modeling, power-level adjustment, and power accumulation
ASP-DAC '06: Proceedings of the 2006 Asia and South Pacific Design Automation ConferenceWe have developed a specialized rapid power-estimation methodology for multimedia applications. This methodology has adequate accuracy for the first design of a complicated SoC. For a multimedia application, we developed three new methodologies: an IP-...
Assembly instruction level reverse execution for debugging
Assembly instruction level reverse execution provides a programmer with the ability to return a program to a previous state in its execution history via execution of a "reverse program." The ability to execute a program in reverse is advantageous for ...
Runtime exception detection in Java programs using symbolic execution
Most of the runtime failures of a software system can be revealed during test execution only, which has a very high cost. In Java programs, runtime failures are manifested as unhandled runtime exceptions.
In this paper we present an approach and tool ...
Comments