一种基于Open Vera实现的L2 cache验证平台

随着设计复杂度的不断增加和设计规模的不断增大,传统的验证工具已难以适应当前功能验证的要求.Vera为验证增添了强大的语言能力.使用Vera建立验证平台,它独有的特性能够隐藏设计中的复杂性,从而使testbench的编写更见简洁.通过使用动态的激励驱动,实现了实际工作中的状态和全部极端的条件,从而发现设计中存在的瑕疵.使用Open Vera验证语言构建了"龙腾R2"L2cache验证平台,成功完成了"龙腾R2"的验证工作.

L2 Cache Verification Platform Based on Open Vera

Dramatic advances in design and synthesis tools have bred a new generation of increasingly complex chip and system designs that are extending traditional verification methods beyond their limits.But vera supply the great language power for verification.When we build the verification platform with the vera, it can pocket the complexity,make the testbench clear and save the time.Using vera the design must still be driven with dynamic stimuli to achieve true working states and exhaust extreme conditions and corner cases to expose possible design deficiencies.In this article,the writer introduce the method of building the platform using vera and apply it to validate the Level 2 of cache in "Long Tium R2" microprocessor,which makes the verification platform much full and clear,and successfully complete the verification of L2 cache.