基本信息来源于合作网站,原文需代理用户跳转至来源网站获取       
摘要:
在集成电路设计中,功能验证是主要的瓶颈之一.据估计,验证工作占设计工作开销的60%以上.Synopsys公司VMT(Vera验证模型技术)工具可减小验证的工作量、节约时间.文中描述了使用VMT对USBD(通用串行总线器件)模块的验证,验证了USBD部件符合协议规范、完成系统定义的要求,并对不同的数据传输方式进行比较.本设计已通过MPW(multi-project wafer)流片生产出实际芯片,其效果在实际的芯片上得到了验证,达到了设计的效果.
推荐文章
应用VMT快速搭建验证平台
系统功能验证
验证模型
验证环境
SoC验证
应用VMT快速搭建验证平台
系统功能验证
验证模型
验证环境
SoC验证
基于断言的验证方法在UART模块中的应用研究
可观察性
基于断言的验证
SVA
UART
基于 GSTE的验证在 UART模块中的应用研究
形式化验证
GSTE
UART
VIS
非阻塞性赋值
内容分析
关键词云
关键词热度
相关文献总数  
(/次)
(/年)
文献信息
篇名 VMT在USBD模块验证中的应用
来源期刊 电子工程师 学科 工学
关键词 USB 验证IP VIP Vera VMT
年,卷(期) 2005,(3) 所属期刊栏目 微电子与基础产品
研究方向 页码范围 14-16,59
页数 4页 分类号 TN492
字数 2826字 语种 中文
DOI 10.3969/j.issn.1674-4888.2005.03.006
五维指标
作者信息
序号 姓名 单位 发文数 被引次数 H指数 G指数
1 凌明 东南大学国家专用集成电路系统工程技术研究中心 76 344 10.0 14.0
2 罗明清 东南大学国家专用集成电路系统工程技术研究中心 4 20 2.0 4.0
3 蒋忠平 东南大学国家专用集成电路系统工程技术研究中心 3 13 2.0 3.0
4 华锡锋 东南大学国家专用集成电路系统工程技术研究中心 3 13 2.0 3.0
传播情况
(/次)
(/年)
引文网络
引文网络
二级参考文献  (0)
共引文献  (0)
参考文献  (0)
节点文献
引证文献  (1)
同被引文献  (1)
二级引证文献  (3)
2005(0)
  • 参考文献(0)
  • 二级参考文献(0)
  • 引证文献(0)
  • 二级引证文献(0)
2010(1)
  • 引证文献(1)
  • 二级引证文献(0)
2013(1)
  • 引证文献(0)
  • 二级引证文献(1)
2014(1)
  • 引证文献(0)
  • 二级引证文献(1)
2017(1)
  • 引证文献(0)
  • 二级引证文献(1)
研究主题发展历程
节点文献
USB
验证IP
VIP
Vera
VMT
研究起点
研究来源
研究分支
研究去脉
引文网络交叉学科
相关学者/机构
期刊影响力
信息化研究
双月刊
1674-4888
32-1797/TP
大16开
江苏省南京市
28-251
1975
chi
出版文献量(篇)
4494
总下载数(次)
11
总被引数(次)
24149
论文1v1指导