仿真验证方法(3)——物理验证

目录

一、物理验证的分类

二、DRC

2.1 设计规则

2.2 规则示例

2.3 线宽违例

2.4 间距违例

2.5 交叠违例

三、金属覆盖图形密度检查

四、天线比率检查

4.1 起因

4.2 计算

4.3 改进

五、LVS检查

六、物理验证常用的EDA工具

七、总结


 

一、物理验证的分类

        对于物理验证,大致上可以分成以下的三种类型:

1、设计规则检查(DRC,Design Rule Check)
  • 检查版图各掩膜层的几何参数是否符合代工厂给出的设计规则
  • 检查错误类型:几何尺寸与设计规则不符
2、电气规则检查(ERC,Electronic Rule Check)
  • 检查版图中是否存在没有电路意义的连接错误,但不涉及电路的行为检查
  • 检查错误类型:元器件的开路或短路,浮空节点,无意义分支,无用器件等
3、版图-原理图一致性检查(LVS,Layout Versus Schematic,也叫原理图验证SV,Schematic Verification)
  • 从版图提取出网表结构,以确认其是否与原始网表结构一致
  • 检查错误类型:元器件数目不一致(如版图有、原理图没有),元器件类型不一致,节点数不一致

二、DRC

2.1 设计规则

        设计规则是版图设计必须遵守的几何规则(最小特征尺寸),由半导体代工厂提供,体现了制造工艺的物理限制。

665c2eb3e78e43c6ad2e4b1533129f5e.jpeg

2.2 规则示例

d82654d3cee9481ea3770b4755f89e6b.jpeg

2.3 线宽违例

7318ebb2ea82415282d7402ce80ffa82.jpeg

2.4 间距违例

612ccacf250a4a3ab5dfba42ce86b01c.jpeg

2.5 交叠违例

115e0af21d7243b6baa9a957d8b64c1e.jpeg

7527478b8d4c4b59ad76a0318c2c2ea8.jpeg 

三、金属覆盖图形密度检查

化学机械抛光(CMP)与片内均匀性要求每一层互连金属在单位区域内必须达到一定的覆盖密度,一般为50%~80%。如达不到,可采用两种办法改变密度: (1)在空白区域填充金属,以增加密度;(2)将较宽的导线(如电源线和地线)切割分布,以减少密度。有挖空(slotting)或分割(splitting)两种方法,后者的电流分布均匀性更好,两种方法还有利于改善导线的散热。
8ed6301ea4664012a534f795d3f618d4.jpeg

四、天线比率检查

4.1 起因

        工艺天线效应(Process Antenna Effect,PAE):集成电路制造采用的等离子刻蚀、溅射或化学机械抛光(CMP)等工艺会在金属互连层中引入并积累静电荷。连接到多晶硅栅的互连线多道金属化工艺中有可能悬空不接地,从而构成天线结构。电荷经此结构传导到MOSFET栅极,会导致栅介质击穿并造成永久性失效。
  • 通常用天线比率(antenna ratio)来表征工艺天线效应的强弱,定义为受工艺影响的金属面积与所连接的多晶硅栅面积之比。
  • 通常要求天线比率不得大于某值(如100或1000),在LEF文件中规定,作为DRC规则之一。

4.2 计算

a891c0fddb784533bf661c836ad8eb8a.jpeg

部分天线比率(PAR):只考虑一层金属的影响,如图中金属N2,1对栅G1或G2的影响
7629445371c449e4a5ca30146d7fba5e.jpeg
积累天线比率(CAR):考虑顶层及以下经过的各层金属的影响,如图中金属N3,1对栅G1的影响
cbae5d736d7c4a3a8e92a218080425c2.jpeg

09d73ec6634d439aa17d4d23505aa44e.jpeg 

        F是修正因子,通常接近于1;金属面积Area在小尺寸条件(厚度>>宽度)下多取侧面面积而非底面面积。 

