摘要 |
A method for analyzing program execution characteristics such as the minimum and maximum execution time, and maximum stack depth of a processor. The process examines every possible path through a program accumulating required information. The results guarantee best or worst case results since every path is examined. The time to produce these results is greatly reduced over other methods.
|