作者:
原文服务方: 现代电子技术       
摘要:
随着集成电路设计规模的不断增大,设计验证工作越来越困难.介绍IEEE新标准System Verilog语言中用于验证的随机约束、功能覆盖率、断言技术和利用面向对象思想构建验证平台的一般方法.这些方法能极大提高芯片设计的效率,降低芯片设计的风险,减轻测试工程师的负担.
推荐文章
基于System Verilog的验证平台建模技术
System Verilog
面向对象
多线程
接口
邮箱
时钟块
System Verilog语言在数字系统设计中的应用
Systtm Verilog
系统芯片
电子系统级
HDB3编码
基于断言语言SVA的设计验证方法
验证方法
SVA
时序特性
因果特性
内容分析
关键词云
关键词热度
相关文献总数  
(/次)
(/年)
文献信息
篇名 基于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
  • 期刊分类
  • 期刊(年)
  • 期刊(期)
  • 期刊推荐
论文1v1指导