4.3 改进

        保护二极管法:在天线与地之间加二极管,金属上一旦出现过压就导通,起箝位(限制栅极电压不超过临界值)和泄流(泄放金属上的额外电荷到地)作用,但会引入额外的寄生电容,影响延时。
f6cfb4e51ef6429aad5ebff6c1644f9f.jpeg
        跳线法:将最易积累电荷的一层上的长金属线通过过孔分散到其他非敏感的互连层上,从而减少敏感层的天线比率
75b9e1748241400ea5a43f379656485b.jpeg

五、LVS检查

基本步骤 1. 版图(GDSII格式)→管级网表(SPICE格式)2. 门级网表(Verilog 格式)→管级网表(SPICE格式)3. 将两个网表进行比较,看是否有不一致的地方。

六、物理验证常用的EDA工具

  • Cadence:Assura、 Diva、Dracula
  • Mentor:Calibre
  • Synopsys:Hercules
以其中的Dracula为例,它的主要功能:版图绘制与编辑、寄生参数提取(LPE)、物理验证(DRC、ERC、LVS)。

七、总结

        对于数字IC验证这个部分,物理验证这篇文章是这个系列的最后一篇,本文介绍了物理验证的分类,并对其内容进行了简单展开。

 

本文来自互联网用户投稿,该文观点仅代表作者本人,不代表本站立场。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如若转载,请注明出处:http://www.mzph.cn/news/618504.shtml

如若内容造成侵权/违法违规/事实不符,请联系多彩编程网进行投诉反馈email:809451989@qq.com,一经查实,立即删除!

相关文章

专业课145+合肥工业大学833信号分析与处理考研经验合工大电子信息通信

今年专业课145也是考研科目中最满意的一门,其他基本相对平平,所以这里我总结一下自己的专业课合肥工业大学833信号分析与处理的复习经验。 我所用的教材是郑君里的《信号与系统》(第三版)和高西全、丁玉美的《数字信号处理》&…

java方法的定义和使用

方法 今日目标: 能够知道方法的好处 能够根据两个明确分析方法的参数和返回值 能够编写方法完成授课案例,并在主方法中完成方法的调用 能够知道方法重载及其特点 1:方法的定义和使用 1.1 方法概述 方法(method):就是完成特…

Java常用的加密技术

项目结构: 总体代码: package VirtualUtils; import javax.crypto.Cipher; import javax.crypto.SecretKey; import javax.crypto.spec.SecretKeySpec; import java.io.UnsupportedEncodingException; import java.security.*; import java.security.sp…

深入浅出线程原理

Linux 中的线程本质 线程接口由 Native POSIX Thread Library 提供,即:NPTL 库函数 线程被称为轻量级进程 (Light Weight Process) 每一个线程在内核中都对应一个调度实体,拥有独立的结构体 (task_struct) 内核设计:一个进程对…

【python】matplotlib画图常用功能汇总

目录: 一、matplotlib画图风格二、matplotlib图像尺寸和保存分辨率三、matplotlib子图相关功能创建子图:绘制子图:设置子图属性:调整布局:示例代码: 四、matplotlib字体设置字体族和字体的区别字体选择和设置1. Matplo…

Kubernetes实战(十六)-k8s节点打标签

pod可以根据调度策略让pod调度到想要的节点上运行,或者不在某节点运行。 1 查看现有节点运行环境已有标签 $ kubectl get nodes --show-labels NAME STATUS ROLES AGE VERSION LABELS ops-master-1 Ready control-plane,ma…

亚马逊云科技 WAF 部署小指南(五):在客户端集成 Amazon WAF SDK 抵御 DDoS 攻击...

方案介绍 在 WAF 部署小指南(一)中,我们了解了 Amazon WAF 的原理,并通过创建 WEB ACL 和托管规则防护常见的攻击。也了解了通过创建自定义规则在 HTTP 请求到达应用之前判断是阻断还是允许该请求。在 Amazon WAF 自定义规则中&am…

代码随想录算法训练营29期Day17|LeetCode 110,257,404

