SP&R: SMT-Based Simultaneous Place-and-Route for Standard Cell Synthesis of Advanced Nodes | IEEE Journals & Magazine | IEEE Xplore