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

数字系统设计自动化中控制器综合的验证研究

第一章 绪论第1-26页
 1.1 研究背景及选题意义第11-12页
 1.2 数字系统设计自动化概述第12-18页
  1.2.1 设计领域和层次第12-14页
  1.2.2 系统级综合第14-15页
  1.2.3 高级综合第15-16页
  1.2.4 RTL综合第16-17页
  1.2.5 逻辑级综合第17-18页
  1.2.6 工艺映射第18页
 1.3 控制器综合第18-22页
  1.3.1 有限状态机分解第20-21页
  1.3.2 状态化简第21页
  1.3.3 状态分配第21-22页
 1.4 测试第22-23页
 1.5 验证第23-24页
 1.6 本文完成的主要工作第24-25页
 1.7 小结第25-26页
第二章 验证技术综述及控制器综合验证策略的确定第26-39页
 2.1 引言第26-27页
 2.2 验证方法概述第27-34页
  2.2.1 验证的基本概念第27-28页
  2.2.2 模拟验证第28-30页
   2.2.2.1 基本原理第29页
   2.2.2.2 步骤第29页
   2.2.2.3 方法第29-30页
   2.2.2.4 特点第30页
  2.2.3 符号模拟第30-31页
  2.2.4 形式验证第31-34页
   2.2.4.1 含义第31-32页
   2.2.4.2 任务第32页
   2.2.4.3 基本过程第32页
   2.2.4.4 目前的主要方法第32-34页
 2.3 符号模型检验第34-36页
 2.4 控制器综合验证策略的确定第36-37页
  2.4.1 适合控制器综合的验证方法的确定第36-37页
  2.4.2 基于STG图同构求解的控制器综合结果验证的基本思想第37页
  2.4.3 基于STG图同构求解的控制器综合结果验证方法的特点第37页
 2.5 小结第37-39页
第三章 逆向分析技术的研究第39-47页
 3.1 引言第39页
 3.2 逻辑函数第39-40页
 3.3 控制器的行为描述第40-43页
  3.3.1 有限状态机第41-43页
  3.3.2 状态转换图第43页
 3.4 控制器的结构实现第43-44页
 3.5 逆向分析算法第44-46页
  3.5.1 基本思想第44-45页
  3.5.2 逆向分析算法第45-46页
 3.6 算法分析第46页
  3.6.1 算法推论第46页
  3.6.2 时间复杂性第46页
 3.7 小结第46-47页
第四章 控制器综合结果的验证第47-55页
 4.1 引言第47页
 4.2 等价和最小化第47-49页
  4.2.1 状态等价第47-48页
  4.2.2 完全确定有限状态机的最小化第48-49页
 4.3 等价性验证第49-53页
  4.3.1 图同构问题的描述第50-51页
   4.3.1.1 图的同构第50-51页
   4.3.1.2 图同构求解的一般方法第51页
  4.3.2 等价性证明同构问题的描述第51-53页
   4.3.2.1 算法思想第51页
   4.3.2.2 等价性验证算法第51-53页
 4.4 算法正确性第53-54页
 4.5 算法复杂性讨论第54页
 4.6 小结第54-55页
第五章 结束语第55-57页
 5.1 总结第55页
 5.2 将来的工作第55-57页
参考文献第57-63页
致谢第63页

论文共63页,点击 下载论文
上一篇:我国区域专利战略及其绩效评价研究
下一篇:基于遗传算法的机器人路径规划研究