作者:
基本信息来源于合作网站,原文需代理用户跳转至来源网站获取       
摘要:
本文基于中科院计算所某项目实际工作,介绍如何利用高级验证语言、验证基本库、以及成熟的验证模型,快速建立可随机产生测试向量、向量场景可调制、并具有覆盖率收集功能的验证系统.项目采用SystemVerilog语言,测试平台架构基于Synopsys公司最新的验证方法VMM,并使用DesignWare系列验证IP加快平台的建立.
推荐文章
基于VMM方法学的算法IP验证环境
VMM验证方法学
System
Verilog
算法IP验证
AXI 总线加密模块的设计与验证
AXI加密
AES-CTR模式
验证VIP
统一验证方法学
AMBA总线新一代标准AXI分析和应用
片上总线
AXI
AMBA
ARM
片上系统
内容分析
关键词云
关键词热度
相关文献总数  
(/次)
(/年)
文献信息
篇名 VMM验证方法在AXI总线系统中的实现——Verification IP应用一例
来源期刊 中国集成电路 学科 工学
关键词 SystemVerilog 验证IP VMM
年,卷(期) 2007,(6) 所属期刊栏目 设计
研究方向 页码范围 19-23
页数 5页 分类号 TN4
字数 3544字 语种 中文
DOI 10.3969/j.issn.1681-5289.2007.06.003
五维指标
作者信息
序号 姓名 单位 发文数 被引次数 H指数 G指数
1 张珩 中科院计算所 2 63 2.0 2.0
传播情况
(/次)
(/年)
引文网络
引文网络
二级参考文献  (0)
共引文献  (0)
参考文献  (0)
节点文献
引证文献  (19)
同被引文献  (17)
二级引证文献  (57)
2007(0)
  • 参考文献(0)
  • 二级参考文献(0)
  • 引证文献(0)
  • 二级引证文献(0)
2008(2)
  • 引证文献(2)
  • 二级引证文献(0)
2009(6)
  • 引证文献(5)
  • 二级引证文献(1)
2010(6)
  • 引证文献(3)
  • 二级引证文献(3)
2011(8)
  • 引证文献(2)
  • 二级引证文献(6)
2012(13)
  • 引证文献(2)
  • 二级引证文献(11)
2013(8)
  • 引证文献(1)
  • 二级引证文献(7)
2014(9)
  • 引证文献(1)
  • 二级引证文献(8)
2015(8)
  • 引证文献(1)
  • 二级引证文献(7)
2016(6)
  • 引证文献(1)
  • 二级引证文献(5)
2017(8)
  • 引证文献(0)
  • 二级引证文献(8)
2018(1)
  • 引证文献(1)
  • 二级引证文献(0)
2019(1)
  • 引证文献(0)
  • 二级引证文献(1)
研究主题发展历程
节点文献
SystemVerilog
验证IP
VMM
研究起点
研究来源
研究分支
研究去脉
引文网络交叉学科
相关学者/机构
期刊影响力
中国集成电路
月刊
1681-5289
11-5209/TN
大16开
北京朝阳区将台西路18号5号楼816室
1994
chi
出版文献量(篇)
4772
总下载数(次)
6
总被引数(次)
7210
论文1v1指导