作者:
原文服务方: 现代电子技术       
摘要:
随着集成电路设计规模的不断增大,设计验证工作越来越困难.介绍IEEE新标准System Verilog语言中用于验证的随机约束、功能覆盖率、断言技术和利用面向对象思想构建验证平台的一般方法.这些方法能极大提高芯片设计的效率,降低芯片设计的风险,减轻测试工程师的负担.
推荐文章
基于断言语言SVA的设计验证方法
验证方法
SVA
时序特性
因果特性
基于System Verilog的验证平台建模技术
System Verilog
面向对象
多线程
接口
邮箱
时钟块
基于System Verilog的接口模块化设计方法
System Verilog
FPGA
外设接口
模块化设计
System Verilog语言在数字系统设计中的应用
Systtm Verilog
系统芯片
电子系统级
HDB3编码
内容分析
关键词云
关键词热度
相关文献总数  
(/次)
(/年)
文献信息
篇名 基于System Verilog语言的设计验证技术
来源期刊 现代电子技术 学科
关键词 System Verilog 随机约束 功能覆盖率 断言 面向对象
年,卷(期) 2008,(6) 所属期刊栏目 电路设计
研究方向 页码范围 8-11
页数 4页 分类号 TN492
字数 语种 中文
DOI 10.3969/j.issn.1004-373X.2008.06.004
五维指标
作者信息
序号 姓名 单位 发文数 被引次数 H指数 G指数
1 张媛 长安大学研究生部 22 190 8.0 13.0
2 闫沫 西安建筑科技大学机电工程学院 21 126 5.0 10.0
传播情况
(/次)
(/年)
引文网络
引文网络
二级参考文献  (5)
共引文献  (11)
参考文献  (3)
节点文献
引证文献  (53)
同被引文献  (29)
二级引证文献  (76)
1995(1)
  • 参考文献(0)
  • 二级参考文献(1)
1996(2)
  • 参考文献(0)
  • 二级参考文献(2)
2003(1)
  • 参考文献(0)
  • 二级参考文献(1)
2004(2)
  • 参考文献(1)
  • 二级参考文献(1)
2006(2)
  • 参考文献(2)
  • 二级参考文献(0)
2008(0)
  • 参考文献(0)
  • 二级参考文献(0)
  • 引证文献(0)
  • 二级引证文献(0)
2009(5)
  • 引证文献(5)
  • 二级引证文献(0)
2010(10)
  • 引证文献(7)
  • 二级引证文献(3)
2011(11)
  • 引证文献(4)
  • 二级引证文献(7)
2012(18)
  • 引证文献(3)
  • 二级引证文献(15)
2013(13)
  • 引证文献(4)
  • 二级引证文献(9)
2014(16)
  • 引证文献(7)
  • 二级引证文献(9)
2015(18)
  • 引证文献(7)
  • 二级引证文献(11)
2016(12)
  • 引证文献(4)
  • 二级引证文献(8)
2017(11)
  • 引证文献(4)
  • 二级引证文献(7)
2018(9)
  • 引证文献(5)
  • 二级引证文献(4)
2019(4)
  • 引证文献(2)
  • 二级引证文献(2)
2020(2)
  • 引证文献(1)
  • 二级引证文献(1)
研究主题发展历程
节点文献
System Verilog
随机约束
功能覆盖率
断言
面向对象
研究起点
研究来源
研究分支
研究去脉
引文网络交叉学科
相关学者/机构
期刊影响力
现代电子技术
半月刊
1004-373X
61-1224/TN
大16开
1977-01-01
chi
出版文献量(篇)
23937
总下载数(次)
0
总被引数(次)
135074
  • 期刊分类
  • 期刊(年)
  • 期刊(期)
  • 期刊推荐
论文1v1指导