检查lef与phantom一致性 基于laker tcl

ffiuss

  分享一下关于自己写的检查lef 与 phantom 脚本的思路。由于公司服务器的原因没有办法将脚本上传出来。所以就介绍一下思路：
  首先要知道 lef 与 phantom，需要检查的地方，相似与calibre lvl的方式，就是将lef里面layer坐标，obs layer 去与 phantom 里的layer 作对比。
  但是这种lvl的作法没有办法检查逻辑的地方，简单的说就是lvl可以判断同样的地方有没有同样的metal，却无法判断这个metal是什么的port，这是所谓逻辑上的无法检查的地方。
  那么脚本思路介绍正式开始：
  首先lef作为输入文件，对lef文件的每一行进行一次处理：foreach line $lef { ... }

    1、第一个字符为MACRO时，得到cell的名字。开始进入判断PIN信息的模式。
       1.1、第一个字符为PIN时，得到port的名字。
       1.2、第一个字符为LAYER时，得到Layer的定义
       1.3、第一个字符为RECT时，得到上面Layer的坐标。
    2、第一个字符为OBS时。开始进入判断obs layer 信息的模式。

       2.1、第一个字符为LAYER时，得到Layer的定义
       2.2、第一个字符为RECT时，得到上面Layer的坐标。

    3、第一个字符文END时，输出对比结果到输出文件里。并初始化一些参数。

  上述为主题脚本。在这些过程中用到了一些别的procedure。
  1、首先在得到MACRO name 时，通过dbOpenLib、dbOpenCV，打开这个Cell。并抓取信息。在这里提一下phantom的构成，一般就是一些text，metal，metal port，还有一些block（例如m1bk,这类bk都是为了避免同样的layer接触到内部）。
  通过foreach cv [dbGet -obj $cv -attr Shapes ] ,并判断type   [dbGet -obj $cv -attr Type]
    当Type = Label时，这个cv就是phantom里的text。得到Text的信息，通过Text的 cv 得到Text的Point，得到Text的内容。通过text的layer得到对应metal的layer。
      通过[dbGetTrueOverlaps -cv . -layer . -bbox . -shapesOnly 1-attachPoint 1] 去抓取Text下面的metal。最后将这些数据保存在一个list中。
    当Type = Rectangle 时，就是抓取 phantom 中 和 lef OBS有关的地方了，也是抓取后将数据保存在一个list中。这个原理简单不作多介绍。
    2、由于最后信息对比我是用的 lsearch 命令，就意味着上面的list要与lef里的数字一模一样。但是我在运行过程中遇到了 lef里面的是 0.0 ，phantom 中坐标是 0的问题，同样的还有 lef 里面是 58，phantom中是 58.0 等，所以最后我添加了 一个数值处理的procedure。将所有数值都转换为小数点后保存三位。这样我对比是 lsearch 时就可以通过了。

最后，这是我平常没事的时候写的脚本，作为一个入行版图一年多的小白，思路也是比较粗浅。希望多多指教。有想法可以一起讨论。