收藏本站
收藏 | 手机打开
二维码
手机客户端打开本文

伪布尔可满足性算法及其在FPGA布线中的研究应用

唐玉兰  
【摘要】: 现场可编程门阵列(FPGA)主要包括可配置逻辑模块和布线模块,它支持可编程重复配置,具有灵活、风险低、开发周期短等优势,在通信、工业控制、汽车电子、数据处理、消费电子等领域得到了广泛应用。随着FPGA内部可配置资源容量的增加,对应的计算机辅助设计(CAD)工具也需要升级和优化。随着设计复杂程度的提高,将一个设计配置到FPGA上往往需要CAD工具计算很长时间方可满足各种参数要求。而布线阶段通常需要消耗整个CAD流程近30%的时间,因此,高效的布线算法对缩短整个FPGA开发的时间至关重要。 目前已开发多种布线算法并获得应用,其中布尔可满足性(SAT)布线算法及几何查找布线算法是当前最为流行的两种。两者各有优缺点。基于几何查找的布线算法由基本迷宫(Maze)算法演化而来,它虽然可经过优化来提高布线速度,但由于一次只能布一根线,其可布通性较难确定,通常依靠设定运行时间的上限来实现算法终止。另外,其它由迷宫算法优化演化而来的各种几何查找算法也均存在依赖布线顺序的缺点。相比之下,基于SAT的算法由于可同时给所有线网布线,因此能从理论上证明可布通性。但是,这种算法需要大量的变量和约束条件,所以可扩展性并不好。 最近,一种基于伪布尔可满足性(PBS)的布线算法成为FPGA布线算法的研究热点。和一般基于SAT的算法类似,PBS算法可同时给所有线网进行布线,因此也能准确判断可布通性。和SAT算法不同的是,它将约束条件用精简的表达式表示,需要的布线变量和公式大大减少,因此显著降低了内存需求,提高了扩展性。但是,伪布尔可满足性算法在布线过程中所需的转换成本过大,不适用于大型布线基准。本文探索一种能有效解决以上问题的新型算法,具体研究工作和结果如下: (1)在全面调查FPGA结构最新研究动态的基础上,给出了一种FPGA布线结构模型,即基于SRAM的对称阵列(岛状)FPGA结构,仅需3个适合的参数即能表示布线结构。详细研究了布尔可满足性算法、伪布尔可满足性算法和两种几何查找布线算法,即一种基于协商性能驱动的布线算法PathFinder和一种协商A*布线算法Frontier。选取全局布线实例和Max-SAT布线基准的大规模基准电路,对Frontier、SAT和PBS进行了分析比较。结果表明,利用伪布尔约束编码比用纯粹的合取范式(CNF)显示出更好的紧密性、更短的运行时间,且编码更简洁紧凑。针对伪布尔可满足性问题扩展开发的解法器PBS,与以前所报道的两种方法相比较——早期的几何查找算法和现在用于纯CNF约束的解法器Chaff,从而验证了伪布尔可满足性所需存储空间更小,并能有效加速求解的特性。 (2)近年来0-1整数线性规划(Integer Linear Programming , ILP)的发展进一步扩展了优化线性目标函数,这通常是通过解决一系列的SAT或者ILP决策问题来实现的。但是目标函数可能会使采用对称的约束变得复杂化,即使目标函数的约束不可满足,并且与目标函数不相关。本文在对称破缺技术的基础上,开发了一种自适应流程,结合静态对称破缺技术和动态对称破缺技术,可以分析一个给定的布尔优化问题,并能挑选最合适的对称破缺技术。实验结果证明,当这种技术用于布线时,比纯粹的静态对称破缺或动态对称破缺加速了问题的解决。 (3)为了改善伪布尔可满足性算法在布线过程中增加转换成本的负面影响,提出了一种用于FPGA的新的布线算法,综合了伪布尔可满足性算法与几何布线算法的优点。在布线过程中,先选用Frontier或PathFinder这类几何布线算法对FPGA进行布线,如果不能成功再采用伪布尔可满足性算法。并在布线流程中增加了静态对称破缺技术对伪布尔约束进行预处理,侦测并破缺其中的对称,减少搜索路径,从而减少成本。实验结果表明,这种混合布线方法可以显著减少运行时间,加速求解过程。 (4)研究了用子集可满足性(sub-SAT)算法求解FPGA详细布线的问题。在布线资源固定的FPGA布线环境中,布尔公式可以证明所给电路的不可布通性,优于典型的one-net-at-a-time方法。子集可满足性方法把一个有N个约束的“严格的”SAT问题转换成一个新的“松弛的”SAT问题,仅当在原始问题中变量的不可满足个数不超过阈值k( k N)时,这一问题是可满足的。它改进了布尔可满足性,但是却产生了很多额外的变量和子句。针对这一问题,提出了两种改进方法。第一,用伪布尔可满足性(PBS)来消除子集可满足性公式带来的缺点。第二,针对子集可满足性算法在求解同时增加额外的变量和字句,而使得对称数量按指数级增长的问题,选用增加静态对称破缺的方法对CNF进行预处理,侦测并破缺其中的对称,从而达到减少搜索路径的目的。用简化图自同构的方法来侦测所有对称性,在增加合适的对称破缺判定(SBPs)后,限制搜索在空间的非对称领域进行,从而减少了搜索空间,而不影响CNF公式的可满足性。然后把预处理过的CNF送入布尔可满足性(SAT)解法器进行求解。实验结果表明,这两种方法可以显著减少运行时间,加速求解过程。 论文最后对所做工作进行了总结,并提出了进一步研究的方向。


