所有现代数字逻辑都是由组合逻辑和时序逻辑组成的。组合逻辑由门电路(gate)组成，而时序逻辑则由触发器(flipflop)组成。不同的晶体管以特殊的方式连接在一起形成一个门电路，而连接不同门电路则形成一个触发器。无论是组合逻辑还是时序逻辑，任何芯片的基本单元都是晶体管。
现代芯片由数十亿个晶体管组成。例如，2021年10月发布的最新款 MacBook M1 max 处理器就是由约570亿个晶体管组成的。从晶体管的数量可以推断出，M1 max处理器所包含的门电路数就算没有数十亿至少也有数百万，这些门电路被仔细地建置于内存单元格中。以逻辑方式精心地将这些门电路互连在一起，就组成了功能强大的芯片。
整个芯片开发过程分为多个不同的阶段。首先是前端阶段，包括缓存器传输级(RTL)设计、设计验证和可测性设计(DFT)插入；然后是后端阶段，包括底层规划、频率树合成以及布局和布线。在RTL设计过程中，先编写芯片程序代码，然后进行仿真，接着合成设计，然后在RTL程序代码被固定的同时完成各种后端流程。
在芯片开发过程中很容易产生缺陷，因此为了确保芯片中的功能不受到影响，在投片之前修复这些缺陷十分重要。在像M1 max这样的芯片中，由于晶体管数量庞大，出现缺陷的机率就更大了。透过手动修改网表程序代码或使用Cadence Conformal或新思科技(Synopsys)的Formality等工具执行工程变更指令(ECO)可以在RTL固定后修复发现的缺陷。
图1：手动执行ECO流程的实例。
对于小规模ECO来说，手动更改网表程序代码是有效的，但在较大规模ECO的情况下，使用EDA工具是更好的选择，因为它可以调整现有的逻辑等效检查(LEC)流程，以便自动执行整个ECO过程。本文将介绍半导体产业中广泛使用的光罩制作前(premask)平面型Conformal ECO流程。
光罩制作前平面型ECO流程涉及的步骤
图2解释了使用Conformal执行的光罩制作前平面化ECO流程。在开始ECO流程之前，应该先执行特定的等效性检查。「逻辑等效检查」(LEC)可以直接检查修改后的设计，无需从测试台传递任何测试向量。这些检查比执行回归仿真更快，工程师经常在设计更改后使用这些方法来完成完整性检查。
图2：使用Conformal执行光罩制作前平面化ECO流程。
RTL1 – 未执行ECO的原始设计；
RTL2 – 执行ECO的修改后设计；
PNR1 – 未执行ECO且源自RTL1的布线后网表；
SYN2 – 执行ECO且源自RTL2的合成网表；
PNR2 – 执行ECO增补程序的布线后网表。
有关LEC及其流程的更多信息，请参见本系列文章的第一部份——「使用Conformal进行逻辑等效检查(LEC)入门电路」(A primer on logical equivalence checking (LEC) using Conformal)。
完成所有的初步检查后，将带有ECO的合成网表(SYN2)和原始的布线后网表(PNR1)一并提供给Conformal工具。这些网表分别称为改版设计和黄金设计。Conformal工具读取不同类型的优化，例如由合成工具执行的边界优化和分层频率门电路控，并在输入黄金网表和改版网表之间执行LEC。LEC会报告非等效点。这些非等效点都应该仔细审查，因为增补程序的产生取决于这些失败的关键点。
图3：使用Conformal执行光罩制作前平面化ECO过程的更多详细信息。
该工具会产生一个增补程序，我们可以将该增补程序应用到黄金设计——PNR1上，以获取新的带ECO的布线后网表(PNR2)。最后使用诸如Cadence Genus等合成工具及其提供的库信息完成增补程序优化。为了验证ECO增补程序并确保没有其他故障出现，需在SYN2和PNR2之间运行LEC，进而有望得到非等效关键点为零的成功结果。
使用LEC流程完成ECO
如前所述，可以修改现有的LEC流程来适应ECO流程。在执行ECO的同时修改现有LEC流程的第一步是比较黄金设计和改版设计，计算它们之间的增量变化。这个增量又名增补程序，随后即被优化并应用于黄金网表。接着再次使用LEC比较带增补程序的黄金网表和带增补程序的合成网表以验证ECO。如果比较结果没有问题，那么ECO就算成功了。
简而言之，我们需要在ECO之前做三次等效检查，并在ECO期间进行两次等效检查。在ECO过程中的两次等效检查之间，可以透过以下指令产生、应用和优化增补程序：
产生指令：此指令产生分层增补程序。该工具还可以根据增补程序和接脚可用性添加/删除ECO接脚。
analyze_eco -hierarchical -ecopin_dofile ecopins.do patch.v -replace
set_system_mode setup
dofile ecopins.do
将增补程序应用于黄金设计：使用以下指令将产生的增补程序应用于黄金设计。
apply_patch -auto
优化指令：随后用提供的库信息和Genus合成工具优化增补程序。优化后增补程序中的实例、网络和缓存器的命名可以透过适当的参数进行控制。
optimize_patch -workdir <working_directory>
-library <lib_file_list>
-sdc <sdc_filename>
-instancenaming “ECOinst_%d”
-netnaming “ECOnet_%d”
-sequentialnaming “ECOreg_%s”
-synexec “genus”
-verbose
在RTL固定后，执行ECO可以发现设计中的缺陷并最终得到解决。手动修改网表程序代码可能是一个耗时且麻烦的过程。相较于手动执行ECO，使用Conformal或Formality等EDA工具可以实现整个ECO流程的自动化，并且速度更快，往往还能提供更好的结果。由于Conformal ECO流程利用了现有的LEC流程，因此在某些情况下可显着减少整个ECO的工作量。
(参考原文：A primer on engineering change order (ECO) using Conformal，by Deekshith Krishnegowda)
-
微信扫一扫
一键转发 -
最前沿的电子设计资讯
请关注“电子技术设计微信公众号”
- 用水泥和炭黑制造储能超级电容器 一项新的研究表明，人类最普遍的两种历史材料，水泥和炭黑（类似于非常细的木炭），可能会成为新型低成本储能系统的基础。该技术可以在可再生能源供应出现波动的情况下使能源网络保持稳定，从而促进太阳能、风能和潮汐能等可再生能源的使用。
- 一种用于电路板回收的新基材：遇水能溶 英国的Jiva Materials公司开发了一种新型的PCB基材Soluboard，这种基材是由天然纤维包裹在一种无卤的聚合物中制成的，与行业内经常使用的FR-4基材不同，这种材料只要在90摄氏度左右的热水中浸泡30分钟，就可以分层溶解···
- 美国公司声称发现室温超导材料，被授予了高于室温的第二 位于美国佛罗伦萨州的Taj Quantum的公司在社交媒体宣布，被授予了高于室温的第二类超导体专利。据称，这种独特的 II 型超导体（专利号：17249094）可在较宽的温度范围内工作，包括远高于室温的温度，从约 -100° F (-73° C) 到约 302° F (150° C) - 这是一种特性这在超导体世界中并不常见。
- 俄罗斯“贝加尔湖”基准测试对比英特尔和华为芯片，惨败 俄罗斯服务器处理器 Baikal-S 的开发人员将其性能与美国和中国的同类芯片进行了比较。涉及六个流行指标。
- 英伟达惨遭背刺，这个SDK让AMD平台也能运行CUDA 近日，AMD正式推出了HIP SDK，这是ROCm生态系统的一部分，基于开源ROCm解决方案，HIP SDK使消费者可以在各类GPU上运行CUDA应用，为专业和消费级GPU提供CUDA支持。
- 麻省理工发现新型量子磁铁释放电子潜力 研究人员发现了如何控制异常霍尔效应和贝里曲率来制造用于计算机、机器人和传感器的柔性量子磁体。
- 电池能用三十年？美国Ener Venue称推出革命性电池技术 三元锂离子电池的理论寿命约为800次循环，磷酸铁锂约为2000次，而钛酸锂据说可以达到1万次循环，也就是说常规普通人使用的锂离子电池每天完全充放电三次，最多也就能用上几年的时间。虽然相较于铅酸电池200-300次的循环寿命来说，这已经是很大幅度的提升了，但现在有一家公司宣称他们的电池可以充放电30000次，每天充放电三次，能用30年。
- 测试中比友商温度低14度，一加天工散热系统怎么做到的？ 7月27日，一加在2023年ChinaJoy上发布了全球首创的散热技术，即航天级三维立体散热系统“天工散热系统”，这是一加的又一次新的尝试，让我们一起来了解一下。
- 万物电气化：探索绿色未来之路 在本文中，我们将重点介绍美国年度脱碳展望(ADP)2022报告中的一些重要发现。本报告着眼于实现净零经济的各种情景。我们在本文中重点关注的方法称为“中心情景”，它遵循到2050年实现净零排放的时间表。
- 韩国造世界首个室温超导体，闹剧还是新的未来？ 7月22日，韩国的一个科研团队在预印本网站arXiv平台上上传了两篇论文，声称发现了世界上首个常压室温超导体，这种材料是一种改性铅磷灰石名为LK-99，超导临界温度在127摄氏度，即400K以上，而且在常压下就具备超导性。
- 下一个医疗前沿：网联可穿戴设备 医疗和消费级可穿戴设备将继续增强连接性和电池寿命，以实现对血压、体温和身体水分等多种生物标志物的实时和非侵入性监测。
- 瑞能半导体全球首座模块工厂在上海湾区高新区正式投入 瑞能微恩半导体暨瑞能金山模块厂开业典礼在上海湾区高新区隆重举行，标志着瑞能全球首座模块工厂正式投入运营，将主要生产应用于消费、通讯、新能源以及汽车相关的各类型功率模块产品，串联客户和生态圈，积极推动行业高质量发展。
- 激发未来小小女工程师对STEM课程的兴趣，对工程界至关重要 泰克科技组合软件总经理Rick Khulman: “激发孩子们——尤其是女孩们对STEM的兴趣，对我本人乃至广大工程界
- 数据闭环——自动驾驶下半场的“入场券” 自动驾驶战争的上半场拼的是硬件和算法，下半场拼的则是数据和将数据点石成金的能力，即数据闭环能力。
- Nothing Ear（2）真无线降噪耳机拆解 在2023年3月，Nothing正式发布了全新迭代产品——Nothing Ear（2）真无线降噪耳机，在外观方面延续了家族式的透明元
- 小米Sound Move智能音箱拆解 Xiaomi Sound Move搭载4单元，采用双对称立体声学结构设计，通过高解析力双扬声器和双被动辐射器，经由小米声学金
- 射频传输线基础 今天大家一起学习一下射频传输线基础这篇讲义
- 奔驰半年成绩单：让赚钱变得更优雅！ 2023年上半年，梅赛德斯-奔驰集团呈现出强劲的财务表现和业务增长。本文详述各方面的具体表现。
- 自动驾驶对动力系统的影响 7月13日，由中国汽车工程学会、青岛市工业和信息化局主办，中汽翰思管理咨询公司协办的第十五届汽车动力系统技
- 红配绿，黑与白？什么样的配色才能俘获审稿人的芳心？ 好的科研绘图配色令人印象深刻，也能更准确地传递数据信息，今天小编就带大家看一下怎样去选择最适合自己数据，能
- AP AUTOSAR设计思想及原理 本文给大家分享一下在 AP AUTOSAR 里面我们怎么样去做一个设计，整个 AP 的设计思想及原理。
- 多合一电驱动系统设计和挑战 7月13日，由中国汽车工程学会等主办的第十五届汽车动力系统技术年会（TMC2023）在青岛举行。会上许多公司展示了引
- 电动化降价，智能化收费：未来汽车的双重变革 从2023年开始，价格战的阴影一直笼罩在汽车行业上面，“卷”是进行时，但是怎么”卷”出来是所有人考虑的问题。
- 宝华韦健TWS耳机PI7 S2评测 全新一代 Pi7 S2 的体验如何？耳机在保持上代经典「英伦风」的同时，又能带来哪些新体验呢？下面，就让我爱音频网带
- 瑞萨电子MCU和MPU产品线将支持Microsoft Visual Studio Code 客户现可以在VS Code中设计和调试瑞萨嵌入式处理器的软件，与瑞萨自有e2 Studio IDE相辅相成
- 逐点半导体IRX游戏体验品牌正式上线 从移动视觉处理方案到特定游戏调优，推动手游体验迈向新的征程
- 大联大世平集团推出基于onsemi产品的电动汽车（EV）充电桩方案 大联大控股宣布，其旗下世平推出基于安森美（onsemi）NTBG022N120M3S和NCD57084产品的电动汽车（EV）充电桩方案。
- 意法半导体发布创新红外传感器，提升楼宇自动化的人员存在和移动检 带有微加工热敏晶体管的高集成度、超低功耗传感器可取代传统的被动红外探测器
- 比科奇介绍其打造更加智能移动通信基础设施新愿景 比科奇在MWC上海世界移动通信大会期间介绍了其在引入人工智能（AI）等技术打造更加智能的移动通信基础设施方向
- WiSA E开发套件开始向全球发货，旨在统一非Sonos音频市场 面向中国、韩国、日本和美国的各大品牌发货
- 安森美和麦格纳签署战略合作协议，投资碳化硅生产以满足日益增长的 麦格纳将在其主驱逆变器方案中集成安森美的EliteSiC以增加电动汽车的续航里程和能效
- 小尺寸大功率Harwin连接器子系列可从360° EMC后壳中受益 Harwin公司宣布其Kona大功率连接器子系列现已推出带后壳的产品。
- Arm 扩大开源合作伙伴关系，加强投入开放协作 Arm 和我们的生态系统的关键信念之一是与开源社区合作，共创一个高度发达的 Arm 架构，使软件的落地更加稳定，从
- WiSA推出两款功能强大的新工具，用于实现、管理和测试WiSA技术支持 新工具可为客户提供全面支持，助其开发和制造采用WiSA E和WiSA DS设计、用于多声道音频的产品
- 艾迈斯欧司朗推出智能多像素EVIYOS 2.0 LED，适用于高精度自适应 EVIYOS 2.0具备高分辨率、完全防眩智能远光功能，在远光模式下自动降低眩光；EVIYOS 2.0将图像和安全警示投射
- 全新Arm IP Explorer平台助力SoC架构师与设计厂商加速IP选择 Arm推出全新Arm IP Explorer平台
