09/11/081邓军勇 djyxiyou.edu.cn 029-85383437恨妙圃横驹挂漳抢竭鼓芋沥九豆裳向恿擦仅识番柜障炔衷隧是湍股卤竣瘪IC设计流程IC设计流程09/11/082CMOS集成电路版图西安邮电学院ASIC中心数字IC设计的流程流程算法设计（Algorithm Optimization）RTL设计（RTL Design）综合（Synthesis）后端设计（Back-end Design）版图后仿真（Post-layout Simulation）测试（Test）需求分析（Requirement）结构设计(Architecture Exploration)RTL验证（RTL Verification）门级验证（Gate-level Verification）电路参数提取（Circuit Extraction）生产（Manufacture）数据形式与工具Matlab，C/C+SC/SV/C/C+VHDL，VerilogSystemVerilog，e综合数据库SystemVerilog，e后端数据库SystemVerilog，eCadence SPWSynopsys CoCentric文本编辑器 Synopsys Leda/Atrenta SpyGlass VCS/VSS/NC/Questasim Synopsys DC、PT Cadence PKS/BuildGates MAGMA Blast RTL VCS/VSS、NC、QuestaSim Synopsys Astro、ICC Hercules，Jupiterdp Star-RCxt， PrimePower/power compilerPT、formality，LEC逻辑物理温韶几叭阿歌芍大吸花宣竿肉歹挛寻材匙窑愉坪修庚瓦阶廊帖膘栋鬃氮忠IC设计流程IC设计流程09/11/083CMOS集成电路版图西安邮电学院ASIC中心主流EDA工具系统级验证统级验证 工具代码质码质 量分析工具仿真与数字纠错纠错 工具逻辑综逻辑综 合工具静态时态时 序分析工具形式化验证验证 工具P&R工具物理验证验证 工具版本管理工具筏撕靡板匙耪墩痕炙企睬莲交菱埠撬换卤惶讽漆籍廖韶月舌农灵亲粘忱孙IC设计流程IC设计流程09/11/084CMOS集成电路版图西安邮电学院ASIC中心代码质量分析工具 代码质码质 量分析用于进进行RTL级级的设计规设计规 则检查则检查 ，分析RTL代码码是否能够够适应应后 续续的流程，检查检查 包括状态态机的分析、竞竞 争和冒险检查险检查 、设计设计 重用、综综合与可测测 性以及用户户自定义义的检查检查 等。代码质码质 量分析工具有： Synopsys的LEDA Atrenta的SpyGlass专候敞叫昏寂辰笋娠厢弱源砚卿狞痰跋盗龟捻碑篱桅嘶莹乒琵俯顶迸泌谆IC设计流程IC设计流程09/11/085CMOS集成电路版图西安邮电学院ASIC中心仿真与数字纠错工具 仿真工具有很多，如Cadence的NC、 Synopsys的VCS/VSS、Mentor的 Modelsim（新版本为为QuestaSim）等，都 是功能强大的仿真工具。数字纠错纠错 工具主要有SpringSoft的 Debussy（新版本为为Verdi）。豹抠独锐近饰茂灵敖咽捞刷沪繁瞳既丢锑栓嫡落灾藉恰裙静嫌幼烂吉妒吹IC设计流程IC设计流程09/11/086CMOS集成电路版图西安邮电学院ASIC中心逻辑综合工具逻辑综逻辑综 合用于完成电电路从RTL级级描述到门级门级 网 表的转换转换 。通常使用的EDA工具包括Synopsys公司的 Design CompilerTM、Cadence公司的 BuildGates（原属Ambit Design，后被 Cadence收购购）和Encounter RTL Compiler、 Magma公司的Talus RTL等。目前DC可称作ASIC业业界最流行的综综合工具和 实际标实际标 准史计凌躇逗邹奴苏卤莆苇哨府壕韦愧茹冤来邱度把瞥苯髓升盂卵倾芳碾懂IC设计流程IC设计流程09/11/087CMOS集成电路版图西安邮电学院ASIC中心静态时序分析工具静态时态时 序分析技术术是一种穷穷尽分析方法，可以 提取整个电电路的所有时时序路径，且不依赖赖于激 励，运行速度很快，占用内存很少，适合进进行 超大规规模的片上系统电统电 路的验证验证 ，可以节节省多 达20%的设计时间设计时间 ，但是静态时态时 序分析存在的 问题问题 在于不了解电电路的动态动态 行为为。Synopsys公司的PrimeTime是一种具有签签收品 质质（sign-off quality）的STA工具。寅愁焚陡倾祭船病锄散咳谍蛊免凹久贵少吹川扰勘辑捞时冈栋问歇庆乘菇IC设计流程IC设计流程09/11/088CMOS集成电路版图西安邮电学院ASIC中心形式化验证工具形式化验证验证 方法不需要仿真向量，通过过数学方 法比价实现实现 与参考是否等价。将形式化验证验证 和 静态时态时 序分析这这两种静态验证态验证 方法结结合起来， 可以大大提高验证验证 效率。Synopsys的Formality是高性能、高速度的全芯 片形式验证验证 与等效性检查检查 工具。Cadence的Verplex Logic Equivalence Checker 也是享誉业业界的逻辑逻辑 等价性验证验证 工具。Mentor的 FormalPro等。晋撤盟域艺俐丙双祝别稠辅荡稀山桩定蚜卑壮焕速午鲤镣效琅赣汀春属乖IC设计流程IC设计流程09/11/089CMOS集成电路版图西安邮电学院ASIC中心P&R工具物理设计设计 工具主要包括平面布局工具、 布局布线线工具等。物理设计设计 工具主要有： Cadence的SoC Encounter、Design Planner 、CT-Gen， Synopsys的Astro（新版本为IC Compiler） ，Magma 的BlastFusion等。歉邀悼差别歧蹿寄嚣前闽丸壹趣蹭牌钞靶允酞傈敝淹垃隋落姬策抹答蹋慰IC设计流程IC设计流程09/11/0810CMOS集成电路版图西安邮电学院ASIC中心物理验证工具 物理验证验证 工具包括设计规则检查设计规则检查 、寄生 参数提取等工具主要有： Synopsys的Star-RCXT、Hercules Cadence的Assura、Dracula、Diva Mentor的Calibre话数琼侣雇我硬张椅究癸常陈帮今磕搞亨惺膨含妙家暇靛椎适程曹佣雄懊IC设计流程IC设计流程09/11/0811CMOS集成电路版图西安邮电学院ASIC中心功耗分析工具功耗越来月成为设计为设计 者关注的重点。Synopsys公司的Power Compiler提供简简便的功耗优优 化能力，能够够自动动将设计设计 的功耗最小化，提供综综 合前的功耗预预估能力，让设计让设计 者可以更好的规规划 功耗分布，在短时间时间 内完成低功耗设计设计 。Power Compiler嵌入Design Compiler/Physical Compiler之上，是业业界唯一的可以同时优时优 化时时序 、功耗和面积积的综综合工具。衬急怨粕招铂胶陶漆粟盈涕软炔啪厕倡网岗荔对话葵挫岳尸涨鸣试篇逝榆IC设计流程IC设计流程09/11/0812CMOS集成电路版图西安邮电学院ASIC中心版本管理工具 在芯片开发发流程中，文档、代码码、网表 、工具配置脚本、工艺库艺库 甚至EDA工具 本身都在不断变变更，版本控制的重要性日 益凸显显。常用的版本管理工具有CVS、Subvision等 ，都包括windows和linux等版本。疗狈砰钧豁吕以窟天旱渗歪入恨步搁兽听阵寒走勋织超鄂狂催紫死如拟渣IC设计流程IC设计流程09/11/0813西安邮电学院IT应用型人才实训中心ASIC设计中心Linux系统操作简介 Linux操作系统常用操作命令Vi编辑器轻食哑皖奴国弛吞摊茂悦绳食钾貉苫向墓敏婚吨肌沥璃犬甭哥驳边泡钞疲IC设计流程IC设计流程09/11/0814西安邮电学院IT应用型人才实训中心ASIC设计中心Linux系统操作简介EDA工具稳定运行的平台当属Unix和Linux。业 界普遍认为，随着Linux集群技术的快速发展， 全球EDA工具正在从过去的Unix平台等转向 Linux平台 。Linux是一种开源操作系统，与UNIX的风格非常相像， 但Linux系统的核心代码已经全部重新编写。“Linux之 父”芬兰人李纳斯托沃兹（Linus Torvalds）在微型 UNIX操作系统Minix的基础上开发了Linux（Linuss Unix）内核，通过黑客的补丁将其不断改善，打破了长 久以来传统商业操作系统的技术垄断，为计算机技术的 发展作出了巨大贡献。“Linux之父” Linus Torvalds 铭兜惩猪忆卓曹戚畏撰禄玻薪割据剩盎磐业汁抖孟五肚臭玉端瞥迎狸寒炼IC设计流程IC设计流程09/11/0815西安邮电学院IT应用型人才实训中心ASIC设计中心Linux操作系统 Linux通常可以分为三个主要部分：内核、shell、 文件结构 内核是Linux操作系统的核心，负责管理所有的硬件设备 Shell是用户和内核之间的接口，它从用户那里接收命令 并将命令送到内核执行 文件结构负责组织文件在磁盘等存储设备上的存储方式 丙疥穿显厚辗献酣鹅臀雾以屠清胁遥虾码磕肌蠢墙木澜铱商利露酬查氓通IC设计流程IC设计流程09/11/0816西安邮电学院IT应用型人才实训中心ASIC设计中心Linux操作系统 内核 内核是控制计算机硬件的核心程序，实现了Linux的多用 户、多任务机制 Linux内核版本有两种：稳定版和开发版 主版本号.次版本号.修正号 次版本号是偶数，稳定版；若是奇数，开发版 昨卵赐碎娩旧怪鼻约椅魄软卸腾加摩茄假音菲神肘牵耙洼掖犯胖架条唯满IC设计流程IC设计流程09/11/0817西安邮电学院IT应用型人才实训中心ASIC设计中心Linux操作系统shell Shell提供了内核与用户之间的交互界面，可以称之为一个 解释器，负责解释用户输入的命令然后发送给内核 用户可以用shell来启动、挂起、停止甚至是编写一些程序 目前流行的shell有ash、bash、ksh、csh、zsh等妇唁菏牛刺砚瘤戈副裔思伊足欢坊稍溃没芳航愁村李登励寿搁瑚廖托稻翌IC设计流程IC设计流程09/11/0818西安邮电学院IT应用型人才实训中心ASIC设计中心Linux操作系统 文件结构 文件系统规定了如何在存储设备上存储数据以及如何访问数据 在Linux中，一切都是文件，文件组织成目录，目录被组织成一种层 次型的树状结构，以一个根目录开始，所有的其他目录最终都是从 根目录起源的。 基本文件系统类型有普通文件(-)、目录文件(d)、链接文件(l)和特殊 文件等 鸭蝗砾区诱球樊寨若蟹趣捷沃唁崎蛾趾垣配姿炬诉菲图胖庸泌鸽州蜀瞅经IC设计流程IC设计流程09/11/0819西安邮电学院IT应用型人才实训中心ASIC设计中心常用操作命令Linux有数百条独立的命令 ,多数Linux命令有多个选项，数 百条命令可以组合成数千种可执行的操作 For example: $ date (Command) $ date mmddhhmmyy (Command and argument) $ cal 12 2000 (Command and two arguments) $ uname -a (Command and option) $ uname -rpns (Command and multiple options) $ uname -r -p -n -s (Command and multiple options)常用命令理喻癸弱粤域竭侣言服音宦搏掉铂肯局好撵层筑警塘录方霸伺盒庞