Design and Verification of SFQ Cell Library for Superconducting LSI Digital Circuits | IEEE Journals & Magazine | IEEE Xplore