文档讲解:代码随想录 110.平衡二叉树 题目链接:https://leetcode.cn/problems/balanced-binary-tree/description/ 思路: 本题要求我们判断二叉树每个节点 的左右两个子树的高度差的绝对值是否超过 1。我们很容易就能想到利用dfs去做&#…

水果音乐编曲软件 FL Studio v21.2.2.3914 中文免费版(附中文设置教程)

FL studio21中文别名水果编曲软件,是一款全能的音乐制作软件,包括编曲、录音、剪辑和混音等诸多功能,让你的电脑编程一个全能的录音室,它为您提供了一个集成的开发环境,使用起来非常简单有效,您的工作会变得…

【书生·浦语】大模型实战营——第四课作业

教程文档:https://github.com/InternLM/tutorial/blob/main/xtuner/self.md 基础作业需要构建数据集,微调模型,让其明白自己的弟位(OvO!) 微调环境准备 进入开发机后,先bash,再创…

Vue模板的理解和使用

Vue模板 Vue.js 的模板是一种声明性的语法,用于将数据渲染进 DOM(文档对象模型)。它们使开发者能够以直观的方式声明式地描述用户界面应该如何根据应用程序数据的变化动态显示。 Vue模板的主要特点包括: 数据绑定: …

列表解析与快速排序

排序是在对文本、数值等数据进行操作时常用的功能,本文介绍两种常用的排序方式,借此学习列表解析,并巩固递归算法。 1 选择排序 说到排序,以数值为例,肯定涉及到值大小的对比,选择排序即通过依次在子集中…

蓝桥杯 python 第二题 数列排序

这里给出一种解法 """ # 错的 n int(input()) dp[int(i) for i in input().split(" ")] dp.sort() print(" ".join(str(i) for i in dp)) """#这个是对的 num int(input())l list(map(int, input().split()))l.sort()pr…

AI文本生图模型Stable Diffusion部署教程

本文基于CentOS8进行Stable Diffusion开源框架部署. 1. DNS配置(但是今天出现了偶尔无法下载问题) 为了加速Github访问,我在本机配置如下 (sd) [rootshenjian stable-diffusion-webui]# cat /etc/hosts 127.0.0.1 shenjian localhost localhost.localdomain localhost4 loca…

SpringCloud openFeign 之 获取被调用服务名

SpringCloud openFeign 之 获取被调用服务名 一. 概述 低版本 feign 只能获取到被调用方法的信息。 只有高版本 feign 才支持获取到被调用服务的信息。 二. 代码实现 package com.zxguan.springcloud2.template.user;import com.zxguan.springcloud2.template.user.config…

修改权限控制(chmod命令、chown命令)

1.chmod命令 功能:修改文件、文件夹权限(注意,只有文件、文件夹的所属用户或root用户可以修改) 语法:chmod [-R] 权限 参数 权限,要设置的权限,比如755,表示:rwxr-xr-x…

Crow:蓝图路由2 Blueprint::register_blueprint

Crow:蓝图路由1 CROW_BP_ROUTE-CSDN博客 介绍了蓝图路由主要的一个作用就是将路由划分成蓝图路由根目录,然后再在蓝图路由创建子路由。 蓝图路由其实还可以在其下注册新的子蓝图路由,从而实现子目录的继续划分: crow::Blueprint bp("bp_prefix", "cstat&q…

【WPF.NET开发】WPF中的XAML资源

本文内容 使用 XAML 中的资源静态和动态资源静态资源动态资源样式、DataTemplate 和隐式键 资源是可以在应用中的不同位置重复使用的对象。 资源的示例包括画笔和样式。 本概述介绍如何使用 Extensible Application Markup Language (XAML) 中的资源。 你还可以使用代码创建和…

考研经验总结——数学篇

文章目录 一、前言二、刷题情况三、学习方法 一、前言 我是考数一的,我想想,我是从10月中旬正式开始准备考研,期间的话,跟的机构,没看武忠祥、没看张宇,什么名师的课程都没看。全程网课都是看一个老师&…