Title :
Design and Analyze the Communication in the Multi-Core Soc Driven by Petri Net
Author :
Yonggang, Yu ; Tianzhou, Chen ; Hongjun, Dai
Author_Institution :
Zhejiang Univ., Hangzhou
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.
Keywords :
Petri nets; formal verification; integrated circuit design; integrated circuit testing; logic testing; system-on-chip; CPN tools; Petri net graph; asynchronous system; concurrent computer system; controlled Petri net tools; formal co-verification approach; integrated circuit development; multicore SoC communication; multicore architecture; Circuit synthesis; Computer architecture; Concurrent computing; Control systems; Embedded software; Embedded system; Formal verification; Hardware; Integrated circuit technology; Petri nets;
Conference_Titel :
Autonomic and Autonomous Systems, 2007. ICAS07. Third International Conference on
Conference_Location :
Athens
Print_ISBN :
978-0-7695-2859-7
Electronic_ISBN :
978-0-7695-2859-7
DOI :
10.1109/CONIELECOMP.2007.71
