LEF/DEF 5.8 格式规范详解：物理设计中避坑与DRC通关的核心依据

简介本资源是Cadence官方发布的《LEF/DEF 5.8 语言参考》PDF手册面向集成电路物理设计工程师、EDA工具使用者及VLSI课程学习者系统解决LEF/DEF格式在工艺建模、单元库定义、布局布线描述与跨工具数据交换中的核心语法与规范理解问题。文件共1个PDF大小2.48MB完整涵盖LEF技术层定义、单元几何模型、间距规则、宏抽象描述以及DEF模块布局、网络连接、物理约束与分区属性等关键章节内容权威、结构清晰适合作为数字后端设计流程中格式解析与调试的案头标准文档。目前已有2179人学习下载读者可直接获取2017年正式版5.8语言规范全文含版权说明、修订日志、术语索引及典型应用示例无需二次整理即可用于工艺库开发、PDK验证或教学参考资料引用。1. LEF/DEF 5.8 语言参考手册不是“看懂就完事”的PDF而是物理设计流程里真正会报错、卡住、改三遍还过不了DRC的底层契约你手头正跑着一个 28nm 数字后端流程innovus报出ERROR: LEF macro AND2X1 has no SIZE statement或者tempus在时序签核时突然挂掉日志里只有一行DEF parsing failed at line 4823: unexpected token PROPERTY又或者你在调试天线效应Antenna Violation时翻遍工具文档却找不到ANTENNAPINPOLYRATIO和ANTENNADIFFAREA到底该写在 LEF 还是 DEF 里、单位是 micron² 还是 square microns。这时候你真正需要的不是某篇博客的模糊截图也不是论坛里“删库跑路”式的一句“重装工具”而是一份能让你逐字比对、精准定位、改完即生效的原始依据——这就是lefdefref-5.8.pdf的真实价值。它不是教科书不是入门指南更不是“了解一下”的背景材料。它是 Cadence 在 2017 年冻结的、面向 16nm/14nm 工艺节点物理实现的格式法典LEF 定义了工艺厂给你的“物理世界地图”金属层怎么叠、间距多大、通孔怎么建DEF 描述了你画的“电路施工蓝图”模块放哪、线怎么走、电源怎么铺。两者之间任何一处语法偏差、语义错位、版本不匹配都会在 place route 后期变成无法绕过的硬性错误。尤其当你在跨团队协作比如 IP 提供方用 5.7你用 5.8、或对接第三方 PDK某些老 PDK 仍卡在 5.6、或调试 obscure DRC rule如MAXVIASTACK 3与USEMINSPACING的交互逻辑时这份 PDF 就是你唯一能拍桌子说“规范白纸黑字这么写的”的底气。它适合所有在物理设计一线踩过坑的工程师前端转后端的验证工程师、被 layout team 反复打回的 RTL 设计师、以及每天和check_legality做斗争的后端新人——只要你还在和.lef/.def文件打交道你就绕不开它。2. LEF 5.8 核心语法解析从MACRO到LAYER为什么你写的 LEF 总被工具当“脏数据”拒收LEF 文件不是自由文本它是一套严格分层、强顺序、弱容错的声明式语言。Cadence 工具如 Innovus、SoC Encounter在读取 LEF 时会按固定顺序扫描并校验每个 section 的存在性、嵌套关系和字段完整性。一旦顺序错、字段缺、类型误轻则跳过该 macro重则直接 abort。本章带你拆开lefdefref-5.8.pdf第 1 章直击最常翻车的 4 类语法结构并给出可验证的最小可运行示例。2.1MACRO声明必须包含SIZE、PIN、ORIGIN三要素缺一不可MACRO是 LEF 的核心单元描述标准单元如NAND2X1、宏单元如 RAM Macro或 IO Cell 的物理轮廓与引脚定义。lefdefref-5.8.pdf第 114 页明确要求SIZE必须出现在PIN之前且ORIGIN必须在PIN内部声明。常见错误是把ORIGIN写在PIN外部或漏掉SIZE。# ✅ 正确符合 LEF 5.8 语法摘自 PDF 第 115 页 Example 1 MACRO NAND2X1 CLASS CORE ; ORIGIN 0.0 0.0 ; SIZE 0.96 BY 2.40 ; PIN A DIRECTION INPUT ; USE SIGNAL ; PORT LAYER M1 ; RECT 0.10 0.20 0.30 0.40 ; END END PIN Z DIRECTION OUTPUT ; USE SIGNAL ; PORT LAYER M1 ; RECT 0.70 0.20 0.90 0.40 ; END END END NAND2X1逻辑说明SIZE定义 macro 整体宽高单位micronORIGIN指定坐标系原点默认为左下角PIN下的PORT定义引脚在某层如M1上的几何区域。lefdefref-5.8.pdf第 117 页强调SIZE是 mandatory 字段无默认值若缺失Innovus 会报ERROR: Missing SIZE for macro NAND2X1并终止读取。2.2LAYER定义必须严格区分ROUTING、CUT、IMPLANT类型且TYPE关键字不可省略LEF 中的LAYER不是简单罗列名称而是对工艺层物理属性的完整建模。lefdefref-5.8.pdf第 15–42 页将LAYER分为 4 类其中ROUTING布线层、CUT通孔层、IMPLANT注入层三类使用频率最高但极易混淆。关键点在于每类LAYER有专属 mandatory 字段且TYPE关键字必须显式写出。# ✅ 正确ROUTING 层必须含 WIDTH、SPACING、PITCHPDF 第 50 页 LAYER M1 TYPE ROUTING ; WIDTH 0.08 ; SPACING 0.08 ; PITCH 0.16 ; DIRECTION HORIZONTAL ; RESISTANCE 0.068 ; CAPACITANCE 0.00012 ; END # ✅ 正确CUT 层必须含 ENCLOSUREPDF 第 15 页 LAYER VIA1 TYPE CUT ; WIDTH 0.08 ; SPACING 0.08 ; ENCLOSURE M1 0.045 M2 0.045 ; # ← 必须指定上下层金属的 enclosure 值 END # ✅ 正确IMPLANT 层必须含 DIRECTION 和 WIDTHPDF 第 42 页 LAYER NIMP TYPE IMPLANT ; DIRECTION VERTICAL ; WIDTH 0.12 ; END参数说明ENCLOSURE是CUT层的核心字段定义通孔对上层M1和下层M2金属的最小覆盖距离。若写成ENCLOSURE 0.045缺层名工具会报ERROR: Invalid ENCLSOURE syntax若漏掉ENCLOSURE则VIA1被视为无效层后续VIA定义会失败。lefdefref-5.8.pdf第 16 页警告“ENCLOSUREis required for all CUT layers”。2.3VIA定义依赖VIA RULE且VIA RULE GENERATE仅适用于规则阵列通孔VIA在 LEF 中不是独立对象而是VIA RULE的实例化结果。lefdefref-5.8.pdf第 162–175 页明确VIA语句本身只声明名称和引用的VIA RULE其几何形状、层叠关系全部由VIA RULE定义。而VIA RULE GENERATE是 Cadence 5.8 新增特性用于生成规则排列的多通孔结构如 2x2 array但仅当通孔完全规则、无 offset 时才可用。# ✅ 正确先定义 VIA RULE再引用PDF 第 163 页 VIARULE VIA1_M1_M2 LAYER M1 ; RECT -0.04 -0.04 0.04 0.04 ; LAYER M2 ; RECT -0.04 -0.04 0.04 0.04 ; LAYER VIA1 ; RECT -0.04 -0.04 0.04 0.04 ; END VIA VIA1 VIARULE VIA1_M1_M2 ; END # ✅ 正确VIA RULE GENERATE 用于规则阵列PDF 第 175 页 VIARULEGENERATE VIA1_2X2 LAYER M1 ; RECT -0.04 -0.04 0.04 0.04 ; LAYER M2 ; RECT -0.04 -0.04 0.04 0.04 ; LAYER VIA1 ; RECT -0.04 -0.04 0.04 0.04 ; ROWCOL 2 2 ; STEP 0.16 0.16 ; END VIA VIA1_2X2_ARRAY VIARULEGENERATE VIA1_2X2 ; END逻辑说明STEP定义阵列中相邻通孔中心距ROWCOL定义行列数。若STEP小于SPACING如STEP 0.05 0.05但M1 SPACING 0.08工具会在check_legality阶段报DRC: VIA spacing violation。VIA RULE GENERATE不支持非规则 offset此时必须退回手写VIA RULE。2.4NONDEFAULTRULE是解决宽线/厚线布线的关键但必须与USEMINSPACING协同配置先进工艺中时钟线、电源线需加宽以降低 IR drop但加宽后默认间距规则SPACING不再适用。NONDEFAULTRULENDR就是为此设计的覆盖规则。lefdefref-5.8.pdf第 149 页指出NDR 本身不生效必须通过USEMINSPACING在MACRO或LAYER中显式启用。# ✅ 正确定义 NDR 并在 LAYER 中启用PDF 第 161 页 NONDEFAULTRULE ndr_clk LAYER M2 WIDTH 0.32 ; # ← 宽线宽度 SPACING 0.16 ; # ← 宽线专用间距 END END LAYER M2 TYPE ROUTING ; WIDTH 0.08 ; SPACING 0.08 ; USEMINSPACING ndr_clk ; # ← 关键启用该 NDR END # ✅ 正确在 MACRO 中为特定引脚启用 NDRPDF 第 118 页 MACRO CLKBUF_X4 SIZE 1.20 BY 2.40 ; PIN CLKIN DIRECTION INPUT ; USE SIGNAL ; PORT LAYER M2 ; RECT 0.10 0.20 0.30 0.40 ; END NONDEFAULTRULE ndr_clk ; # ← 为该 PIN 启用宽线规则 END END参数说明USEMINSPACING后接 NDR 名称表示该层或该引脚在布线时采用 NDR 中定义的WIDTH和SPACING。若只定义 NDR 但未USEMINSPACING工具仍用默认WIDTH 0.08和SPACING 0.08宽线会因间距不足而 DRC fail。3. DEF 5.8 结构精要NETS、COMPONENTS、SPECIALNETS如何决定布局布线的最终形态如果说 LEF 是“物理世界的宪法”那么 DEF 就是“具体施工的工程图纸”。它不定义工艺能力而是描述设计在硅片上的实际落位模块在哪、线怎么连、电源怎么铺、哪些网络要特殊处理。lefdefref-5.8.pdf第 4 章225 页起是 DEF 的完整语法清单但实战中 80% 的问题集中在NETS、COMPONENTS、SPECIALNETS三大 section。本章聚焦这三者结合真实 debug 场景告诉你如何写出工具不报错、DRC 不亮红灯、check_legality一次过的 DEF。3.1COMPONENTS必须与 LEFMACRO名称严格一致且SOURCE字段决定网表来源可信度COMPONENTSsection 列出设计中所有实例化的单元如U123 NAND2X1其核心约束是MACRO名必须 100% 匹配 LEF 中定义的MACRO名大小写敏感、无空格。lefdefref-5.8.pdf第 237 页规定SOURCE字段标识该 component 的来源NETLIST表示来自综合网表高可信USER表示手动添加低可信可能被工具忽略。# ✅ 正确COMPONENT 名与 LEF MACRO 名完全一致NAND2X1非 nand2x1 或 NAND2X1_ COMPONENTS 3 ; - U123 NAND2X1 SOURCE NETLIST PLACED ( 1200 2400 ) N ; - U456 INVX1 SOURCE NETLIST PLACED ( 1800 3600 ) N ; - U789 AOI22X2 SOURCE USER UNPLACED ; END COMPONENTS逻辑说明 PLACED ( x y ) N表示已布局坐标(x,y)单位为DATABASE MICRON由UNITSsection 定义N表示方向North。若 LEF 中 macro 名为NAND2X1而 DEF 写成nand2x1Innovus 会报WARNING: Component U123 references undefined macro nand2x1并跳过该 instance导致 net connectivity 断裂。SOURCE NETLIST是关键它告诉工具该 component 的 pin connectivity 来自可信网表SOURCE USER的 component 若未手动补全NETS会被视为 floating。3.2NETS是连接关系的唯一权威ROUTED与FIXED状态决定布线器行为NETSsection 定义所有信号网络的拓扑连接。lefdefref-5.8.pdf第 253 页强调NETS中的PIN列表是 design connectivity 的 ground truth与网表.v/.vhd必须一致而ROUTED/FIXED/COVER等状态字段则直接控制布线器route_opt是否对该 net 进行优化。# ✅ 正确ROUTED 网络提供完整几何路径布线器将其作为约束PDF 第 265 页 NETS 2 ; - clk_core SOURCE NET FIXED SPECIAL ROUTED M2 ( 1200 2400 ) ( 1200 3600 ) ( 1800 3600 ) ( 1800 2400 ) ; - reset_n SOURCE NET COVER ROUTED M1 ( 1000 1000 ) ( 2000 1000 ) ; END NETS参数说明 ROUTED后跟 layer 和一系列(x y)坐标构成折线路径。 FIXED表示该路径绝对不可修改常用于 clock tree 或 power mesh COVER表示仅占位、不参与电气分析如 dummy fill。若clk_core被标记 FIXED但路径中某段M2线宽小于 LEF 中M2 WIDTHcheck_legality会报ERROR: Fixed net clk_core has illegal width on M2。 SPECIAL是必需 flag否则工具不识别该 net 为 special net。3.3SPECIALNETS是电源/地/时钟等关键网络的独立声明区必须与NETS中同名 net 严格对应SPECIALNETS是 DEF 5.8 的重要增强专用于声明 power、ground、clock 等具有特殊物理规则的网络。lefdefref-5.8.pdf第 307 页明确SPECIALNETS中的 net 名必须与NETSsection 中同名 net 完全一致且SPECIALNETS中的ROUTED路径是NETS中同名 net 的超集即SPECIALNETS可以包含更多 routing segment。# ✅ 正确SPECIALNETS 与 NETS 同名且路径覆盖 NETS 中的路径PDF 第 308 页 SPECIALNETS 2 ; - VDD USE POWER ROUTED M3 ( 0 0 ) ( 10000 0 ) ( 10000 10000 ) ( 0 10000 ) ; - VSS USE GROUND ROUTED M3 ( 0 0 ) ( 0 10000 ) ( 10000 10000 ) ( 10000 0 ) ; END SPECIALNETS逻辑说明 USE POWER/GROUND/CLOCK是 mandatory flag告知工具该 net 的电气角色。若SPECIALNETS中VDD的ROUTED路径未闭合如缺最后一段(0 0)check_legality会报WARNING: Special net VDD has open geometry若NETS中无VDD则SPECIALNETS的声明无效。SPECIALNETS的ROUTED路径精度如是否带 corner rounding直接影响 IR drop analysis 结果。3.4DIEAREA和ROWS是布局合法性的基石坐标单位必须与UNITS DATABASE严格对齐DIEAREA定义芯片的物理边界矩形ROWS定义标准单元摆放的网格行。lefdefref-5.8.pdf第 245 页和 299 页强调二者坐标必须基于同一DATABASE MICRON单位且ROWS的ORIGIN必须落在DIEAREA内部SITE名必须与 LEF 中SITE定义一致。# ✅ 正确DIEAREA 与 ROWS 坐标单位统一SITE 名匹配 LEFPDF 第 155 页 DIEAREA ( 0 0 ) ( 10000 10000 ) ; ROWS 4 ; - ROW core_row_0 CORE X 0 Y 0 STEP 0.96 DO 100 ; - ROW core_row_1 CORE X 0 Y 2.40 STEP 0.96 DO 100 ; - ROW core_row_2 CORE X 0 Y 4.80 STEP 0.96 DO 100 ; - ROW core_row_3 CORE X 0 Y 7.20 STEP 0.96 DO 100 ; END ROWS参数说明STEP 0.96是 standard cell width来自 LEFSITE定义DO 100表示该行有 100 个 site。若DIEAREA是(0 0) (10000 10000)单位 micron而ROWS的Y坐标写成2400误以为是 micron实为 2400 * 0.001 2.4 micron则check_legality会报ERROR: Row core_row_1 origin (0, 2400) is outside DIEAREA。SITE CORE必须在 LEF 中有对应SITE CORE ... END块否则工具无法计算 row height。4. LEF/DEF 协同避坑指南5 个血泪经验总结避免在check_legality阶段反复崩溃LEF 和 DEF 不是孤立文件它们通过MACRO名、LAYER名、SITE名、NET名形成强耦合。一个文件的微小偏差会在另一个文件的解析或合法性检查中引爆。以下是我在多个 tapeout 项目中踩过的坑按现象、原因、解决三步还原每一条都对应lefdefref-5.8.pdf中的具体条款。4.1 现象Innovus ERROR: Cannot find macro IOBUF in LEF library原因DEF 中COMPONENTS的IOBUF名与 LEF 中MACRO名不一致如 LEF 是IOBUF_X1DEF 写IOBUF或 LEF 文件未被read_lef命令正确加载路径错误、顺序错误。解决用grep MACRO IOBUF your.lef确认 LEF 中 exact macro name检查read_lef命令顺序必须先read_lef tech.lef工艺层再read_lef lib.lef单元库最后read_def top.def在 Innovus 中执行report_library确认IOBUF是否在 loaded macros list 中。lefdefref-5.8.pdf第 114 页明确“The macro name in the COMPONENT statement must exactly match the macro name in the LEF file”。4.2 现象check_legality报DRC: Via enclosure violation on VIA1原因LEF 中VIA1的ENCLOSURE值如ENCLOSURE M1 0.045小于工艺要求的最小值如 0.05或VIA1所在VIA RULE的RECT尺寸未覆盖ENCLOSURE区域。解决查lefdefref-5.8.pdf第 15 页ENCLOSURE语法确认格式为ENCLOSURE layer1 value1 layer2 value2计算VIA1 RECT尺寸若RECT -0.04 -0.04 0.04 0.04宽高 0.08则M1enclosure 0.045 要求M1 RECT至少延伸至(-0.085, -0.085)到(0.085, 0.085)修改VIA RULE中M1的RECT或增大ENCLOSURE值确保满足工艺 rule deck。4.3 现象route_opt报ERROR: Net clk has no pins connected原因NETSsection 中clk的PIN列表为空或PIN名拼写错误如U123/A写成U123/a或COMPONENTS中U123未声明导致U123/A无法解析。解决用grep -A 20 NET clk top.def提取完整 net block核对每个PIN格式inst_name/pin_nameinst_name必须在COMPONENTS中存在pin_name必须在对应 LEFMACRO的PIN中定义运行report_net -all -connections clkInnovus验证 connectivity。lefdefref-5.8.pdf第 254 页规定“Each PIN in a NET statement must reference an existing component and pin”。4.4 现象check_power报WARNING: Power net VDD has no special net definition原因SPECIALNETSsection 缺失VDD或SPECIALNETS中VDD的 USE POWERflag 缺失或NETS中VDD未标记 SPECIAL。解决确保SPECIALNETS中VDD有 USE POWER确保NETS中VDD有 SPECIAL确保SPECIALNETS和NETS中VDD的ROUTED路径至少有一个 segment 重叠工具据此关联二者。lefdefref-5.8.pdf第 307 页“A special net must be declared in both NETS and SPECIALNETS sections with identical names and the SPECIAL flag”.4.5 现象check_antenna报Antenna ratio violation on net rst_n但 LEF/DEF 中未见 antenna 相关 keyword原因天线效应检查依赖 LEF 中ANTENNAPINPOLYRATIOpoly 层天线比和ANTENNADIFFAREAdiffusion 层天线比的定义若 LEF 未设置工具用默认值通常为 0导致检查失效。解决在 LEFTECHNOLOGYsection 添加TECHNOLOGY ANTENNAPINPOLYRATIO 200 ; ANTENNADIFFAREA 400 ; END确认lefdefref-5.8.pdf第 394 页“These keywords must be defined in the TECHNOLOGY section of the LEF file to enable antenna checking”在 DEF 中NETS的rst_n添加 ANTENNAflag可选用于 override。5. 天线效应PAE与工艺规则协同从ANTENNA关键字到check_antenna的完整闭环天线效应Process Antenna Effect, PAE是先进工艺28nm 及以下中导致栅氧击穿的致命风险其本质是布线阶段金属面积远大于下方栅极面积刻蚀过程中电荷累积击穿薄栅氧。lefdefref-5.8.pdf第 C 章389 页起是 Cadence 对 PAE 的官方应对方案它不是理论科普而是一套可落地的、与 LEF/DEF 深度绑定的检查框架。本章带你打通从 LEF 关键字定义、DEF 网络标记、到check_antenna命令执行的完整链路重点讲清三个易混淆点ANTENNAPINPOLYRATIO与ANTENNADIFFAREA的物理意义、 ANTENNAflag 的作用时机、以及为何check_antenna必须在route_opt后执行。5.1ANTENNAPINPOLYRATIO与ANTENNADIFFAREA不是“越大越好”而是工艺厂给你的安全阈值lefdefref-5.8.pdf第 393 页定义ANTENNAPINPOLYRATIO是 poly 层天线比阈值单位无量纲ANTENNADIFFAREA是 diffusion 层天线比阈值单位square microns。它们不是设计参数而是工艺厂通过大量流片数据反推的安全上限。例如某 16nm 工艺的ANTENNAPINPOLYRATIO 300意味着任意一个 poly pin 上连接的 metal1 面积 / poly pin 面积 300 时即判定为天线 violation。# ✅ 正确在 LEF TECHNOLOGY section 中定义PDF 第 394 页 TECHNOLOGY NAME TSMC16FF VERSION 1.0 ANTENNAPINPOLYRATIO 300 ; # ← poly pin 天线比阈值 ANTENNADIFFAREA 600 ; # ← diffusion pin 天线比阈值面积值 # 注意ANTENNADIFFAREA 是绝对面积非比值 END参数说明ANTENNAPINPOLYRATIO用于计算metal_area / poly_pin_areaANTENNADIFFAREA用于计算metal_area直接与阈值比较。若工艺厂要求 poly 天线比 ≤ 300你设成 500check_antenna就不会报错但 tapeout 时可能真烧毁若设成 100工具会过度插入 antenna diode增加面积和功耗。必须严格采用 PDK 提供的值。5.2 ANTENNAflag不是“开启检查”而是“覆盖默认行为”的手术刀NETSsection 中的 ANTENNAflag 常被误解为“开启天线检查”实则不然。lefdefref-5.8.pdf第 394 页说明 ANTENNA是一个override flag用于标记该 net 的天线比计算方式与默认不同。默认情况下工具对所有 net 计算天线比 ANTENNA的作用是强制对该 net 使用更严格的计算模型如考虑 multi-cut via 的 charge sharing或禁用检查 NOANTENNA。# ✅ 正确为高风险 reset 网络启用增强天线模型PDF 第 394 页 NETS 1 ; - rst_n SOURCE NET SPECIAL ANTENNA # ← 启用 enhanced antenna model非开启检查 ROUTED M1 ( 1000 1000 ) ( 2000 1000 ) ; END NETS逻辑说明 ANTENNA本身不改变阈值只改变计算逻辑。若你只想禁用某 net 的检查如已知该 net 经过 antenna diode 保护应写 NOANTENNA。check_antenna命令默认检查所有 net无需额外 flag。5.3check_antenna必须在route_opt后执行因为天线比 金属面积 / 栅极面积而金属面积由布线决定这是最常被忽视的时序陷阱。lefdefref-5.8.pdf第 395 页明确“Antenna checking requires the routed geometry of nets. It cannot be performed before routing is complete.” 天线比的分子是metal layer 的实际布线面积这个面积在place_opt阶段根本不存在只有 pin location无 wire只有route_opt生成了ROUTED路径后才能计算。# ✅ 正确check_antenna 的标准执行顺序Innovus flow place_opt # ... placement done ... route_opt # ... routing done, ROUTED paths exist ... check_antenna -verbose # ← 此时才有效验证方法执行report_net -connections rst_n确认输出中包含ROUTEDsegment若只有CONNECTED而无ROUTEDcheck_antenna会报WARNING: Net rst_n has no routed geometry, skipping antenna check。lefdefref-5.8.pdf第 395 页表格列出所有 required inputs for antenna calculation第一项即 “Routed geometry of the net”。5.4 天线修复的三种手段及 LEF/DEF 配合要点check_antenna报错后修复不是靠“调参数”而是靠物理操作。lefdefref-5.8.pdf第 393 页给出三种标准手段每种都需 LEF/DEF 协同修复手段LEF 要求DEF 配合工具命令Insert antenna diodeLEF 中必须有MACRO ANTENNA_DIODE定义含PIN A/CSIZEPORTDEF 中NETS的rst_n需添加 DIODEflagrepair_antenna -diode_cell ANTENNA_DIODEJump layerLEF 中 NON本文还有配套的精品资源点击获取