数字IC设计流程与工具课件.ppt
- 【下载声明】
1. 本站全部试题类文档,若标题没写含答案,则无答案;标题注明含答案的文档,主观题也可能无答案。请谨慎下单,一旦售出,不予退换。
2. 本站全部PPT文档均不含视频和音频,PPT中出现的音频或视频标识(或文字)仅表示流程,实际无音频或视频文件。请谨慎下单,一旦售出,不予退换。
3. 本页资料《数字IC设计流程与工具课件.ppt》由用户(三亚风情)主动上传,其收益全归该用户。163文库仅提供信息存储空间,仅对该用户上传内容的表现方式做保护处理,对上传内容本身不做任何修改或编辑。 若此文所含内容侵犯了您的版权或隐私,请立即通知163文库(点击联系客服),我们立即给予删除!
4. 请根据预览情况,自愿下载本文。本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。
5. 本站所有资源如无特殊说明,都需要本地电脑安装OFFICE2007及以上版本和PDF阅读器,压缩文件请下载最新的WinRAR软件解压。
- 配套讲稿:
如PPT文件的首页显示word图标,表示该PPT已包含配套word讲稿。双击word图标可打开word文档。
- 特殊限制:
部分文档作品中含有的国旗、国徽等图片,仅作为作品整体效果示例展示,禁止商用。设计者仅对作品中独创性部分享有著作权。
- 关 键 词:
- 数字 IC 设计 流程 工具 课件
- 资源描述:
-
1、数字数字IC设计流程与工具设计流程与工具电子科技大学通信学院111教研室 版权所有Notesl本PPT内容是整个DDC项目组的集体学习研究成果l感谢已经毕业的曾经参与后端项目的师兄师姐,以及各位老师。l闻道有先后,术业有专攻l共同学习,共同进步l大家有问题请直接请教熟悉相应工具的同学。lTips:可以参考QUATURS II的design flow!Contents基于标准单元的ASIC设计流程1数字前端设计(front-end)2数字后端设计(back-end)3Q&A43教研室ASIC后端文件归档Contents基于标准单元的ASIC设计流程1数字前端设计(front-end)2数字后端设
2、计(back-end)3Q&A43教研室ASIC后端文件归档基于standcell的ASIC设计流程数字前端设计。以生成可以布局布线的网表为终点。数字后端设计。以生成可以可以送交foundry进行流片的GDS2文件为终点。术语:tape-out提交最终GDS2文件做加工;Foundry芯片代工厂,如中芯国际。算法模型c/matlab codeRTL HDLvhdl/verilogNETLISTverilogStandcelllibrary综合工具根据基本单元库的功能-时序模型,将行为级代码翻译成具体的电路实现结构LAYOUTgds2基于standcell的ASIC设计流程布局布线工具根据基本单
3、元库的时序-几何模型,将电路单元布局布线成为实际电路版图对功能,时序,制造参数进行检查TAPE-OUTContents基于标准单元的ASIC设计流程1数字前端设计(front-end)2数字后端设计(back-end)3Q&A43教研室ASIC后端文件归档数字前端设计流程-1综合RTL file布局布线前静态时序分析形式验证NETLISTMeet requirements?YESNO整个ASIC设计流程都是一个迭代的流程,在任何一步不能满足要求,都需要重复之前步骤,甚至重新设计RTL代码。模拟电路设计的迭代次数甚至更多。数字前端设计流程-2怎样保证网表的正确性?l以往的方法是对网表文件做门级仿
4、真。此种方式的仿真时间较长,且覆盖率相对较低。l形式验证+静态时序分析。此种方法仿真时间短,覆盖率高,为业界普遍采用的方式。数字前端设计流程-3 使用DC综合lSYNOPSYS Design Compiler数字前端设计流程-4 使用DC综合步骤可以归纳为:1.指定综合使用的库2.根据符号库将行为级模型转换为逻辑网表(由逻辑单元GTECH构成)3.指定综合环境以及约束4.进行综合,根据约束将逻辑网标映射为实际网表(由标准单元构成)5.优化网表6.输出综合结果数字前端设计流程-5 使用DC综合ASIC的综合与FPGA的综合有什么不同?l原理是相同的!l关键在于综合目标不同。FPGA综合是将逻辑映
5、射为FPGA器件资源(如LUT,REG,MEM-BLOCK);ASIC综合是将逻辑映射为标准单元(如门电路,寄存器,RAM,ROM)。l标准单元库中对于某一种功能的门电路具有不同版本,分别对应不同驱动能力。数字前端设计流程-6 使用DC综合综合不仅仅要求功能,也要求时序!l综合具有一定条件,如工作频率、电路面积等。l门电路沟道宽度窄,自然面积小,但是驱动能力降低,电路工作速率降低。所以要对综合进行约束!l综合器中也有静态时序分析功能,用来计算当前综合结果的工作速率。l使用wire load model来估算延时。数字前端设计流程-7 使用DC综合l关于延时计算将在静态时序分析部分详细介绍。l可
6、以参考QUATURS II软件的ANALYSIS&SYNTHESIS工具学习DC。TIPS:数字前端设计流程-8 使用PT进行STAlSYNOPSYS Prime Timel只是一个时序分析工具,本身不对电路做任何修改。l在ASIC流程中对于电路进行任何修改过后都应该使用STA工具检查其时序,以保证电路时序满足要求。l仍然采用wire load model来估算电路时序。l可以参考QUATURS II的timequest timing analyzer学习。数字前端设计流程-9 延时计算l采用wire load model可以计算电路端到端路径延时。l端到端路径:l寄存器输出 寄存器输入l寄存
7、器输出 输出端口l输入端口 寄存器输出l延时采用标准单元库查表进行运算lInput:transition time,output net capacitancelOutput:input to output delay,transition timelNet capacitance 使用wire load model进行估算数字前端设计流程-10 延时计算数字前端设计流程-11 延时计算l布局布线前,由于无布线信息,所以连线延时只能够通过连接关系(与fanout相关)估计得到。l当特征尺寸降低时,此种估计方法越来越不准确,所以可以使用physical synthesis技术。l在布局布线后,布
8、局布线工具可以提取出实际布线后的线网负载电容,此时PT可以计算实际延时(back-annote)。l可以将延时信息写入SDF(synopsys delay file)文件用于后仿真。数字前端设计流程-12 PT使用流程l使用方法与DC类似l1.指定使用的库l2.读入网表文件l3.指定时序约束及工作环境l4.进行静态时序分析,给出报告l从一个synthesizable subcircuit 中,pt能捕获一个时序环境,并写成一系列的dc指令,在dc中用其为这个subcircuit定义时间约束和时序优化 值得关注l这两个都支持用SDC(synopsys design constraints)格式指
9、定设计规则,包括时间面积约束。数字前端设计流程-13 形式验证l静态时序分析检查了电路时序是否满足要求,而形式验证检查了电路功能的正确性。l形式验证工具本质是一个比较器!其功能就是比较两电路功能是否完全一致。l由于在综合过程中电路节点名称可能改变,因此可以使用形式验证工具找到RTL代码中节点在网表中的对应节点。数字前端设计流程-14 逻辑锥l原理 把设计划分成无数个逻辑锥(logic cone)的形式,以逻辑锥为基本单元进行验证.当所有的逻辑锥都功能相等,则验证 successful!l逻辑锥 锥顶作为比较点.它可以由原始输出,寄存器输入,黑盒输入充当 -formality自动划分数字前端设计
10、流程-15 形式验证lVerify RTL designs vs.RTL designs -the rtl revision is made frequentlylVerify RTL designs vs.Gate level netlists -verify synthesis results -verify manually coded netlists,such as Design Warel verify Gate level netlists vs.Gate level netlists -test insertion -layout optimization什么时候需要做形式验证
展开阅读全文