浅谈Calibre编程语言及其在后端设计上具体应用.docVIP

浅谈Calibre编程语言及其在后端设计上具体应用 　　摘 要：Calibre是业界流行的验证工具，它提供了各个方面的验证方法来确保芯片能顺利流片。Calibre所具有的编程语言不仅仅是其规则文件的重要组成部分，更能提供很多优化验证流程和效率的解决方案。该文以对Calibre编程语言的简介开始，讨论了一些能有效提高后端工作效率的语句编写 关键词：Calibre 编程语言 后端 中图分类号：TP391 文献标识码：A 文章编号：1674-098X（2017）03（b）-0120-02 Calibre是美国mentor公司开发的一款深亚微米集成电路验证工具，它分为DRC（design rule check，用于检测版图图形是否符合代工厂的工艺要求），LVS（Layout Versus Schematic，用于对比版图和电路的一致性），ERC（Electronics Rule Checking，用于提取版图中的寄生参数以便进行仿真），ANT（Antenna，用于检查版图中的天线效应），DFM（Design for Manufacturer，可制造性设计）等若干模块，Calibre工具的验证文件使用其独有的编程语言编写而成，这是一种具有高度函数化功能的语言，该文将从DRC和LVS规则验证文件入手，介绍它们的一般框架结构以及对于验证很有用处的一些语句的编写 1 Calibre验证文件的基本框架结构 通常情况下，DRC与LVS的验证文件是各自独立编写的，但也有极少数的工艺厂从方便角度考虑会将这两种验证功能集中于同一个文件之上 在验证文件的开头，一般是开关定义语句，格式为：#DEDINE与#IFDEFINE 如：#DEFINE mimcap_1p0，这个开关定义了是否使用某种电容，而如果后面将使用这种电容，则由#IFDEFINE mimcap_1p0语句来完成这项功能 接下来是环境参数设置语句和DRC，LVS的一些特有设置，前者定义了参与验证的文件类型、路径，电容电阻度量单位等，而后者则规定了验证过程中需要遵守的一些基本运行法则，如版图是否检查格点大小与锐角图层，是否保证端口名称与大小写的精确匹配，是否滤去版图中的DUMMY器件等。这之后，是定义版图原生层次与产生衍生层次的语句 整个验证规则文件中最重要的检查版图绘制规则（DRC）和进行版图与电路比较（LVS）的主体程序则在此之后编写 规则文件的最后是检查版图电气连接的语句 2 Calibre编程语言的命令简介 Calibre具有一些高度函数化功能的命令，它的编程命令大致可以分为3类：命令型语句，如LVS FILTER，这条语句定义了在验证过程中可以滤去的器件类型；逻辑运算语句，AND，OR，XOR，NOT，它们利用逻辑运算来生成图形；图形描述性语句，如length layer，它选定了长度符合要求的相应图形的边缘。Calibre利用后两种命令语句的组合来产生衍生图层或是进行复杂的图形运算，这其中最常见的命令定义如下： INT，EXT，ENC 3 若干Calibre DRC和LVS验证语句的编写 大部分工艺厂提供的规则文件只有最基本的验证命令，但很多对于提高电路流片成功率非常重要的的语句却并不包含在内，接下来该文就将介绍一些能提高验证效率和流片可靠性的语句编写方法 3.1 检查悬浮线的语句 悬浮线指的是芯片上没有与电源或地形成直流通路的悬空部分，一般分为两种，金属悬浮线以及多晶硅悬浮线，但不论是哪种悬浮线，在进行离子刻蚀的过程中，它们都可能吸引大量的电荷积聚其上，这样就会产生很多危害，比如改变周边器件的电学特性甚至击穿栅氧结构。因此，在LVS文件中添加检查悬浮线的验证语句就显得十分重要了，它既可以查找所有的悬浮线，又可以分门别类地查找各个图层，命令如下： PATHCHK ！LABELED //查找一切悬浮线（包括为补充金属密度而添加的DUMMY金属） PATHCHK ！LABELED poly //查找悬浮的多晶硅 PATHCHK ！LABELED m1 //查找悬浮的第一层金属 PATHCHK ！LABELED m2 //查找悬浮的第二层金属 PATHCHK ！LABELED NOFLOAT //查找不包含DUMMY金属在内的其他一切悬浮线 3.2 检查金属线宽度的语句 宽金属线在各个工艺厂定义不尽相同，但一般认为宽度超过10 μm的金属线就可以被视作宽线，这些线需要在沿着电流流动的方向上开槽，这些槽也被称为SLOT。过宽的线一般存在几个危害，一是增大了局部金属的密度，容易造成刻蚀不干净；二是宽线在进行平整化工艺时会比其他地方更易形成凹陷的区域，?@样就会改变线路寄生电容和电阻