Abstract:
In this paper we present an approach for analysis of systems of parallel, communicating processes for SoC design. We present a method to detect communications that synchr...Show MoreMetadata
Abstract:
In this paper we present an approach for analysis of systems of parallel, communicating processes for SoC design. 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 for the assignment of communication resources.
Date of Conference: 16-20 February 2004
Date Added to IEEE Xplore: 08 March 2004
Print ISBN:0-7695-2085-5
Print ISSN: 1530-1591