Current validation, testing and debugging methods developed within the software engineering communityprimarily focus on functional verification. But timing predictability and hence timing analysis is ...