Referenced Items are not available for this document.
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.
Published in:
Autonomic and Autonomous Systems, 2007. ICAS07. Third International Conference on
Date of Conference: 19-25 June 2007
- Page(s):
- 3
- E-ISBN :
- 978-0-7695-2859-7
- Print ISBN:
- 978-0-7695-2859-7
- INSPEC Accession Number:
- 9864352
- Conference Location :
- Athens
- Digital Object Identifier :
- 10.1109/CONIELECOMP.2007.71
About IEEE Xplore | Contact | Help | Terms of Use | Nondiscrimination Policy | Site Map | Privacy & Opting Out of Cookies
A not-for-profit organization, IEEE is the world's largest professional association for the advancement of technology.
© Copyright 2013 IEEE - All rights reserved. Use of this web site signifies your agreement to the terms and conditions.
