移动电话技术的进步不断挑战极限，要求SoC在提供不断提升的性能的同时，还能保持较长的电池续航时间。为了满足这些需求，业界正在逐步采用更低的技术节点，目前的设计都是在5纳米或更低的工艺下完成的。在这
2023-07-17 10:12
在片上系统的设计与实现中，验证这一环节日益重要，整个过程中花在验证的时间比重越来越大，主要原因在于随着SOC 芯片复杂度的提高，验证的规模也
2018-06-01 07:18
为了充分利用系统级芯片（SoC）设计带来的优点，业界需要一种可以扩展的验证解决方案，解决设计周期中各个阶段的问题，缩短验证鸿沟。本文将探讨可扩展验证解决方案为何能够以及
2018-06-04 03:13
和静态时序分析工具一起来完成对电路完备的验证。本文就以Synopsys公司的formality工具为例，来介绍形式验证的流程和基本概念，后续会详细介绍使用formali
2022-12-27 15:18
很多其他行业也能从电子器件的增加受益，当然保障功能安全是大的前提。本文讨论SOC芯片设计验证、验证计划和策略以及验证方法。它定义了功能模拟、功能覆盖、代码覆盖以及设计
2023-07-20 09:05
本文以软件工程的视角切入，分析中科院计算所某片上系统（SoC）项目的验证平台，同时也介绍当前较为流行的验证方法，即以专门的验汪语言结合商用的验证模型，
2020-04-10 09:23
此次医疗输注液概念验证在卫生署署立台中医院的积极配合下，与九家业者共同完成了RFID硬体的性能测试及输注液RFID系统的雏形。署立台中医院前身为台湾省立台中医院，拥
2010-08-18 14:53
本应用笔记详细介绍了DS28S60与Jupyter笔记本配合使用进行双向认证的基本应用。它使用分步方法来演练设置设备和所有相关软件，创建用于通过 ECDHE 密钥交换加密数据的共享密钥，使用 AES-GCM 加密和解密数据，以及通过 ECDSA 签名生成和验证
2023-06-16 11:39
在RS-485多机通信中，往往会出现多个从机同时向主机发送数据。比如在RS-485温度测量系统中，多个RS-485从机的温度测量值只要超过报警点就立即向主机发送报警信息，但是这也可能会出现2个或者2个以上的RS-485从机同时向主机发送报警信息。如果不采取RS-485竞争解决机制，那么就可能会导致2个从机同时发送的信息重叠，这样主机就无法接收到正确的信号，严重的还可能导致整个RS-485系统的崩溃。传统的解决方案是由主机循环轮流对各个RS-485下位机点名通信，这虽然解决了RS-485多从机的竞争，但是同时延误了实时报警信息。
2020-03-25 10:30
