SOC层次化验证方法及应用

首先对SOC功能验证做了简要介绍，然后主要讨论了功能验证中的层次化验证方法，并以一个基于AMBA总线架构的SOC系统为例，从模块级、子系统级和系统级三个方面分别阐述了如何用层次化的方法进行验证。层次化验证方法主要分三层，第一层测试主要验证接口协议；第二层测试是对随机产生的大量的交易序列的测试；第三层测试主要是对特定的逻辑功能进行验证。每一层都是构建于其他层之上，这使得层与层之间衔接非常紧密，以便于在完成了第一层的测试之后可以快速地扩展到第二层进行测试，层次化验证方法的应用大大地提高了验证环境的执行效率。

SOC Layered Verification Approach and Application

The feature of SOC function verification is first introduced in this paper briefly, and then layered verification approach in the SOC function verification is mainly provided and describe how to apply layered verification approach to module level verification, subsystem level verification and system level verification. throgh an example of an AMBAbased SOC system. There are fundamentally three layers. The layer 1 tests target interface protocol verification.The layer 2 tests is to generate a lots of random transaction sequence tests. The layer 3 tests target applicationspecific logic. Each layer of tests builds on top of each others so moving from layer to layer requires minimal effort. Adoption of the layered verification approach will significantly improve the overall verification effect.