本白皮书提出了 Arm 使用西门子 EDA 的 PowerPro™ 软件产品组合开发的一种全新的自动输入限定方法,可以在 IC 设计的构建和原型阶段执行各种数据完整性检查。这种方法可确保输入数据在更快的迭代中具有高保真度,从而获得具有良好相关性的功耗数据。如果有必要进行多次迭代,则实施一种检查点数据库方法来绕过工具运行的无错误阶段,这样就只需要对存在功耗违规的区域执行进一步的分析,从而加快实现迭代式细化。
与波形文件 (FSDB/SAIF/STW/QWAVE)、技术库 (.lib) 和寄生参数文件 (SPEF) 有关的各种检查已经成为 PowerPro 的一部分。有了 PowerPro 来定义与这些检查有关的输入限定方法,与 Arm 一样,用户可以将实现可靠的功耗数据所需的项目时间缩减多达 88%。