发送短信 : Synthesis And Optimization Of Digital Circuits Giovanni De Micheli