艾阳阳
- 作品数：2 被引量：1H指数：1
- 供职机构：国防科学技术大学计算机学院更多>>
- 发文基金：国家自然科学基金国家科技重大专项更多>>
- 相关领域：自动化与计算机技术电子电信更多>>
- 一种基于贝叶斯网络的随机测试方法在Cache一致性验证中的设计与实现被引量：1
- 2017年
- 随着集成电路设计复杂度指数级增长,功能验证已经越来越成为大规模芯片设计的瓶颈,而在多核处理器中,Cache一致性协议十分复杂,验证难度大。针对Cache一致性协议验证提出基于模拟验证的一种基于贝叶斯网络的随机测试生成方法,解决Cache一致性协议状态空间爆炸的问题。首先分析了Cache一致性协议及基于贝叶斯网络推理的CDG方法,并将CDG方法应用于Cache一致性的验证。以FT处理器中的Cache一致性协议验证为例,对比伪随机测试,使用CDG方法将覆盖率提高近30%。
- 艾阳阳罗莉杨庆娜张恒浩夏婷婷
- 关键词：芯片验证CACHE一致性CDG贝叶斯网络
- 一种通用处理器核验证平台的设计
- 微处理器设计规模和复杂度的不断增大,功能验证已经成为设计的瓶颈.本文围绕一种通用处理器核的功能验证工作,构建了一种多种验证方法糅合的、基于TLM覆盖率驱动的模拟验证平台.该验证平台支持多种仿真器的模拟仿真以及对于代码覆盖...
- 赵望锋隋兵才王永文艾阳阳
- 关键词：体系结构
