期刊导航
期刊开放获取
河南省图书馆
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
IC设计复杂化加剧 先进验证方式重要性倍增
下载PDF
职称材料
导出
摘要
虽然目前的 IC 设计持续以惊人的速度复杂化,但设计者仍然希望可以通过先进的验证工作提高工作效率。所谓的先进验证工作便是将测试平台自动化(Test-Bench Automation)和正式属性检测(FormalPropeny Checking)两功能添加到功能验证(Functional Verification)的流程之中。本文将主要探讨其中的基本概念、价值以及使用方法,进而帮助读者了解。
作者
Tom Fitzpatrick
出处
《电子测试(新电子)》
2005年第11期34-42,共9页
Micro-Electronics
关键词
验证工作
IC设计
杂化
倍增
工作效率
测试平台
功能验证
功能添加
设计者
分类号
F426.63 [经济管理—产业经济]
引文网络
相关文献
节点文献
二级参考文献
0
参考文献
0
共引文献
0
同被引文献
0
引证文献
0
二级引证文献
0
1
安全互动[J]
.电脑迷,2011(2):53-53.
2
高文庆.
基于隐条件随机场的行人属性检测方法研究[J]
.信息技术,2016,40(11):206-208.
3
韩晓冰,姚丹.
基于FPGA的车辆计费系统的设计与仿真实现[J]
.西安科技大学学报,2014,34(5):602-606.
4
Ma Qinsheng,Cao Yang,Yang Jun,Wang Min.
Random testing for system-level functional verification of system-on-chip[J]
.Journal of Systems Engineering and Electronics,2009,20(6):1378-1383.
被引量:4
5
电子竞技评测室测试平台[J]
.电子竞技,2006(19):124-124.
6
电子竞技评测室测试平台[J]
.电子竞技,2006(21):124-124.
7
荆心,张晓棠,郭军军,张市芳.
CEP隐私安全事件属性检测树及访问控制框架[J]
.西安工业大学学报,2016,36(7):533-538.
8
唐蕾红.
有关电力工程项目成本控制方法与对策分析[J]
.中国商界:上半月,2013(1):403-404.
9
曹达明.
电力工程项目成本控制的研究[J]
.科技创业家,2012(18).
10
郭文龙.
一种改进的相似重复记录检测算法[J]
.计算机应用与软件,2014,31(1):293-295.
被引量:7
电子测试(新电子)
2005年 第11期
职称评审材料打包下载
相关作者
内容加载中请稍等...
相关机构
内容加载中请稍等...
相关主题
内容加载中请稍等...
浏览历史
内容加载中请稍等...
;
用户登录
登录
IP登录
使用帮助
返回顶部