作者:
基本信息来源于合作网站,原文需代理用户跳转至来源网站获取       
摘要:
SystemVerilog是下一代芯片设计和验证语言,于2005年12月被标准化为IEEE P1800-2005.本文介绍SystemVerilog发展的过程及其对验证建模的支持,重点讨论其在功能验证方面的重要应用及使用技巧.
推荐文章
下一代网络(NGN)初探
NGN 软交换 SIP H.248 MGCP API No.7/SS7
下一代HTTP协议
WWW
HTTP
HTTP-NG
基于QoS的下一代网络的研究
服务质量
下一代网络
多协议标签交换
综合服务模型
区分服务模型
综合接入设备
面向下一代网络的管理
网络管理
策略
公共对象请求代理体系结构
NGN
内容分析
关键词云
关键词热度
相关文献总数  
(/次)
(/年)
文献信息
篇名 下一代芯片设计与验证语言:SystemVerilog(验证篇)
来源期刊 电子设计应用 学科 工学
关键词 SystemVerilog 设计和验证语言 功能验证 断言 验证方法学
年,卷(期) 2008,(12) 所属期刊栏目 设计新苑
研究方向 页码范围 61-67
页数 7页 分类号 TP3
字数 5519字 语种 中文
DOI
五维指标
作者信息
序号 姓名 单位 发文数 被引次数 H指数 G指数
1 钟文枫 2 52 1.0 2.0
传播情况
(/次)
(/年)
引文网络
引文网络
二级参考文献  (0)
共引文献  (0)
参考文献  (0)
节点文献
引证文献  (51)
同被引文献  (4)
二级引证文献  (8)
2008(0)
  • 参考文献(0)
  • 二级参考文献(0)
  • 引证文献(0)
  • 二级引证文献(0)
2009(5)
  • 引证文献(5)
  • 二级引证文献(0)
2010(4)
  • 引证文献(4)
  • 二级引证文献(0)
2011(5)
  • 引证文献(5)
  • 二级引证文献(0)
2012(4)
  • 引证文献(4)
  • 二级引证文献(0)
2014(7)
  • 引证文献(5)
  • 二级引证文献(2)
2015(8)
  • 引证文献(7)
  • 二级引证文献(1)
2016(5)
  • 引证文献(5)
  • 二级引证文献(0)
2017(8)
  • 引证文献(7)
  • 二级引证文献(1)
2018(7)
  • 引证文献(6)
  • 二级引证文献(1)
2019(3)
  • 引证文献(2)
  • 二级引证文献(1)
2020(3)
  • 引证文献(1)
  • 二级引证文献(2)
研究主题发展历程
节点文献
SystemVerilog
设计和验证语言
功能验证
断言
验证方法学
研究起点
研究来源
研究分支
研究去脉
引文网络交叉学科
相关学者/机构
期刊影响力
电子设计应用
月刊
1672-139X
11-4916/TN
大16开
北京市
82-839
2002
chi
出版文献量(篇)
3145
总下载数(次)
1
论文1v1指导