知网文化
【相似文献】
中国期刊全文数据库 前20条
1 朱利民;边计年;周强;蔡懿慈;;基于整数规划的层次式FPGA布线算法[J];计算机辅助设计与图形学学报;2010年10期
2 徐京晶;最先进的10万门现场可编程门阵列(FPGAs)[J];微处理机;1996年03期
3 ;Xilinx免费WEB设计工具增加FPGA支持[J];世界电子元器件;2000年11期
4 罗剑波,姜伟;一种基于FPGA技术的高频疲劳试验机控制器的研制[J];电子工程师;2001年09期
5 Xilinx Inc.Amit Dhir;FPGA推动无线局域网发展[J];电子产品世界;2002年22期
6 Saeid Mousavi,Stephen Cheng;平台FPGA架构用于复杂嵌入式系统[J];今日电子;2002年06期
7 黄莺;Xilinx:创新求变 逆风飞扬[J];世界电子元器件;2002年09期
8 胡玲娜,张小军,邓鸿威;基于SYSTEM C的FPGA设计方法[J];今日电子;2003年12期
9 彭飞,赵继勇;基于FPGA的全数字低中频QPSK调制解调器实现[J];电子设计应用;2003年09期
10 Ken O'Neill;降低单事件辐射对卫星用FPGA的影响[J];电子设计应用;2003年12期
11 包明,赵明富,郭建华;基于FPGA的高速高精度频率测量的研究[J];单片机与嵌入式系统应用;2003年02期
12 杜兆林 ,吴嗣亮;基于FPGA的专用信号处理器设计和实现[J];电子设计应用;2004年06期
13 ;Altera新款Cyclone II FPGA比前一代成本低30%[J];单片机与嵌入式系统应用;2004年08期
14 ;用作嵌入式处理器定制外围器件的FPGA[J];世界电子元器件;2004年09期
15 赵科;基于FPGA的加密算法的设计[J];微计算机信息;2004年09期
16 张庆玲;基于FPGA汉字显示的VHDL语言实现[J];陕西科技大学学报;2004年02期
17 边绍辉,蔡晋辉,周泽魁,张光新;基于DSP和USB接口的视觉检测系统的设计[J];计算机工程;2004年20期
18 刘宏伟 ,郑立云 ,董代洁 ,冯一兵;USB实验装置的研制与开发[J];单片机与嵌入式系统应用;2004年12期
19 张文艳,陈立强,程方,程刚;用FPGA实现水声MFSK信号的同步接收及解码[J];探测与控制学报;2004年04期
20 梁慧;FPGA在机载雷达信号处理系统中的应用[J];现代雷达;2005年02期
中国重要会议论文全文数据库 前10条
1 侯金华;;基于FPGA的SOC系统可靠性设计[A];2011中国电工技术学会学术年会论文集[C];2011年
2 张健;孙辉先;陈晓敏;安军社;;反熔丝FPGA的可靠性设计措施[A];第二十三届全国空间探测学术交流会论文摘要集[C];2010年
3 ;Design and Research of Video Fire Detection System Based on FPGA[A];Proceedings of the 2011 Chinese Control and Decision Conference(CCDC)[C];2011年
4 董雪;费建军;白娇杨;;基于FPGA的智能火灾报警系统的设计与研究[A];天津市电视技术研究会2012年年会论文集[C];2012年
5 肖松;李跃华;张金林;;基于FPGA局部动态可重构的抗SEU容错系统研究[A];教育部中南地区高等学校电子电气基础课教学研究会第二十届学术年会会议论文集(下册)[C];2010年
6 王玮;钱伟康;应怀樵;;基于FPGA的PXI高速数据采集系统硬件设计[A];现代振动与噪声技术(第九卷)[C];2011年
7 钱伟康;梁利娟;王丽丽;;一种基于FPGA的CAN总线船舶监控系统[A];全国第三届信号和智能信息处理与应用学术交流会专刊[C];2009年
8 杨学友;叶振忠;刘常杰;李博文;;一种高速智能化视觉传感器设计[A];第三次全国会员代表大会暨学术会议论文集[C];2002年
9 鲁艳;雷维嘉;谢显中;;基于Avalon接口的交织编码技术的FPGA实现[A];2010年通信理论与信号处理学术年会论文集[C];2010年
10 许超;肖铁;施柏鑫;;基于FPGA的电子内窥镜视频处理系统[A];全国第二届信号处理与应用学术会议专刊[C];2008年
中国博士学位论文全文数据库 前10条
1 唐玉兰;伪布尔可满足性算法及其在FPGA布线中的研究应用[D];江南大学;2010年
2 谢丁;FPGA互连结构评估系统研究与实现[D];复旦大学;2011年
3 张承畅;多FPGA系统的关键问题及应用研究[D];重庆大学;2011年
4 李鹏;基于元构件的FPGA硬件构件设计技术研究[D];解放军信息工程大学;2011年
5 章淳;针对FPGA复杂可编程逻辑单元的快速布尔匹配方法研究[D];复旦大学;2011年
6 廖永波;SOC软硬件协同方法及其在FPGA芯片测试中的应用研究[D];电子科技大学;2010年
7 邬贵明;FPGA矩阵计算并行算法与结构[D];国防科学技术大学;2011年
8 薛晓勇;新型存储器在FPGA中应用的关键技术研究[D];复旦大学;2011年
9 王建庄;基于FPGA的高速图像处理算法研究及系统实现[D];华中科技大学;2011年
10 王洁;基于FPGA的硬件防火墙内容过滤技术研究[D];哈尔滨工业大学;2009年
中国硕士学位论文全文数据库 前10条
1 周志娟;相移波束形成的FPGA实现[D];哈尔滨工程大学;2011年
2 许冲;激光脉冲定距算法研究与FPGA实现[D];哈尔滨工业大学;2011年
3 叶忠彬;基于FPGA的数字频率合成系统的设计与实现[D];电子科技大学;2011年
4 彭涵阳;无串扰超声测距系统的激励方法及基于FPGA的设计与实现[D];天津大学;2010年
5 杜国女;基于FPGA的音乐景观灯的设计与实现[D];兰州交通大学;2011年
6 隆志远;基于FPGA和光电耦合的旋转机械非接触双向信号传输系统[D];南京航空航天大学;2010年
7 袁臻;电动多叶光栅通讯部分的FPGA实现[D];上海交通大学;2009年
8 刘开健;基于FPGA的实时图像处理系统的设计与实现[D];昆明理工大学;2008年
9 刘钰力;基于FPGA的SHA256高效数字加密系统[D];兰州大学;2011年
10 王恕;基于FPGA的伺服电机速度测量算法研究与实现[D];上海交通大学;2012年
中国重要报纸全文数据库 前10条
1 海英;赛灵思发布新型FPGA芯片方案[N];人民邮电;2009年
2 ;实现FPGA产品差异化[N];中国电子报;2011年
3 ;FPGA为消费电子提供安全保证[N];中国电子报;2011年
4 本报记者 赵艳秋 冯晓伟 冯健;FPGA:市场应用广 门槛需降低[N];中国电子报;2009年
5 本报记者 冯晓伟;FPGA格局难改 新兴企业胜算几何?[N];中国电子报;2009年
6 ;异步架构FPGA实现业界最高速度[N];中国电子报;2009年
7 ;突破功耗和成本限制设计中国需要的FPGA[N];中国电子报;2009年
8 ;通信仍是FPGA最大市场[N];中国电子报;2009年
9 本报记者 梁红兵;赛灵思:降低FPGA应用门槛[N];中国电子报;2010年
10 华北光电技术研究所 刘刚;FPGA+DSP升级热像设计[N];中国电子报;2010年
中国知网广告投放
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978