【摘 要】
：
随着VLSI(Very Large Scale Integrated)芯片设计的规模越来越大,功能越来越复杂,在FPGA(Field Programmable Gate Array)上实现或进行原型验证时,往往会出现布线拥塞或无法布通的情况.而不可满足子式能够迅速诊断FPGA无法布通的原因,并且精确定位关键线网.针对如何加速FPGA详细布线过程,提出了一种基于消解否证的启发式局部搜索算法,能够快速从布尔公式中提取不可满足子式.基于典型的FPGA布线测试集,与两种求解最小不可满足子式效率最高的算法进行了比较
【基金项目】
：
国家自然科学基金(No.62072464,No.U19A2062),并行与分布处理国家级重点实验室开放基金(No.WDZC20205500116)。
论文部分内容阅读
随着VLSI(Very Large Scale Integrated)芯片设计的规模越来越大,功能越来越复杂,在FPGA(Field Programmable Gate Array)上实现或进行原型验证时,往往会出现布线拥塞或无法布通的情况.而不可满足子式能够迅速诊断FPGA无法布通的原因,并且精确定位关键线网.针对如何加速FPGA详细布线过程,提出了一种基于消解否证的启发式局部搜索算法,能够快速从布尔公式中提取不可满足子式.基于典型的FPGA布线测试集,与两种求解最小不可满足子式效率最高的算法进行了比较
其他文献
井下地电阻率观测方法能有效减小和抑制地表干扰因素影响,提高观测精度.近年来,该方法在国内得到了快速发展.但也存在一些需要解决的问题,其中观测装置稳定性就是很重要的一个问题,影响装置稳定性最重要的因素就是外线路绝缘性能.外线路埋设在上百米深的地下,其绝缘性能在长期的观测中可能出现变化,对观测结果造成影响.本文通过理论分析计算,定量给出了井下地电阻率观测中线路绝缘性能对观测结果影响,并据此提出了外线路
目前的新闻分类研究以英文居多,而且常用的传统机器学习方法在长文本处理方面,存在局部文本块特征提取不完善的问题.为了解决中文新闻分类缺乏专门术语集的问题,采用构造数据索引的方法,制作了适合中文新闻分类的词汇表,并结合word2vec预训练词向量进行文本特征构建.为了解决特征提取不完善的问题,通过改进经典卷积神经网络模型结构,研究不同的卷积和池化操作对分类结果的影响.为提高新闻文本分类的精确率,本文提出并实现了一种组合-卷积神经网络模型,设计了有效的模型正则化和优化方法.实验结果表明,组合-卷积神经网络模型对
研究多天线窃听者场景基于混合精度模数转换器(Analog-to-Digital Converter,ADC)大规模多输入多输出(Multiple Input Multiple Output,MIMO)中继系统,中继将接收到的信号放大转发,通过在基站采用最大比合并接收信号,推导出合法用户与窃听者的频谱效率表达式,最终得出系统保密频谱效率表达式.根据能量效率定义建立功耗模型,推导保密能量效率表达式,并分析保密频谱效率和保密能量效率之间的平衡关系,进而揭示基站天线数、ADC量化位数等参数对物理层安全性能的影响.
针对传统串行聚类集成算法在处理高维海量数据时效率低下的问题,提出基于Spark的并行聚类集成算法SCEA(Spark based Clustering Ensemble Algorithm).首先,通过主成分分析与成对约束结合的方法对算法输入数据进行预处理,达到数据降维并去除特征相关性的目的;其次,通过调用不同聚类算法获得基聚类成员后,采用三元组方法通过基聚类成员的簇标签构造出相似度矩阵,并调用层次聚类算法得到最终的聚类结果;最后,在调用MLlib中已有聚类算法的基础上,基于Scala对SCEA算法进行了
针对蝴蝶优化算法存在的问题,提出一种融合差分变异策略并根据进化代数自适应调整权重的蝴蝶优化算法.首先,在全局搜索阶段引入非线性惯性权重改善蝴蝶位置更新公式,自适应调节算法在不同进化时期的搜索范围和粒度,提高算法的收敛速度与寻优精度;然后通过加入F分布全局自适应随机变异对全局公式进一步改进,提升算法的全局探索遍历性,防止出现低精度早熟现象;最后在局部搜索阶段融入具有判定系数和扰动因子的双向差分变异策略,在不减损种群多样性的同时使蝴蝶个体的探索更具方向性,有利于算法摆脱局部极值点,加快收敛速度.理论分析证明了
针对传统磁梯度张量方法定位精度易受运动载体平台晃动影响的问题,本文提出了一种基于十字形磁梯度张量系统结构的磁梯度张量特征值不变量定位方法,该算法有效了克服载体平台晃动对定位精度带来的影响,并进一步分析了影响该算法定位性能的因素.相比于三阶张量定位算法与多点测量线性定位算法,本文算法的代价在于AUV(Autonomous Underwater Vehicle)载体平台必须要有一次上升或下潜动作.仿真实验结果表明:在无环境磁干扰和平台无晃动的理想情况下,本文算法的定位精度仅次于欧拉定位法,当存在环境磁干扰时,
2021年,中国共产党成立100周年.百年来,党领导中国人民历经艰苦卓绝的奋斗,取得了新民主主义革命、社会主义革命的伟大胜利和社会主义现代化建设的巨大成就,而今又在实现中华
阐述了一起皮带轮电机运行中突发的转轴断裂事故,分析了事故发生的原因,并提出了针对性的预防措施,为同类型电机设备提供参考。
通过对第十七届中国国际机床展览会(CIMT 2021)参展特种加工机床的现场观摩、资料收集以及与参展厂商的交流座谈,对国内外电加工机床、激光加工机床、增材制造机床的技术特点
围绕无线传感器网络(Wireless Sensor Network, WSN)在直达(Line-Of-Sight, LOS)与非直达(Non-Line-Of-Sight, NLOS)混合传播环境中目标无源定位精度提高问题,提出基于弧边凸包的残差检测(Residual Test based on Arc-edged Convex hull, RTAC)算法.RTAC算法利用各个传感器的测距残差分布特