发送短信 : Switching theory for logic synthesis /