世界领先的测试设备厂商爱德万测试有限公司(Advantest Corporation, TSE: 6857)与横跨多重电子应用领域的全球领先的半导体供应商意法半导体(STMicroelectronics,简称ST；纽约证券交易所代码:STM)宣布，双方已合作开发出一套先进的全自动化出厂测试单元系统，以提高半导体封测设备整体效率和质量，并在意法半导体马来西亚麻坡封测厂部署了试验系统。

日前，Gartner公布2020年全球主存储魔力象限报告（Magic Quadrant for Primary Storage Arrays），包括Dell、Pure Storage、NetApp、HPE、Infinidat、Hitachi Vantara、浪潮在内的13家全球主流存储厂商入选。基于市场成长性和技术创新力评估，浪潮存储实现跨象限晋升，从利基者象限晋级到挑战者象限，成为本年度唯一实现象限跨越的存储厂商。

卅载光阴弹指过，未应磨染是初心。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月更新推出之后，一些用户不得不处理死亡蓝屏问题。微软承认了这个问题，并承诺它正在努力修复。经过长时间的延迟，微软终于推出了一个新的补丁，对关键问题进行了修复。