Отправить по sms: Towards a formalization of digital circuit design /