5、验证.ppt

版图验证 IC 后端流程图: Cadence 版图验证工具 Diva Diva 是 Cadence 的版图编辑大师Virtuoso集成的交互式版图验证工具，具有使用方便、操作快捷的特点，非常适合中小规模单元的版图验证。 Dracula Dracula（吸血鬼）是 Cadence 的一个独立的版图验证工具，按批处理方式工作，功能十分强大，目前是完整芯片验证的标准。 版图验证工具－DIVA Diva －Design Interactive Verification Automation DIVA 是 Cadence软件中的验证工具集，用它可以找出并纠正设计中的错误.它除了可以处理物理版图和准备好的电气数据，从而进行版图和线路图的对查（LVS）外。还可以在设计的初期就进行版图检查，尽早发现错误并互动地把错误显示出来，有利于及时发现错误所在，易于纠正。 版图验证工具－DIVA Diva 工具集组成: 1.设计规则检查（iDRC） 2.版图寄生参数提取（iLPE） 3.寄生电阻提取（iPRE） 4.电气规则检查（iERC） 5.版图与电路图一致比较（iLVS） 版图验证工具－DIVA Remark: Diva中各个组件之间是互相联系的，有时候一个组件的执行要依赖另一个组件先执行。例如：要执行LVS就先要执行DRC。 运行 Diva 之前，要准备好规则验证文件，这些文件有默认名称：做DRC时的文件应以divaDRC.rul命名，版图提取文件以divaEXT.rul命名。做LVS时规则文件应以divaLVS.rul命名。 版图验证工具－DIVA DIVA功能 DRC Extractor ERC LVS 版图验证工具－DIVA DRC:对 IC 版图做几何空间检查，以确保线路能够被 特定加工工艺实现。 ERC:检查电源、地的短路，悬空器件和节点等电气 特性。 LVS:将版图与电路原理图做对比，以检查电路的连 接，与MOS的长宽值是否匹配。 LPE:从版图数据库提取电气参数（如MOS的W、L值 BJT、二极管的面积，周长，结点寄生电容 等）并以Hspice 网表方式表示电路。 版图验证工具－DIVA DIVA工具流程 版图验证工具－DIVA Design Rule Checking 版图验证工具－DIVA DRC 界面 版图验证工具－DIVA Checking Method指的是要检查的版图的类型: Flat 表示检查版图中所有的图形，对子版图块不检查。 Hierarchical利用层次之间的结构关系和模式识别优化，检查电路中每个单元块内部是否正确。 hier w/o optimization 利用层次之间的结构关系而不用模式识别优化，来检查电路中每个单元块 。 Checking Limit 可以选择检查哪一部分的版图: Full 表示查整个版图 Incremental 查自从上一次DRC检查以来，改变的版图。 by area 是指在指定区域进行DRC检查。一般版图较大时，可以分块检查。 版图验证工具－DIVA Switch Names 在DRC文件中，我们设置的switch在这里都会出现。这个选项可以方便我们对版图文件进行分类检查。这在大规模的电路检查中非常重要。 Echo Commands 选上时在执行DRC的同时在CIW窗口中显示DRC文件。 Rules File 指明DRC规则文件的名称，默认为divaDRC.rul Rules Library 这里选定规则文件在哪个库里。 Machine 指明在哪台机器上运行DRC命令。 local 表示在本机上运行。对于我们来说，是在本机运行的，选local。 remote 表示在远程机器上运行。 Remote Machine Name 远程机器的名字。 版图验证工具－DIVA Diva 查错: 错误在版图文件中会高亮显示，很容易观察到。另外也可以选择Verify-Markers-Find菜单来帮助找错。单击菜单后会弹出一个窗口，在这个窗口中单击apply就可以显示第一个错误。 同样，可以选择Verify-Markers-Explain来看错误的原因提示。选中该菜单后，用鼠标在版图上出错了的地方单击就可以了。也可以选择Verify-Markers-Delete把这些错误提示删除。 版图验证工具－DIVA 版图验证工具－DIVA 分析错误（Explain） 版图验证工具－DIVA