接着《综合 | 概述及 library 检查》继续掰扯综合的输入文件，虽然DEF 要在解析完RTL 之后才读入，但因为LEF, QRC, DEF 都属于物理综合必需的文件，所以放到一起来掰扯。
LEF
LEF 是Library Exchange Format 的首字母缩写，是C 家物理库的描述格式。LEF 分为tech lef 跟cell lef 两种，不论是哪个阶段的工具要使用lef 都必须先读入tech lef 再读入cell lef, 因为cell lef 中要引用tech lef 中定义的信息。
Tech lef 中定义了metal layer, via, design rule 等信息，请详细研读下面几张从油管上抠出来的图，图中较详细介绍了tech lef, cell lef 各包含哪些信息以及cell lef 跟cell abstract view 的对应关系。
- layer type: routing, cut (contact), masterslice (poly, active), overlap.
- design rule: width, pitch, spacing.
- via definition.
- metal direction.
- resistance and capacitance per unit square.
- antenna factor.
Cell lef 中定义了cell 的几何形状跟abstract view:
- site extension.
- cell descriptions, cell dimensions.
- layout of pins and blockages, capacitances.
对于lef 的详细内容跟语法格式，可以移步到support.cadence.com 阅读文档：《 LEF/DEF 5.8 Language Reference 》。对于综合工程师而言，除了要能读懂lef 之外，还需要知道：综合工具会从lef 中抽取哪些信息，缺了lef 会如何。
以Genus 为例，工具会从lef 中抽取：
- CAPACITANCE CPERSQ
- EDGECAPACITANCE
- RESISTANCE RPERSQ
- SITE
- WIDTH
- Coupling capacitance
- Capacitance per unit of area
- Fringing capacitance
以Genus 为例，如果缺了lef 工具会：
- check\_design 会做lib/lef 一致性检查，可以报出哪些lib cell 没有对应的lef 哪些lef 又没有对应的lib cell. 工具会对有lib 没lef 的cell 自动设置dont\_use 属性，所以一定要保证综合所用的所有std cell 对应的lef 都被读入。
- 读def 时，如果某些macro 的lef 缺失，工具会报PHYS-* 的Error, 没lef 工具无法知道cell 的长相，pin 的位置，所以一定要把所用到macro 的lef 都读入。
经常有人问如何生成lef 文件，驴号曾经转了一遍大牛文，可参考《Step By Step Use Abstract 提取LEF File》。
QRC
QRC 也是物理综合必须要读入的文件，老工艺是captable 新工艺都是QRC, QRC 是foundry 提供的一个不可读文件，对于综合工程师而言，要保证读入正确corner 的QRC 即可，因为其内容不可读，其他的也没什么要注意的。以Genus 为例，工具需要从Captable 或QRC 文件中读入如下信息：
- PROCESS\_VARIATION
- BASIC\_CAP\_TABLE
- width
- Cc
- Carea
- Cfrg
DEF
关于DEF, 请参阅《论综合 | DEF 解析》跟《论综合 | 是什么让一个数字前端实现硅农开始学习Floorplan 的？》除了这里提到的内容外，在读完DEF 后一定要详细检查DEF 读取过程中报出的所有Error 跟Warning, 要知道每一个Error 跟Warning 的含义及即将对工具行为的影响，然后忽略掉那些影响不大的部分，修正那些影响大的部分。一定要对DEF 的质量进一步检查，以Genus 为例check\_floorplan 会报出更详细的信息，同样对报出的每一项要有深入理解。
作者：陌上风骑驴
原文链接：https://mp.weixin.qq.com/s/4O1VhbX\_OV1VuE3MNq1BPQ
微信公众号：
相关文章推荐
更多IC设计技术干货请关注IC设计技术专栏。
