验证处理器的安全性，已成为现代电子系统设计中必不可少的一步。用户希望确保他们的消费类设备不会被黑客入侵，并且他们的个人和财务数据在云端是安全的。有效的安全验证涉及处理器硬件和运行在其上的多层软件。本文讨论了一些与硬件安全验证相关的挑战，并提出了一种基于形式的方法来提供解决方案。实现RISC-V流行指令集架构(ISA)的设计示例，展示了这种方法的强大功能。

在本教程中，我们将使用仅由一个二极管组成的电路来分析其对不同输入波形的响应、微分电阻和反向饱和电流。

EDN电子技术设计受邀参加了大联大举办的“驶向未来：预约下一个十五·五骋驰世界”（深圳场论坛分会场A）活动。会议邀请到世界知名汽车半导体供应商分享并展示了相关的技术与方案，让我们来一睹为快。

5月24日，据早稻田大学官网消息，由日本山梨大学和早稻田大学合作组成的研究团队开发出以质子交换膜为电解质，以具有氧化还原活性的有机物为负极的全固态空气蓄电池。这种电池可反复充放电，轻便且安全性好，在弯折状态下也能使用，有望应用于便携电子设备。

近日，在比利时安特卫普举行的 ITF World 2023大会上，英特尔技术开发总经理 Ann Kelleher 介绍了几个关键领域最新技术发展，其中就包括了英特尔将采用堆叠式 CFET 晶体管架构，这也是英特尔首次公开介绍新的晶体管设计。

台积电于日前举行的2023年北美技术论坛中提供关于3nm芯片制程节点的最新信息。此外，台积电并为2nm节点增加两个变化版本，英特尔能否迎头赶上？

5月24日，中国科学院上海微系统与信息技术研究所（以下简称中科院上海微系统所）官网消息，中科院上海微系统所的研究团队研制出可以像纸片一样弯曲，且不易断裂的高柔韧性单晶硅太阳电池。相关成果在国际学术期刊《自然》(Nature)发表，并被选为当期的封面。

近日，在美国举行的 2023 年 SID Display Week 活动中，三星展示了一款全新的屏幕面板名为Sensor OLED，是全球首款内置指纹传感器和心率传感器的OLED面板。

苹果于2023年5月23日通过官方新闻稿宣布，它已与博通达成一项为期多年、价值数十亿美元的协议。随着新交易的敲定， 博通将开发 5G 射频组件（包括 FBAR 滤波器）和尖端无线连接组件

据EDN电子技术设计报道，中国移动近日分别发布两则公告称，启动2023年至2024年5G无线主设备2.6GHz/4.9GHz 5G基站以及5G 700MHz宏基站公开招标部分集中采购。对比往年采购数量，今年中国移动5G基站设备采购的数量大大降低。

本文对.STEP指令及其在多次仿真中的使用进行了深入分析。

COVID-19 大流行创造了对非接触式界面和人体感应的巨大需求。

本文介绍了一种小型专用电池分析仪设计，借此就可将我们对便携式电子设备中所用小型电池的“一厢情愿”从其“实际性能”中区分开来。

人工智能可以使芯片设计更快、更准确且更具成本效益，同时缓解日益严重的技术人才短缺问题。

5月22日，美国科技巨头Facebook母公司Meta被爱尔兰数据保护委员会(DPC)开出12亿欧元的巨额罚单，并被责令限期停止向美国传输欧洲用户数据，理由是Facebook等社交平台违反欧盟《通用数据保护条例》(GDPR)。