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