方案

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

近年来，随着汽车事故预防措施和自动驾驶技术的发展，对支持高等级安全要求（ASIL）的高级驾驶辅助系统（ADAS）的需求也与日俱增。对此，罗姆发布车载电源树参考设计白皮书。

硅光技术具有高速数据传输、高带宽和低功耗等美好前景，这对于当今的高性能计算、电信、军事、国防、航空航天、医疗和研究应用而言至关重要。但要实现这一前景，设计公司必须获得晶圆代工厂和 EDA 供应商为 IC 设计和验证提供的同等类型和水平的支持。幸运的是，行业似乎已经在正确的方向上前行。

紫光展锐在上海国际会议中心召开的5G产业创新高峰论坛上，正式发布了《6G：无界，有AI》白皮书。

汽车设计需要功能安全分析，此任务通常使用失效模式、影响与诊断分析 (FMEDA) 来完成，用以确定每个安全目标的诊断覆盖率。编写 FMEDA 是一项非常繁琐的任务，我们在此分享一种用于创建和自动执行 FMEDA 流程的一键式解决方案，让工程师有更多时间专心探索设计的安全就绪情况，弄清楚如何才能更有效地增强设计安全性。

自动驾驶汽车中的传感器会持续产生大量与汽车周围环境相关的实时数据。车辆需要新的硬件架构才能快速处理这种数据，并作出决策使自动驾驶变为可能。Catapult® 是业内高层次综合 (HLS) 平台的佼佼者，其采用 C++/SystemC 提供抽象程度更高的全新芯片设计范例，大幅改善了硬件设计。它还能无缝验证 C++ 和 RTL，并且结合了 PowerPro® 以进行测量、探索、分析和优化 RTL... 阅读详情