卅载光阴弹指过，未应磨染是初心。2021年4月21-23日，由励展博览集团主办的中国国际电子生产设备暨微电子工业展将在上海世博展览馆举办第三十届盛会。三十年栉风沐雨，NEPCON China用坚持、进取直面行业挑战，肩扛电子制造产业振兴大旗，持续为行业寻求更大发展机遇，已成长为国内电子制造领域极具影响力的高端平台和品质强展。

形式验证提供了一种快速、详尽且支持高效调试的解决方案。传统上，芯片级形式验证确实不可行。该方法通常以模块级别为目标，使状态空间的规模保持在适当水平。但是，鉴于连通性检查仅集中在布线上（与模块级别的复杂度相比，布线一般是器件的简单部分），借助一些假设，状态空间可以减小到可管理的规模。这种简化的性质取决于所需检查的类型。本文首先会概述几种类型的连通性检查，然后详细介绍一种新型半自动验证流程（包括代码）。已有一些 Mentor Graphics 使用该流程来简化连通性检查。该流程基于一个脚本环境，围绕该环境提供了充足的信息以方便用户开始实施新的验证方法。

富昌电子是全球领先的电子元器件分销商，总部位于加拿大蒙特利尔。该公司近期重新设计了其在线BOM工具，以服务所有客户。

恩智浦半导体（NXP Semiconductors N.V.，纳斯达克代码：NXPI）今日宣布推出第2代Airfast射频功率多芯片模块（MCM），其设计目的是满足蜂窝基站的5G mMIMO有源天线系统的演进要求。

汽车内饰正在经历一场根本性的形象变革，并且日益成为汽车行业关注的焦点，同时也影响着设计和集成应用。欧司朗光电半导体凭借其在通用照明行业的技术进步和深刻见解，为新一代汽车带来了紧凑节能且显色卓越的Ostune LED系列。

12月02日——今年早些时候，包括三星、SK 海力士、美光在内的 DRAM 颗粒制造商，都已经宣布了各自的 DDR5 生产计划。今天，内存模组制造商十铨（TeamGroup）也披露了该公司的新计划，称之有意在 2021 年推出 DDR5-4800 和 DDR5-5200 规格的 Elite 系列新产品。

Netcraft 刚刚分享了 2020 年 11 月的 Web 服务器调查数据，可知与 10 月份相比，Nginx 开发者从 34.24% 下滑至 33.69%，但还是保住了总份额第一的位置。

微软已经推出了一个新的Windows 10更新，应该可以解决一个令人沮丧的、长达数月的问题，这个问题一直使一些系统崩溃，出现蓝屏死亡（BSOD）错误。在Windows 10 2020年5月更新和2020年10月更新推出之后，一些用户不得不处理死亡蓝屏问题。微软承认了这个问题，并承诺它正在努力修复。经过长时间的延迟，微软终于推出了一个新的补丁，对关键问题进行了修复。

据外媒报道，2020年Q3，苹果可穿戴设备业务同比增长38.6%，超过了整个市场的增速，而同期Apple Watch业务增长了75%。这家位于库比蒂诺的科技巨头的可穿戴设备出货量估计为4,140万部，其中包括AirPods和AirPods Pro--同比增长2,980万部。

艾普凌科有限公司(ABLIC Inc.)（总裁：石合信正，总部：东京都港区，以下简称“ABLIC”）今天推出了S-19516、S-19517和S-19519系列大电流LDO线性稳压器，其集成了电源电压监视（复位）和运行监测（看门狗定时器）功能。