基于机器学习的处理器验证研究

来源 :中国科学院研究生院 中国科学院大学 | 被引量 : 0次 | 上传用户:siyuezaici
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
集成电路工艺的不断发展和体系结构设计复杂度的不断提高给处理器验证带来了越来越多的挑战。功能验证和性能验证是处理器验证中最重要的两类工作。功能验证是为了保证设计出来的处理器能够按照指定的需求规范来正确地执行操作。当前最为流行的功能验证方法是基于模拟的动态验证,其核心在于如何生成高质量的验证激励和有效地评估验证流程。性能验证则是为了保证设计出来的处理器结构能够满足指定的性能需求。当前一般都采用性能模型来实现性能验证。对于上述功能和性能验证所面临的问题,本文结合龙芯处理器的验证实践,采用了一系列机器学习技术来提高功能和性能验证的质量和效率。   本文的主要工作和创新成果如下:   第一、对于功能验证,本文提出了基于无监督学习的处理器功能验证程序在线过滤机制。该机制使用冗余的验证程序作为训练样本,通过无监督学习来在线地构建预测模型,从而对新生成的验证程序是否冗余进行预测。如果判断是冗余的验证程序则不送入仿真阶段进行仿真。我们将该机制用于了龙芯2号处理器的功能验证。通过实验发现,与约束随机的验证程序生成相比,在达到相同的覆盖率的前提下,该方法可以减少约83%的验证激励,同时降低约79%的验证时间。   第二、对于功能验证,本文提出了基于有监督学习的设计错误预测技术并将其用于有效地指导和评估验证流程。该技术首先通过有监督学习算法构建硬件描述语言复杂度特征和设计错误之间的预测模型。此后将该模型用于预测连续设计的新版本设计中的模块的设计错误信息。根据预测出来的设计错误信息,验证人员可以更有效地指导和评估验证流程。我们通过在一系列开源设计和龙芯处理器上的实验验证了该方法的有效性。   第三、对于性能验证,本文提出了基于半监督学习和主动学习的处理器建模方法。该方法的显著特点是除了将已进行模拟的设计配置作为训练数据,还考虑了使用大量未进行模拟的设计配置来进行训练,使得在不增加训练开销的前提下大幅度地提高了预测模型的准确度。实验结果表明,该方法可以将模型的准确度提高35%-95%,能够更有效地辅助性能验证。   第四、对于性能验证,本文提出了基于集成学习的处理器建模方法。我们通过实验发现在不同设计场景上,基于单一学习方法的预测模型的预测准确度变化很大。为了降低该类方法针对不同设计场景的预测准确度的抖动,以提高基于机器学习的建模方法的实用性,本文采用了集成学习使得多个子学习方法相互协作,在提高预测准确度的同时得到更加鲁棒的预测模型。实验结果表明,该方法可以将模型的准确度抖动降低70%,大大提高了基于机器学习的处理器建模方法用于性能验证的实用价值。
其他文献
信息系统中往往存在各种各样的数据形式,例如以关系型数据格式在数据库中进行存储、以XML格式在Web上进行发布和交换等。不同格式之间的数据转换是实现信息交换、信息迁移和信
学位
复杂网络是研究复杂性科学的重要模型和工具之一,随着对复杂网络的研究,人们发现了复杂网络的许多重要的性质,其中社团结构是复杂网络最普遍最重要的拓扑性质之一。发现复杂网络
随着信息技术的不断发展,网络无疑已经成为人们日常生活的重要载体之一。随着网络应用不断丰富,网上用户量不断增加,网络上的数据流量也相应地飞速增长,为了保证网络高效持续
随着电子商务在全球范围内持续繁荣,客户的需求变得日趋个性化,如何针对客户的个性化需求迅速制定精确的生产计划已成为传统的加工制造企业不得不面对的难题。针对这种离散制
精确的大气与动态云可视化可以为航天、航空和虚拟战场等领域的仿真应用提供逼真的虚拟环境,对仿真结果精度的提升具有重要的意义。可视化建模中的准确性与实时性一直都是矛盾
等离子体控制系统是托卡马克装置的一个子系统,是用来监视和控制包括等离子体形状、位置、电子温度、密度等在内的众多等离子体参数的软硬件系统。放电过程中产生的实验数据,以
物联网(IoT,InternetofThings)已成为当今信息技术领域世界关注的焦点问题,世界各主要国家纷纷加入到物联网的研究中,中国在物联网的研究方面与世界同步。无线射频识别技术(RFI
随着信息技术的发展,维文电子文档数目迅速增长,如何快速准确的从浩如烟海的电子文档中获得所需信息成为一个亟待解决的问题。文本分类是处理和组织维文电子文档的一项关键技术
随着近年来我国航天事业的快速发展,深空探测技术受到大家越来越多的关注。深空探测技术的研究对我国航天领域的持续发展有着非常重要的现实意义。与近地卫星轨道设计相比较,深