IC数字前端 数字后端 流程与工具ppt课件.ppt
《IC数字前端 数字后端 流程与工具ppt课件.ppt》由会员分享,可在线阅读,更多相关《IC数字前端 数字后端 流程与工具ppt课件.ppt(52页珍藏版)》请在三一办公上搜索。
1、数字后端流程与工具,电子科技大学通信学院111教研室 版权所有,Notes,本PPT内容是整个DDC项目组的集体学习研究成果感谢已经毕业的曾经参与后端项目的师兄师姐,以及各位老师。闻道有先后,术业有专攻共同学习,共同进步大家有问题请直接请教熟悉相应工具的同学。Tips:可以参考QUATURS II的design flow!,Contents,基于标准单元的ASIC设计流程,1,数字前端设计(front-end),2,数字后端设计(back-end),3,Q & A,4,3,教研室ASIC后端文件归档,Contents,基于标准单元的ASIC设计流程,1,数字前端设计(front-end),2,
2、数字后端设计(back-end),3,Q & A,4,3,教研室ASIC后端文件归档,基于standcell的ASIC设计流程,数字前端设计。以生成可以布局布线的网表为终点。,数字后端设计。以生成可以可以送交foundry进行流片的GDS2文件为终点。术语:tape-out提交最终GDS2文件做加工;Foundry芯片代工厂,如中芯国际。,算法模型c/matlab code,RTL HDLvhdl/verilog,NETLISTverilog,Standcelllibrary,综合工具根据基本单元库的功能-时序模型,将行为级代码翻译成具体的电路实现结构,LAYOUTgds2,基于standce
3、ll的ASIC设计流程,布局布线工具根据基本单元库的时序-几何模型,将电路单元布局布线成为实际电路版图,对功能,时序,制造参数进行检查,TAPE-OUT,Contents,基于标准单元的ASIC设计流程,1,数字前端设计(front-end),2,数字后端设计(back-end),3,Q & A,4,3,教研室ASIC后端文件归档,数字前端设计流程-1,综合,RTL file,布局布线前静态时序分析,形式验证,NETLIST,Meet requirements?,YES,NO,整个ASIC设计流程都是一个迭代的流程,在任何一步不能满足要求,都需要重复之前步骤,甚至重新设计RTL代码。模拟电路设
4、计的迭代次数甚至更多。,数字前端设计流程-2,怎样保证网表的正确性?,!,以往的方法是对网表文件做门级仿真。此种方式的仿真时间较长,且覆盖率相对较低。形式验证+静态时序分析。此种方法仿真时间短,覆盖率高,为业界普遍采用的方式。,数字前端设计流程-3 使用DC综合,SYNOPSYS Design Compiler,数字前端设计流程-4 使用DC综合,步骤可以归纳为:1.指定综合使用的库2.根据符号库将行为级模型转换为逻辑网表(由逻辑单元GTECH构成)3.指定综合环境以及约束4.进行综合,根据约束将逻辑网标映射为实际网表(由标准单元构成)5.优化网表6.输出综合结果,数字前端设计流程-5 使用D
5、C综合,ASIC的综合与FPGA的综合有什么不同?,!,原理是相同的!关键在于综合目标不同。FPGA综合是将逻辑映射为FPGA器件资源(如LUT,REG,MEM-BLOCK);ASIC综合是将逻辑映射为标准单元(如门电路,寄存器,RAM,ROM)。标准单元库中对于某一种功能的门电路具有不同版本,分别对应不同驱动能力。,数字前端设计流程-6 使用DC综合,综合不仅仅要求功能,也要求时序!,!,综合具有一定条件,如工作频率、电路面积等。门电路沟道宽度窄,自然面积小,但是驱动能力降低,电路工作速率降低。所以要对综合进行约束!综合器中也有静态时序分析功能,用来计算当前综合结果的工作速率。使用wire
6、load model来估算延时。,数字前端设计流程-7 使用DC综合,关于延时计算将在静态时序分析部分详细介绍。可以参考QUATURS II软件的ANALYSIS & SYNTHESIS工具学习DC。,TIPS:,!,数字前端设计流程-8 使用PT进行STA,SYNOPSYS Prime Time只是一个时序分析工具,本身不对电路做任何修改。在ASIC流程中对于电路进行任何修改过后都应该使用STA工具检查其时序,以保证电路时序满足要求。仍然采用wire load model来估算电路时序。可以参考QUATURS II的timequest timing analyzer学习。,数字前端设计流程-
7、9 延时计算,采用wire load model可以计算电路端到端路径延时。端到端路径:寄存器输出 寄存器输入寄存器输出 输出端口输入端口 寄存器输出延时采用标准单元库查表进行运算Input:transition time, output net capacitanceOutput:input to output delay,transition timeNet capacitance 使用wire load model进行估算,数字前端设计流程-10 延时计算,数字前端设计流程-11 延时计算,布局布线前, 由于无布线信息,所以连线延时只能够通过连接关系(与fanout相关)估计得到。当特征
8、尺寸降低时,此种估计方法越来越不准确,所以可以使用physical synthesis技术。在布局布线后,布局布线工具可以提取出实际布线后的线网负载电容,此时PT可以计算实际延时(back-annote)。可以将延时信息写入SDF(synopsys delay file)文件用于后仿真。,数字前端设计流程-12 PT使用流程,使用方法与DC类似1.指定使用的库2.读入网表文件3.指定时序约束及工作环境4.进行静态时序分析,给出报告从一个synthesizable subcircuit 中,pt能捕获一个时序环境,并写成一系列的dc指令,在dc中用其为这个subcircuit定义时间约束和时序优
9、化 值得关注这两个都支持用SDC(synopsys design constraints)格式指定设计规则,包括时间面积约束。,数字前端设计流程-13 形式验证,静态时序分析检查了电路时序是否满足要求,而形式验证检查了电路功能的正确性。形式验证工具本质是一个比较器!其功能就是比较两电路功能是否完全一致。由于在综合过程中电路节点名称可能改变,因此可以使用形式验证工具找到RTL代码中节点在网表中的对应节点。,数字前端设计流程-14 逻辑锥,原理 把设计划分成无数个逻辑锥(logic cone)的形式,以逻辑锥为基本单元进行验证.当所有的逻辑锥都功能相等,则验证 successful !逻辑锥 锥顶
10、作为比较点.它可以由原始输出,寄存器输入,黑盒输入充当 - formality自动划分,数字前端设计流程-15 形式验证,Verify RTL designs vs. RTL designs - the rtl revision is made frequentlyVerify RTL designs vs. Gate level netlists - verify synthesis results - verify manually coded netlists,such as Design Ware verify Gate level netlists vs. Gate level ne
11、tlists - test insertion - layout optimization,什么时候需要做形式验证?,!,Contents,基于标准单元的ASIC设计流程,1,数字前端设计(front-end),2,数字后端设计(back-end),3,Q & A,4,3,教研室ASIC后端文件归档,数字后端设计流程-1,目前业界广泛使用的APR(Auto Place And Route)工具有:Synopsys公司的ASTROCadence公司的Encounter可以参考QUARTUS II的FITTER学习。,数字后端设计流程-2,哪些工作要APR工具完成?,!,芯片布图(RAM,ROM等
- 配套讲稿:
如PPT文件的首页显示word图标,表示该PPT已包含配套word讲稿。双击word图标可打开word文档。
- 特殊限制:
部分文档作品中含有的国旗、国徽等图片,仅作为作品整体效果示例展示,禁止商用。设计者仅对作品中独创性部分享有著作权。
- 关 键 词:
- IC数字前端 数字后端 流程与工具ppt课件 IC 数字 前端 后端 流程 工具 ppt 课件
链接地址:https://www.31ppt.com/p-1376192.html