陈莹

作品数：1被引量：0H指数：0
导出分析报告
供职机构：西北工业大学计算机学院更多>>
发文主题：VERAOPEN二级CACHE更多>>
发文领域：自动化与计算机技术更多>>
发文期刊：《微电子学与计算机》更多>>
所获基金：国防科技技术预先研究基金更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-1
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
一种基于Open Vera实现的L2 cache验证平台
《微电子学与计算机》2008年第11期216-218,221,共4页陈莹 樊晓桠 
国防"十五"预研基金项目(41308010108)
随着设计复杂度的不断增加和设计规模的不断增大,传统的验证工具已难以适应当前功能验证的要求.Vera为验证增添了强大的语言能力.使用Vera建立验证平台,它独有的特性能够隐藏设计中的复杂性,从而使testbench的编写更见简洁.通过使用动...
关键词：验证 VERA 二级CACHE “龙腾R2” 验证平台 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部