位置：成果数据库 > 期刊 > 期刊详情页
基于扩展层次有色Petri网创建SoC
  • 期刊名称：《软件学报》, vol. 17, no. Supplement, 2006
  • 时间：0
  • 相关项目：SOC系统级功能验证关键技术研究
作者： 余金山, 李 暾, 张耀鸿, 谭庆平
同期刊论文项目
SOC系统级功能验证关键技术研究
期刊论文 8 会议论文 11
同项目期刊论文
谓词抽象技术研究
基于符号模拟和约束逻辑编程的RT
微处理器体系结构级测试程序自动
谓词抽象技术及其研究进展
利用UML-RT序列图支持基于事务的
模型检验中抽象技术研究综述
基于符号模拟和约束逻辑编程的RTL级Verilog谓词抽象方法