第五?/p>
物理验证
(一)教学内?/p>
1
.物理验证的概念?/p>
2
.主流物理验证工具介绍;
Calibre
?/p>
Mentor Graphics
?/p>
IC
版图验证软件,此软件包括设计规则检查(
DRC
?/p>
?/p>
版图与原理图一致性检查(
LVS
?/p>
、电气规则检查(
ERC
?/p>
、及版图寄生参数萃取?/p>
LPE
?/p>
等验证功能。其操作界面主要分为图形模式
(GUI)(graphical
user
interface)
Calibre
Interactive
与指令模式(
Command Line
?/p>
,其中图形模式可以单独启动,亦可?/p>
Virtuoso
等软件相连接,其操作界面皆相同。本章我们主要研究图形模式?/p>
3.
主要术语
?/p>
SVRF---Standard Verification Rule Format
(标准的检查文件)
?/p>
RVE---Results Viewing Environment
(显示结果用的环境窗口)
?/p>
SVDB---Standard Verification Database (LVS results)
?/p>
DRC---Design Rule Check
(设计规则检查)
?/p>
ERC---Electrical Rule Checking
(电气规则检查)
?/p>
LVS---Layout Versus Schematic
(版图原理图一致性检查)
?/p>
LPE---Layout Parasitic Extraction
(版图寄生参数萃取)
第二?/p>
LVS
版图与原理图的一致?/p>
4.Calibre LVS
简?/p>
Calibre LVS
是一个出色的版图与线路图对比检查工具,具有高效率、高准确度和大容
量等优点?/p>
Calibre LVS
不仅可以对所有的
?/p>
元件
?/p>
进行验证,而且还能在不影响性能的条?/p>
下,处理无效数据。主要表现在以下几个方面?/p>
(1)
运行模式快捷方便?/p>
Calibre LVS
有两种运行模式,即命令行模式和界面模?
(Calibre Interactive-LVS)
?/p>
采用命令行模式可以快速输入控制命令,
快速运行,
其结果精?/p>
稳定?/p>
Calibre Interactive-LVS
能够自动选择验证正被编辑的单元,并且能够选择所有的
Calibre
运行时间选项以及标准文件的规范。该验证技术,允许用户选择特定标准文件以及
独立规则和规则组的任何子集?/p>
GUI
可控制普通使用的
LVS
选项,并记录运行设置过程?/p>
当采用修改控制或冻结标准文件时,它可将运行配置数据传?/p>
Calibre
。其界面友好,使?/p>
方便。我们在?/p>
LVS
过程中,对于规模较小的模拟电路和数模混合电路,一般采用方便的
图形界面模式
(Calibre Interactive-LVS)
进行对比检查,这样可以在启?/p>
RVE
后,对照
LVS
结果文件和版图,
将电?/p>
(
或者网?/p>
)
和版图直接对应起来检查,
非常方便?/p>
对于大规模的
SoC
电路?/p>
由于命令行方式输入简单直接,运行速度更快,运行结果稳定精确,
这次就采用了?/p>
令行方式来运?/p>
LVS
,获得了极大的成功?/p>
(2)
多种比较方式可选:
Calibre LVS
可以进行版图与电路图
(layout vs shematic)
和网
表与网表
(netlist vs netlist)
的方式对比检查,还可以单独从版图提取网表。而且,通过
v2lvs
命令,可以将自动布局布线所产生?/p>
verilog
网表转换?/p>
spice
网表,然后与自动布局布线
的版图进行对比,操作简单方便,结果精确。由此可见,可以根据不同需要,?/p>
LVS
验证
过程的不同阶段,灵活地选择比较方式,以获得最有效的运行和最佳的结果?/p>
(3)
侦错方便快捷:当运行?/p>
LVS
后,
Calibre LVS
会产生一个结果报告,明确指出?/p>
错类型和数目,并且可以对层次化中的每个模块都有一个完整的
LVS
报告,简单明了。这
个报告还能明确指出短?/p>
(
特别是电源和地短路的情况
)
、开路、浮空或孤立?/p>
nets
?/p>
pin
swapping
以及软连接等问题?/p>
Calibre LVS
还能产生一个详细的结果数据库,其中包括?/p>
理图网表、从版图抽取的网表、结果报告、版图中的器件及连接关系等。这样通过
RVE
?/p>
读取这些数据,就可以在版图和网表中准确地
Highlight
有错误的地方
(
?/p>
1)
?/p>