Tools for the computer-aided design of multigigahertz superconducting digital circuits | IEEE Journals & Magazine | IEEE Xplore