Power grid voltage integrity verification

ABSTRACT

Full-chip verification requires one to check if the power grid is safe, i.e., if the voltage drop on the grid does not exceed a certain threshold. The traditional simulation-based solution to this problem is computationally expensive, because of the large variety of possible circuit behaviors that would need to be simulated; it also has the disadvantage that it requires full knowledge of the details of the circuit attached to the grid, thereby precluding early verification of the grid. We propose a power grid verification technique that can be applied before the complete circuit has been designed and without exact knowledge of the circuit currents. We use current constraints, which are upper bound constraints on the currents that can be drawn from the grid, as a way to capture the uncertainty about the circuit details and activity. Based on this, we propose two solution approaches. One approach gives an upper-bound on the worst-case voltage drop at every node of the grid. Another, less expensive approach, applies a sufficient condition (thus, this becomes a conservative approach) to check if the drop on the grid exceeds a given voltage threshold

REFERENCES

• 1: Dionysios Kouroussis , Farid N. Najm, A static pattern-independent technique for power grid voltage integrity verification, Proceedings of the 40th conference on Design automation, June 02-06, 2003, Anaheim, CA, USA [doi>10.1145/775832.775861]
• 2: L. T. Pillage, R. A. Rohrer, and C. Visweswaraiah. Electronic Circuit and System Simulation Methods. McGraw-Hill, New York, 1995.
• 3: J. N. Kozhaya, S. R. Nassif, and F. N. Najm. A multigrid-like technique for power grid analysis. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 21(10):1148--1160, October 2002.
• 4: H. Kim, J. Xu, and L. Zikatanov. A multigrid method based on graph matching for convection-diffusion equations. Numerical Linear Algebra with Applications, 10(1-2):181--195, December 2002.
• 5: R. Saigal. Linear Programming: a Modern Integrated Analysis. Kluwer Academic Publishers, 1995.
• 6: J. Czyzyk, S. Mehrotra, M. Wagner, and S. J. Wright. PCx User Guide (Version 1.1). Optimization Technology Center, Northwestern University, November 1997.

INDEX TERMS

Primary Classification:
  B. Hardware
  B.7 INTEGRATED CIRCUITS
      B.7.2 Design Aids

General Terms:
Algorithms, Design, Theory

Keywords:
power grid, voltage drop, voltage integrity