A geometric approach for early power grid verification using current constraints

IEEE/ACM International Conference on Computer-Aided Design, Digest of Technical Papers, ICCAD

Volumn , Issue , 2007, Pages 40-47

  Ferzli, Imad A ^a   Najm, Farid N ^a   Kruse, Lars ^b  

^a UNIVERSITY OF TORONTO   (Canada)

^b MAGMA DESIGN AUTOMATION   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL GEOMETRY; DESIGN; ELECTRIC POWER TRANSMISSION NETWORKS; ELECTRONICS INDUSTRY; INTEGRATED CIRCUITS; LINEAR SYSTEMS; MATHEMATICAL TRANSFORMATIONS; NETWORKS (CIRCUITS); POWER GENERATION; SOLUTIONS;

COMPUTER-AIDED DESIGN; DESIGN TIME; GEOMETRIC APPROACHES; INTERNATIONAL CONFERENCES; LINEAR CURRENTS; LINEAR PROGRAMS; POWER GRIDS; POWER-GRID VERIFICATION;

LINEAR PROGRAMMING;

EID: 50249087036     PISSN: 10923152     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ICCAD.2007.4397241     Document Type: Conference Paper

References (6)

1. M. Nizam, F. N. Najm, and A. Devgan. Power grid voltage integrity verification. In ACM/IEEE International Symposium on Low Power Electronics and Design, pages 239-244, San Diego, CA, August 8-10 2005.
2. I. A. Ferzli, F. N. Najm, and L. Kruse. Early power grid verification under circuit current uncertainties. In ACM/IEEE International Symposium on Low Power Electronics and Design, Portland, OR, August 27-29 2007.
3. Y. Saad. Iterative Methods for Sparse Linear Systems. SIAM, 2003.
4. R. Horst, P. P. Pardalos, and N. V. Thoai. Introduction to Global Optimization. Kluwer, 2000.
5. E. Chiprout. Fast flip-chip power grid analysis via locality and grid shells. In IEEE/ACM International Conference on Computer-Aided Design, pages 485-488, San Jose, CA, November 7-11 2004.
6. H. Kellerer, U. Pferschy, and D. Pisinger. Knapsack problems. Springer, 2004.