利用自适应遗传算法的芯片功能验证自动测试

来源 :应用科学学报 | 被引量 : 2次 | 上传用户：wx9033016

【摘要】

：

针对芯片功能验证中存在的验证时间长以及与被测系统依存度高的问题,提出了利用自适应遗传算法的芯片功能验证自动测试方法.定义了事件的功能覆盖率和翻转覆盖率,分析了两种覆盖率之间的关系,采用两种覆盖率共同构造适应函数,提高了验证的可靠性.与采用经典遗传算法的验证方法相比较,能达到相同的覆盖率,同时可减少25%～30%的测试时间,提高不仿真效率.

【作者】

：

苏琳琳张晓林

【机构】

：

北京航空航天大学电子信息工程学院

【出处】

：

应用科学学报

【发表日期】

：

2011年06期

【关键词】

：

功能验证自适应遗传算法功能覆盖率翻转覆盖率自动测试 function verification adaptive genetic algorithm（

下载到本地 , 更方便阅读

下载此文赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

其他文献

金银花生态建设模式及生态效益和实施措施

着重介绍了不同气候、不同地形地貌、不同立地条件下的诸种金银花生态建设模式，及生态效益和实施措施。为各地在借鉴的基础上，进一步探索、提高、创新出最适合本地特色的金银花

期刊

模式石漠化退耕还林荒山旱地生态效益实施措施

共轭对称前导OFDM系统的定时偏移

该文研究多径衰落信道中基于共轭对称结构前导的OFDM符号同步.通过分析共轭对称相关定时度量的统计特性,指出共轭对称前导经过多径信道时,在路径间相对延迟为偶数采样间隔的

期刊

OFDM符号同步定时偏移共轭对称对称相关OFDM symbol synchronization timing offset conjugate-

浅析兆瓦级风力发电机组塔架检测技术

摘要：通过科学的设计以及严格的建造标准，让风力发电得以快速的发展。风力发电机组塔架通常是由3-4段塔筒组成，然后利用法兰进行连接，主机轮毂高度大约为90m左右，这是风力发电机组能够稳定运行的基础，因此，相关技术以及安装是否达到标准，则是建造完成之后的检验重点，本文重点分析了兆瓦级风力发电机组塔架超声波无损检测技术、塔架焊接工艺管理与检验。　　关键词：兆瓦级风力发电机组；塔架；检测　　1 超声波无

期刊

兆瓦级风力发电机组塔架检测

欠驱动无人艇轨迹跟踪的滑模控制方法

讨论欠驱动无人水面艇的轨迹规划和跟踪控制问题,并考虑动力学模型不确定性和环境干扰力的影响.对于给定二维惯性平面内的光滑期望轨迹,规划方法将获得船体坐标系下的参考跟

期刊

欠驱动无人艇轨迹跟踪滑模控制underactuated autonomous surface vehicle（ASV） trajectory tac

图Laplacian半监督特征加权用于高光谱波段选择

提出一种利用图Laplacian实现半监督波段选择的方法.该方法首先将标记样本类别信息引入图Laplacian,接着通过广义特征值求解确定投影变换矩阵,最后采用载荷因子对变换矩阵进行系数分析,对波段重要性赋以权值并排序.实验比较了多种波段选择算法,结果表明算法能更好地利用标记样本的类别信息和大量非标记样本中的局部结构信息,性能优于多种波段选择方法.

期刊

半监督特征加权图Laplacian波段选择高光谱数据分类semi-supervised feature weighting graph Laplaci

光纤陀螺自适应阈值滤波新方法

通过Lipschitz指数分析不同分解尺度上信号与噪声对应的小波系数变化情况和光纤陀螺输出信号模型，研究了一种新的基于离散小波变换的自适戍滤波方法．该方法町根据光纤陀螺输出

期刊

光纤陀螺小波变换自适应阈值fiber optic gyroscope wavelet transform adaptive threshold

用模型检验产生安全性质的测试

安全关键系统必须满足规定的安全性质．测试生成通常独立于给定性质，“先验证再测试”的方法不能保证安全性质被测试．为此，该文提出了一种基于输入一输出标记迁移系统的安全性质测

期刊

安全性质模型检验测试生成危险迹safety property model checking test generation dangerous t

用多元信号检测改进广义高斯噪声下的并行非线性检测器

在广义高斯噪声下,根据最大后验概率准则比较了多元信号的并行非线性检测和最佳并行线性检测.在高斯噪声条件下,并行非线性检测器性能接近于最佳并行线性检测器.若噪声是广义

期刊

多元信号检测广义高斯噪声线性检测器非线性检测器detection of multiple signals generalized Gaussian n

供热机组的热力与运行特性探讨

摘要：研究供热机组的相关性质对构建资源节约型、环境友好型社会具有重要的意义，其能够较好地促进社会的发展。当前时代存在几种主流的供热机组，其具有不一样的特点。对供热机组的动力特性和经济特性进行分析是研究供热机组的两个重要组成部分，其可以帮助相关人员更好地了解供热机组的特性。　　关键词：供热机组；经济特征；运行特征　　随着构建资源节约型、环境友好型社会理念的不断深入，现代人对节能环保有了非常大的关注。

期刊

供热机组经济特征运行特征

基于样本的图像修补方法在视频修复中的应用

将基于样本的图像修补方法用于视频修复,利用视频序列时间上的相关性对修补方法进行改进,提出一种对视频序列损伤的修补方法,可解决检测不到的视频损伤的修补难题.实验表明,与基于样本的图像修复方法相比,文中方法的修补效果更好,避免了错误填充和错误蔓延,提高了修补效率.

期刊

视频修复图像修补优先权最佳样本块纹理综合video restoration image inpainting priority best ex

利用自适应遗传算法的芯片功能验证自动测试

与本文相关的学术论文