A 4-bit, 250-MIPS processor using Josephson technology | IEEE Journals & Magazine | IEEE Xplore