Full-Gate Verification of Superconducting Integrated Circuit Layouts With InductEx | IEEE Journals & Magazine | IEEE Xplore