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

L2 Cache Verification Platform Based on Open Vera

作　　者：陈莹[1] 樊晓桠[1] 

机构地区：[1]西北工业大学计算机学院,陕西西安710072

出　　处：《微电子学与计算机》2008年第11期216-218,221,共4页Microelectronics & Computer

基　　金：国防"十五"预研基金项目(41308010108)

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

关 键 词：验证 VERA 二级CACHE “龙腾R2” 验证平台 

分 类 号：TP31[自动化与计算机技术—计算机软件与理论]