A Local Optimization Method for Single Flux Quantum Logic Circuits Design Utilizing Synchronizer IPs | IEEE Journals & Magazine | IEEE Xplore