CN103870263B 掩模版图最小物理规则验证文件的制作方法 （上海华虹宏力半导体制造有限公司）.docxVIP

(19)中华人民共和国国家知识产权局

(12)发明专利

(10)授权公告号CN103870263B

(45)授权公告日2017.03.29

(21)申请号201210549797.1

(22)申请日2012.12.17

(65)同一申请的已公布的文献号申请公布号CN103870263A

(43)申请公布日2014.06.18

(73)专利权人上海华虹宏力半导体制造有限公司

地址201203上海市浦东新区张江高科技

园区祖冲之路1399号

(72)发明人徐靓张紫弘张兴洲倪凌云孙长江

(74)专利代理机构上海浦一知识产权代理有限公司31211

代理人丁纪铁

(51)Int.CI.

GO6F9/44(2006.01)

(56)对比文件

CN102368276A,2012.03.07,

WO2012/137390A1,2012.10.11,

CN102129483A,2011.07.20,

吕江平等.浅谈集成电路版图验证工具

Dracula中的几何设计规则检查(DRC).《集成电路通讯》.2004,第22卷(第3期),第10-15页.

王翠霞等.Cadence版图设计环境的建立及设计规则的验证.《现代电子技术》.2004,(第15期),第18-20页.

审查员祝子豪

权利要求书1页说明书5页附图2页

(54)发明名称

根据俺椭版图设计文书作B

根据俺椭版图设计文书作B生成演算式文

利用解机器完成对磨饮操作的逐什解析，嵌符其中的层次和数华宿息

将EB生成演算式文件中行的质次操作信怠始存到还次总中

将EB城演算式文件中逻辑操作的每个元素解析，根据不同的操作符生成不同的

操作指令制作您则路句，将逻转领作扬被照层次总表颐痒验出到所述观划语句形成颇朗验证文件

将检查指令原始层次检制信息物出验证文件，具有原始层次俗总姆

次列用解析器对层次操作逐行解析，直跑规验证文件中不阴员有原始层次信息为

对规则骏证文件逻忻操作优化，法达式解所归拌

(57)摘要

103870263BCN本发明公开了一种掩模版图最小物理规则验证文件的制作方法在LINUX系统下实施，包括根据掩模版图设计文书制作EB生成演算式文件；利用解析器完成对层次操作的解析，获得其中的层次和数字信息；将EB生成演算式文件中每行的层次操作信息储存到层次总表中；将EB生成演算式文件中逻辑操作的每个元素解析，形成规则验证文件；将检查指令和原始层次检测信息输出到规则验证文件，若还具有原始层次信息则返回执行步骤2),直到规则验证文件中不再具有原始层次信息为止；对规则验证文件逻辑操作优化，表达式解析归并。本发明能自动生成掩模版图最小物理规则验证文件，能节省制作规则验证文件工作量，能提高编码正确率。

103870263B

CN

CN103870263B权利要求书1/1页

2

1.一种在LINUX系统下实施的掩模版图最小物理规则验证文件的制作方法，所述掩模版图最小物理规则验证文件由逻辑演算生成式和最小设计规则信息组成，其特征是，包括：

1)根据掩模版图设计文书制作EB生成演算式文件，所述EB生成演算式文件提供生成掩模版图最小物理规则验证文件的原始层次信息；

2)利用解析器完成对原始层次信息操作的逐行解析，获得其中的层次和数字信息；

3)将EB生成演算式文件中每行的层次操作信息储存到层次总表中；

4)将EB生成演算式文件中逻辑操作的每个元素解析，根据不同的操作符生成不同的操作指令用以制作规则语句，将逻辑操作指令按照层次总表顺序输出到所述规则语句形成规则验证文件；

5)将检查指令和原始层次检测信息输出到规则验证文件，若还具有原始层次信息则返回执行步骤2),直到规则验证文件中不再具有原始层次信息为止；

6)对规则验证文件逻辑操作优化，表达式解析归并；

实施步骤6)采用以下方式：

若两层的层信息相同则将层编号大的层归并为层编号小的层；

若后层的层信息包含前层的层信息，则删除前层；

若有出现相同的两层，则删除其中一层，保留另一层。

2.如权利要求1所述掩模版图最小物理规则验证文件的制作方法，其特征是：步骤4),规则语句采用层次间的布尔运算解析制作。

CN103870263B说明书1/5页

3

掩模版图最小物理规则验证文件的制作方法

技术领域

[0001]本