在2020骁龙技术峰会期间，高通技术公司宣布推出全新高通骁龙™888 5G旗舰移动平台，为2021年旗舰智能手机树立全新标杆。

蓝宝石（Sapphire）刚刚推出了基于 AMD 锐龙 V2000 嵌入式处理器平台的 FS-FP6 和 BP-FP6 系列 NUC 主板。由早前 AMD 官方公布的信息可知，V2000 系列嵌入式处理器采用了 7nm 制程，集成了高性能的 Zen 2 CPU + Radeon GPU 。

市场研究公司Dell'Oro Group刚刚发布了2020年第三季度全球整体电信设备市场报告。这份报告涵盖包括宽带接入、微波与光传输、移动核心网和无线接入网（RAN）、SP路由器和运营商以太网交换机（CES）在内的整个电信设备市场。初步估算表明，整体电信设备市场在2020年第三季度同比增长了9%，在2020年前三季度同比增长了5%。

安谋中国今天发布了全新“玲珑”多媒体产品线，其中首款产品“玲珑”i3/i5 ISP处理器由安谋中国本土团队自主研发，在降噪、清晰度和宽动态等指标上达到业界领先水平，具有高画质、低延时、可配置能力强、扩展兼容性高等特点。该款ISP处理器可广泛适用于安防监控、AIoT及智能汽车等领域的视频、图像处理工作，满足不同场景的数据处理需求。

SBench 6-Professional增加了许多新功能，该软件用于控制Spectrum Instrumentation的130种不同的高性能数字化仪、55种不同的任意波形发生器和5种数字I/O产品。SBench 6为仪器控制以及数据采集、生成、显示、分析和文档提供了一个易于使用的图形界面。这些新功能，其中大部分是免费的，通过增加自动化功能以及提高软件在信号处理和测量精度方面的能力，扩大了软件的通用性。

由全球知名半导体制造商罗姆（总部位于日本京都市）赞助的同济大学“DIAN Racing”电动方程式车队在11月9~14日在湖北襄阳举行的“2020年中国大学生电动方程式大赛”中， 首次获得总成绩冠军！

世界领先的测试设备厂商爱德万测试有限公司(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 使用该流程来简化连通性检查。该流程基于一个脚本环境，围绕该环境提供了充足的信息以方便用户开始实施新的验证方法。