基于受限随机矢量生成的功能验证

在SOC设计中，传统功能验证方法面临诸多挑战，主要体现在：①复杂验证场景难以构建。②边缘情况难以覆盖。基于受限随机矢量生成的功能验证方法在满足约束条件的前提下，随机产生验证矢量．有效解决了传统验证方法面临的挑战。本文以一款SOC的存储子系统控制模块为例，研究了在Specman验证平台上，使用E语言构建验证环境的基于受限随机矢量生成的功能验证在SOC设计中的应用。验证结果表明，复杂验证场景和边缘情况的覆盖率均达到100％。经过多目标圆片(MPW)流片试验和测试，采用该方法验证的模块达到设计要求。

Functional Verification Based on Generation of Constraint-Random Testbench

In SOC system on chip design , traditional functional verification method is confronted with some special challenges :(1)hard to make complex verification scenarios. (2)difficult to cover corner cases. While the method of functional verification based on generation of constraint-random testbench can randomly generate testbenches limited by some constraints, it resolves the challenges effectively. This paper emphersizes how to make verification environment with Specman and E language in SOC design and uses this method to verify memory controller of a SOC as a example. As result of verification, the coverages of complex verification scenarios and corner cases all reach 100%. MPW shows that the modules verified by this method meet the design specification.