首页--工业技术论文--无线电电子学、电信技术论文--基本电子电路论文--一般性问题论文--设计、分析、计算论文

VHDL高级综合系统中组合逻辑综合的研究与实现

摘要第1-4页
ABSTRACT第4-5页
目录第5-8页
图表目录第8-9页
第一章 概论第9-20页
   ·概述第9-10页
   ·基于逻辑综合的设计流程第10-14页
     ·行为级模型第10-12页
     ·寄存器传输级模型第12页
     ·两级逻辑综合第12页
     ·多级逻辑综合第12-13页
     ·工艺映射第13页
     ·物理设计第13页
     ·验证第13页
     ·测试第13-14页
   ·控制流综合概述第14-16页
   ·逻辑综合概述第16-18页
   ·本文完成的主要工作第18-19页
   ·小结第19-20页
第二章 两级逻辑综合第20-42页
   ·两级逻辑综合概述第20-21页
   ·基本概念与理论第21-26页
   ·ESPRESSO算法在控制流综合子系统中的应用第26-40页
     ·逻辑函数的单调性第26-28页
     ·永真式判定算法第28-31页
     ·ESPRESSO算法中多维体列阵的取补过程第31-33页
     ·ESPRESSO算法中多维体的扩充第33-34页
     ·ESPRESSO算法中必要质蕴涵项的求取第34-35页
     ·ESPRESSO算法中无冗余覆盖的求取第35-36页
     ·ESPRESSO算法中无冗余覆盖的化简过程第36-38页
     ·ESPRESSO算法中无冗余覆盖的最小化第38页
     ·ESPRESSO算法中多维体列阵稀疏化过程第38-39页
     ·ESPRESSO算法总流程第39-40页
   ·小结第40-42页
第三章 多级逻辑综合第42-78页
   ·多级逻辑综合概述第42-44页
   ·延迟均衡算法的设计与实现第44-61页
     ·逻辑函数的结构转换第44-46页
     ·逻辑函数的代数运算第46-50页
       ·基本概念第46页
       ·除数和核第46-47页
       ·核的求取第47-48页
       ·代数因子提取算法第48-49页
       ·逻辑函数的提取和代换策略第49-50页
       ·逻辑函数的求补替换第50页
     ·矩形覆盖因子提取算法第50-55页
       ·基本概念和定义第50-51页
       ·矩形和核的关系第51页
       ·公共多维体的提取第51-52页
       ·矩形覆盖算法第52-55页
     ·面向工艺单元库的因子优选方法第55-56页
     ·多级逻辑延迟均衡算法第56-59页
     ·控制流综合子系统中多级逻辑综合策略第59-61页
   ·基于通用决定因子的BDD因式分解算法第61-77页
     ·二叉决策图第62-69页
       ·基本概念第62-63页
       ·有序的二叉决策图第63页
       ·最简的有序二叉决策图第63-64页
       ·唯一性第64页
       ·化简第64-65页
       ·取补第65-66页
       ·余因子第66-67页
       ·逻辑运算第67-68页
       ·ROBDD运算小结第68-69页
     ·基于BDD的因式分解第69-70页
     ·与或分解第70-73页
     ·异或分解第73-77页
   ·小结第77-78页
第四章 系统的实现与示例第78-84页
   ·组合逻辑综合的实现第78-82页
     ·硬件环境第78页
     ·主要数据结构第78-81页
     ·组合逻辑综合的工作过程第81-82页
   ·示例第82-83页
   ·小结第83-84页
第五章 总结与展望第84-86页
参考文献第86-91页
致谢第91页

论文共91页,点击 下载论文
上一篇:信息技术环境下初中数学问题解决教学模式研究
下一篇:完善公司治理提高会计信息质量