• 中国精品科技期刊
  • CCF推荐A类中文期刊
  • 计算领域高质量科技期刊T1类
Advanced Search
Zhang Heng, Shen Haihua. Function Verification of Godson-2 Processor[J]. Journal of Computer Research and Development, 2006, 43(6): 974-979.
Citation: Zhang Heng, Shen Haihua. Function Verification of Godson-2 Processor[J]. Journal of Computer Research and Development, 2006, 43(6): 974-979.

Function Verification of Godson-2 Processor

More Information
  • Published Date: June 14, 2006
  • Developing a new leading edge Godson-2 processor is an immensely complicated undertaking. In the case of Godson-2 processor, the micro-architecture is significantly more complex than the previous Godson 1 processor and how to ensure the function correctness is a great challenge to verification participants. Simple architectural level tests are insufficient to gain confidence in the quality of the design. Detailed plan must be combined with a broad collection of methods and tools to ensure that design defects are detected as early as possible. Described in this paper are the verification flow and methodology in the Godson-2 processor design prior to tape out. Simulation is the dominant method in the design, and the state of art formal method are also used to verify some parts of the design.

Catalog

    Article views (755) PDF downloads (728) Cited by()
    Turn off MathJax
    Article Contents

    /

    DownLoad:  Full-Size Img  PowerPoint
    Return
    Return