中文摘要：

处理器的设计越来越复杂,如何对处理器进行完备的功能验证面临着巨大的挑战.针对一款基于可扩展处理器架构（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.