您的位置： 专家智库 > >

上海市自然科学基金(B17AI060-07139)

作品数：1 被引量：0H指数：0
相关作者：王玉艳李智广章建雄更多>>
相关机构：中国电子科技集团公司第三十二研究所更多>>
发文基金：上海市自然科学基金更多>>
相关领域：自动化与计算机技术更多>>

文献类型

  • 1篇中文期刊文章

领域

  • 1篇自动化与计算...

主题

  • 1篇微处理器
  • 1篇SYSTEM
  • 1篇VERILO...
  • 1篇处理器

机构

  • 1篇中国电子科技...

作者

  • 1篇章建雄
  • 1篇李智广
  • 1篇王玉艳

传媒

  • 1篇计算机工程

年份

  • 1篇2012
共 1 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
基于覆盖率的微处理器运算单元验证技术
2012年
根据微处理器运算单元功能较多的特点,基于覆盖率的验证方法,设计一种自检查的测试程序生成器(SATG)验证方法。SATG采用一种"闭环"结构,并以功能覆盖率量化分析为核心,使用随机生成和约束求解的方法,自动生成验证程序。实验结果表明,该方法在微处理器运算单元的验证中,能提高验证效率和覆盖率,增强验证平台的可重用性。
李智广章建雄王玉艳
关键词：SYSTEMVERILOG语言
全选 清除 导出
共1页<1>
聚类工具0