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

Functional Verification of a SoC Based on the SPARC V8 Instruction Set Architecture

作　　者：杨爽[1,2] 王天成[2] 李华伟[2] YANG Shuang WANG Tiancheng LI Huawei(College of Information Engineering, Xiangtan University, Xiangtan 411105, China State Key Laboratory of Computer Architecture, Institute of Computing Technology, Chinese Academy of Science, Beijing 100190, China)

机构地区：[1]湘潭大学信息工程学院,湖南湘潭411105 [2]中国科学院计算技术研究所计算机体系结构国家重点实验室,北京100190

出　　处：《南通大学学报（自然科学版）》2016年第4期9-16,共8页Journal of Nantong University(Natural Science Edition)　

基　　金：国家自然科学基金项目(61432017)

摘　　要：处理器的设计越来越复杂,如何对处理器进行完备的功能验证面临着巨大的挑战.针对一款基于可扩展处理器架构(scalable processor architecture,SPARC)V8指令集体系结构的系统芯片进行验证,提取了该芯片的验证功能点,搭建了结果自动比对的验证平台.该平台采用定向测试用例生成和约束随机测试用例生成相结合的方式产生测试用例以支持各种功能场景的验证.项目仍处于验证实施过程中,目前已设计了170个测试用例,对125个验证功能点中的109个进行了覆盖,达到了84%的功能覆盖率,并发现了7处设计错误.The designs of the processor are becoming increasingly complex, and how to achieve adequate functional verification of the processor is facing great challenge. In this paper, a SoC based on the SPARC V8 instruction set architecture was verified, including extracting the verification functional points of the chip and setting up a verifica- tion platform which supports automatically comparison of the simulation results. The platform adopts the directed test case generation and the constraint based random test case generation to generate test cases to support verification of a variety of functional scenarios. The project is still under way, and until now, 170 test cases were designed and 109 of the 125 verification function points were covered, with the functional coverage of 84%. 7 design bugs have been caught to improve the design.

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

分 类 号：TN492[电子电信—微电子学与固体电子学]