基于机器学习的静态时序分析研究

来源 :西安电子科技大学 | 被引量 : 0次 | 上传用户:k3392301
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
随着现代IC设计的规模越来越大,EDA工具的运行时间也越来越长,设计者不得不牺牲精度以换取速度,但是过低的精度会导致不必要的优化,因此通常需要在结果的精度和运行时间上做折衷。在时序分析当中同样也存在这种折衷。基于图的时序分析方法GBA(Graph-Based Timing Analysis)速度快,但精度低,而基于路径的时序分析方法PBA(Path-Based Timing Analysis)精度高,但是速度慢。在流程的早期,设计者通常会选择GBA模式,但是由于GBA结果精度低,需要花费更多的精力在修复违例路径上。如何快速得到精确的时序分析结果成为了一个急待解决的问题。本文基于机器学习方法,使用实习公司提供的时序分析工具平台以及芯片设计案例,分别采用神经网络和图神经网络对GBA和PBA时序信息预测展开研究,并进行了结果对比分析,并且将机器学习模型运用至PBA穷尽模式。论文的主要工作包括:首先本文提出将神经网络运用于时序预测上,于现有技术基础上,添加新的关键特征。为了防止预测结果过于乐观而导致的问题,本文将自定义损失函数运用于模型里,实现了从GBA的时序信息预测PBA时序信息。其次基于神经网络模型,本文创新性地提出一种运用图神经网络预测时序的方法。由于图神经网络与电路图的天然关系,采用图神经网络能够非常好的拟合电路图结构。在构建图神经网络模型时,采用附加小型输出神经网络等方法来提高预测精度。同时还提出了一种三步预测的方法,限制了过于乐观的预测值数量占比。通过使用图神经网络模型预测时序,设计者能够在流程早期就获得接近PBA精度的时序信息,需要修复的违例路径就会减少,从而加快设计过程。最后本文创新性地提出将任意机器学习模型运用于PBA穷尽模式的方法,该方法能改善输入路径的排序以加快PBA穷尽模式的运行速度。论文所有的工作和提出的新方法均在真实IC设计上进行测试。实验表明,神经网络模型在悲观平均值上至少减少了76.9%,而图神经网络模型也在悲观平均值上至少减少了61.3%,均比现有研究有一定程度的提升,证明了模型确实能够显著减少GBA的悲观性,使得设计者能够用比PBA更少的时间得到比GBA更加精确的结果。实验表明,神经网络模型预测结果中过于乐观的结果最多占整体的14.5%,而图神经网络模型预测结果中过于乐观的结果在一些情况下只占整体的约3%,而现有研究当中均没有考虑到该问题。在PBA穷尽模式上,实验表明运用预测模型将会使得搜索路径数目减少多达34%。三个实验均表明论文提出的模型与方法具有实践意义。
其他文献
近年来,无线充电技术的普及对各类便携电子设备提出了快速发展的要求。无线充电芯片由于其耦合线圈输入范围较宽,无法直接对芯片内部各个功能模块进行供电,所以需要一种低压差线性稳压器(LDO,Low Dropout Regulator)电路,可将输入电压转换为合适的低电压并对内部电路供电,从而使无线充电芯片内部模块正常工作。基于上述问题,本文的主要研究目标是设计一个用于无线充电芯片内部的宽输入LDO电路。
学位
在卷积神经网络中,深度学习技术凭借其强大的特征提取能力、较强的分类能力,近年来在自然语言处理、语音识别、计算机视觉等领域都有广泛应用。但这种优异性能依赖于大量的参数量和计算量,随着卷积神经网络应用领域的不断扩大,与之对应的是需要有更好的硬件平台,其中就包括更高的计算能力和更好的数据带宽。目前行业内的佼佼者都在致力于挖掘各种基于芯片的解决方案。而CPU和GPU更高的功耗以及需要根据场景进行布置,此方
学位
在当今这个剧烈变化着的时代,伴随着诸如可穿戴电子产品、无人机、商用服务机器人、电动车内的各系统的车载控制器等智能设备越来越成熟、产品性能需求越来复杂,对充当伺服控制器的芯片的功能要求也越来越多变。因此采用旧有硬件结构的伺服控制器逐渐难以平衡实际应用中工程需求的各个方面。与此同时具备相当灵活性的So C设计也逐渐应用于伺服控制领域,伺服控制集成电路IP化已经是必然的趋势。目前,国内主打面向控制类需求
学位
随着信息时代和人工智能时代的快速发展,移动终端设备已经在人们的生活和工作中发挥了不可替代的作用,这对移动设备的充电速度以及充电设备的便携性都提出了更高的要求。反激式变换器以其拓扑结构简单、成本低和天然隔离输入输出环路的优点,在小功率变换器以及便携式设备的充电器领域广受欢迎。GaN功率管因为有着更高的迁移率,相比于传统的Si功率管有着更好的开关响应,在高速开关的场合中得到了越来越广泛的应用。本文设计
学位
近年来,随着人工智能快速发展,深度学习技术已经在许多领域发挥出巨大的作用。目前TensorFlow框架作为最主流神经网络框架之一,根据实际应用或再训练场景的改变,部署神经网络模型需要重新构建和训练模型,并且部署过程十分耗时。为了解决这一问题,微软联合多家公司推出了开放神经网络交换格式(Open Neural Network Exchange,ONNX),采用统一的标准保存深度学习模型。将Tenso
学位
随着后摩尔时代的到来,在超大规模集成电路设计阶段验证已经逐渐成为困扰各大芯片设计人员的关键问题,虽然可以使用软件仿真、硬件加速仿真等验证方法来加速验证流程,但是随着集成电路设计规模逐渐增大,原先的验证方法在时间成本上已经无法满足当前快速设计迭代的需求,使用FPGA进行芯片设计原型验证已逐渐成为验证阶段主流。但随着设计的规模剧增,单片FPGA已无法满足超大型集成电路设计的验证需求,从而衍生出高密度F
学位
计算机技术发展催生的建筑信息模型(BIM)是建筑工程行业近年来最热门的发展方向,已在建筑设施的规划设计、建造运营等环节发挥重要作用。随着物联网技术的发展,主要采用C/S架构的传统BIM服务对客户端的硬件配置要求高,学习和使用成本高,难以应对新的需求,构建基于Web端的BIM展示系统成为BIM发展的新出路。然而,在Web端BIM数据加载缓慢且渲染帧率低下,是Web端BIM展示系统的瓶颈。本文聚焦于在
学位
随着党政机关的文印市场以及各种书刊出版市场的不断扩大,机关及企业部门对印刷品质量的精确度要求也在不断地提高。而在印刷品的生产过程中,受到生产条件的影响,印刷品经常会出现各种各样的问题:例如在电子文件的排版阶段,图像分辨率的调整从而造成的信息缺失;输出印刷机的印刷生产阶段的漏印,飞墨等,都有可能导致打印出来的文件与原始文件有一些或多或少的差异,这种差异会体现在图文版式,漏字错字等可能造成信息缺失和信
学位
随着互联网技术的发展,社交媒体平台已成为人们日常沟通交流、获取信息的重要渠道,由于网络的虚拟性与隐蔽性,一些非法用户借助于社交媒体平台发布和传播负面言论,其中不乏充斥着色情、赌博、暴恐等敏感信息,严重影响着正常用户的网络社交体验,也影响着社会的稳定和长治久安。敏感文本通常以短文本形式出现,这些文本特征稀疏、包含的可用信息少、语法句式多变。其次,为了规避自动化匹配检测,这类文本中的敏感词还经常以其音
学位
在信息世界中,很多数据都可以用序列的形式表示,而检测数据间的相似性一直是工程领域中一个重要的研究课题,所以如何计算两个或多个序列的相似性是极其有意义的。例如,在生物技术领域中,通过分析两个生物基因序列的相似性可以判断它们是否具有近亲关系;在图片搜索中,通过计算目标图片与搜索集中图片之间的相似性可以发现与目标最匹配的图片。然而,计算序列之间的相似性通常可以转化为求多个序列的最长公共子序列(MLCS)
学位