Multirow Complementary-FET (CFET) Standard Cell Synthesis Framework Using Satisfiability Modulo Theories (SMTs) | IEEE Journals & Magazine | IEEE Xplore