Fast Vectorless Power Grid Verification Under an RLC Model

Authors:
N. H.A. Ghani;F. N. Najm
Affiliations:
Dept. of Electr. & Comput. Eng., Univ. of Toronto, Toronto, ON, Canada;-
Venue:
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
Year:
2011

Citing 0
Cited 4

Vectorless verification of RLC power grids with transient current constraints

Proceedings of the International Conference on Computer-Aided Design
Early P/G grid voltage integrity verification

Proceedings of the International Conference on Computer-Aided Design
Overview of vectorless/early power grid verification

Proceedings of the International Conference on Computer-Aided Design
Constraint abstraction for vectorless power grid verification

Proceedings of the 50th Annual Design Automation Conference

Quantified Score

Hi-index	0.03

Visualization

Abstract

As part of early system design, one must verify that the power grid provides the underlying logic circuitry with voltage levels that are within specified ranges. In this paper, we describe a vectorless verification approach that can be applied early in the design process. We adopt an RLC model of the grid in the framework of current constraints that capture uncertainty about circuit details and activity. With just a few linear programs and one linear system solve, our proposed approach provides tight conservative bounds on the maximum and minimum worst-case voltage drops at every node of the grid. Results show the accuracy and speed of our technique thus making it practical and scalable.