一款基于SPARC V8指令集体系结构的系统芯片的功能验证

• 作者: 李华伟 杨爽 王天成
• 来源期刊: 南通大学学报（自然科学版）
• 学科: 工学
• 关键词: 可扩展处理器架构 系统芯片 功能验证 指令集体系结构 功能点
• 年，卷（期）: 2016,（4）
• 所属期刊栏目: 电子 信息工程与计算机科学
• 页码范围: 9-16
• 页数: 8页
• 分类号: TN492
• 字数: 6136字
• 语种: 中文

摘要

处理器的设计越来越复杂,如何对处理器进行完备的功能验证面临着巨大的挑战.针对一款基于可扩展处理器架构(scalable processor architecture,SPARC) V8指令集体系结构的系统芯片进行验证,提取了该芯片的验证功能点,搭建了结果自动比对的验证平台.该平台采用定向测试用例生成和约束随机测试用例生成相结合的方式产生测试用例以支持各种功能场景的验证.项目仍处于验证实施过程中,目前已设计了170个测试用例,对125个验证功能点中的109个进行了覆盖,达到了84％的功能覆盖率,并发现了7处设计错误.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	李华伟	中国科学院计算技术研究所计算机体系结构国家重点实验室	55	595	14.0	22.0
2	杨爽	湘潭大学信息工程学院	8	95	3.0	8.0
4	王天成	中国科学院计算技术研究所计算机体系结构国家重点实验室	5	18	3.0	4.0