发送短信: A Functional HDL in ReFLect