基本信息来源于合作网站,原文需代理用户跳转至来源网站获取       
摘要:
本文结合处理器芯片实际项目,重点介绍了功能验证环节的工作.文章基于VMM验证平台,利用System Verilog 语言自动生成测试激励,采用断言和功能覆盖率相结合的验证方法,实时监测RTL模型运行时的各种信号,自动进行覆盖率统计,通过增加约束实现覆盖率的快速收敛.文章最终给出了基于VMM验证平台进行功能验证的结果,绘制了功能覆盖率上升曲线.
推荐文章
基于VMM的流量管理芯片验证
VMM
流量管理
芯片
验证
基于虚拟机的兼容微处理器功能验证平台
微处理器
功能验证
仿真
兼容指令集
虚拟机
利用微处理器实现ASIC芯片设计的功能验证
ASIC设计
专用加密芯片
ATtiny12
基于VMM的ALU验证
SystemVerilog
VMM
验证
算数逻辑单元
内容分析
关键词云
关键词热度
相关文献总数  
(/次)
(/年)
文献信息
篇名 基于VMM统一验证平台的处理器芯片功能验证
来源期刊 火控雷达技术 学科 工学
关键词 VMM System, Verilog 断言验证 功能覆盖率验证
年,卷(期) 2010,(1) 所属期刊栏目 信号/数据处理
研究方向 页码范围 45-48
页数 4页 分类号 TP274
字数 2408字 语种 中文
DOI 10.3969/j.issn.1008-8652.2010.01.010
五维指标
作者信息
序号 姓名 单位 发文数 被引次数 H指数 G指数
1 洪一 20 237 9.0 15.0
2 孙立宏 2 7 2.0 2.0
传播情况
(/次)
(/年)
引文网络
引文网络
二级参考文献  (4)
共引文献  (5)
参考文献  (3)
节点文献
引证文献  (4)
同被引文献  (1)
二级引证文献  (3)
2002(1)
  • 参考文献(0)
  • 二级参考文献(1)
2005(2)
  • 参考文献(0)
  • 二级参考文献(2)
2006(1)
  • 参考文献(0)
  • 二级参考文献(1)
2007(1)
  • 参考文献(1)
  • 二级参考文献(0)
2008(2)
  • 参考文献(2)
  • 二级参考文献(0)
2010(0)
  • 参考文献(0)
  • 二级参考文献(0)
  • 引证文献(0)
  • 二级引证文献(0)
2011(3)
  • 引证文献(3)
  • 二级引证文献(0)
2012(2)
  • 引证文献(0)
  • 二级引证文献(2)
2017(1)
  • 引证文献(1)
  • 二级引证文献(0)
2019(1)
  • 引证文献(0)
  • 二级引证文献(1)
研究主题发展历程
节点文献
VMM
System,
Verilog
断言验证
功能覆盖率验证
研究起点
研究来源
研究分支
研究去脉
引文网络交叉学科
相关学者/机构
期刊影响力
火控雷达技术
季刊
1008-8652
61-1214/TJ
16开
陕西省西安市132信箱28分箱
1972
chi
出版文献量(篇)
1729
总下载数(次)
6
相关基金
国家高技术研究发展计划(863计划)
英文译名:The National High Technology Research and Development Program of China
官方网址:http://www.863.org.cn
项目类型:重点项目
学科类型:信息技术
论文1v1指导