Cutting-Edge Timing Analysis Techniques

Jakob Zwirchmayr
This text gives an overview about my current research in timing analysis at the Vienna University of Technology. After a short introduction to the topic follows the description of an approach relying on CLP, the implicit path enumeration technique (IPET). This technique is also used in a tool developed at the institute of Computer Languages (TuBound). Current timing analysis tools suffer from a few flaws worth further investigation in order to achieve better results than...
This data repository is not currently reporting usage information. For information on how your repository can submit usage information, please see our documentation.