程序生成器

作品数：52被引量：33H指数：3
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：汪东升李彤王惊雷王黎霞颜彦更多>>
相关机构：清华大学上海交通大学浙江大学哈尔滨工业大学更多>>
相关期刊：《山西成人教育》《计算机技术与发展》《电脑爱好者》《计算机工程与设计》更多>>
相关基金：国家高技术研究发展计划黑龙江省科技攻关计划云南省自然科学基金河南省杰出人才创新基金更多>>
-
在结果中检索

检索结果分析

结果分析中...
选择条件：
  • 期刊=计算机工程与设计x
共 条 记 录，以下是1-3
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
指令描述的自动检测技术被引量：2
《计算机工程与设计》2006年第18期3344-3348,3352,共6页杨欣 赵荣彩 李崇 
河南省杰出人才创新基金项目(0521000200)。
通过使用高级说明语言描述指令集,自动生成指令编码和解码程序,使单调乏味而且非常容易出错的机器代码重定向工作自动化,并且通过反汇编测试平台对这项描述的正确性实现自动检测。这对于64位、具有更高的指令级并行性(ILP)的IA-64,在二...
关键词：程序生成器 SLED 机器代码包 模式 
随机测试程序生成器研究被引量：2
《计算机工程与设计》2005年第2期281-284,共4页刘志强 汪东升 郑纬民 
国家863高技术计划基金项目(2002AA1Z030)。
随机测试是微处理器设计过程的重要环节,按照一定原则生成的随机指令序列,能够构造出指令组合的各种情况,达到比较好的测试强度和较高的覆盖率。介绍了一种基于模拟器的动态随机测试程序生成器的实现机制,此生成器用多个状态机来抽象整...
关键词：生成器 随机测试 微处理器 指令 状态机 测试过程 程序 覆盖率 模拟器 设计过程 
微处理器随机测试程序生成器被引量：3
《计算机工程与设计》2004年第9期1444-1446,1503,共4页王惊雷 汪东升 
国家863高技术计划基金(2002AA1Z030)
CRTPG(Constraint-based Random Test Program Generator)是一个基于约束的随机测试程序生成器。它采用约束满足(Constraint Satisfaction)的方法来产生满足不同测试需求的随机测试程序,用于微处理器的功能验证。详尽描述了CRTPG的结构...
关键词：随机测试 微处理器 生成器 约束满足 程序结构 生成方法 功能验证 CSP 分层 描述 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部