Verification of the Power and Ground Grids Under General and Hierarchical Constraints

Mehmet Avci, Farid N. Najm. Verification of the Power and Ground Grids Under General and Hierarchical Constraints. IEEE Trans. VLSI Syst., 24(2):729-742, 2016. [doi]

Abstract

Abstract is missing.