分享到:

一种基于伪布尔可满足性FPGA布线算法

为了克服布尔可满足性算法在现场可编程门阵列布线中存在的不足,引进了一种在标准对称阵列(隔离岛状)现场可编程门阵列结构下的新型有效布线方法——伪布尔可满足  (本文共3页) 阅读全文>>

江南大学
江南大学

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

现场可编程门阵列(FPGA)主要包括可配置逻辑模块和布线模块,它支持可编程重复配置,具有灵活、风险低、开发周期短等优势,在通信、工业控制、汽车电子、数据处理、消费电子等领域得到了广泛应用。随着FPGA内部可配置资源容量的增加,对应的计算机辅助设计(CAD)工具也需要升级和优化。随着设计复杂程度的提高,将一个设计配置到FPGA上往往需要CAD工具计算很长时间方可满足各种参数要求。而布线阶段通常需要消耗整个CAD流程近30%的时间,因此,高效的布线算法对缩短整个FPGA开发的时间至关重要。目前已开发多种布线算法并获得应用,其中布尔可满足性(SAT)布线算法及几何查找布线算法是当前最为流行的两种。两者各有优缺点。基于几何查找的布线算法由基本迷宫(Maze)算法演化而来,它虽然可经过优化来提高布线速度,但由于一次只能布一根线,其可布通性较难确定,通常依靠设定运行时间的上限来实现算法终止。另外,其它由迷宫算法优化演化而来的各种几何查找算法...  (本文共114页) 本文目录 | 阅读全文>>

《系统工程理论与实践》2016年05期
系统工程理论与实践

考虑不确定性的应急响应目标可满足性评估方法

应急响应目标的可满足性评估对应急响应的实施具有重要指导作用,针对应急响应目标可满足性存在不确定性的问题,提出一种在"情景-应对"模式下能够对目标可满足性进行评估的方法.该方法在证据理论框架下,首先基于信度结构构建目标可...  (本文共10页) 阅读全文>>

《计算机工程与科学》2010年01期
计算机工程与科学

可满足性求解技术研究

求解公式的可满足性在诸如形式化验证、电子设计自动化与人工智能等众多领域中都具有非常重要的理论与应用价值,成为近年来的研究热点。本文针对命...  (本文共5页) 阅读全文>>

《国际学术动态》2009年01期
国际学术动态

可满足性理论及应用研究进展

由教育部人文社会科学重点研究基地中山大学逻辑与认知研究所和德国Paderborn大学...  (本文共4页) 阅读全文>>

西安电子科技大学
西安电子科技大学

基于分治的布尔可满足性判定

SAT是最著名的NPC问题。NPC类问题有两方面的特性,首先,这类问题的解可以在多项式时间复杂度内得到验证。其次,其它NP问题可以在多项式时间内转换为NPC问题来求解。因此,SAT判定技术的研究具有重要的理论意义。SAT判定技术还具有很大的实用价值。它可以应用到包括人工智能规划、模型分析、定理证明、软件验证和软件测试、软件发布中的包管理等领域。在电子设计自动化中,SAT可用于电路的逻辑综合、布尔匹配、电路等价性验证、模型检验、自动测试用例生成、FPGA的布局布线、设计调试与诊断等。本文研究SAT判定问题,SAT判定问题的时间复杂度是指数阶的,这意味着如果问题的规模较大时,要完成SAT判定会非常困难。研究利用分治的思想,通过将复杂的SAT的判定问题划分为多个规模更小的子问题来求解,在划分代价较小的情况下,利用这一方法来降低可满足性判定的复杂度。通过系统深入的理论分析和实验研究,取得了如下创新性成果:提出了CNF形式的布尔公式的子句...  (本文共118页) 本文目录 | 阅读全文>>

《固体电子学研究与进展》2009年02期
固体电子学研究与进展

一种改进的子集可满足性算法用于FPGA布线

介绍了用布尔可满足性(SAT)和子集可满足性(sub-SAT)算法解决FPGA的详细布线问题。在布线资源固定的FPGA布线环境中,布尔公式可以证明所给电路的不可布通性,这一点要优于典型的one-net-at-a-time方法。子集可满足性方法把一个有...  (本文共5页) 阅读全文>>