您的位置： 专家智库 > >

张恒浩

作品数：1 被引量：1H指数：1
供职机构：国防科学技术大学计算机学院更多>>
发文基金：国家自然科学基金国家科技重大专项更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 1篇中文期刊文章

领域

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

主题

  • 1篇一致性
  • 1篇网络
  • 1篇芯片
  • 1篇芯片验证
  • 1篇贝叶斯
  • 1篇贝叶斯网
  • 1篇贝叶斯网络
  • 1篇CACHE一...
  • 1篇CDG
  • 1篇CACHE

机构

  • 1篇国防科学技术...

作者

  • 1篇罗莉
  • 1篇夏婷婷
  • 1篇杨庆娜
  • 1篇张恒浩
  • 1篇艾阳阳

传媒

  • 1篇计算机工程与...

年份

  • 1篇2017
共 1 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
一种基于贝叶斯网络的随机测试方法在Cache一致性验证中的设计与实现被引量：1
2017年
随着集成电路设计复杂度指数级增长,功能验证已经越来越成为大规模芯片设计的瓶颈,而在多核处理器中,Cache一致性协议十分复杂,验证难度大。针对Cache一致性协议验证提出基于模拟验证的一种基于贝叶斯网络的随机测试生成方法,解决Cache一致性协议状态空间爆炸的问题。首先分析了Cache一致性协议及基于贝叶斯网络推理的CDG方法,并将CDG方法应用于Cache一致性的验证。以FT处理器中的Cache一致性协议验证为例,对比伪随机测试,使用CDG方法将覆盖率提高近30%。
艾阳阳罗莉杨庆娜张恒浩夏婷婷
关键词：芯片验证CACHE一致性CDG贝叶斯网络
全选 清除 导出
共1页<1>
聚类工具0