论文部分内容阅读
给传统嵌入式系统验证方法带来巨大挑战的是SoC设计中硬件部分采用IP核、软件部分采用构件技术,这就需要一种既能克服传统方法缺陷又能适合SoC的新方法。针对SoC提出了一种基于着色Petri网的数学模型,形式化定义了IP核、构件和用户自定义逻辑模块,并阐述了从SoC设计体系结构到着色Petri网模型的转换方法,还介绍了如何利用现有工具CPNTools来分析Petri网模型。该方法不仅能验证SoC设计的正确性,还能验证其时间性,一旦给出SoC设计中IP核、构件和用户自定义逻辑的体系结构,那么就能够验证出整个系统的设计正确性和时间性,最后通过一个验证PDA手机音频和视频子系统的例子证明该方法行之有效,并给出了相应的实验结果。
The challenge to the traditional embedded system verification method is that the hardware part of the SoC design adopts the IP core and the software part adopts the component technology. Therefore, a new method that can overcome the defects of the traditional method and suit the SoC is needed. Aiming at SoC, a mathematical model based on colored Petri nets was proposed, and IP cores, components and user-defined logic modules were formally defined. The conversion methods from SoC design architecture to colored Petri nets model were also introduced. Analyze Petri nets using existing tools CPNTools. The method not only verifies the correctness of SoC design but also verifies its timing. Once the architecture of IP core, component and user-defined logic in SoC design is given, the design correctness and time of the whole system can be verified Finally, an example of verifying the audio and video subsystem of PDA mobile phone is given to prove the effectiveness of the method and the corresponding experimental results are given.