Title: Synthesis of switching circuits