收藏本站
《第20届测控、计量、仪器仪表学术年会论文集》2010年
收藏 | 手机打开
二维码
手机客户端打开本文

基于功能信息的IC验证工程学研究

贾靖华  张多利  
【摘要】:集成电路在测控领域的应用日益广泛,而测试验证一直是集成电路设计的挑战性问题。总结了功能验证方法的发展方向原则——即形式化原则和抽象化原则。在此基础上,针对目前的功能验证方法所面临的诸如兼容性等问题,提出并研究了功能验证的工程学问题。给出了功能信息的概念;以功能信息为核心线索,以工程学思想为指导,提出了基于功能信息的验证工程学,研究了基于功能信息的验证工程学过程模型(FIVE模型),并研究了过程中的一些具体方法,包括功能信息的生成、应用,以及工程学中的理论研究、工具方法支持、标准化等问题。最后给出了现有验证方法学向基于功能信息的验证工程学过渡的演化模型。

手机知网App
【相似文献】
中国期刊全文数据库 前10条
1 尹郭靖;刘国海;梅从立;张静;;基于粒子滤波和过程模型的动态数据校正[J];计算机与应用化学;2011年07期
2 高明伦,张溯,李丽,胡永华;SoC设计的过程模型的研究[J];微电子学与计算机;2004年02期
3 王士杰;;高阶过程降阶的衰减频率法[J];自动化仪表;1985年09期
4 ;迄今强度最高激光束[J];科学大观园;2008年15期
5 ;韩国研究团队称已研发出全球首个纯白色LED[J];稀土信息;2009年07期
6 ;光调制与器件[J];中国光学与应用光学文摘;2001年02期
7 高剑;严卫生;徐德民;张福斌;;基于采样卡尔曼滤波的水下被动目标跟踪[J];火力与指挥控制;2006年12期
8 吴悦;徐宝宇;唐立三;杨洪斌;;SoC系统的并行性分析及划分[J];应用科学学报;2008年06期
9 黎明;;多值情报处理[J];微计算机信息;1993年01期
10 郑黎丽;湿法过程中SPC的实施[J];印制电路信息;2003年07期
中国重要会议论文全文数据库 前7条
1 贾靖华;张多利;;基于功能信息的IC验证工程学研究[A];第20届测控、计量、仪器仪表学术年会论文集[C];2010年
2 陈伟平;张丹;刘晓为;揣荣岩;;基于静电键合过程模型的工艺仿真[A];中国微米、纳米技术第七届学术会年会论文集(一)[C];2005年
3 庞举;;真空中激光加速电子CAS的条件[A];Strong Field Laser Physics--Proceedings of CCAST(World Laboratory) Workshop[C];2002年
4 杨慕杰;李扬;陈友汜;;自组装法制备NaPSS/ZnO超薄膜的湿敏特性[A];第八届全国气湿敏传感器技术学术交流会论文集[C];2004年
5 肖司淼;李宇波;李广波;江晓清;王明华;杨建义;;纳米平板硅波导的特性研究[A];浙江省光学学会第九届学术年会暨新型光电技术青年论坛论文集[C];2005年
6 陈红征;吴刚;荣宇;汪茫;;电子墨水微胶囊的制备及其应用[A];中国化学会第二十五届学术年会论文摘要集(下册)[C];2006年
7 杨立功;陈林;施敏敏;白茹;汪茫;陈红征;;界面纳米结构对有机光伏器件光电流性能的影响研究[A];中国化学会第二十五届学术年会论文摘要集(下册)[C];2006年
中国重要报纸全文数据库 前4条
1 琳琳 本报记者 风痕;浦诺菲PBH-6W蓝牙耳机上市[N];大众科技报;2006年
2 清水 编译;生物电子学: 发掘人体的强大功能[N];计算机世界;2006年
3 科技之光;生物性蛋白连结微芯片[N];中国高新技术产业导报;2002年
4 记者 朱斌;美研制出高效率纸电池[N];中国绿色时报;2009年
中国博士学位论文全文数据库 前3条
1 张多利;基于功能信息的验证工程学及若干验证技术研究[D];合肥工业大学;2005年
2 张溯;集成电路工程学及IP评测技术的研究[D];合肥工业大学;2004年
3 赵翼翔;面向半导体封装的点胶系统建模、控制与实现[D];华中科技大学;2004年
中国硕士学位论文全文数据库 前1条
1 王秀芹;软硬件协同设计中的划分算法研究[D];哈尔滨工程大学;2005年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62791813
  • 010-62985026