基于UVM验证平台的回归测试集生成和最小化研究

来源 :浙江大学 | 被引量 : 0次 | 上传用户:xf1005
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
近年来,随着集成电路的集成度越来越高,电路的结构和功能越来越复杂。在芯片的开发过程中,能否高效且完备的对芯片进行验证已成为制约芯片的质量、开发成本和设计周期的关键。回归测试作为芯片验证的重要手段,在芯片设计过程中将被频繁的执行,用来确保芯片的修改不会影响芯片原有的功能和引入新的错误。但是,巨大的测试用例集使得回归测试的运行代价非常昂贵。目前,如何在保证测试完备性的前提下对测试用例集进行优化是芯片验证人员关注的热点问题之一。主流的测试用例集优化技术包括测试用例最小化、测试用例选择和测试用例优先级排序。本文主要针对回归测试模型讨论如何进行回归测试用例集的生成和最小化,降低回归测试的成本,提高测试效率。具体内容主要包括以下几个方面。第一,针对回归测试用例集的生成,本文基于UVM验证方法学设计回归测试平台,以功能覆盖率为驱动自动生成一组测试激励作为回归测试用例集,减少人为编写测试用例的过程。生成的测试用例集将作为初始测试用例集进行测试用例最小化的研究。第二,针对测试用例最小化问题,本文将遗传算法和贪心算法相结合,提出一种混合遗传算法用于解决测试用例缩减问题。该算法对选择、交叉和变异操作进行改善,提高算法的全局寻优能力;同时,利用贪心算法处理可行解和不可行解,提高算法的局部寻优能力。最后,将标准遗传算法和混合遗传算法分别应用于测试用例最小化问题上。实验结果表明,在保证测试完备性的前提下,混合遗传算法能够得到更优的缩减效果和更快的收敛速度。
其他文献
国网陕西省电力公司培训中心以目标驱动为导向,从研究党务工作的全流程管理入手,梳理出党务工作的关键指标,明确工作标准,对党务工作的全流程进行设计管理,全面促进党建管理
目的:观察白花前胡中总香豆素组分(TCP)对小鼠肝药酶活性的影响.方法:将小鼠随机分组,以氯霉素(25mg*kg-1,ig)为阳性对照,观察TCP(50,100,200 mg*kg-1,ig)分别对戊巴比妥钠(3
古河凿岩株式会社生产的FURUKAWAHCR15-ED钻机在使用过程中,出现发动机冒黑烟现象.
目的探讨地诺前列酮栓用于羊水偏少足月妊娠引产的有效性、安全性。方法有引产指征的足月妊娠孕妇92例,随机分成两组,每组46例。治疗组以地诺前列酮栓阴道用药,对照组给予缩
小学教育中德育工作至关重要,关系到千万学生的身心发展,班主任则是这一环节中最关键的一环。本文将从班主任的角度出 发,结合目前德育工作的现状,并根据多年的教学经验对提
目的:观察壳多糖(chitosan)对大鼠高脂血症的影响.方法:采用高脂饲料建立大鼠高脂血症模型,研究壳多糖对大鼠高脂血症的作用.结果:壳多糖(分子量5 000~10 000,200 mg·kg-
目的比较异环磷酰胺(IFO)联合吉西他滨(GEM)、顺铂(DDP)方案(IGP方案)和丝裂霉素(MMC)联合长春地辛(VDS)、DDP的方案(MVP方案)治疗晚期非小细胞癌(NSCLC)的疗效和不良反应.方
现如今,城市正面临新的发展形势,要在基础设施建设中融入绿色生态的发展理念,而海绵城市正是现代城市建设的一大方向,主要针对城市雨水排放系统,具有显著的雨洪水控制能力。
建立了超声辅助酶法提取-高效液相色谱-电感耦合等离子体质谱联用同时测定食品中无机硒和硒氨基酸等6种硒形态的新方法。对影响硒形态分离及提取的诸因素如提取方式、流动相p