High-Performance Circuit Synthesis