基于构件与扩展层次有色Petri网模拟验证SoC设计
本文提出了一种基于构件与扩展层次有色Petri网(简写为EHCPN)模拟验证SoC设计的方法,给出了EHCPN的形式化定义.基于所提出的EHCPN模型,设计并实现了一个支持SoC系统建模与模拟验证的集成环境:SoC-P/TMSE.环境主要包括EHCPN建模和构件封装工具、支持模型存储和管理的模型库和模拟验证环境.本文最后结合一个典型的SoC案例,在SoC-P/TMSE创建了对应的EHCPN模型,并对模型执行了集成、模拟与验证,给出了相应的实验数据和分析结果.实验表明,利用EHCPN模型能够有效捕获SoC的结构,时间、通信和并发特性,支持SoC系统的模拟与验证.
有色Petri网 模拟验证 SoC设计 集成环境
余金山 李暾 郭阳 张耀鸿 谭庆平
国防科技大学计算机学院,湖南,长沙,410073 国防科技大学管理科学学院,湖南,长沙,410073
国内会议
北戴河
中文
401-406
2006-08-07（万方平台首次上网日期，不代表论文的发表时间）