LVS全称为Layout Versus Schematics, 是 Dracula 的验证工具,用来验证版图和逻辑图是否匹配。LVS 在电晶体级比较版图和逻辑图的连线性,而且输出所有不一致的地方。
LVS 验证
1 LVS 工作原理和基本流程
LVS全称为Layout Versus Schematics, 是 Dracula 的验证工具,用来验证版图和逻辑图是否匹配。LVS 在电晶体级比较版图和逻辑图的连线性,而且输出所有不一致的地方。Dracula 从图形系统中产生版图数据。Dracula 把 GDS2 格式的 Layout 档案转换为 Layout 网表,LOGLVS,Dracula网路编辑器,将 Schematic 或 CDL 描述的门级和电晶体级的网錶转化为 LVS 网表。LVS 能够把每一个网路转化为一个电路模型。从一个电路的输入和输出开始,LVS 跟蹤两种电路模型。Dracula 利用启发式每一次搜寻电路的一步。,LVS 跟蹤、I/O 模型,然后搜寻要求最少回溯的路径。当 LVS 在跟蹤的过程中检测到匹配的话,Dracula 就给这个匹配的器件和节点一个匹配的标识。当 LVS 检测到一个不匹配,它就停止在那个搜寻的路径。如果 LVS 指定了所有的器件和给出了一个匹配的标识的话或者在搜寻路径上没有一致的地方的话,LVS 会考虑到这两个模型的连续性。当 Dracula 检测到不一致的地方,它会以输出列表和图表形式表示出来。除了比较两个网路,LVS 也比较器件的衬底类型(在 COMS 电路中 NMOS 和 PMOS)和一些器件参数。
2 LVS 工具包括下列的检查
1) 版图与版图
版图与版图(LVL)是 LVS 的一部分,它是用来比较器件级或门级两个相似版图的
资料库,从而报出在互连关係和器件参数方面不一致的地方。
2) 逻辑与逻辑
逻辑与逻辑(SVS)是 LVS 的一部分,它是来比较两个逻辑图的。
3) 版图与逻辑
版图与逻辑(LVS)是用来确认版图和逻辑图是否一直工作。LVS 比较版图和逻辑图
在电晶体级的连线是否正确,并以报告的形式列出差异之处。
LVS 的错误类型
LVS 的错误类型大体分为两类不一致的点和失配器件。不一致点可分为节点不一
致和器件不一致。节点不一致是指版图和逻辑图中各有一节点,这两个节点所连器件的
情况相似,又不完全相同。器件不一致是指版图和逻辑图各有一器件,这两个器件
相同,所连线的节点情况很相似,但又不完全相同。失配器件是指所有的器件在逻辑图
中有而在版图中没有,或在版图中有而在逻辑图中没有。具体来讲,LVS 的错误类型有
以下十五种
1) 匹配的节点上没有器件;
2) 匹配的器件上有不匹配的节点;
3) 器件不匹配;
4) 匹配的节点上有多余的版图器件;
5) 匹配的节点上有多余的线路图器件;
6) 匹配的节点上有非匹配的版图和线路图器件;
7) 其他不匹配的版图器件;
8) 其他不匹配的线路图器件;
9) 器件的类型(N 型和 P 型,多晶电阻或扩散电阻)不匹配;
10) 器件得尺寸(W 或 L)不匹配;
11) MOS 可逆性错误;
12) 衬底连线不匹配;
13) 器件的电源连线不匹配(多电源供电的情况);
14) 简化多个 MOS 拼接为单个 MOS 时出错(与 LVSCHK 中命令得 K 选项有关);
15) 过滤多余的器件出错(与 LVSCHK 中命令的 F 选项有关)。
LVS 错误既指单个器件、单个节点,又指组合结构(子电路)。不匹配的子电路(子
电路中有多个器件和节点)往往只是其中的一个和几个节点或器件不匹配,并不是所有
的都不匹配。与一个不匹配点关联的一切器件和节点都作为错误的个数,LVS 报告文
件里分别列出了每一个不匹配点。错误报告与人们通常的理解有出入,例如两根信号
线调换了位置,按常理来说,只能算一个错误,但 LVS 报告有两个错误。