LEC对ASIC的重要性
ASIC芯片是用于供专门应用的集成电路（ASIC，Application SpecificIntegrated Circuit）芯片技术，在集成电路界被认为是一种为专门目的而设计的集成电路。ASIC芯片技术发展迅速，目前ASIC芯片间的转发性能通常可达到1Gbs甚至更高，于是给交换矩阵提供了极好的物质基础。ASIC的特点是面向特定用户的需求，ASIC在批量生产时与通用集成电路相比具有体积更小、功耗更低、可靠性提高、性能提高、保密性增强、成本降低等优点。＂
AI芯天下丨LEC在IC设计中的重要意义
ASIC芯片技术所有接口模块（包括控制模块）都连接到一个矩阵式背板上，通过ASIC芯片到ASIC芯片的直接转发，可同时进行多个模块之间的通信；每个模块的缓存只处理本模块上的输入输出队列，因此对内存芯片性能的要求大大低于共享内存方式。总之，交换矩阵的特点是访问效率高，适合同时进行多点访问，容易提供非常高的带宽，并且性能扩展方便，不易受CPU、总线以及内存技术的限制。目前大部分的专业网络厂商在其第三层核心交换设备中都越来越多地采用了这种技术。
LEC对ASIC的重要性
ASIC在流片之前，要经历一系列设计步骤，如综合、布局布线、签核（sign－offs）、ECO（工程变更单）以及众多优化过程。在每个阶段，我们都需要确保逻辑功能完好无损，并且不会因为任何自动或手动更改而中断。如果功能在整个过程中的任何时刻发生变化，整个芯片就变得毫无用处。这就是为什么LEC是整个芯片设计过程中最重要的原因之一。随着制程技术节点的缩小和复杂性的增加，逻辑等效检查在确保功能的正确性方面起着重要作用。
什么是LEC
LEC包括三个步骤，如下图所示：设置模式，映射模式和比较模式。
AI芯天下丨LEC在IC设计中的重要意义
逻辑等效检查的步骤
有各种用于执行LEC的EDA工具，例如Synopsys Formality和Cadence Conformal。这里，我们将Conformal工具作为参考，以解释LEC的重要性。
逻辑等效检查的步骤：
AI芯天下丨LEC在IC设计中的重要意义
一．设置
在设置模式下，Conformal工具读取两个设计。我们指定设计类型，即Golden（综合网表）和修订版（通常，修改后的设计是Conformal工具与Golden设计相比的修改或后处理设计）。对于LEC的执行，Conformal工具需要三种类型的文件。
在从设置模式到LEC模式的过渡中，Conformal工具展平并模拟Golden和修改后的设计并自动映射关键点。关键点定义为：主要输入、主要产出、D Flip－Flops、D锁存、TIE－E门（错误门，在修订设计中存在x赋值时创建）、TIE－Z门（高阻抗或浮动信号）、黑匣子
二．映射
在等效性检查的第二阶段，Conformal工具自动映射关键点并进行比较。比较完成后，它会确定差异。Conformal工具使用两种基于名称的方法和一种无名方法来映射关键点。当对逻辑进行微小更改时，基于名称的映射对于gate－to－gate比较非常有用。
AI芯天下丨LEC在IC设计中的重要意义
相反，当Conformal工具必须使用完全不同的名称映射设计时，无名映射方法很有用。默认情况下，它会在退出设置模式时使用名称优先映射方法自动映射关键点。Conformal工具未映射的关键点被归类为未映射的点。
未映射的点分为三类：
1．额外未映射的点是仅在其中一个设计（Golden或Revised）中出现的关键点。
2．无法到达的未映射点是没有可观察点的关键点，例如主输出。
3．未映射的未映射点是可到达的关键点，但在相应设计的逻辑扇入锥中没有对应点。
三．比较
在Conformal工具映射关键点之后，验证的下一步是比较。比较检查关键点以确定它们是等效还是非等效。比较确定比较点是否：等效、非等效、逆等效（Inverted－equivalent）、中止。
LEC失败的常见区域
如果在设计中使用多位触发器，则将出现映射golden网表与修订网表的问题，因为触发器名称将在修订后的网表中更改。在修订的网表中克隆后，时钟门控单元未被映射。在定时修复期间或在执行手动ECO时，逻辑连接会中断。功能ECO实施。缺少DFT约束。
AI芯天下丨LEC在IC设计中的重要意义
结论
LEC减少对门级仿真的依赖。提高了对合成和布局布线的新工具修订的信心。在不编写测试模式的情况下等效性几近完美。降低后端进程丢失的漏洞风险。
LEC对ASIC的重要性相关推荐
- 国产AI算力芯片简介-2023年
Q:GPGPU和ASIC芯片在AI算力中分别承担什么样的角色? A:早期开放框架基于GPGPU架构实现,因此软件生态更为成熟,对于初级客户来说,上手使用更加方便.GPGPU的通用性也更好,架构更加适合 ...
- asic面试题目 英伟达_免笔试！不限量！全球可编程图形处理技术领袖英伟达2021校园招聘火热进行中！...
关注并标星大同学吧 每周1次,打卡阅读 快速获取行业最新资讯 秋意浓,渐微凉 校招逐渐收尾 不少同学陆陆续续开始签约 还在观望决意不定的同学 英伟达还没结束! 筹谋已久的英伟达2021校园招聘 终于来 ...
- GAMES101课程学习笔记—Lec 14（2）~16：Ray Tracing（2） BRDF、渲染方程、全局光照、路径追踪
GAMES101课程学习笔记-Lec 14(2)~16:Ray Tracing(2) BRDF.渲染方程.全局光照.路径追踪 0 引入--辐射度量学概述 1 相关概念 1.1 Radiant Ener ...
- 树芯计划-ASIC数字IC设计讲解（1）连载中......
大家好,我是IC修真院的Andy老师,今天我们一起来学习ASIC数字前端设计课程,在讲课程之前,我们首先来看一些基本的知识点. 那目前来看无论是ASIC设计还是SOC的设计,基本的都是TOP down ...
- 抗ASIC的算法是否对PoW的安全性有利？
本文作者Mark Nesbitt,由"蓝狐笔记"社群的"MoQi"翻译 前言:本文旗帜鲜明地认为对ASIC友好的算法才能让普通的矿机生产商参与进来,而抗ASIC ...
- 残差复合正态分布的重要性
如果结果残差不是正态分布 说明用线性回归来拟合数据是不合适的 可能是非线性回归 这里的类是对应因变量的取值 如果是连续型的那就只有一类 销售量 如果是离散型的那就有几类就假设几类 黑白球 当总体只有一 ...
- FPGA与ASIC：它们之间的区别以及使用哪一种？
FPGA与ASIC:它们之间的区别以及使用哪一种? FPGA Vs ASIC: Differences Between Them And Which One To Use? VL82C486 Sing ...
- ASIC设计-终极指南
ASIC设计-终极指南 ASIC Design – The Ultimate Guide ASIC设计-终极指南 ASICs代表特定于应用的集成电路,指的是针对特定应用而设计的半导体解决方案,与其他解 ...
- arm，asic，dsp，fpga，mcu，soc各自的特点
arm,asic,dsp,fpga,mcu,soc各自的特点 人工智能受到越来越多的关注,许多公司正在积极开发能实现移动端人工智能的硬件,尤其是能够结合未来的物联网应用,对于移动端人工智能硬件的实现方 ...
最新文章
- SUBSTRING函數用法
- 使用sublime text3 连接sftp/ftp（远程服务器）
- Android 屏幕自动旋转-Sensor属性
- 代码之谜（二）- 语句与表达式
- 【BZOJ 1096】[ZJOI2007]仓库建设
- jQuery load()方法特殊用法！
- P4345-[SHOI2015]超能粒子炮·改【Lucas定理,类欧】
- Jenkins安装（Maven安装）（4）
- css样式子绝父相,子绝父相_HTML+CSS前端基础知识教程_腾讯视频
- Android音频实时传输与播放（四）：源码下载（问题更新）【转】
- 【leetcode】423. Reconstruct Original Digits from English
- 华为云AI斩获2019数博会“黑科技”等四大奖项
- html网页跳转触发器,trigger button
- 梯度下降法参数更新公式的推导
- （转）30分钟正则表达式入门
- 3dmax2020通道图怎么渲染
- aria2最新tracker服务器,【无灯+Hiboy】padavan下自动更新aria2的BT tracker 服务器列表...
- win7 批处理文件默认以管理员身份运行及清除IE缓存脚本
- 2022-2028全球与中国数据管理平台(DMP)市场现状及未来发展趋势
- mysql opt frm_将.frm和.opt文件导入MySQL