[ SVRF ] 学习笔记

https://www.cnblogs.com/yeungchie/

SVRF 学习笔记

Typical IC Design and Verification Flow（标准的 IC 设计和验证流程）

graph TD sch(Source Netlist) sim(Simulation) apr(APR) anaologlayout(Full Custom) layout(Layout) verify(Layout Verification) pex(RC extraction) tapeout(Pattern Generation) sch --> sim sim --> sch sim --> apr --> layout sim --> anaologlayout --> layout layout --> verify verify --> layout verify --> pex pex --> sim verify --> tapeout pex --> tapeout

What is a SVRF File ?

1. Standard Verification Rule Format (SVRF)

   • Used by Calibre and ICverify physical verification tools（使用 Calibre 和 ICV 物理验证工具）

   • A language standard that controls tool functionality（一种控制工具的功能的语言标准）

2. The rule file has two main elements：（规则文件包含两个主要元素）

   • Operations（操作）

   • Specification statements（规格参数等声明）

What Are Operations ?

Operations work on the layout data：（对 Layout 数据起作用）

1. Layer derivation（Layer 的派生）

   • Generates polygons（生成多边形）
   • Generates edges（生成边缘）
   • Generates edge segments（生成边缘部分）

2. Connectivity extraction（连接关系提取）

   • Recognizes electrically-connected regions (nets) in the layout（在 Layout 中识别电连接关系的域、线网）

3. Device recognition（器件识别）

   • Identifies devices from layout geometry（从 Layout 的几何图形中识别器件）

4. Text attachment（文本附件）

   • Assigns label names to nets establishing initial correspondence
     points between the source and the layout（为线网分配标签名称，建立电路与 Layout 之间的初始对应点）

What Are Specification Statements ?

1. Specification statements control the environment（规格声明控制环境）

2. Examples：

   • Layer definition（Layer 定义）
   • Cell exclusion（Cell 排除）

3. Results

   • Specifies the filename and type of results database（指定 results 数据的文件名和文件类型）
   • Controls the report file（控制 report 文件）
   • Controls the output of DRC（控制 DRC 信息输出）

4. File

   • Controls where to find the input and output files（控制在哪找到输入输出文件）

How Do I Create a Rule File ?

1. From scratch using an ASCII text editor（用文件编辑器编写）

2. Copy and modify an existing Calibre rule file（利用现有的 Caliber rule 文件修改）

3. Convert a Dracula® rule file（从 Dracula rule 文件转换）

   From the Command Line：$MGC_HOME/bin/drac_cvt sourcefile destpath

   • sourcefile Dracula command file pathname

   • destpath rule file pathname you want created

4. Use the Calibre GUIz

   • Does not write a complete rule file

   • Adds INCLUDE to the rule file to append "golden rules"（添加 INCLUDE 到 rule 中，用来追加 "golden rules"）

Rule File Compilation（编译）

1. The rule file must be compiled before use.（规则文件必须在使用前编译）

   • Automatic when you invoke Calibre from the command line.（当你从命令行调用 Calibre 时自动执行）

   • Occurs when you Load the rule file in the GUI.（当你在 GUI 中加载规则时发生）

2. Compilation involves checking for：（编译设计到的检查）

   • Correct syntax（正确的语法）

   • Correct layers for a particular operation（正确的 Layer 用于特定的运算）

3. Compilation resolves all dependencies between statements and operations.（编译解决了语句和操作 operations 之间的所有依赖关系）

If you have a compilation failure, the error is reported.（如果编译失败，将报告错误）

Fix the error and run Calibre again.（修正错误并再次运行 Calibre ）

Repeat this process until you get a successful run.（重复此过程，直到成功运行）

SVRF Statement Syntax Conventions（语法）

1. The next slides preview several selected SVRF statements.（接下来会有几个例子）
2. They illustrate the following syntactic conventions.（举例说明下面这些语法惯例）
   • Parameter Order（参数命令）
   • Case sensitivity（大小写敏感）
   • Literal keywords versus variable parameters（关键字和变量）
   • White space considerations（空格注意事项）
   • Reserved keywords（保留的关键字）
   • Reserved symbols（保留的符号）

Statement Syntax（语法1）DRC Maximum Results

Purpose 指定每个 RuleCheck 结果的最大输出数量。

Syntax

​ DRC MAXIMUM RESULTS { maxresults | ALL }

Default 1000（默认值为1000）

Describe & Tips

1. 语句中的关键字 MAXIMUM 不能替换。

2. 大括号 { } 表示该参数是必要的。

3. 竖线 | 表示的面的参数任选其一。

4. 所有语句不区分大小写，除了 cellname ，filename，和可能的（possibly） netname 。

Example

DRC MAXIMUM RESULTS all

Statement Syntax（语法2）DRC Summary Report

Purpose 指定DRC summary report 的文件名称和编写这个 report 的方法。

Syntax

​ DRC SUMMARY REPORT filename [ REPLACE | APPEND ] [ HIER ]

Default REPLACE（默认值为REPLACE）

Example

DRC SUMMARY REPORT "../drc_report" HIER

Describe & Tips

1. filename 为输出的文件名称，必须用双引号 " " 括起来，filename 文档中用了斜体，是想表示这个参数是需要用户来定义的。
2. REPLACE 的下划线表示这个选项为默认值。
3. [ ] 中括号表示可选参数，不加上就调用默认值。
4. HIER 按照 Layout 数据中 cell 的层次化统计RuleCheck。
5. 参数之间都至少要有一个空格。

Statement Syntax（语法3）AND

Purpose 获取选中的多边形中共有区域所示的多边形。

Syntax

​ AND layer0 [ constraint ] //single-layer AND

​ AND layer1 layer2 //two-layer AND

Describe

• layer0 — 原始 layer 或 layer 设置。
• layer1&layer2 — 原始或派生的多边形。
• constraint — 可选参数，整数数值或范围数值，默认是 >1。

Example

AND metal poly

Tips

1. 在某些操作中，参数的排序非常灵活。

   metal AND poly
   poly AND metal
   metal poly AND
   

   • 这三种写法都和上面的 Example 有相同的几何输出。
   • 不过排序的不同会导致连接性有不同。

2. Single-layer AND operates on pre-merged original layers

   • Single-layer AND selects polygon regions shared by the number of distinct polygons corresponding to the constraint-specified value(s)
   • Constraint == 0 results in empty output; constraint == 1 selects all polygons

   这几句翻译过来也没看懂，以后再说。

3. Two-layer AND operates on merged original or derived layers

   • A layer derived from a two-layer AND operation receives the net ID of layer1

     （两个 layer AND 之后的 layer 的 net 会接受 layer1 的 net ID）

Statement Syntax（语法4）Perpendicular

Purpose 测量垂直边缘

to be continued