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

基于子集迭代相交算法的脱机式逻辑综合系统的设计与实现

作　者: 丁渊
导　师: 白燕
学　校: 解放军信息工程大学
专　业: 计算机系统结构
关键词: 逻辑不明芯片 逆向解析 逻辑综合系统 子集迭代相交算法
分类号: TP311.52
类　型: 硕士论文
年　份: 2007年
下　载: 23次
引　用: 2次
阅　读: 论文下载
 

内容摘要


随着集成电路制造技术的飞速发展,芯片已成为构建现代信息化社会的物质基础。因此,开展逻辑不明芯片解析技术的研究对我国引进、吸收国外先进技术,实现跨越式发展具有着重要的影响和深远的意义。脱机式逻辑不明芯片解析系统的设计与开发是进行逻辑不明芯片分析与研究的一个重要途径。作为脱机式逻辑不明芯片解析系统的重要组成部分,逻辑综合系统的处理能力与处理效率将直接影响到整个解析系统的处理能力与处理效率。随着逻辑芯片制造技术的迅速发展,如何在现有计算条件下,快速、准确的完成大规模数据集合的逻辑综合处理,将成为逻辑综合系统设计过程中主要面对的难题。本文围绕着提高逻辑综合系统处理能力和处理效率这一目标,在深入研究逻辑综合理论的基础上,通过对经典逻辑综合算法的分析,针对逆向解析过程中芯片数据集合的特点,从算法的空间复杂度与时间复杂度两方面考虑,提出了子集迭代相交算法,并在此算法的基础上,设计与开发了基于子集迭代相交算法的逻辑综合系统。经测试结果表明,基于子集迭代相交算法的逻辑综合系统能够快速、有效的完成大规模数据集合的逻辑综合处理。并且,该系统的应用还可以由单机推广到网络,以进一步提高逻辑综合处理的速度。

全文目录


表目录  7-8
图目录  8-9
摘要  9-10
ABSTRACT  10-11
第一章 绪论  11-15
  1.1 课题背景  11-12
  1.2 国内外芯片解析技术研究现状  12-13
  1.3 课题意义及主要完成工作  13
  1.4 论文组织与结构  13-14
  1.5 小结  14-15
第二章 逻辑综合理论研究  15-29
  2.1 逻辑综合技术概述  15-16
    2.1.1 寄存器传输级描述  15
    2.1.2 约束条件  15-16
    2.1.3 属性描述  16
    2.1.4 工艺库  16
  2.2 逻辑综合基本步骤  16-17
  2.3 逻辑综合基本概念与运算  17-20
    2.3.1 逻辑综合基本概念  17-19
    2.3.2 多维体基本运算  19-20
  2.4 逻辑综合技术应用分析  20-21
  2.5 经典逻辑综合算法的研究与分析  21-28
    2.5.1 PI集合求解算法研究与分析  21-27
    2.5.2 EPI集合求解算法研究与分析  27-28
  2.6 小结  28-29
第三章 子集迭代相交算法  29-38
  3.1 脱机式芯片解析数据特性  29-30
  3.2 集合锐积分块处理策略  30-31
  3.3 DeMorgan分块处理策略  31-34
  3.4 子集自相容策略  34-35
  3.5 基于自相容的子集迭代相交算法  35-37
  3.6 小结  37-38
第四章 逻辑综合系统总体结构  38-42
  4.1 逻辑综合系统总体设计  38-39
    4.1.1 逻辑综合系统总体设计方案  38
    4.1.2 逻辑综合系统组成结构  38-39
  4.2 逻辑综合系统主要功能模块介绍  39-40
    4.2.1 数据预处理模块  39-40
    4.2.2 数据压缩模块  40
    4.2.3 最小覆盖求解模块  40
  4.3 逻辑综合系统工作流程  40-41
  4.4 小结  41-42
第五章 逻辑综合系统的实现  42-61
  5.1 数据预处理模块的实现  42-46
    5.1.1 数据格式转换模块的实现  42-44
    5.1.2 阵列分离模块的实现  44-46
  5.2 数据压缩模块的实现  46-50
    5.2.1 基于子集迭代相交算法的数据压缩流程  46-48
    5.2.2 数据集合自相容与取补的实现  48-50
  5.3 最小覆盖生成模块的实现  50-54
  5.4 分布式数据处理  54-60
    5.4.1 数据处理技术概述  54-57
    5.4.2 分布式数据处理方案的实现  57-60
  5.5 小结  60-61
第六章 逻辑综合系统测试  61-65
  6.1 系统测试环境  61
  6.2 系统功能测试  61-62
  6.3 系统性能测试  62-63
    6.3.1 离散数据处理测试分析  63
    6.3.2 分布式数据处理测试分析  63
  6.4 小结  63-65
结束语  65-67
参考文献  67-70
作者简历 攻读硕士学位期间完成的主要工作  70-71
致谢  71

相似论文

  1. 基于动态二进制分析平台的协议逆向解析技术研究,TP393.08
  2. MEMS器件综合技术的研究,TN42
  3. 面向新型北大众志系统芯片的约束设置与逻辑综合,TN402
  4. 基于WinCE平台的故障分析仪应用程序设计与开发,TP311.52
  5. 面向SMDA的服务建模方法及工具实现,TP311.52
  6. 基于特征的软构件建模方法及其在VMI管理系统中的应用,TP311.52
  7. 光电对抗试验系统软件平台开发,TP311.52
  8. 电力负荷管理终端测试装置软件系统研制,TP311.52
  9. 基于NS2的PeerCast模拟平台设计与实现,TP311.52
  10. 中小企业进销存管理系统的研究与设计,TP311.52
  11. AUTOSAR系统建模方法的研究与实现,TP311.52
  12. 武器装备信息管理系统的设计与实现,TP311.52
  13. 基于WADO的医学影像远程访问与共享系统的设计与实现,TP311.52
  14. 教学档案管理系统的设计与实现,TP311.52
  15. 部队在线考试系统设计与实现,TP311.52
  16. VRGIS在城市设计中的应用,TP311.52
  17. 基层部队人员日常管理信息系统设计实现,TP311.52
  18. 军队物资采购供应管理系统的设计与实现,TP311.52
  19. 部队人员网上训练与考核系统的开发,TP311.52
  20. 部队兵员管理系统的设计与实现,TP311.52
  21. 军队后勤物资管理系统设计与实现,TP311.52

中图分类: > 工业技术 > 自动化技术、计算机技术 > 计算技术、计算机技术 > 计算机软件 > 程序设计、软件工程 > 软件工程 > 软件开发
© 2012 www.xueweilunwen.com