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

恩智浦半导体（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线性稳压器，其集成了电源电压监视（复位）和运行监测（看门狗定时器）功能。

近日，紫光展锐顺利通过《企业知识产权管理规范》（国家标准GB/T29490-2013）的认证评审，获得《知识产权管理体系认证证书》，标志着紫光展锐在企业经营中各个环节的知识产权创造、运用、管理以及保护方面均获得了国家级标准认可。

Velodyne Lidar, Inc. (Nasdaq: VLDR)宣布，该公司将与Ford Otosan开展自动驾驶重型商用卡车产品开发和测试合作。Ford Otosan正在测试并计划使用Velodyne Velarray H800激光雷达传感器，以实现下一代车辆的安全导航和防撞功能。