材料链接

calibre_rule_writing_2007 - 道客巴巴https://www.doc88.com/p-330763936895.html

Calibre DRC介绍

Calibre nmDRC流程

找寻，查看，纠正DRC冲突的一个完整的过程：

从Layout输入，加上svrf文件，一起输入进nmDRC软件；

输出DRC result数据，summary report,transcript（成绩单？？）

从result数据中取出在RVE系统中显示errors,并且可以定位在layout中

将layout中的error都修改掉，然后再返回到calibre nmDRC中运行，直到没有冲突为止。

Layer 种类

• Original（自己画的）
• 抽取的polygon
• 抽取的edge
• 抽取的error

layer type和data flow在DRC系统中,从layout数据库中提取原始层,然后对层进行逻辑操作，获取派生的polygon/edge/error层，最终全部输出到DRC result database中。

Drawn Layers-绘画层

绘画层也成为原始层：

• 原始的layout data
• 通过svrf layer语句定义：
• 
• svrf语句可以通过名称或者编号引用层

Derived Polygon Layers-抽取的多边形

表示作为层操作输出的是多边形结构

• 布尔操作
• 多边形定向的尺寸检查操作

Derived edge and error - 派生边缘层和派生错误层

• 派生边缘层-表示作为图层操作输出的多边形的边缘或边缘段
  • 逻辑拓步网络的边运算
  • 基于尺寸的目标edge的检查操作
• 派生误差层
  • 检查error返回到输出端的，基于error的尺寸信息
  • 不能被其他层操作

DRC ruleChecks

• RuleCheck是添加到规则文件中的过程语句结构，用于检查一个或多个设计规则
• 规则文件指定了哪个ruleCheck cablire执行
• cablire ruleCheck序列
  • 评估语句 evaluate statements
  • 输出结果的数据-drc result 数据库
• calibre 只讲将数据保存在内存中，直到另一个ruleCheck不再需要它为止。
• 改进内存资源管理和运行时，在层派生之后立刻将派生层的所有rulecheck组合在一起。

DRC RuleCheck 语法

规则检查包括

A name{

一个或多个（可选的）层定义

至少一个独立操作

可选注释文本

}

DRC 约束

• 某些层的操作依赖于数学表达式的求值
  • 尺寸测量
  • 边或多边形计数
• 约束是用户指定的非负数区间