收藏本站
《江南大学》 2010年
收藏 | 手机打开
二维码
手机客户端打开本文

伪布尔可满足性算法及其在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)解法器进行求解。实验结果表明,这两种方法可以显著减少运行时间,加速求解过程。 论文最后对所做工作进行了总结,并提出了进一步研究的方向。
【学位授予单位】:江南大学
【学位级别】:博士
【学位授予年份】:2010
【分类号】:TN791

手机知网App
【引证文献】
中国硕士学位论文全文数据库 前1条
1 张旭;基于反熔丝技术的FPGA设计研究[D];江南大学;2012年
【参考文献】
中国期刊全文数据库 前3条
1 周锋,童家榕,唐璞山;带时延约束的FPGA布线算法[J];半导体学报;1999年09期
2 谭向东,童家榕,唐璞山;适用于数字电路的通用多块划分算法[J];电子学报;1996年08期
3 郭斌林,童家榕;一种基于扩展查询表的可编程逻辑单元[J];计算机学报;2003年10期
【共引文献】
中国期刊全文数据库 前10条
1 江永清,梁文庄,赵军,廖海洋;VIRTEX系列FPGA在SDH中实现片上系统[J];半导体光电;2000年04期
2 俞承芳,虞惠华,汤庭鳌;基于CPLD的通用并行接口设计[J];半导体技术;2001年10期
3 张轶谦,谢民,洪先龙,蔡懿慈;长线网预处理的过点分配算法(英文)[J];半导体学报;2002年06期
4 姚海龙;蔡懿慈;洪先龙;周强;;考虑拥挤度和性能的全芯片可控布线系统框架(英文)[J];半导体学报;2006年07期
5 卢新明;郑时德;;求解路网上车流径路的启发式算法[J];北方交通大学学报;1993年03期
6 王海梅;周献中;;网络系统中的最短路径分析及其应用研究[J];兵工学报;2006年03期
7 李玉鑑;徐立业;;不加权算术平均组对方法的改进及应用[J];北京工业大学学报;2007年12期
8 李玉鑑;高凯;;一种改进的NJ方法及其应用[J];北京工业大学学报;2009年02期
9 陈艳艳;王东柱;;高可靠性应急备选路径启发式搜索算法[J];北京工业大学学报;2010年09期
10 彭飞,柳重堪,张其善;车辆定位与导航系统中的快速路径规划算法[J];北京航空航天大学学报;2002年01期
中国重要会议论文全文数据库 前10条
1 ;A Floyd-like Algorithm for Optimization of Mix-Valued Logical Control Networks[A];中国自动化学会控制理论专业委员会B卷[C];2011年
2 ;An Efficient Route Computation Approach for Large Graphs[A];中国自动化学会控制理论专业委员会C卷[C];2011年
3 黄跃峰;钟耳顺;;权值为非负整数的稀疏图的高效APSP算法(英文)[A];中国测绘学会第九次全国会员代表大会暨学会成立50周年纪念大会论文集[C];2009年
4 ;Crustal P-wave velocity distributions and metallotectonics around the North China Craton[A];中国科学院地质与地球物理研究所2007学术论文汇编(第四卷)[C];2008年
5 ;Fuzzy Quadratic Minimum Spanning Tree Problem[A];第二届不确定系统年会论文集[C];2004年
6 夏少刚;张建华;;运输问题的一种多项式算法[A];中国运筹学会第八届学术交流会论文集[C];2006年
7 李耀春;徐羽琼;李石坚;潘纲;;面向任务迁移的组件语义匹配机制[A];第六届和谐人机环境联合学术会议(HHME2010)、第19届全国多媒体学术会议(NCMT2010)、第6届全国人机交互学术会议(CHCI2010)、第5届全国普适计算学术会议(PCC2010)论文集[C];2010年
8 李杰;张文栋;杨卫;;双向Dijkstra算法设计与实现[A];中国宇航学会深空探测技术专业委员会第四届学术年会论文集[C];2007年
9 易正俊;黄华;张业亭;;模糊最短路径问题及标号法的实现[A];第五届中国不确定系统年会论文集[C];2007年
10 王晓锋;方滨兴;云晓春;张宏莉;;一种并行网络模拟中的拓扑划分方法[A];全国网络与信息安全技术研讨会'2005论文集(下册)[C];2005年
中国博士学位论文全文数据库 前10条
1 窦亚玲;基于直觉模糊集的多约束网络路由决策方法研究[D];华中科技大学;2010年
2 冯辰;基于压缩感知的RSS室内定位系统的研究与实现[D];北京交通大学;2011年
3 王姝;名空间路由研究和源管理路由算法的分析与建模[D];北京交通大学;2011年
4 王铁军;非结构化对等网络资源定位技术研究[D];电子科技大学;2010年
5 桑永胜;空间数据分析的神经计算方法[D];电子科技大学;2010年
6 刘箐;水平集方法在预混合湍流V型火焰模拟和形状复原问题上的应用[D];浙江大学;2010年
7 张霞;无线传感器网络路由协议若干关键问题研究[D];解放军信息工程大学;2009年
8 费威;最小调整法的改进及其在经济优化中的应用[D];东北财经大学;2010年
9 薄一航;模拟人类视觉感知的行人图像显著结构的研究及应用[D];北京交通大学;2011年
10 孟学雷;突发事件条件下列车运行组织理论与方法研究[D];北京交通大学;2011年
中国硕士学位论文全文数据库 前10条
1 纪江涛;基于传感器网络的智能交通系统模型应用研究[D];山东科技大学;2010年
2 冯雪松;黑龙江省交通GIS综合管理系统的设计与实现[D];哈尔滨工程大学;2010年
3 刘金盼;新闻语料库中基于概念网络的词语相关度计算[D];华东师范大学;2011年
4 陈武斌;地面自主移动机器人路径规划与测试架构研究[D];浙江大学;2011年
5 黄健美;多下一跳路由算法研究[D];解放军信息工程大学;2010年
6 陈文平;多下一跳快速自愈路由技术研究[D];解放军信息工程大学;2009年
7 王兆霞;城市公交路径无线查询系统的研究与实现[D];东华大学;2011年
8 曾雷;轨交优先公交最佳路径建模及其应用研究[D];东华大学;2011年
9 肖乾才;单播路由协议快速收敛算法的研究与应用[D];电子科技大学;2011年
10 张欢;灰度图像彩色化的算法研究[D];西安电子科技大学;2011年
【同被引文献】
中国期刊全文数据库 前10条
1 周昕杰;李蕾蕾;徐睿;于宗光;;深亚微米工艺EEPROM单元加固设计及辐照性能[J];东南大学学报(自然科学版);2011年03期
2 陆楠;;FPGA发展策略和新方案盘点[J];电子设计技术;2011年08期
3 张惠国;徐彦峰;曹正州;于大鑫;于宗光;;FPGA逻辑资源重配置测试技术研究[J];固体电子学研究与进展;2011年03期
4 郝燕玲;邓志鑫;赵丕杰;;基于伪码捕获的迭代消息传递算法FPGA设计[J];华中科技大学学报(自然科学版);2009年01期
5 李明骏;;FPGA厂商采用创新工艺技术降低28nm器件功耗[J];集成电路应用;2011年02期
6 俞吉波;孔雪;郑哲;祝永新;付宇卓;;FPGA实际可用性评估与发展趋势分析[J];计算机工程;2011年13期
7 黄维康;FPGA的测试[J];计算机辅助设计与图形学学报;2000年05期
8 高成;杨超;鹿靖;陈政平;;基于BIST的FPGA测试方法研究[J];计算机与数字工程;2010年09期
9 杨金孝;郭德春;陈雷;张永波;杨永坤;;一种基于环振的SRAM型FPGA延迟测试方法[J];微电子学;2011年03期
10 王国章;须自明;刘战;于宗光;;SoC芯片验证技术的研究[J];微计算机信息;2007年23期
中国重要会议论文全文数据库 前1条
1 袁国火;徐曦;董秀成;;ONO和MTM反熔丝FPGA抗总剂量探讨[A];中国工程物理研究院第七届电子技术青年学术交流会论文集[C];2005年
中国硕士学位论文全文数据库 前3条
1 杜海军;反熔丝FPGA的编程结构研究[D];吉林大学;2007年
2 王春早;可编程逻辑器件(CPLD/FPGA)的架构研究与实现[D];江南大学;2007年
3 沈静静;用于FPGA的新型混合布线算法的研究[D];江南大学;2009年
【二级参考文献】
中国期刊全文数据库 前1条
1 周锋,童家榕,唐璞山;一种带时延约束的FPGA布局算法[J];计算机辅助设计与图形学学报;1999年04期
【相似文献】
中国期刊全文数据库 前10条
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期
中国重要会议论文全文数据库 前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芯片方案[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年
中国博士学位论文全文数据库 前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年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62791813
  • 010-62985026