虫虫首页| 资源下载| 资源专辑| 精品软件
登录| 注册

CNF

  • 对于给定的2-CNF

    对于给定的2-CNF,设计一个线性时间算法,判定其是否可满足。

    标签: CNF

    上传时间: 2015-05-31

    上传用户:netwolf

  • 对于给定的带权3-CNF

    对于给定的带权3-CNF,设计一个蒙特卡罗算法,使其权值之和尽可能大

    标签: CNF

    上传时间: 2013-12-18

    上传用户:dongbaobao

  • MySQL配置文件my.CNF 例子最详细翻译

    MySQL配置文件my.CNF 例子最详细翻译

    标签: MySQL CNF my 翻译

    上传时间: 2014-01-23

    上传用户:a6697238

  • 几种用于FPGA的新型有效混合布线算法

    采用现场可编程门阵列(FPGA)可以快速实现数字电路,但是用于生成FPGA编程的比特流文件的CAD工具在编制大规模电路时常常需要数小时的时间,以至于许多设计者甚至通过在给定FPGA上采用更多的资源,或者以牺牲电路速度为代价来提高编制速度。电路编制过程中大部分时间花费在布线阶段,因此有效的布线算法能极大地减少布线时间。 许多布线算法已经被开发并获得应用,其中布尔可满足性(SAT)布线算法及几何查找布线算法是当前最为流行的两种。然而它们各有缺点:基于SAT的布线算法在可扩展性上有很大缺陷;几何查找布线算法虽然具有广泛的拆线重布线能力,但当实际问题具有严格的布线约束条件时,它在布线方案的收敛方面存在很大困难。基于此,本文致力于探索一种能有效解决以上问题的新型算法,具体研究工作和结果可归纳如下。 1、在全面调查FPGA结构的最新研究动态的基础上,确定了一种FPGA布线结构模型,即一个基于SRAM的对称阵列(岛状)FPGA结构作为研究对象,该模型仅需3个适合的参数即能表示布线结构。为使所有布线算法可在相同平台上运行,选择了美国北卡罗来纳州微电子中心的20个大规模电路作为基准,并在布线前采用VPR399对每个电路都生成30个布局,从而使所有的布线算法都能够直接在这些预制电路上运行。 2、详细研究了四种几何查找布线算法,即一种基本迷宫布线算法Lee,一种基于协商的性能驱动的布线算法PathFinder,一种快速的时延驱动的布线算法VPR430和一种协商A

    标签: FPGA 布线算法

    上传时间: 2013-05-18

    上传用户:ukuk