發送短信: Synthesis and optimization of digital circuits