Sciweavers

MEMOCODE
2003
IEEE

Exact Runtime Analysis Using Automata-Based Symbolic Simulation

14 years 16 days ago
Exact Runtime Analysis Using Automata-Based Symbolic Simulation
In this paper, we present a technique for determining tight bounds on the execution time of assembler programs. Thus, our method is independent of the design flow, but takes into account the target architecture to obtain accurate estimates. The key idea is to compute the maximal number of executed instructions by means of symbolic simulation. To this end, we utilize a slight extension of Presburger arithmetic that can be translated to finite automata. Finite automata are an efficient data structure for symbolically traversing the state space of a program.
Tobias Schüle, Klaus Schneider
Added 05 Jul 2010
Updated 05 Jul 2010
Type Conference
Year 2003
Where MEMOCODE
Authors Tobias Schüle, Klaus Schneider
Comments (0)