材料链接
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 约束
- 某些层的操作依赖于数学表达式的求值
- 尺寸测量
- 边或多边形计数
- 约束是用户指定的非负数区间
