覆盖矩阵反馈的演化测试程序生成方法

来源 :计算机辅助设计与图形学学报 | 被引量 : 2次 | 上传用户：wolfop

【摘要】

：

覆盖率驱动的测试程序生成是目前微处理器功能验证的研究热点之一,现有的演化测试程序生成方法应用到大规模复杂功能覆盖率模型时效果不佳.针对该问题,首先使用分组策略将全局功能覆盖率模型划分为若干覆盖率子模型,然后为每个覆盖率子模型独立运行基于覆盖矩阵反馈的演化测试程序生成进程.将文中方法应用到北大众志UniCore32定点处理器核的流水线控制相关机制的功能验证中,可以取得95.11%的功能覆盖率;与现有

【作者】

：

张良佟冬程旭王克义

【机构】

：

北京大学深圳研究生院,北京大学微处理器研发中心

【出处】

：

计算机辅助设计与图形学学报

【发表日期】

：

2011年03期

【关键词】

：

功能验证演化算法分组测试程序生成 functional verification evolutionary algorithm grouping test

下载到本地 , 更方便阅读

下载此文赞助VIP

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

论文部分内容阅读

其他文献

基于蚁群算法的三维CAD模型检索

为了更好地实现CAD模型的重用,提出一种利用蚁群算法的三维CAD模型检索算法.通过提取CAD模型的B-rep信息,将模型用属性邻接图来表示;根据如果2个CAD模型存在相似的特征或局部结构,那么CAD模型对应的属性邻接图就应存在公共子图这一原理,利用蚁群算法来检测属性邻接图中的公共子图,从而得到2个CAD模型相似的局部细节特征;然后通过比较相似局部细节特征对CAD模型进行相似性评价.实验结果表明,该

期刊

重用蚁群算法属性邻接图公共子图reuse ant colony algorithm attribute adjacent graph common su

“花样跳绳课课练”对水平三学生体质健康水平影响的实验研究

近年来,国家越来越关注青少年儿童的体质健康发展,重视学生的体育与健康课程将是大势所趋。进入21世纪后,“健康第一”的指导思想日渐深入人心,“趣味课课练”重新焕发了青春,成为中小学体育课堂中的重要组织形式。跳绳是一项传统的体育项目,迄今被称为“最完美的健身运动”,在跳绳运动中融入舞蹈、健美操、武术、杂技、音乐等多种新兴元素可称之为花样跳绳。跳绳具有简单易学、携带方便、成本小、对场地要求低,还具有观赏

学位

花样跳绳水平三学生体质健康测试

CO2提高采收率技术规模化应用必须解决的一个问题——液态CO2管输技术

目前世界上提高采收率的技术以注入CO2方法发展最为迅速。CO2提高采收率不仅是实现“剩余油”进一步开发的有效手段，也是保护环境、实现CO2气体捕集—封存一应用一体化的重要

期刊

CO2提高采收率液态CO2管道输送油气田

基于二元手性选择剂协同作用的毛细管电泳拆分氨基酸对映体研究

氨基酸的手性拆分在生命的起源、发育、病变及衰老研究中均有重要的意义. 虽然已有基于色谱和毛细管电泳的拆分方法, 但由于氨基酸种类繁多, 性质各异, 因而具有广泛拆分能力

期刊

二元手性选择剂毛细管电泳氨基酸对映体手性分离Β-环糊精牛磺胆酸钠激光诱导光荧光检测Chiral separation Amino acids β

硝仿肼离子对相互作用的密度泛函理论研究

用密度泛函理论(DFT)方法, 在B3LYP/6-31+G**水平下, 求得硝仿肼离子对体系势能面上2种全优化构型. 经基组叠加误差(BSSE) 和零点能校正, 求得离子对最大相互作用能为-420.03

期刊

硝仿肼离子对相互作用密度泛函构型热力学性质量子化学方法高能材料结合能Hydrazinium nitroformate(HNF) Ion pai

喜庆二十华诞再创新的辉煌——热烈庆祝《科学养鱼》创刊二十周年

时光飞驰，岁月如梭，1985年《科学养鱼》杂志创刊时的情景还历历在目，转眼已迎来了本刊诞辰20周年的盛典。20年来，在各级领导的关怀和帮助下，在各位专家及作者的大力支持下，在广大读

期刊

科学养鱼创刊创新1985年刊物质量成效显著社会效益科技期刊水产行业杂志社影响力

龟鳖主要疾病的最新防治技术（二）

(二)由细菌引发的腐皮病1.病原多为因体表损伤或环境恶化及寄生虫侵袭后感染嗜水气单胞菌、假单胞杆菌、爱德华氏菌等病原所致,感染病原多为革兰氏阴性菌。2.病症龟鳖稚、苗

期刊

防治技术疾病龟鳖嗜水气单胞菌革兰氏阴性菌假单胞杆菌爱德华氏菌环境恶化寄生虫病原感染体表

可溶性人源含硒抗体酶GPx的研究

对噬菌体展示人单链抗体库进行筛选, 得到与半抗原S-二硝基苯取代的谷胱甘肽二丁酯特异结合的单链抗体3B10. 用计算机模拟分析了单链抗体的空间结构, 发现抗原结合的CDR3区位

期刊

谷胱甘肽过氧化物酶人源抗体酶可溶性表达可溶性抗体蛋白Glutathione peroxidase Human catalytic antibody So

石蛙幼蛙及蝌蚪歪头病治疗实例

2017年6月笔者参与治疗了一例石蛙蝌蚪歪头病病例，现将养殖概况、发病过程及病情诊断、治疗方法分析讨论并总结如下，供广大石蛙养殖同仁参考。一、养殖概况养殖地点位于广东省

期刊

歪头病石蛙治疗蝌蚪养殖基地实例幼蛙病情诊断

MiR-26a-1,MiR-146a和MiR-199a-1与急性心肌梗死相关性的初步研究

背景与目的:急性心肌梗死(acute mycardial infarction,AMI)被认为是全球发病率和死亡率的主要原因之一。许多进展中的心肌梗死患者在到达医院接受治疗前死亡为了降低死亡率和改善急性心肌梗死的预后,早期和准确的诊断是有效治疗的必要条件。目前AMI的首选诊断生物标志物是心肌肌钙蛋白I和T(CTNI和CTNT),然而,CTN升高的假阳性结果可能与心衰、慢性肾脏疾病和败血症等疾病有关

学位

microRNAs急性心肌梗死经皮冠状动脉介入术心肌损伤标记物

覆盖矩阵反馈的演化测试程序生成方法

其他学术论文