Logic Optimization, Complex Cell Design, and Retiming of Single Flux Quantum Circuits | IEEE Journals & Magazine | IEEE Xplore