Fast vectorless power grid verification using maximum voltage drop location estimation

Power grid integrity verification is critical for reliable chip design. Vectorless power grid verification provides a promising approach to evaluate the worst-case voltage fluctuations without the detailed information of circuit activities. Vectorless verification is usually required to solve numerous linear programming problems to obtain the worst-case voltage fluctuation throughout the grid, which is extremely time-consuming for large-scale verification. In this paper, a maximum voltage drop location estimation approach is proposed for efficient vectorless verification. The power grid nodes are grouped into disjoint subsets, and an estimation strategy is utilized to roughly locate the nodes which have the worst-case voltage drop in each group. Consequently, the verification problem size can be significantly reduced compared with accurate verification. Experimental results show that the proposed approach can achieve remarkable speedups with acceptable accuracy loss.

[1]  Jia Wang,et al.  A hierarchical matrix inversion algorithm for vectorless power grid verification , 2010, 2010 IEEE/ACM International Conference on Computer-Aided Design (ICCAD).

[2]  Farid N. Najm,et al.  A geometric approach for early power grid verification using current constraints , 2007, 2007 IEEE/ACM International Conference on Computer-Aided Design.

[3]  Jia Wang,et al.  An efficient dual algorithm for vectorless power grid verification under linear current constraints , 2010, Design Automation Conference.

[4]  Farid N. Najm,et al.  Fast Vectorless Power Grid Verification Under an RLC Model , 2011, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.

[5]  Luís Miguel Silveira,et al.  Efficient Simulation of Power Grids , 2010, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.

[6]  Farid N. Najm,et al.  Fast vectorless power grid verification using an approximate inverse technique , 2009, 2009 46th ACM/IEEE Design Automation Conference.

[7]  Eli Chiprout Fast flip-chip power grid analysis via locality and grid shells , 2004, IEEE/ACM International Conference on Computer Aided Design, 2004. ICCAD-2004..

[8]  Farid N. Najm,et al.  A static pattern-independent technique for power grid voltage integrity verification , 2003, Proceedings 2003. Design Automation Conference (IEEE Cat. No.03CH37451).

[9]  Zhuo Feng Scalable Multilevel Vectorless Power Grid Voltage Integrity Verification , 2013, IEEE Transactions on Very Large Scale Integration (VLSI) Systems.

[10]  Ngai Wong,et al.  More realistic power grid verification based on hierarchical current and power constraints , 2011, ISPD '11.

[11]  Yici Cai,et al.  A multilevel ℌ-matrix-based approximate matrix inversion algorithm for vectorless power grid verification , 2013, 2013 18th Asia and South Pacific Design Automation Conference (ASP-DAC).

[12]  Yici Cai,et al.  Selected inversion for vectorless power grid verification by exploiting locality , 2013, 2013 IEEE 31st International Conference on Computer Design (ICCD).

[13]  Ronald Kriemann,et al.  Parallel black box $$\mathcal {H}$$-LU preconditioning for elliptic boundary value problems , 2008 .