发送短信 : Towards a formalization of digital circuit design /