基于子图同构的晶体管级电路门级模型抽取的研究电路与系统专业论文.docxVIP

PAGE PAGE IV ABSTRACT Keyword: VLSI, transistor netlist, gate model, abstraction, subgraph isomorphism, DECIDE algorithm 目录 目录 HYPERLINK \l _bookmark0 第一章 绪论 1 HYPERLINK \l _bookmark1 1.1 课题背景 1 HYPERLINK \l _bookmark2 1.2 门级模型抽取的应用和发展现状 3 HYPERLINK \l _bookmark3 1.2.1 门级模型抽取的应用 3 HYPERLINK \l _bookmark4 1.2.2 国内外发展现状 3 HYPERLINK \l _bookmark5 1.3 本文主要工作 6 HYPERLINK \l _bookmark6 第二章 基于子图同构的子电路识别方法分析 7 HYPERLINK \l _bookmark7 2.1 子图同构 7 HYPERLINK \l _bookmark8 2.1.1 子图同构的定义 7 HYPERLINK \l _bookmark9 2.1.2 子图同构问题的复杂性 8 HYPERLINK \l _bookmark10 2.2 解决电路子图同构问题的主要算法 9 HYPERLINK \l _bookmark11 SubGemini 算法 9 HYPERLINK \l _bookmark12 DECIDE 算法 10 HYPERLINK \l _bookmark13 2.3 算法选择 10 HYPERLINK \l _bookmark14 2.4 基于 DECIDE 算法的子电路识别方法分析 11 HYPERLINK \l _bookmark15 2.4.1 电路图的建立 11 HYPERLINK \l _bookmark16 2.4.2 权值计算 12 HYPERLINK \l _bookmark17 2.4.3 子电路识别过程 13 HYPERLINK \l _bookmark18 2.4.4 对原算法的改进 15 HYPERLINK \l _bookmark19 改进一 15 HYPERLINK \l _bookmark20 改进二 16 HYPERLINK \l _bookmark21 第三章 基于 LINUX 的系统方案设计 18 HYPERLINK \l _bookmark22 3.1 系统平台的选择 18 HYPERLINK \l _bookmark23 3.1.1 LINUX 下 C 语言编程的特点 18 目录 HYPERLINK \l _bookmark24 3.1.2 LINUX 下 C 语言主要编程工具 18 HYPERLINK \l _bookmark25 3.2 系统方案总体设计 20 HYPERLINK \l _bookmark26 3.2.1 系统要求及分析 20 HYPERLINK \l _bookmark27 3.2.2 技术难点分析及解决方案 20 HYPERLINK \l _bookmark28 特殊类型电路的识别 21 HYPERLINK \l _bookmark29 图的存储 23 HYPERLINK \l _bookmark30 3.3 系统实现框图 24 HYPERLINK \l _bookmark31 第四章 模块设计及实现 26 HYPERLINK \l _bookmark32 4.1 功能模块分析 26 HYPERLINK \l _bookmark33 4.2 编译器模块的设计实现 26 HYPERLINK \l _bookmark34 4.2.1 编译器模块的功能分析 26 HYPERLINK \l _bookmark35 4.2.2 设计描述文件分析 26 HYPERLINK \l _bookmark36 4.2.3 系统内部数据结构 27 HYPERLINK \l _bookmark37 4.2.4 编译器模块实现 29 HYPERLINK \l _bookmark38 分析器的实现 29 HYPERLINK \l _bookmark39 检查器的实现 30 HYPERLINK \l _bookmark40 4.3 权值计算模块的设计实现 31 HYPERLINK \l _bookmark41 4.3.1 权值计算模块的功能分析 31 HYPERLINK \l _bookmark42 4.3.2 权值的存储 31