Skip to Main Content
白皮书

在用于 IC 验证的产品级工程解决方案中使用机器学习 (ML) 方法

利用 ML 为 SPICE 级 IC 验证生成一致、可验证且正确的答案

支持 ML 的解决方案 Solido High-Sigma Verifier 是 Solido Variation Designer 的一部分,能够以少几个数量级的仿真运行时间提供与完全暴力穷举法一样准确的 4、5、6+ sigma 验证结果。High-Sigma Verifier 使设计和验证团队能够提高验证精度和覆盖率,同时显著缩短设计计划时间。High-Sigma Verifier 是 3 级 ML 算法设计的一个例子,通过大规模生产使用和迭代改进,它正在迅速接近 4 级。

Solido 机器学习:迈向 4 级 ML 能力

西门子 EDA 的 Solido™ 软件提供了接近 4 级 ML 能力的 ML 工具。

在 Solido 工具中,第一步是执行初始实验设计 (DoE)。这是一个稀疏的测量集,覆盖了整个结果空间。

基于 DoE 的结果,该工具可以构建预期结果空间的一阶 ML 模型。它会确定可能需要更高模型精度的目标区域。然后,该工具会产生更多结果,并将其与 ML 生成的结果进行比较。如果结果不在工程公差范围内,该工具会使用额外的数据和更新的模型进一步优化。

此过程允许 Solido 工具获得对结果较全面的了解,目标区域和内置验证的微调结果具有更细的粒度。

分享