%0 Journal Article
%T 基于扩展层次有色petri网创建soc高层可执行规约
%A 余金山？
%A 李暾？
%A 张耀鸿？
%A 谭庆平？
%J 软件学报
%P 148-153
%D 2006
%X 提出一种基于扩展层次有色petri网(ehcpn)模型创建soc高层可执行规约的方法,给出了ehcpn的形式化定义.设计并实现了ehcpn建模与模拟环境:soc-p/tmse,环境能够有效支持soc高层规约创建与模拟,如功能分析、性能评估和通信协议检查.
%K 扩展层次有色petri网
%K 规约
%K 系统芯片
%U http://www.jos.org.cn/ch/reader/view_abstract.aspx?file_no=2006s118&flag=1