高效能ESCA协处理器验证技术研究

• 作者: 吴丹 戴葵 邓承诺 邹雪城 黄威
• 来源期刊: 计算机工程与科学
• 学科: 工学
• 关键词: 处理器验证技术 ESCA处理器 边界值验证 等价类验证 决策表验证 综合验证法
• 年，卷（期）: 2014,（1）
• 所属期刊栏目: 高性能计算
• 页码范围: 28-33
• 页数: 6页
• 分类号: TP302
• 字数: 4529字
• 语种: 中文
• DOI: 10.3969/j.issn.1007-130X.2014.01.005

摘要

处理器结构的日益复杂使得对处理器功能进行有效验证变得越来越重要和关键.基于一款高效能计算协处理器ESCA,讨论了边界值验证、等价类验证和决策表验证等三类验证方法在ESCA处理器功能验证中的具体实现,并针对ESCA处理器中不同功能模块的基本特性提出了一种综合验证方法.实验结果表明,采用综合验证方法进行的ESCA处理器功能验证,不仅高效保证了验证案例集的生成,而且以较少的验证工作量实现了100％功能覆盖率,有效减少了ESCA处理器功能验证时间,提高了验证效率.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	邹雪城	华中科技大学电子科学与技术系	310	2261	21.0	31.0
2	吴丹	华中科技大学电子科学与技术系	52	266	10.0	14.0
3	邓承诺	华中科技大学电子科学与技术系	2	5	1.0	2.0
4	戴葵	华中科技大学电子科学与技术系	26	129	6.0	9.0
5	黄威	华中科技大学电子科学与技术系	11	39	3.0	6.0