学位论文 > 优秀研究生学位论文题录展示

基于FPGA的逻辑综合方法的研究与设计

作　者: 王晓光
导　师: 段振华
学　校: 西安电子科技大学
专　业: 计算机软件与理论
关键词: 逻辑综合 网络重构 无关项 重连线
分类号: TN791
类　型: 硕士论文
年　份: 2008年
下　载: 137次
引　用: 1次
阅　读: 论文下载
 

内容摘要


逻辑综合是FPGA支持软件中关键的一个优化步骤,其优化结果直接影响了后续的布局布线等操作的性能。针对此问题,本文从工艺无关和工艺相关两个方面对逻辑综合方法进行了研究与设计。在工艺无关的逻辑综合中,提出了一种基于最大允许函数集的无关项优化方法,并与网络重构和两级逻辑优化进行实验对比。在工艺相关的逻辑综合中,提出了一种基于可划分集合,对查找表网络进行重连线的优化算法。算法中提出了相似度的概念和构造二部图的方法,以及面向不同优化目标的启发式方法,并与其他的重连线算法进行对比。结果表明,基于最大允许函数集的优化方法可以得到更好的优化效果,与网络重构操作结合使用可得到局部最优解;重连线算法在与其他算法时间复杂度相同的情况下具有更高的重连线能力和查找表优化能力。

全文目录


摘要  3-4
Abstract  4-7
第一章 绪论  7-10
  1.1 引言  7
  1.2 课题来源  7-8
  1.3 研究背景和意义  8
  1.4 本文章节安排  8-10
第二章 FPGA及综合的介绍  10-16
  2.1 FPGA的介绍  10-13
    2.1.1 FPGA的分类  10
    2.1.2 FPGA的基本结构  10-11
    2.1.3 查找表  11-13
    2.1.4 FPGA的特点和功能  13
  2.2 系统综合的概念介绍  13-14
  2.3 大规模电路的设计  14-15
  2.4 FPGA支持软件设计流程  15-16
第三章 逻辑综合的基本概念  16-27
  3.1 什么是逻辑综合  16-17
  3.2 基本定义  17-19
    3.2.1 逻辑函数及基本定义  17-18
    3.2.2 逻辑函数的代数表示  18-19
  3.3 布尔网络及节点的定义  19-22
    3.3.1 布尔网络  19-20
    3.3.2 节点的表示  20-22
  3.4 基于图的布尔代数运算  22-27
    3.4.1 二叉决策图  22-23
    3.4.2 有序二叉决策图  23
    3.4.3 ROBDD的运算  23-25
    3.4.4 建立电路中节点逻辑函数的ROBDD表示  25-26
    3.4.5 ROBDD小结  26-27
第四章 工艺无关的逻辑综合方法的研究与实现  27-45
  4.1 网络重构介绍  27-31
    4.1.1 代数实现方法  28-29
    4.1.2 kernel的概念及计算方法  29-30
    4.1.3 布尔实现方法  30-31
  4.2 网络重构的基本方法设计  31-35
    4.2.1 分解(decomposition)  31-32
    4.2.2 提取(extraction)  32-34
    4.2.3 因式分解(factoring)  34
    4.2.4 置换(substitution)  34
    4.2.5 消去(collapsing)  34-35
  4.3 节点最小化方法的设计与实现  35-42
    4.3.1 可满足性无关项的计算方法  35-36
    4.3.2 可观察性无关项的计算方法  36-37
    4.3.3 基于最大允许函数集的无关项优化方法的实现  37-42
  4.4 实验结果  42-44
  4.5 本章小结  44-45
第五章 工艺相关的逻辑综合算法的设计  45-63
  5.1 工艺映射的介绍  45-47
    5.1.1 工艺映射  45-46
    5.1.2 映射过程  46-47
  5.2 基于查找表的优化方法  47-53
    5.2.1 可划分集合SPFD的概念  48-49
    5.2.2 SPFD的计算方法  49-52
    5.2.3 基于SPFD的重连线算法  52-53
  5.3 基于SPFD的改进全局优化算法  53-62
    5.3.1 LUT内部逻辑的修改方法  56-58
    5.3.2 备选线的插入方法  58-59
    5.3.3 改进的算法描述  59-60
    5.3.4 与现有算法的比较  60-61
    5.3.5 启发式方法在改进算法中的应用  61-62
  5.4 本章小结  62-63
第六章 结束语  63-65
  6.1 工作总结  63
  6.2 前景与展望  63-65
致谢  65-66
参考文献  66-70
在读期间的研究成果  70-71

相似论文

  1. 配电网故障定位与网络重构算法的研究,TM727
  2. 基于粒子群遗传混合算法的配电网重构研究,TM732
  3. 青浦电网10千伏配网重构研究,TM711
  4. 基于两级逻辑综合技术的防火墙规则最小化研究,TP393.08
  5. 基于进化算法的10kV配电网络重构研究,TM715
  6. 供电企业资产维护管理系统研究,TP311.52
  7. 卫星网络管理系统的鲁棒性和抗毁性研究,TN927.2
  8. 多输出函数逻辑综合的理论研究与程序实现,TN47
  9. 语音SoC芯片数字后端低功耗研究,TN47
  10. 配电网故障诊断及网络重构算法的研究,TM727
  11. 基于双目标改进模拟植物生长法的配电网络重构,TM715
  12. 电力网络拓扑分析在图元编辑软件中的应用及配电网络重构方法的研究,TM711
  13. 启发式逻辑逆向综合算法研究,TP301.6
  14. 机组启动时间的不确定性对系统后续恢复影响的研究,TM732
  15. 种群规模自适应的遗传算法在配电网重构中的应用,TM727
  16. 考虑输电线路投运失败的输电网网架恢复方案评估,TM732
  17. 基于改进粒子群算法的配电网网架规划优化研究,TM715
  18. 论司法之另类纠纷解决机制,D926
  19. 基于诊断策略遗传算法的配电网络重构研究,TP18
  20. RTL元件自动设计方法研究,TN602
  21. 基于RISC的微处理器研究与设计,TP368.11

中图分类: > 工业技术 > 无线电电子学、电信技术 > 基本电子电路 > 数字电路 > 逻辑电路
© 2012 www.xueweilunwen.com