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

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

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

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

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

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