原文服务方: 现代电子技术       
摘要:
随着集成电路规模和复杂度的逐渐提高,百万千万门级以上的集成电路验证消耗了整个芯片开发过程大约70%的时间,不仅需要专职的团队,而且人数通常是设计团队的1.5~2倍.针对当前超大规模集成电路验证的这个瓶颈,在传统验证平台的基础上提出了代码覆盖率和功能覆盖率、随机激励与定向激励结合的验证方法.代码覆盖率确保代码的执行,功能覆盖率确保功能点的覆盖,随机与定向激励结合在验证的各个阶段有针对性地编写测试用例,三者相互结合实现高效率验证.此方法在多协议标签交换转发芯片项目中将验证时间缩短了三个月,而且问题的收敛速度加快,验证的规格更可靠.与传统的验证方法相比,此方法提高了验证效率,缩短了验证周期,增强了可靠性,对今后的项目开发有重要借鉴意义和指导意义.
推荐文章
基于覆盖率的功能验证方法
功能验证
协同仿真
自测检验
基于覆盖率的方法
结合断言与覆盖率为导向的验证方法
覆盖率
断言
验证方法
海量存储
功能覆盖率驱动的TAU/MVBC模块验证
功能覆盖率
验证方法学
报文分析单元
SystemVerilog
基于覆盖率模型的AMBA接口随机验证方法
覆盖率模型
约束化随机测试
AMBA AHB
龙芯1号IP核
片上系统
设计重用
内容分析
关键词云
关键词热度
相关文献总数  
(/次)
(/年)
文献信息
篇名 基于覆盖率的集成电路验证
来源期刊 现代电子技术 学科
关键词 芯片验证 代码覆盖率 功能覆盖率 随机激励 定向激励
年,卷(期) 2009,(14) 所属期刊栏目 软件技术
研究方向 页码范围 115-119
页数 5页 分类号 TN710
字数 语种 中文
DOI 10.3969/j.issn.1004-373X.2009.14.037
五维指标
作者信息
序号 姓名 单位 发文数 被引次数 H指数 G指数
1 赵建明 26 172 7.0 12.0
2 罗登富 2 37 1.0 2.0
传播情况
(/次)
(/年)
引文网络
引文网络
二级参考文献  (2)
共引文献  (26)
参考文献  (5)
节点文献
引证文献  (37)
同被引文献  (17)
二级引证文献  (33)
2002(1)
  • 参考文献(1)
  • 二级参考文献(0)
2003(1)
  • 参考文献(0)
  • 二级参考文献(1)
2005(2)
  • 参考文献(1)
  • 二级参考文献(1)
2006(2)
  • 参考文献(2)
  • 二级参考文献(0)
2007(1)
  • 参考文献(1)
  • 二级参考文献(0)
2009(1)
  • 参考文献(0)
  • 二级参考文献(0)
  • 引证文献(1)
  • 二级引证文献(0)
2009(1)
  • 引证文献(1)
  • 二级引证文献(0)
2010(1)
  • 引证文献(1)
  • 二级引证文献(0)
2011(5)
  • 引证文献(4)
  • 二级引证文献(1)
2012(9)
  • 引证文献(5)
  • 二级引证文献(4)
2013(10)
  • 引证文献(6)
  • 二级引证文献(4)
2014(11)
  • 引证文献(5)
  • 二级引证文献(6)
2015(8)
  • 引证文献(5)
  • 二级引证文献(3)
2016(9)
  • 引证文献(7)
  • 二级引证文献(2)
2017(5)
  • 引证文献(0)
  • 二级引证文献(5)
2018(4)
  • 引证文献(1)
  • 二级引证文献(3)
2019(6)
  • 引证文献(2)
  • 二级引证文献(4)
2020(1)
  • 引证文献(0)
  • 二级引证文献(1)
研究主题发展历程
节点文献
芯片验证
代码覆盖率
功能覆盖率
随机激励
定向激励
研究起点
研究来源
研究分支
研究去脉
引文网络交叉学科
相关学者/机构
期刊影响力
现代电子技术
半月刊
1004-373X
61-1224/TN
大16开
1977-01-01
chi
出版文献量(篇)
23937
总下载数(次)
0
总被引数(次)
135074
  • 期刊分类
  • 期刊(年)
  • 期刊(期)
  • 期刊推荐
论文1v1指导