A geometric approach for early power grid verification using current constraints

The verification of power grids in modern integrated circuits must start, at design time, where circuit information is unknown but could be specified or inferred from design or architectural considerations. This work builds on previously proposed techniques to deal with circuit uncertainty in the framework of linear current constraints, but proposes a cost-controlled solution, by following a geometric approach, and transforming a problem that requires as many linear programs as there are power grid nodes, to another involving a user-limited number of solutions of one linear system.

[1]  Yousef Saad,et al.  Iterative methods for sparse linear systems , 2003 .

[2]  Farid N. Najm,et al.  Power grid voltage integrity verification , 2005, ISLPED '05. Proceedings of the 2005 International Symposium on Low Power Electronics and Design, 2005..

[3]  Reiner Horst,et al.  Introduction to Global Optimization (Nonconvex Optimization and Its Applications) , 2002 .

[4]  Eli Chiprout.  Fast flip-chip power grid analysis via locality and grid shells , 2004, ICCAD 2004.

[5]  Farid N. Najm,et al.  Early power grid verification under circuit current uncertainties , 2007, Proceedings of the 2007 international symposium on Low power electronics and design (ISLPED '07).

[6]  Panos M. Pardalos,et al.  Introduction to Global Optimization , 2000, Introduction to Global Optimization.