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

• 作者: 樊晓桠 陈莹
• 来源期刊: 微电子学与计算机
• 关键词: 验证 Vera 二级cache '龙腾R2' 验证平台
• 年，卷（期）: 2008,（11）
• 页码范围: 216-218,221
• 页数: 4页
• 分类号: TP31
• 语种: 中文

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	樊晓桠	西北工业大学计算机学院	170	1393	17.0	29.0
2	陈莹	西北工业大学计算机学院	3	2	1.0	1.0