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

作者：杨爽; 王天成; 李华伟

来源：南通大学学报(自然科学版), 2016, 15(04): 9-16.

• 可扩展处理器架构
• 系统芯片
• 功能验证
• 指令集体系结构
• 功能点

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

• 单位
  计算机体系结构国家重点实验室; 中国科学院计算技术研究所