基本信息来源于合作网站,原文需代理用户跳转至来源网站获取       
摘要:
针对可编程器件在数字系统设计领域日益显现的重要性,分析了基于现场可编程门阵列(FPGA)的硬件设计的质量保证方法,指出必须对FPGA设计进行充分的验证以提高相应产品的可靠性.从验证方法和方法学角度阐述了验证平台的发展趋势,比较了当前主流的验证方法学,基于Synopsys VMM方法提出并实现了一种层次化的通用验证技术,运用该技术搭建的验证平台已在工程实践中得到应用,验证结果表明,在保证平台通用性的同时提高了验证效率.
推荐文章
基于VMM方法学的算法IP验证环境
VMM验证方法学
System
Verilog
算法IP验证
基于VMM的流量管理芯片验证
VMM
流量管理
芯片
验证
基于VMM的ALU验证
SystemVerilog
VMM
验证
算数逻辑单元
基于VMM实现的网络接口验证
VMM
参考模型
重用性设计
网络接口
覆盖率统计
内容分析
关键词云
关键词热度
相关文献总数  
(/次)
(/年)
文献信息
篇名 基于Synopsys VMM方法的FPGA验证技术
来源期刊 计算机应用 学科 工学
关键词 现场可编程门阵列 硬件设计 VMM 验证平台 验证方法学
年,卷(期) 2009,(9) 所属期刊栏目 软件过程技术
研究方向 页码范围 2527-2529,2533
页数 4页 分类号 TP302
字数 3993字 语种 中文
DOI
五维指标
作者信息
序号 姓名 单位 发文数 被引次数 H指数 G指数
1 刘淑芬 12 95 4.0 9.0
2 吕欣欣 4 46 2.0 4.0
传播情况
(/次)
(/年)
引文网络
引文网络
二级参考文献  (0)
共引文献  (0)
参考文献  (0)
节点文献
引证文献  (18)
同被引文献  (10)
二级引证文献  (22)
2009(0)
  • 参考文献(0)
  • 二级参考文献(0)
  • 引证文献(0)
  • 二级引证文献(0)
2010(1)
  • 引证文献(1)
  • 二级引证文献(0)
2011(5)
  • 引证文献(3)
  • 二级引证文献(2)
2012(2)
  • 引证文献(1)
  • 二级引证文献(1)
2013(4)
  • 引证文献(3)
  • 二级引证文献(1)
2014(7)
  • 引证文献(5)
  • 二级引证文献(2)
2015(3)
  • 引证文献(1)
  • 二级引证文献(2)
2016(5)
  • 引证文献(2)
  • 二级引证文献(3)
2017(3)
  • 引证文献(1)
  • 二级引证文献(2)
2018(4)
  • 引证文献(0)
  • 二级引证文献(4)
2019(5)
  • 引证文献(1)
  • 二级引证文献(4)
2020(1)
  • 引证文献(0)
  • 二级引证文献(1)
研究主题发展历程
节点文献
现场可编程门阵列
硬件设计
VMM
验证平台
验证方法学
研究起点
研究来源
研究分支
研究去脉
引文网络交叉学科
相关学者/机构
期刊影响力
计算机应用
月刊
1001-9081
51-1307/TP
大16开
成都237信箱
62-110
1981
chi
出版文献量(篇)
20189
总下载数(次)
40
总被引数(次)
209512
论文1v1指导