Design Automation of Superconductive Digital Circuits: A review | IEEE Journals & Magazine | IEEE Xplore