Design and Analyze the Communication in the Multi-Core Soc Driven by Petri Net

Yu Yonggang,Chen Tianzhou,Dai Hongjun
DOI: https://doi.org/10.1109/conielecomp.2007.71
2007-01-01
Abstract:With the development of integrated circuit, SoC technology has played an important role gradually. To increase the speed of the chip and system design further, multi-core architecture has been a new trend in the SoC field, while an important problem of multi- core architecture is the communication among the different cores. In this paper, Petri net is used as a model to describe asynchronous and concurrent computer system, including strict mathematics definition, audiovisual figure show, abundant of describing methods and analysis technology. A formal co-verification approach of SoC with controlled Petri net tools is proposed and an example is described in detail, including the abstract of the design and the analysis of the multi-core SoC system from the definition of Petri net to the use of these tools.
What problem does this paper attempt to address?