考慮溫度之無向量電源供應網路驗證技術

Abstract

隨著VLSI(Very Large Scale Integrated)技術不斷的進步，電源供應網路驗證成為一項具有挑戰性的任務。一個設計良好的電源供應網路必須讓全部的結點電壓維持在一個適當的電壓範圍，足以保證電路操作在正確的狀態。除此之外，為了讓設計者更方便於調整與合作，電源網路必須在設計的早期階段做驗證。本篇論文發展出一套方法，在考慮溫度對電源供應完整性的影響，並且在無向量條件限制(vectorless constraints-based)之下，對電源供應網路設計的早期階段做驗證；同時，也因為考慮溫度的因素，讓電源供應網路的驗證更為正確。實驗結果顯示出如果沒有考慮溫度的影響，會因為區域性的溫度上升導致在做驗證時低估了結果，而無法正確的驗證電源供應網路。

As VLSI (Very Large Scale Integrated) techniques are getting more and more advanced, power grid verification becomes a challenging task. A well-designed power grid should guarantee correct circuit functionality at the intended design speed, by delivering well-regulated voltages at all power grid nodes. Moreover, power network needs to be verified early in the design process, and the adjustments can be easily incorporated. The focus of this work is to develop techniques for power grid verification in the context of vectorless constraints-based early stage verification, considering thermal effect on the IR drop in the power grid. We propose a novel approach to verify the power grid more accurate including temperature profiles on it. The experimental results also show that lake of accurate evaluation of thermal influence may underestimate the IR drop due to increased local temperature.