Routability-Aware Placement for Advanced FinFET Mixed-Signal Circuits using Satisfiability Modulo Theories | IEEE Conference Publication | IEEE Xplore