[发明专利]一种自动生成复杂器件版图的形式化描述方法

说明书

技术领域

使用形式化描述语言自动生成复杂器件版图的方法是集成电路辅助设计软件工具中提高版图绘制效率的一种优化方法。本发明属于集成电路辅助设计软件工具中版图验证领域。

背景技术

集成电路版图设计过程中，设计工程师需要使用版图编辑工具绘制很多复杂的器件图形，完全靠手工绘制效率很低。工业界通常使用编程语言来实现这些器件的自动生成，(如使用skill语言编程实现的Pcell)。这种实现方法要求用户具有较好的编程能力，因此设计门槛高，开发时间长，工作量大。形式化描述方法是一种介于自然语言和计算机语言之间的语言。相对于计算机语言，形式化语言更接近于自然语言，简单、易懂，如看图识字，对用户要求很低。

本发明提出了一种自动生成复杂器件版图的形式化描述方法。使用本发明定义的复杂器件版图的形式化描述除可以自动生成复杂器件的可变参数单元，还可自动构建工艺规则文件的测试向量。相对于业界PCell、Magic Cell等采用编程语言实现复杂器件版图的自动生成方法，使用形式化语言描述不需要任何编程语言知识，书写简单，大大提高了开发效率，易于后续经常性的修改和维护。

本发明提出的形式化描述方法，已经通过软件程序的方式实现了从“形式化描述语言”到二维复杂器件图形的自动生成，大大提高了设计工程师绘制复杂器件图形的效率。

发明内容

本发明提出了一种自动生成复杂器件版图的形式化描述方法，主要内容如下：

1.描述一维图形逻辑关系的形式化描述语言

●完全分离1(参见附图1)

描述方式：Relation A B  None_Left

关系None_Left表示二者分离，A线段在B线段的左端。

●完全分离2(参见附图2)

描述方式：Relation A B  None_Right

关系None_Right表示二者分离，A线段在B线段的右端。

●完全包含(参见附图3)

描述方式：Relation A  B  Full

(注意线段A，B位于同一直线上，为了显示方便，把他们分开了。)

●部分包含1(参见附图4)

描述方式：Relation A B Half_Left

(注意线段A，B位于同一直线上，为了显示方便，把他们分开了。)

Half_Left表示A线段的最左端小于B线段的最左端。

●部分包含2(参见附图5)

描述方式：Relation A B Half_Right

(注意线段A，B位于同一直线上，为了显示方便，把他们分开了。)

Half_Right表示A线段的最左端大于B线段的最左端。

●完全位于内部(参见附图6)

描述方式：Relation A B Part

(注意线段A，B位于同一直线上，为了显示方便，把他们分开了。)

通过仅仅6个关键字Full，Half_Left，Half_Right，Part，None_Left，None_Right可以全面描述一维图形间的图形逻辑关系，要注意，图形A，B的描述是有顺序的，不能任意颠倒。

2.描述一维图形点接触关系的形式化描述语言

在某些特殊情况下，一维图形A，B会出现在某个端点重合的情况，这时除了上述定义的一维图形逻辑关系的形式化描述，再定义一维图形间的点接触关系的形式化语言。两者结合一起进一步确切地实现一维图形逻辑关系的形式化描述。

●完全分离的点接触(参见附图7)

描述方式：Relation A B None_Left Left_Touch

●部分包含的点接触(参见附图8)

描述方式：Relation A B Full   Right_Touch

(注意线段A，B位于同一直线上，为了显示方便，把他们分开了。)

●完全位于内部的点接触(参见附图9)

描述方式：Relation A B Part Left_Touch

(注意线段A，B位于同一直线上，为了显示方便，把他们分开了。)

同时注意上述情况是Part关系，而不是Half关系，因为half关系的定义必须是A有一部分位于B的外边。

●完全重合的点接触(参见附图10)

描述方式：Relation A B  FULL LeftRight_Touch

(注意线段A，B位于同一直线上，为了显示方便，把他们分开了。