利用形式等价方法实现快速精确的功耗估计

利用形式等价方法实现快速精确的功耗估计

作者: Jithendra Srinivas, Jairam S, Udayakumar H (Texas Instruments); Vikram Avaral (Synopsys)

---

摘要

本文提出了一种使用RT级仿真活动进行精确门级功耗估计 Power Estimation的方法。我们利用形式等价 Formal Equivalence能力来实现精确的功耗估计。所提出的方法约快12倍，内存使用减少约40倍。该方法在综合、布局前后、布线和时钟树综合 CTS阶段均可统一扩展，无需额外努力，从而有助于评估每个阶段的收益。

---

图片索引

本文共3张图片，存放于 _images/ 目录。