“申威-1号”高性能微处理器功能验证.pdf

ISSN 1000-9825, CODEN RUXUEW E-mail: jos@ Journal of Software , Vol.20, No.4, April 2009, pp.1077− 1086 doi: 10.3724/SP.J.1001.2009.03602 Tel/Fax: +86-10 © by Institute of Software , the Chinese Academy of Sciences . All rights reserved. ∗ “ 申威-1 号”高性能微处理器的功能验证 + 黄永勤 , 朱 英, 巨鹏锦, 吴志勇, 陈 诚 ( 国家高性能集成电路(上海)设计中心,上海 201204) Functional Verification of “ShenWei-1” High Performance Microprocessor + HUANG Yong-Qin , ZHU Ying, JU Peng-Jin, WU Zhi-Yong, CHEN Cheng (National High Performance IC (Shanghai) Design Center, Shanghai 201204, China) + Corresponding author: E-mail: yqh1601@ Huang YQ, Zhu Y, Ju PJ, Wu ZY, Chen C. Functional verification of “ShenWei-1” high performance microprocessor. Journal of Software, 2009,20(4):1077−1086. /1000-9825/3602.htm Abstract : Today’s microprocessor designs are becoming more and more complicated, so effective and sufficient verification is one of the key factors to the success of design tape-out. This paper firstly introduces some common theories and methods in microprocessor functional verification, and then introduces the verification strategies and various verification methods used to verify “ShenWei-1” high performance microprocessor. The RTL (register transfer level) verification is highly important for functional verification. Simulation-Based verification is the main method in “ShenWei-1” RTL verification, and this paper introduces how to use all kinds of verification technologies to solve the key problems of the RTL simulation-based verification: Generating high quality stimulus, checking simulation results quickly, reaching