如何使用形式验证更好地执行故障注入分析和仿真任务。

汽车设计需要进行功能安全分析，此任务通常使用失效模式、影响和诊断分析 (FMEDA) 来完成。本文分享一种用于创建和自动执行 FMEDA 流程的一键式解决方案。

Solido Variation Designer

Fast and accurate variation-aware design and verification

时域两步ADC的快速精确的偏差感知混合信号验证。

模数转换器 (ADC) 在当今的 SoC 设计中很普遍。下一代汽车、手机和高性能计算应用要求使用纳米节点，以便能以更低的功耗提供更多的功能和更高的性能。为了满足 ADC 的规格要求并获得高良率的设计，设计人员需要进行大量暴力穷举的混合信号仿真，以应对所有潜在的设计偏差。但在纳米节点上，工艺、电压和温度 (PVT) 工艺角的数量以及参数偏差呈指数增长，使得仿真不切实可行且成本高昂。

Data Management Overview - Xpedition Enterprise

The Xpedition solution provides both design creation/management and library creation/management tool suites, giving a complete product set for data management needs.