李智广

作品数：1被引量：0H指数：0
导出分析报告
供职机构：中国电子科技集团公司第三十二研究所更多>>
发文主题：VERILOG语言SYSTEM微处理器更多>>
发文领域：自动化与计算机技术更多>>
发文期刊：《计算机工程》更多>>
所获基金：上海市自然科学基金更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-1
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于覆盖率的微处理器运算单元验证技术
《计算机工程》2012年第13期221-223,共3页李智广 章建雄 王玉艳 
上海市自然科学基金资助项目"嵌入式CPU"(B17AI060-07139)
根据微处理器运算单元功能较多的特点,基于覆盖率的验证方法,设计一种自检查的测试程序生成器(SATG)验证方法。SATG采用一种"闭环"结构,并以功能覆盖率量化分析为核心,使用随机生成和约束求解的方法,自动生成验证程序。实验结果表明,该...
关键词：功能验证 运算单元 约束求解 随机生成 覆盖率 SYSTEM VERILOG语言 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部