Verification of the Power and Ground Grids Under General and Hierarchical Constraints | IEEE Journals & Magazine | IEEE Xplore