ASIC芯片是用于供专门运用的集成电路(ASIC,Application SpecificIntegrated
Circuit)芯片技能,在集成电路界被认为是一种为专门意图而规划的集成电路。ASIC芯片技能发展迅速,现在ASIC芯片间的转发功用一般可抵达1Gbs乃至更高,所以给交流矩阵供给了极好的物质基础。ASIC的特点是面向特定用户的需求,ASIC在批量生产时与通用集成电路比较具有体积更小、功耗更低、可靠性进步、功用进步、保密性增强、本钱下降一级长处。
ASIC芯片技能一切接口模块(包含操控模块)都衔接到一个矩阵式背板上,经过ASIC芯片到ASIC芯片的直接转发,可一起进行多个模块之间的通讯;每个模块的缓存只处理本模块上的输入输出行列,因而对内存芯片功用的要求大大低于同享内存办法。总归,交流矩阵的特点是拜访效率高,合适一起进行多点拜访,简单供给十分高的带宽,而且功用扩展便利,不易受CPU、总线以及内存技能的束缚。现在大部分的专业网络厂商在其第三层中心交流设备中都越来越多地采用了这种技能。
LEC对ASIC的重要性
ASIC在流片之前,要阅历一系列规划进程,如归纳、布局布线、签核(sign-offs)、ECO(工程改变单)以及很多优化进程。在每个阶段,咱们都需求保证逻辑功用完好无缺,而且不会由于任何主动或手动更改而间断。假如功用在整个进程中的任何时刻发生变化,整个芯片就变得毫无用处。这便是为什么LEC是整个芯片规划进程中最重要的原因之一。跟着制程技能节点的缩小和复杂性的添加,逻辑等效查看在保证功用的正确性方面起着重要作用。
什么是LEC
LEC包含三个进程,如下图所示:设置形式,映射形式和比较形式。
逻辑等效查看的进程
有各种用于履行LEC的EDA东西,例如Synopsys Formality和Cadence
Conformal。这儿,咱们将Conformal东西作为参阅,以解说LEC的重要性。
逻辑等效查看的进程:
一.设置
在设置形式下,Conformal东西读取两个规划。咱们指定规划类型,即Golden(归纳网表)和修订版(一般,修正后的规划是Conformal东西与Golden规划比较的修正或后处理规划)。关于LEC的履行,Conformal东西需求三种类型的文件。
在从设置形式到LEC形式的过渡中,Conformal东西展平并模仿Golden和修正后的规划并主动映射要害点。要害点界说为:首要输入、首要产出、D
Flip-Flops、D锁存、TIE-E门(过错门,在修订规划中存在x赋值时创立)、TIE-Z门(高阻抗或起浮信号)、黑匣子
二.映射
在等效性查看的第二阶段,Conformal东西主动映射要害点并进行比较。比较完成后,它会确认差异。Conformal东西运用两种根据称号的办法和一种无名办法来映射要害点。当对逻辑进行细小更改时,根据称号的映射关于gate-to-gate比较十分有用。
相反,当Conformal东西有必要运用彻底不同的称号映射规划时,无名映射办法很有用。默许情况下,它会在退出设置形式时运用称号优先映射办法主动映射要害点。Conformal东西未映射的要害点被归类为未映射的点。
未映射的点分为三类:
1.额定未映射的点是仅在其间一个规划(Golden或Revised)中呈现的要害点。
2.无法抵达的未映射点是没有可调查点的要害点,例如主输出。
3.未映射的未映射点是可抵达的要害点,但在相应规划的逻辑扇入锥中没有对应点。
三.比较
在Conformal东西映射要害点之后,验证的下一步是比较。比较查看要害点以确认它们是等效还对错等效。比较确认比较点是否:等效、非等效、逆等效(Inverted-equivalent)、间断。
LEC失利的常见区域
假如在规划中运用多位触发器,则将呈现映射golden网表与修订网表的问题,由于触发器称号将在修订后的网表中更改。在修订的网表中克隆后,时钟门控单元未被映射。在守时修正期间或在履行手动ECO时,逻辑衔接会间断。功用ECO施行。短少DFT束缚。
定论
LEC削减对门级仿真的依靠。进步了对组成和布局布线的新东西修订的决心。在不编写测验形式的情况下等效性几近完美。下降后端进程丢掉的缝隙危险。