Skip to Main Content
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.