收藏本站
《全国第13届计算机辅助设计与图形学(CAD/CG)学术会议论文集》2004年
收藏 | 手机打开
二维码
手机客户端打开本文

基于可观测性代码覆盖准则的激励生成方法

鲁巍  吕涛  杨修涛  李晓维  
【摘要】:本文首先提出一种可观测性信息的表征方式。在此基础上,提出基于可观测性代码覆盖准则的激励生成方法,该方法以未观测代码的分布为启发式信息,生成模拟激励,并在算法的执行过程中,动态地沿控制链回退进行未观测代码分布的再计算,指导后续激励的生成。

【相似文献】
中国期刊全文数据库 前10条
1 吕涛,李晓维,樊建平;模拟验证中的覆盖评估准则[J];微电子学与计算机;2003年02期
2 Synopsys;VCS Observed Coverage技术的评估[J];中国集成电路;2004年10期
3 张礼勇;齐丽彬;林海军;;基于SCOAP算法的电路设计改进[J];哈尔滨理工大学学报;2008年04期
4 Mentor Graphics;;基于断言的功能验证技术[J];中国集成电路;2005年10期
5 祝捷;状态空间与系统的描写[J];电力系统自动化;1979年03期
6 王祖彤;;IC的设计[J];通信技术;1993年03期
7 王勇,;组合电路门时滞故障的可测性分析[J];电子科技大学学报;1999年01期
8 徐磊,孙义和,陈弘毅;基于扫描的低测试功耗结构设计[J];计算机研究与发展;2001年12期
9 王勇;陈光(示禹);;门时滞故障的可测性分析[J];计算机科学;1998年05期
10 管致锦,张义清,邱建林;基于可观测性无关项的快速逻辑优化实现策略[J];微机发展;2003年06期
中国重要会议论文全文数据库 前7条
1 鲁巍;吕涛;杨修涛;李晓维;;基于可观测性代码覆盖准则的激励生成方法[A];全国第13届计算机辅助设计与图形学(CAD/CG)学术会议论文集[C];2004年
2 郭福成;;一种高斯分布的调整粒子滤波算法[A];第十二届全国信号处理学术年会(CCSP-2005)论文集[C];2005年
3 薛锋;刘忠;;粒子滤波器及其在水下纯方位跟踪中的应用[A];2005年全国水声学学术会议论文集[C];2005年
4 姜岩峰;鞠家欣;张晓波;杨兵;于韶光;;基于模拟集成电路BIST的ARMA模块设计[A];第十九届测控、计量、仪器仪表学术年会(MCMI'2009)论文集[C];2009年
5 张均军;叶星宁;;一种充电管理芯片的可测性设计[A];四川省电子学会半导体与集成技术专委会2006年度学术年会论文集[C];2006年
6 徐新河;陈光(衤禹);谢永乐;;数字电路可控性算法和C++程序实现[A];2004全国测控、计量与仪器仪表学术年会论文集(上册)[C];2004年
7 孙海平;;可重用的ASIC验证环境搭建[A];第十五届计算机工程与工艺年会暨第一届微处理器技术论坛论文集(A辑)[C];2011年
中国博士学位论文全文数据库 前3条
1 李杰;低功耗内建自测试(BIST)设计技术的研究[D];东南大学;2004年
2 孙强;VLSI高层次综合中可测性和低功耗设计方法研究[D];哈尔滨工程大学;2009年
3 易观理;镜像综合孔径辐射计阵列排布和图像重构方法研究[D];华中科技大学;2012年
中国硕士学位论文全文数据库 前10条
1 程俊;浮点FFT的VHDL实现及HDL功能测试方法的研究[D];湖南大学;2004年
2 黄武;视频SOC调试平台设计[D];上海交通大学;2008年
3 邓禹丹;数字电路测试生成平台研究与可测性设计的应用[D];南京航空航天大学;2007年
4 吕涛;模拟验证中覆盖评估技术的研究[D];中国科学院研究生院(计算技术研究所);2003年
5 程云波;基于边界扫描技术的复杂数字电路板的可测试性分析[D];西安电子科技大学;2007年
6 朱莉;VLSI高层测试生成方法的研究[D];华侨大学;2007年
7 黄颖然;基于覆盖率验证方法的IP核测试平台设计[D];西安电子科技大学;2009年
8 王叶南;基于AHB接口的USB2.0 OTG IP核验证[D];电子科技大学;2010年
9 万上宏;基于重用验证方法学的信道重编码系统功能验证研究[D];华南理工大学;2011年
10 陈礼升;基于AMBA总线的SoC通用平台搭建及其System Verilog验证研究[D];暨南大学;2011年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62791813
  • 010-62985026