版图验证规则文件测试向量的自动生成方法技术

版图验证规则文件测试向量的自动生成方法是集成电路辅助设计软件工具中版图验证(DRC)中的一种优化方法。本发明专利技术属于集成电路辅助设计软件工具中版图验证领域。为了保证版图验证规则文件的正确性，通用的方法是：根据规则文件的描述，由人工构造多个测试向量，然后分析测试向量的计算结果是否与预期一致。人工构造测试用例的方法有两个显著缺点，首先，该方法工作量很大，效率低。其次，人工构造向量用例难以保证测试的全面性。为了克服人工构造测试向量的缺陷，本发明专利技术提出了一种测试向量的自动生成方法，该方法由计算机程序自动生成覆盖全面的测试向量，可以在很短的时间内完成测试向量的生成，大大提高了开发效率，保证了规则文件的正确性。

【技术实现步骤摘要】

是集成电路辅助设计软件工具中版 图验证(DRC)中的一种优化方法。本专利技术属于集成电路辅助设计软件工具中版图验证领 域。
技术介绍
集成电路(IC)设计的后期包括版图设计和版图验证，而这两项功能是EDA工具中 的重要环节；版图验证是根据版图设计规则、电学规则和原始输入的逻辑关系对版图设计 进行正确性的验证并且可以通过对电路和参数的提取，产生电路模拟的输入文件进行后模 拟，以进一步检查电学性能。版图验证规则文件是用来验证版图设计是否符合工艺加工约束条件的重要文件， 这个文件的正确与否直接关系着芯片加工成败。为了验证该规则文件的正确性，通用的方 法是根据规则文件的描述，由人工构造多个测试向量，然后分析测试向量的计算结果是否 与预期一致。这里测试向量指的一般是一组版形，用来反映是否违反设计规则的测试 用例。人工构造测试用例的方法有两个显著缺点，首先，随着工艺技术的不断发展，设计 规则的数目急剧膨胀，人工构造测试向量的方法工作量很大，效率很低。据统计，当集成电 路工艺进入纳米尺寸后，一套工艺的设计规则数目往往超过1000个，假设每个设计规则需 要构造6个以上的测试向量，每个测试向量构造需要花3分钟，总计一套规则的测试向量构 造需要花费18000分钟，即300个小时，这个时间会严重影响开发效率。其次，人工构造向 量用例难以保证测试的全面性。由于人在构造用例过程中难免会有小的疏忽与错误，会导 致最终的设计规则文件隐含某些错误，最终导致芯片加工失败。为了克服人工构造测试向量的缺陷，本专利技术提出了一种测试向量的自动生成方 法，该方法由计算机程序自动生成覆盖全面的测试向量，可以在很短的时间内完成测试向 量的生成，大大提高了开发效率，保证了规则文件的正确性。
技术实现思路
本专利技术提出了，主要内容如下1.针对版图验证的原始工艺说明文件，构造一种形式化的描述语言，将自然语言 转化为计算机可以理解的描述语言；例如，一个典型的金属宽度描述的自然语言是Min. Width of MEl is 0.6为了使得上述自然语言被计算机程序接受，本专利技术提出了一种形式化的语言来描 述上述规则，形式化描述如下RuleBeginRuleNameMETAL l_h Ia LayerNumLayerlNoKeywordMaxValueMinValue6Width 0. 6 ORuleEnd上述形式化描述中，RuleName是该规则的名字，LayerNum是该规则的输入层的总 数目，LayerlNo是数据的层号，Keyword是规则检查的关键字，MaxValue是该规则的最大 值，MinValue是该规则的最小值。2.针对上一步生成的形式化描述语言，通过自动构造的方法，由计算机程序自动 生成对应的测试向量的脚本语言。仍以上一步的例子为例，针对形式化描述语言，程序将自动生成符合设计规则的 一批图形，这批图形以脚本语言的方式描述，更加直观和容易理解。脚本语言的内容如下GDSfileName good_METALl_hla. gdsDBunit1000CellBeginCellName good_METALl_hlacreateText 6 0 10000 1000 width_should_not be_less_than_0. 6createBox 6 0 0 10000 600createBox 6 0 5000 10000 5620CellEnd上述脚本语言描述了针对第一步的设计规则自动生成的一组测试向量图形，其中 gdsFiIeName是准备输出的测试向量文件名，Dbunit是数据库的单位，CellName是输出的 测试向量单元名，createText是程序自动生成的测试向量的注释，createBox是程序自动 生成的2个测试向量图形，该图形的宽度刚好满足设计规则规定的0. 6的大小。上述例子仅给出了满足设计规则的测试向量图形，实际的程序实现中，还需要自 动产生不满足设计规则的测试向量图形，方法与上述描述一致，不再赘述。3.针对上一步生成的脚本语言，通过自动翻译的方法，由计算机程序生成测试向 量的标准gds格式文件。上一步自动生成的脚本语言比较直观，容易理解，但是还不是测试向量图形的最 终格式描述语言。为了使得测试向量可以被不同的软件工具读入，必须把测试向量的脚本 语言转化为工业界通用的格式文件，这个格式文件一般是gds2的格式。本专利技术采用自动转换的方法，由计算机程序对脚本语言进行转换，生成标准的 gds2格式。并且可以在版图编辑工具中进行直观的显示，该用例的直观版图显示见附图1。此外，图2与图3进一步说明了间距检查与包含检查的测试向量自动生成结果。附图说明图1宽度检查的测试向量自动生成结果2间距检查的测试向量自动生成结果图图3包含检查的测试向量自动生成结果图具体实施例方式第一步根据工艺文件的自然语言描述，书写版图验证规则文件的形式化描述语 、曰ο第二步调用自动工具FormalGen，由形式化语言自动生成测试向量的脚本语言。第三步调用自动工具ScriptGen，由脚本语言自动生成测试向量的标准gds2文 件。采用上述步骤，针对一个典型的1000个规则的验证文件，书写形式化文件仅花费 3个小时，运行FormalGen工具仅需1分钟，运行ScriptGen工具仅需20秒，远远小于手工 生成测试向量的300个小时的时间。权利要求1.，它的基本含义是在版图验证规则书写 完成后，需要构造大量的测试向量来验证该文件是否准确，现有的方法是完全依靠人工构 造，工作量大且无法覆盖全面；为了提高测试向量的开发效率，本专利技术提出了一种测试向量 自动生成的方法。具体步骤如下(1)针对版图验证的原始工艺说明文件，构造一种形式化的描述语言，将自然语言转化 为计算机可以理解的描述语言(2)针对(1)生成的形式化描述语言，通过自动构造的方法，由计算机程序自动生成对 应的测试向量的脚本语言。(3)针对( 生成的脚本语言，通过自动翻译的方法，由计算机程序生成测试向量的标 准gds格式文件。全文摘要是集成电路辅助设计软件工具中版图验证(DRC)中的一种优化方法。本专利技术属于集成电路辅助设计软件工具中版图验证领域。为了保证版图验证规则文件的正确性，通用的方法是根据规则文件的描述，由人工构造多个测试向量，然后分析测试向量的计算结果是否与预期一致。人工构造测试用例的方法有两个显著缺点，首先，该方法工作量很大，效率低。其次，人工构造向量用例难以保证测试的全面性。为了克服人工构造测试向量的缺陷，本专利技术提出了一种测试向量的自动生成方法，该方法由计算机程序自动生成覆盖全面的测试向量，可以在很短的时间内完成测试向量的生成，大大提高了开发效率，保证了规则文件的正确性。文档编号G06F17/50GK102129483SQ201010031388公开日2011年7月20日 申请日期2010年1月20日 优先权日2010年1月20日专利技术者侯劲松, 张萍 申请人:天津蓝海微科技有限公司本文档来自技高网...

【技术保护点】
１．版图验证规则文件测试向量的自动生成方法，它的基本含义是在版图验证规则书写完成后，需要构造大量的测试向量来验证该文件是否准确，现有的方法是完全依靠人工构造，工作量大且无法覆盖全面；为了提高测试向量的开发效率，本专利技术提出了一种测试向量自动生成的方法。具体步骤如下：（１）针对版图验证的原始工艺说明文件，构造一种形式化的描述语言，将自然语言转化为计算机可以理解的描述语言：（２）针对（１）生成的形式化描述语言，通过自动构造的方法，由计算机程序自动生成对应的测试向量的脚本语言。（３）针对（２）生成的脚本语言，通过自动翻译的方法，由计算机程序生成测试向量的标准ｇｄｓ格式文件。

【技术特征摘要】

【专利技术属性】
技术研发人员：侯劲松，张萍，
申请(专利权)人：天津蓝海微科技有限公司，
类型：发明
国别省市：12