发送短信 : An integrated approach to resource allocation in high-level synthesis /