Formal performance analysis and simulation of UML/SysML models for ESL design
Proceedings of the conference on Design, automation and test in Europe: Proceedings
Hi-index | 0.00 |
In this paper we present an approach for the analysis of systems of parallel communicating processes, with regard to Network-on-Chip applications. We present a method to detect communications that synchronize the program flow of two or more processes. These synchronization points set the processes into relation and allow the determination of the global timing behavior of such a system. Using the results of our method for communication analysis, we present a new method to detect communications that might produce conflicts on shared communication resources. This information can be used to determine static routing in a packet routing network.