LEF 文件检查指南：确保布线优化与合规性

LEF 文件检查指南：确保布线优化与合规性

一、LEF 文件的核心作用与检查意义

LEF（Library Exchange Format）文件定义了芯片设计的物理层信息（如单元形状、布线层规则、过孔结构），是布线引擎（如 NanoRoute）的关键输入。提前检查 LEF 文件可避免以下问题：

• 布线过程中因规则冲突导致中断；
• 违反制造规则（DRC）产生流片风险；
• 引脚访问失败或布线拓扑错误。

二、关键检查项与优化建议

1. MINSIZE 与 AREA 的一致性验证

• 问题描述：
  路由器不支持仅指定MINSIZE而不指定AREA，且MINSIZE允许几何尺寸小于AREA。
• 示例错误：

  lef

  MACRO CELL1
    MINSIZE X 0.1 Y 0.1  # 仅定义MINSIZE
    # 缺少AREA声明
  END CELL1
  

• 正确做法：

  lef

  MACRO CELL1
    AREA 10.0 ;  # 定义单元面积
    MINSIZE X 0.1 Y 0.1 ;  # MINSIZE需≤AREA衍生的最小尺寸
  END CELL1
  

• 影响：
  缺少AREA会导致路由器无法准确计算单元占位，可能引发布局重叠或布线资源分配错误。

2. UNITS 字段的 DBU 单位适配

• 问题描述：
  若 LEF 中DATABASE MICRONS设为 100，路由器不支持该值，需手动调整。
• 错误示例：

  lef

  UNITS
    DATABASE MICRONS 100 ;  # 错误设置
    DESIGN MICRONS 1000 ;
  END UNITS
  

• 解决方案：
  在导入设计前执行：

  tcl

  setImportMode -minDBUPerMicron 1000  # 将DBU/微米设为1000（标准值）
  

• 原理：
  通常 DBU（数据库单位）与微米的换算关系为1μm = 1000 DBU，若 LEF 设为 100，需通过命令修正，避免布线尺寸计算错误。

3. MANUFACTURINGGRID 的强制定义

• 要求：
  LEF 必须包含MANUFACTURINGGRID声明，用于定义布线网格精度。
• 正确示例：

  lef

  MANUFACTURINGGRID
    METAL1 0.05 0.05 ;  # X/Y方向网格间距
    METAL2 0.05 0.05 ;
  END MANUFACTURINGGRID
  

• 影响：
  无制造网格会导致路由器无法确定布线轨道（Track）和过孔位置，引发规则违规。

4. MACRO 单元的 CLASS 与形状定义

• 标准单元宏的 CLASS 设置：
  • 确保所有标准单元宏定义为CLASS CORE，以便路由器识别为可布线的核心逻辑单元。
  • 错误示例：

    lef

    MACRO MEMORY
      CLASS MACRO ;  # 错误，标准单元应设为CORE
    END MEMORY
    

• 引脚形状的真实性要求：
  • 引脚所在层必须使用真实形状（Real Shapes），而非块式抽象（Block-style Abstracts）。
  • 正确示例：

    lef

    PIN OUT
      LAYER METAL1 ;
      SHAPE 0 0 10 10 ;  # 真实几何形状
    END OUT
    

5. VIA 与 AREA 规则的兼容性处理

• TOPOFSTACKONLY 关键字的自动推导：
  • 若 LEF 层已声明AREA，则无需TOPOFSTACKONLY，路由器自动根据AREA推导过孔规则。
  • 无AREA时的处理：
    路由器查找TOPOFSTACKONLY过孔，取其底层金属的最小面积作为AREA规则，确保 backward compatibility。
• 示例场景：

  lef

  LAYER METAL1
    AREA 0.1 ;  # 已声明面积，无需TOPOFSTACKONLY
  END METAL1
  
  VIA V1
    TOPOFSTACKONLY ;  # 若METAL1无AREA，此关键字用于推导面积
  END V1
  

三、操作流程与工具支持

1. LEF 文件检查步骤：

   • 使用文本编辑器打开 LEF，搜索上述关键字（MINSIZE、UNITS 等）；
   • 通过 Innovus 的checkLef命令进行自动化验证（需额外工具支持）。

2. 常见问题修复命令：

   • 处理 UNITS 冲突：setImportMode -minDBUPerMicron 1000
   • 强制制造网格：确保 LEF 中存在MANUFACTURINGGRID段

四、总结：LEF 合规性的核心价值

优化 LEF 文件可确保布线引擎准确解析物理规则，避免因文件缺陷导致的设计迭代。在先进工艺（如 7nm）中，精准的 LEF 定义尤为重要，其直接影响布线密度、信号完整性和制造可行性。通过上述检查，可显著提升布线效率，降低流片前的 DRC 违规风险。