图论GraphTheory-复旦大学数学科学学院.ppt

主要研究方向 l?? 图论与组合数学 l?? 大规模集成电路设计中的数学方法 l?? 优化理论与算法 研究平台 离散数学及其应用教育部重点实验室 福州大学离散数学研究中心 福州大学离散数学研究中心 中心网页： W.T. Tutte (1917-2002) W.T. Tutte (1917-2002) ◆ 英国皇家学会会员 ◆ 创建滑铁卢大学组合与优化系 ◆ 图论与拟阵论两大领域奠基性工作 ◆ 二次世界大战伟大无名英雄(Great unsung hero of World War II) W.T. Tutte (1917-2002) Tutte的战友Jerry Roberts(破译小组最后一名 成员)2014年3月25日去世，英国《每日邮报》报 道的标题是《英国传奇译码专家去世 曾助二战 提前两年结束》，文中写道： 由于Tutte成功破解了“金枪鱼”系统的逻辑原 理，他的团队得以破译德军最高级别的密码“金 枪鱼”。 Paul Erdos (1913-1996) Paul Erdos (1913-1996) ◆ 美国、英国等8个国家科学院院士 ◆ 沃尔夫奖(Wolf Prizes,1983/4)颁奖词: …, and for personally stimulating mathematicians the world over. ◆ 将荣誉博士学位退还滑铁卢大学 Paul Erdos (1913-1996) 图论(Graph Theory) 图论的起源：哥尼斯堡七桥问题 图论的发展：四色问题 图论的经典：哈密顿圈， Ramsey数问题 图论的热点：极值问题 图论的前沿：整数流问题 图论的应用：大规模集成电路设计问题 大规模集成电路（VLSI） Very Large Scale Integration 用半导体工艺技术将电子电路的电子元器件（电阻、电容、电感、晶体管、二极管、传感器等）在一块半导体材料（硅、砷化镓）芯片上，互连成有独立功能的电路和系统。亦称为“芯片”（Chip）。 集成电路产业包括设计、芯片制造、封装检测三大部分。可形象地比喻为写书、印刷、装订。显然，设计最具原创性。“863”、“973”，及国家重大专项都把集成电路设计列入其中。 集成电路设计所依赖的关键软件EDA (Electronic Design Automation), 基本上全是进口。 (EDA软件的研制涉及大量的图论和组合优化问题.) 集成电路产业 硅园片上的芯片 硅衬底 drain 硅衬底 顶部保护层 金属层 绝缘层 凹进导电层 导电层 1961年早期芯片 4 个 晶 体 管 和 若 干 电 阻 1990年Intel奔腾处理器芯片 1.5cm2 310万 晶体管 奔Ⅳ芯片结构图 2000年，0.18 μm工艺，4千2百万个晶体管 头发对最小特征尺寸为0.18μm的比较 Contact hole Line width Space ~90 mm Minimum IC feature size = 0.18 μm (180nm) 90 mm 0.18 mm = 500 Cross section of human hair 芯片中金属层（介质腐蚀后呈立交桥状） Metal Layers in a Chip 电路划分 布局 布线 原 理 图 输 入 芯片制造 版图验证 数据导出 芯片版图设计 三个主要部分： 电路划分、布图、布线 涉及大量图论问题 芯片版图设计 是大规模集成电路设计的关键一步，其结果会影响后续的布局、布线等过程。由于需要布局的电路太大，需要将整个电路划分成若干模块，要考虑模块的大小、模块间的连线等。 电路划分 是一个多约束、多目标的优化问题。它的理论抽象是图论中的点集划分（Vertex Partition）问题: 给定一个图G 及边集E(G)上的一个权函数w. 对正整数 k ≤ t，求点集V(G)的一个划分(A1, A2, ..., Am) 使得 k ≤ |Ai|≤ t，1≤ i≤ m，且∑ij w(Ai, Aj) 尽可能小。 电路划分 在完成电路划分之后，通过布局规划（floorplanning）把模块安置在芯片的适当位置上，并满足一定的要求，如面积最小、模块间的连线最短且容易布通等。由于模块间连线要占用芯片面积，布局时要为后一步的布线留下必要的布线通道。 布 局 模块间的互连，且满足一定的要求，如减小连线总长度，减轻走线拥挤度，减少层间通孔数等。布线分为总体布线和详细布线。 布 线 最小斯坦纳树(Minimum St